org.antlr.v4.runtime.atn

Class ATNConfig

java.lang.Object

org.antlr.v4.runtime.atn.ATNConfig

Direct Known Subclasses:

LexerATNConfig

public class ATNConfig
extends Object

A tuple: (ATN state, predicted alt, syntactic, semantic context). The syntactic context is a graph-structured stack node whose path(s) to the root is the rule invocation(s) chain used to arrive at the state. The semantic context is the tree of semantic predicates encountered before reaching an ATN state.

Field Summary

Fields

Modifier and Type	Field and Description
int	alt What alt (or lexer rule) is predicted by this configuration
PredictionContext	context The stack of invoking states leading to the rule/states associated with this config.
int	reachesIntoOuterContext We cannot execute predicates dependent upon local context unless we know for sure we are in the correct context.
SemanticContext	semanticContext
ATNState	state The ATN state associated with this configuration

Constructor Summary

Constructors

Constructor and Description
ATNConfig(ATNConfig old)
ATNConfig(ATNConfig c, ATNState state)
ATNConfig(ATNConfig c, ATNState state, PredictionContext context)
ATNConfig(ATNConfig c, ATNState state, PredictionContext context, SemanticContext semanticContext)
ATNConfig(ATNConfig c, ATNState state, SemanticContext semanticContext)
ATNConfig(ATNConfig c, SemanticContext semanticContext)
ATNConfig(ATNState state, int alt, PredictionContext context)
ATNConfig(ATNState state, int alt, PredictionContext context, SemanticContext semanticContext)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(ATNConfig other)
boolean	equals(Object o) An ATN configuration is equal to another if both have the same state, they predict the same alternative, and syntactic/semantic contexts are the same.
int	hashCode()
String	toString()
String	toString(Recognizer<?,?> recog, boolean showAlt)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

state

@NotNull
public final ATNState state

The ATN state associated with this configuration

alt

public final int alt

What alt (or lexer rule) is predicted by this configuration

context

@Nullable
public PredictionContext context

The stack of invoking states leading to the rule/states associated with this config. We track only those contexts pushed during execution of the ATN simulator.

reachesIntoOuterContext

public int reachesIntoOuterContext

We cannot execute predicates dependent upon local context unless we know for sure we are in the correct context. Because there is no way to do this efficiently, we simply cannot evaluate dependent predicates unless we are in the rule that initially invokes the ATN simulator. closure() tracks the depth of how far we dip into the outer context: depth > 0. Note that it may not be totally accurate depth since I don't ever decrement. TODO: make it a boolean then

semanticContext

@NotNull
public final SemanticContext semanticContext

Constructor Detail

ATNConfig

public ATNConfig(ATNConfig old)

ATNConfig

public ATNConfig(@NotNull
         ATNState state,
         int alt,
         @Nullable
         PredictionContext context)

ATNConfig

public ATNConfig(@NotNull
         ATNState state,
         int alt,
         @Nullable
         PredictionContext context,
         @NotNull
         SemanticContext semanticContext)

ATNConfig

public ATNConfig(@NotNull
         ATNConfig c,
         @NotNull
         ATNState state)

ATNConfig

public ATNConfig(@NotNull
         ATNConfig c,
         @NotNull
         ATNState state,
         @NotNull
         SemanticContext semanticContext)

ATNConfig

public ATNConfig(@NotNull
         ATNConfig c,
         @NotNull
         SemanticContext semanticContext)

ATNConfig

public ATNConfig(@NotNull
         ATNConfig c,
         @NotNull
         ATNState state,
         @Nullable
         PredictionContext context)

ATNConfig

public ATNConfig(@NotNull
         ATNConfig c,
         @NotNull
         ATNState state,
         @Nullable
         PredictionContext context,
         @NotNull
         SemanticContext semanticContext)

Method Detail

equals

public boolean equals(Object o)

An ATN configuration is equal to another if both have the same state, they predict the same alternative, and syntactic/semantic contexts are the same.

Overrides:

equals in class Object

equals

public boolean equals(ATNConfig other)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(@Nullable
              Recognizer<?,?> recog,
              boolean showAlt)