ATN

Constructors

this

this(ATNType grammarType, int maxTokenType)

Used for runtime deserialization of ATNs from strings

Members

Functions

addState

void addState(ATNState state)

Undocumented in source. Be warned that the author may not have intended to support it.

defineDecisionState

int defineDecisionState(DecisionState s)

Undocumented in source. Be warned that the author may not have intended to support it.

getDecisionState

DecisionState getDecisionState(int decision)

Undocumented in source. Be warned that the author may not have intended to support it.

getExpectedTokens

IntervalSet getExpectedTokens(int stateNumber, RuleContext context)

Computes the set of input symbols which could follow ATN state number {@code stateNumber} in the specified full {@code context}. This method considers the complete parser context, but does not evaluate semantic predicates (i.e. all predicates encountered during the calculation are assumed true). If a path in the ATN exists from the starting state to the {@link RuleStopState} of the outermost context without matching any symbols, {@link Token#EOF} is added to the returned set.

getNumberOfDecisions

int getNumberOfDecisions()

Undocumented in source. Be warned that the author may not have intended to support it.

nextTokens

IntervalSet nextTokens(ATNState s, RuleContext ctx)

Compute the set of valid tokens that can occur starting in state {@code s}. If {@code ctx} is null, the set of tokens will not include what can follow the rule surrounding {@code s}. In other words, the set will be restricted to tokens reachable staying within {@code s}'s rule.

nextTokens

IntervalSet nextTokens(ATNState s)

Compute the set of valid tokens that can occur starting in {@code s} and staying in same rule. {@link Token#EPSILON} is in set if we reach end of rule.

removeState

void removeState(ATNState state)

Undocumented in source. Be warned that the author may not have intended to support it.

Static variables

INVALID_ALT_NUMBER

int INVALID_ALT_NUMBER;

Undocumented in source.

Variables

decisionToState

DecisionState[] decisionToState;

Each subrule/rule is a decision point and we must track them so we can go back later and build DFA predictors for them. This includes all the rules, subrules, optional blocks, ()+, ()* etc...

grammarType

ATNType grammarType;

The type of the ATN.

lexerActions

LexerAction[] lexerActions;

For lexer ATNs, this is an array of {@link LexerAction} objects which may be referenced by action transitions in the ATN.

maxTokenType

int maxTokenType;

The maximum value for any symbol recognized by a transition in the ATN.

modeNameToStartState

TokensStartState[string] modeNameToStartState;

Undocumented in source.

modeToStartState

TokensStartState[] modeToStartState;

Undocumented in source.

ruleToStartState

RuleStartState[] ruleToStartState;

Maps from rule index to starting state number.

ruleToStopState

RuleStopState[] ruleToStopState;

Maps from rule index to stop state number.

ruleToTokenType

int[] ruleToTokenType;

For lexer ATNs, this maps the rule index to the resulting token type. For parser ATNs, this maps the rule index to the generated bypass token type if the {@link ATNDeserializationOptions#isGenerateRuleBypassTransitions} deserialization option was specified; otherwise, this is {@code null}.

states

ATNState[] states;

Undocumented in source.

• ATN