Mercurial > pub > ImplabNet
annotate Implab/Parsing/DFAutomaton.cs @ 159:5558e43c79bb v2
minor fix
| author | cin |
|---|---|
| date | Thu, 18 Feb 2016 16:06:14 +0300 |
| parents | 130781364799 |
| children |
| rev | line source |
|---|---|
| 55 | 1 using Implab; |
| 2 using System; | |
| 3 using System.Collections.Generic; | |
| 4 using System.Diagnostics; | |
| 5 using System.Linq; | |
| 6 using System.Text; | |
| 7 using System.Threading.Tasks; | |
| 8 | |
| 9 namespace Implab.Parsing { | |
| 10 public abstract class DFAutomaton<T> { | |
| 11 protected struct ContextFrame { | |
| 12 public DFAStateDescriptior[] states; | |
| 13 public int current; | |
| 14 public T info; | |
| 15 } | |
| 16 | |
| 158 | 17 public const int INITIAL_STATE = DFADefinition.INITIAL_STATE; |
| 18 public const int UNREACHEBLE_STATE = DFADefinition.UNREACHEBLE_STATE; | |
| 55 | 19 |
| 20 protected ContextFrame m_context; | |
| 21 Stack<ContextFrame> m_contextStack = new Stack<ContextFrame>(); | |
| 22 | |
|
62
62b440d46313
Added Skip method to JSON parser to skip contents of the current node
cin
parents:
55
diff
changeset
|
23 protected int Level { |
| 55 | 24 get { return m_contextStack.Count; } |
| 25 } | |
| 26 | |
| 27 protected DFAutomaton(DFAStateDescriptior[] states, int startState, T info) { | |
| 28 Safe.ArgumentNotNull(states, "states"); | |
| 29 Safe.ArgumentInRange(startState, 0, states.Length - 1, "startState"); | |
| 30 | |
| 31 m_context.states = states; | |
| 32 m_context.current = startState; | |
| 33 m_context.info = info; | |
| 34 } | |
| 35 | |
| 36 protected void Switch(DFAStateDescriptior[] states, int current, T info) { | |
| 37 Debug.Assert(states != null); | |
| 38 Debug.Assert(current >= 0 && current < states.Length); | |
| 39 m_contextStack.Push(m_context); | |
|
156
97fbbf816844
Promises: SignalXXX methods merged into SignalHandler method.
cin
parents:
62
diff
changeset
|
40 m_context.states = states; |
| 55 | 41 m_context.current = current; |
| 42 m_context.info = info; | |
| 43 } | |
| 44 | |
| 45 protected void Restore() { | |
| 46 Debug.Assert(m_contextStack.Count > 0); | |
| 47 | |
| 48 m_context = m_contextStack.Pop(); | |
| 49 } | |
| 50 | |
| 51 protected void Move(int input) { | |
| 52 Debug.Assert(input > 0 && input < m_context.states[m_context.current].transitions.Length); | |
| 53 m_context.current = m_context.states[m_context.current].transitions[input]; | |
| 54 } | |
|
156
97fbbf816844
Promises: SignalXXX methods merged into SignalHandler method.
cin
parents:
62
diff
changeset
|
55 |
|
97fbbf816844
Promises: SignalXXX methods merged into SignalHandler method.
cin
parents:
62
diff
changeset
|
56 protected bool CanMove(int input) { |
|
97fbbf816844
Promises: SignalXXX methods merged into SignalHandler method.
cin
parents:
62
diff
changeset
|
57 Debug.Assert(input > 0 && input < m_context.states[m_context.current].transitions.Length); |
|
97fbbf816844
Promises: SignalXXX methods merged into SignalHandler method.
cin
parents:
62
diff
changeset
|
58 return m_context.states[m_context.current].transitions[input] != UNREACHEBLE_STATE; |
|
97fbbf816844
Promises: SignalXXX methods merged into SignalHandler method.
cin
parents:
62
diff
changeset
|
59 } |
| 55 | 60 } |
| 61 } |