implab/ImplabNet Files · Implab/Parsing/DFAutomaton.cs

fixed regression: race condition in Promise...

fixed regression: race condition in Promise DFA refactoring

cin - - Load All Authors

File last commit:

r158:130781364799 v2


                r160:5802131432e4

Download file

             DFAutomaton.cs
        
                    61 lines
            
             | 2.1 KiB
            
                | text/x-csharp
            
             |
                CSharpLexer
            
             / Implab / Parsing / DFAutomaton.cs
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        cin
    
Added initial JSON support...

              r55
            
      using Implab;

      using System;

      using System.Collections.Generic;

      using System.Diagnostics;

      using System.Linq;

      using System.Text;

      using System.Threading.Tasks;

      namespace Implab.Parsing {

          public abstract class DFAutomaton<T> {

              protected struct ContextFrame {

                  public DFAStateDescriptior[] states;

                  public int current;

                  public T info;

              }

        cin
    
refactoring, code cleanup

              r158
            
              public const int INITIAL_STATE = DFADefinition.INITIAL_STATE;

              public const int UNREACHEBLE_STATE = DFADefinition.UNREACHEBLE_STATE;

        cin
    
Added initial JSON support...

              r55
            
              protected ContextFrame m_context;

              Stack<ContextFrame> m_contextStack = new Stack<ContextFrame>();

        cin
    
Added Skip method to JSON parser to skip contents of the current node

              r62
            
              protected int Level {

        cin
    
Added initial JSON support...

              r55
            
                  get { return m_contextStack.Count; }

              }

              protected DFAutomaton(DFAStateDescriptior[] states, int startState, T info) {

                  Safe.ArgumentNotNull(states, "states");

                  Safe.ArgumentInRange(startState, 0, states.Length - 1, "startState");

                  m_context.states = states;

                  m_context.current = startState;

                  m_context.info = info;

              }

              protected void Switch(DFAStateDescriptior[] states, int current, T info) {

                  Debug.Assert(states != null);

                  Debug.Assert(current >= 0 && current < states.Length);

                  m_contextStack.Push(m_context);

        cin
    
Promises: SignalXXX methods merged into SignalHandler method....

              r156
            
                  m_context.states = states;

        cin
    
Added initial JSON support...

              r55
            
                  m_context.current = current;

                  m_context.info = info;

              }

              protected void Restore() {

                  Debug.Assert(m_contextStack.Count > 0);

                  m_context = m_contextStack.Pop();

              }

              protected void Move(int input) {

                  Debug.Assert(input > 0 && input < m_context.states[m_context.current].transitions.Length);

                  m_context.current = m_context.states[m_context.current].transitions[input];

              }

        cin
    
Promises: SignalXXX methods merged into SignalHandler method....

              r156
            
              protected bool CanMove(int input) {

                  Debug.Assert(input > 0 && input < m_context.states[m_context.current].transitions.Length);

                  return m_context.states[m_context.current].transitions[input] != UNREACHEBLE_STATE;

              }

        cin
    
Added initial JSON support...

              r55
            
          }

      }

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

cin Added initial JSON support...	r55	using Implab;
		using System;
		using System.Collections.Generic;
		using System.Diagnostics;
		using System.Linq;
		using System.Text;
		using System.Threading.Tasks;

		namespace Implab.Parsing {
		public abstract class DFAutomaton<T> {
		protected struct ContextFrame {
		public DFAStateDescriptior[] states;
		public int current;
		public T info;
		}

cin refactoring, code cleanup	r158	public const int INITIAL_STATE = DFADefinition.INITIAL_STATE;
		public const int UNREACHEBLE_STATE = DFADefinition.UNREACHEBLE_STATE;
cin Added initial JSON support...	r55
		protected ContextFrame m_context;
		Stack<ContextFrame> m_contextStack = new Stack<ContextFrame>();

cin Added Skip method to JSON parser to skip contents of the current node	r62	protected int Level {
cin Added initial JSON support...	r55	get { return m_contextStack.Count; }
		}

		protected DFAutomaton(DFAStateDescriptior[] states, int startState, T info) {
		Safe.ArgumentNotNull(states, "states");
		Safe.ArgumentInRange(startState, 0, states.Length - 1, "startState");

		m_context.states = states;
		m_context.current = startState;
		m_context.info = info;
		}

		protected void Switch(DFAStateDescriptior[] states, int current, T info) {
		Debug.Assert(states != null);
		Debug.Assert(current >= 0 && current < states.Length);
		m_contextStack.Push(m_context);
cin Promises: SignalXXX methods merged into SignalHandler method....	r156	m_context.states = states;
cin Added initial JSON support...	r55	m_context.current = current;
		m_context.info = info;
		}

		protected void Restore() {
		Debug.Assert(m_contextStack.Count > 0);

		m_context = m_contextStack.Pop();
		}

		protected void Move(int input) {
		Debug.Assert(input > 0 && input < m_context.states[m_context.current].transitions.Length);
		m_context.current = m_context.states[m_context.current].transitions[input];
		}
cin Promises: SignalXXX methods merged into SignalHandler method....	r156
		protected bool CanMove(int input) {
		Debug.Assert(input > 0 && input < m_context.states[m_context.current].transitions.Length);
		return m_context.states[m_context.current].transitions[input] != UNREACHEBLE_STATE;
		}
cin Added initial JSON support...	r55	}
		}