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) Sets whether this is a precedence DFA.
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)
String	toString(String[] tokenNames, 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

public final void setPrecedenceDfa(boolean precedenceDfa)

Sets whether this is a precedence DFA. If the specified value differs from the current DFA configuration, the following actions are taken; otherwise no changes are made to the current DFA.

• The states map is cleared
• If precedenceDfa 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.
• The precedenceDfa field is updated

Parameters:

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

isEmpty

public boolean isEmpty()

isContextSensitive

public boolean isContextSensitive()

addState

public DFAState addState(DFAState state)

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(@Nullable
              String[] tokenNames)

toString

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

toLexerString

public String toLexerString()