org.antlr.v4.runtime.dfa

Class DFA

java.lang.Object

org.antlr.v4.runtime.dfa.DFA

public class DFA
extends Object

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
DFA(DecisionState atnStartState) Set of configs for a DFA state with at least one conflict? Mainly used as "return value" from predictATN() for retry.
DFA(DecisionState atnStartState, int decision)

Method Summary

Methods

Modifier and Type	Method and Description
List<Set<ATNState>>	getATNStatesAlongPath(ParserATNSimulator atn, List<DFAState> dfaStates, TokenStream input, int start, int stop) Find the path in DFA from s0 to s, returning list of states encountered (inclusively)
String	toLexerString()
String	toString()
String	toString(String[] tokenNames)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

states

@NotNull
public final Map<DFAState,DFAState> states

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).

s0

@Nullable
public DFAState s0

decision

public final int decision

atnStartState

@NotNull
public final DecisionState atnStartState

From which ATN state did we create this DFA?

Constructor Detail

DFA

public DFA(@NotNull
   DecisionState atnStartState)

Set of configs for a DFA state with at least one conflict? Mainly used as "return value" from predictATN() for retry.

DFA

public DFA(@NotNull
   DecisionState atnStartState,
   int decision)

Method Detail

getATNStatesAlongPath

public List<Set<ATNState>> getATNStatesAlongPath(ParserATNSimulator atn,
                                        List<DFAState> dfaStates,
                                        TokenStream input,
                                        int start,
                                        int stop)

Find the path in DFA from s0 to s, returning list of states encountered (inclusively)

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(@Nullable
              String[] tokenNames)

toLexerString

public String toLexerString()