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
ATNState	atnStartState From which ATN state did we create this DFA?
int	decision
AtomicReference<DFAState>	s0
AtomicReference<DFAState>	s0full
ConcurrentMap<DFAState,DFAState>	states A set of all DFA states.

Constructor Summary

Constructors

Constructor and Description
DFA(ATNState atnStartState)
DFA(ATNState atnStartState, int decision)

Method Summary

Methods

Modifier and Type	Method and Description
DFAState	addState(DFAState state)
EmptyEdgeMap<DFAState>	getEmptyContextEdgeMap()
EmptyEdgeMap<DFAState>	getEmptyEdgeMap()
int	getMaxDfaEdge()
int	getMinDfaEdge()
DFAState	getPrecedenceStartState(int precedence, boolean fullContext) Get the start state for a specific precedence value.
boolean	isContextSensitive()
boolean	isEmpty()
boolean	isPrecedenceDfa() Gets whether this DFA is a precedence DFA.
void	setPrecedenceDfa(boolean precedenceDfa) Deprecated. This method no longer performs any action.
void	setPrecedenceStartState(int precedence, boolean fullContext, DFAState startState) Set the start state for a specific precedence value.
String	toLexerString()
String	toString()
String	toString(String[] tokenNames) Deprecated. Use toString(Vocabulary) instead.
String	toString(String[] tokenNames, String[] ruleNames) Deprecated. Use toString(Vocabulary, String[]) instead.
String	toString(Vocabulary vocabulary)
String	toString(Vocabulary vocabulary, String[] ruleNames)

Methods inherited from class java.lang.Object

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

Field Detail

states

@NotNull
public final ConcurrentMap<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

@NotNull
public final AtomicReference<DFAState> s0

s0full

@NotNull
public final AtomicReference<DFAState> s0full

decision

public final int decision

atnStartState

@NotNull
public final ATNState atnStartState

From which ATN state did we create this DFA?

Constructor Detail

DFA

public DFA(@NotNull
   ATNState atnStartState)

DFA

public DFA(@NotNull
   ATNState atnStartState,
   int decision)

Method Detail

getMinDfaEdge

public final int getMinDfaEdge()

getMaxDfaEdge

public final int getMaxDfaEdge()

getEmptyEdgeMap

@NotNull
public EmptyEdgeMap<DFAState> getEmptyEdgeMap()

getEmptyContextEdgeMap

@NotNull
public EmptyEdgeMap<DFAState> getEmptyContextEdgeMap()

isPrecedenceDfa

public final boolean isPrecedenceDfa()

Gets whether this DFA is a precedence DFA. Precedence DFAs use a special start state 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.

Returns:

true if this is a precedence DFA; otherwise, false.

See Also:

Parser.getPrecedence()

getPrecedenceStartState

public final DFAState getPrecedenceStartState(int precedence,
                               boolean fullContext)

Get the start state for a specific precedence value.

Parameters:

precedence - The current precedence.

Returns:

The start state corresponding to the specified precedence, or null if no start state exists for the specified precedence.

Throws:

IllegalStateException - if this is not a precedence DFA.

See Also:

isPrecedenceDfa()

setPrecedenceStartState

public final void setPrecedenceStartState(int precedence,
                           boolean fullContext,
                           DFAState startState)

Set the start state for a specific precedence value.

Parameters:

precedence - The current precedence.

startState - The start state corresponding to the specified precedence.

Throws:

IllegalStateException - if this is not a precedence DFA.

See Also:

isPrecedenceDfa()

setPrecedenceDfa

@Deprecated
public final void setPrecedenceDfa(boolean precedenceDfa)

Deprecated. This method no longer performs any action.

Sets whether this is a precedence DFA.

Parameters:

precedenceDfa - true if this is a precedence DFA; otherwise, false

Throws:

UnsupportedOperationException - if precedenceDfa does not match the value of isPrecedenceDfa() for the current DFA.

isEmpty

public boolean isEmpty()

isContextSensitive

public boolean isContextSensitive()

addState

public DFAState addState(DFAState state)

toString

public String toString()

Overrides:

toString in class Object

toString

@Deprecated
public String toString(@Nullable
                         String[] tokenNames)

Deprecated. Use toString(Vocabulary) instead.

toString

public String toString(@NotNull
              Vocabulary vocabulary)

toString

@Deprecated
public String toString(@Nullable
                         String[] tokenNames,
                         @Nullable
                         String[] ruleNames)

Deprecated. Use toString(Vocabulary, String[]) instead.

toString

public String toString(@NotNull
              Vocabulary vocabulary,
              @Nullable
              String[] ruleNames)

toLexerString

public String toLexerString()