public class DFA extends Object
Modifier and Type | Field and Description |
---|---|
DecisionState |
atnStartState
From which ATN state did we create this DFA?
|
int |
decision |
DFAState |
s0 |
Map<DFAState,DFAState> |
states
A set of all DFA states.
|
Constructor and Description |
---|
DFA(DecisionState atnStartState) |
DFA(DecisionState atnStartState,
int decision) |
Modifier and Type | Method and Description |
---|---|
DFAState |
getPrecedenceStartState(int precedence)
Get the start state for a specific precedence value.
|
List<DFAState> |
getStates()
Return a list of all states in this DFA, ordered by state number.
|
boolean |
isPrecedenceDfa()
Gets whether this DFA is a precedence DFA.
|
void |
setPrecedenceDfa(boolean precedenceDfa)
Sets whether this is a precedence DFA.
|
void |
setPrecedenceStartState(int precedence,
DFAState startState)
Set the start state for a specific precedence value.
|
String |
toLexerString() |
String |
toString() |
String |
toString(String[] tokenNames) |
public final int decision
@NotNull public final DecisionState atnStartState
public DFA(@NotNull DecisionState atnStartState)
public DFA(@NotNull DecisionState atnStartState, int decision)
public final boolean isPrecedenceDfa()
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.true
if this is a precedence DFA; otherwise,
false
.Parser.getPrecedence()
public final DFAState getPrecedenceStartState(int precedence)
precedence
- The current precedence.null
if no start state exists for the specified precedence.IllegalStateException
- if this is not a precedence DFA.isPrecedenceDfa()
public final void setPrecedenceStartState(int precedence, DFAState startState)
precedence
- The current precedence.startState
- The start state corresponding to the specified
precedence.IllegalStateException
- if this is not a precedence DFA.isPrecedenceDfa()
public final void setPrecedenceDfa(boolean precedenceDfa)
states
map is clearedprecedenceDfa
is false
, the initial state
s0
is set to null
; otherwise, it is initialized to a new
DFAState
with an empty outgoing DFAState.edges
array to
store the start states for individual precedence values.precedenceDfa
field is updatedprecedenceDfa
- true
if this is a precedence DFA; otherwise,
false
@NotNull public List<DFAState> getStates()
public String toLexerString()
Copyright © 1992–2014 ANTLR. All rights reserved.