DFA class
Constructors
- DFA(DecisionState? atnStartState, [int? decision])
Properties
- atnStartState ↔ DecisionState?
-
From which ATN state did we create this DFA? */
getter/setter pair
- decision → int?
-
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- precedenceDfa ↔ bool
-
true
if this DFA is for a precedence decision; otherwise,false
. This is the backing field for isPrecedenceDfa.getter/setter pair - runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- s0 ↔ DFAState?
-
getter/setter pair
-
states
↔ Map<
DFAState, DFAState> -
A set of all DFA states. Use Map so we can get old state back
(Set only allows you to see if it's there).
getter/setter pair
Methods
-
getPrecedenceStartState(
int precedence) → DFAState? - Get the start state for a specific precedence value.
-
getStates(
) → List< DFAState> - Return a list of all states in this DFA, ordered by state number.
-
isPrecedenceDfa(
) → bool - Gets whether this DFA is a precedence DFA. Precedence DFAs use a special start state {@link #s0} which is not stored in states. The DFAState.edges array for this start state contains outgoing edges supplying individual start states corresponding to specific precedence values.
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
setPrecedenceStartState(
int precedence, DFAState startState) → void - Set the start state for a specific precedence value.
-
toLexerString(
) → String -
toString(
[Vocabulary? vocabulary]) → String -
A string representation of this object.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited