org.antlr.v4.runtime.atn

Class LexerATNSimulator

java.lang.Object

org.antlr.v4.runtime.atn.ATNSimulator

org.antlr.v4.runtime.atn.LexerATNSimulator

public class LexerATNSimulator
extends ATNSimulator

"dup" of ParserInterpreter

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	LexerATNSimulator.SimState When we hit an accept state in either the DFA or the ATN, we have to notify the character stream to start buffering characters via mark() and record the current state.

Field Summary

Fields

Modifier and Type	Field and Description
protected int	charPositionInLine The index of the character relative to the beginning of the line 0..n-1
static boolean	debug
DFA[]	decisionToDFA
static boolean	dfa_debug
protected int	line line number 1..n within the input
static int	match_calls
static int	MAX_DFA_EDGE
static int	MIN_DFA_EDGE
protected int	mode
protected LexerATNSimulator.SimState	prevAccept Used during DFA/ATN exec to record the most recent accept configuration info
protected Lexer	recog
protected int	startIndex The current token's starting index into the character stream.

Fields inherited from class org.antlr.v4.runtime.atn.ATNSimulator

atn, ERROR, SERIALIZED_VERSION, sharedContextCache

Constructor Summary

Constructors

Constructor and Description
LexerATNSimulator(ATN atn, DFA[] decisionToDFA, PredictionContextCache sharedContextCache)
LexerATNSimulator(Lexer recog, ATN atn, DFA[] decisionToDFA, PredictionContextCache sharedContextCache)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	accept(CharStream input, int ruleIndex, int actionIndex, int index, int line, int charPos)
protected DFAState	addDFAEdge(DFAState from, int t, ATNConfigSet q)
protected void	addDFAEdge(DFAState p, int t, DFAState q)
protected DFAState	addDFAState(ATNConfigSet configs) Add a new DFA state if there isn't one with this set of configurations already.
protected void	captureSimState(LexerATNSimulator.SimState settings, CharStream input, DFAState dfaState)
protected boolean	closure(CharStream input, LexerATNConfig config, ATNConfigSet configs, boolean currentAltReachedAcceptState, boolean speculative) Since the alternatives within any lexer decision are ordered by preference, this method stops pursuing the closure as soon as an accept state is reached.
protected ATNConfigSet	computeStartState(CharStream input, ATNState p)
void	consume(CharStream input)
void	copyState(LexerATNSimulator simulator)
protected boolean	evaluatePredicate(CharStream input, int ruleIndex, int predIndex, boolean speculative) Evaluate a predicate specified in the lexer.
protected int	execATN(CharStream input, DFAState ds0)
protected int	failOrAccept(LexerATNSimulator.SimState prevAccept, CharStream input, ATNConfigSet reach, int t)
int	getCharPositionInLine()
DFA	getDFA(int mode)
LexerATNConfig	getEpsilonTarget(CharStream input, LexerATNConfig config, Transition t, ATNConfigSet configs, boolean speculative)
int	getLine()
protected void	getReachableConfigSet(CharStream input, ATNConfigSet closure, ATNConfigSet reach, int t) Given a starting configuration set, figure out all ATN configurations we can reach upon input t.
ATNState	getReachableTarget(Transition trans, int t)
String	getText(CharStream input) Get the text matched so far for the current token.
String	getTokenName(int t)
int	match(CharStream input, int mode)
protected int	matchATN(CharStream input)
void	reset()
void	setCharPositionInLine(int charPositionInLine)
void	setLine(int line)

Methods inherited from class org.antlr.v4.runtime.atn.ATNSimulator

deserialize, edgeFactory, getCachedContext, stateFactory, toInt

Methods inherited from class java.lang.Object

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

Field Detail

debug

public static final boolean debug

See Also:

Constant Field Values

dfa_debug

public static final boolean dfa_debug

See Also:

Constant Field Values

MIN_DFA_EDGE

public static final int MIN_DFA_EDGE

See Also:

Constant Field Values

MAX_DFA_EDGE

public static final int MAX_DFA_EDGE

See Also:

Constant Field Values

recog

@Nullable
protected final Lexer recog

startIndex

protected int startIndex

The current token's starting index into the character stream. Shared across DFA to ATN simulation in case the ATN fails and the DFA did not have a previous accept state. In this case, we use the ATN-generated exception object.

line

protected int line

line number 1..n within the input

charPositionInLine

protected int charPositionInLine

The index of the character relative to the beginning of the line 0..n-1

decisionToDFA

@NotNull
public final DFA[] decisionToDFA

mode

protected int mode

prevAccept

@NotNull
protected final LexerATNSimulator.SimState prevAccept

Used during DFA/ATN exec to record the most recent accept configuration info

match_calls

public static int match_calls

Constructor Detail

LexerATNSimulator

public LexerATNSimulator(@NotNull
                 ATN atn,
                 @NotNull
                 DFA[] decisionToDFA,
                 @NotNull
                 PredictionContextCache sharedContextCache)

LexerATNSimulator

public LexerATNSimulator(@Nullable
                 Lexer recog,
                 @NotNull
                 ATN atn,
                 @NotNull
                 DFA[] decisionToDFA,
                 @NotNull
                 PredictionContextCache sharedContextCache)

Method Detail

copyState

public void copyState(@NotNull
             LexerATNSimulator simulator)

match

public int match(@NotNull
        CharStream input,
        int mode)

reset

public void reset()

Specified by:

reset in class ATNSimulator

matchATN

protected int matchATN(@NotNull
           CharStream input)

execATN

protected int execATN(@NotNull
          CharStream input,
          @NotNull
          DFAState ds0)

failOrAccept

protected int failOrAccept(LexerATNSimulator.SimState prevAccept,
               CharStream input,
               ATNConfigSet reach,
               int t)

getReachableConfigSet

protected void getReachableConfigSet(@NotNull
                         CharStream input,
                         @NotNull
                         ATNConfigSet closure,
                         @NotNull
                         ATNConfigSet reach,
                         int t)

Given a starting configuration set, figure out all ATN configurations we can reach upon input t. Parameter reach is a return parameter.

accept

protected void accept(@NotNull
          CharStream input,
          int ruleIndex,
          int actionIndex,
          int index,
          int line,
          int charPos)

getReachableTarget

@Nullable
public ATNState getReachableTarget(Transition trans,
                                   int t)

computeStartState

@NotNull
protected ATNConfigSet computeStartState(@NotNull
                                     CharStream input,
                                     @NotNull
                                     ATNState p)

closure

protected boolean closure(@NotNull
              CharStream input,
              @NotNull
              LexerATNConfig config,
              @NotNull
              ATNConfigSet configs,
              boolean currentAltReachedAcceptState,
              boolean speculative)

Since the alternatives within any lexer decision are ordered by preference, this method stops pursuing the closure as soon as an accept state is reached. After the first accept state is reached by depth-first search from config, all other (potentially reachable) states for this rule would have a lower priority.

Returns:

true if an accept state is reached, otherwise false.

getEpsilonTarget

@Nullable
public LexerATNConfig getEpsilonTarget(@NotNull
                                       CharStream input,
                                       @NotNull
                                       LexerATNConfig config,
                                       @NotNull
                                       Transition t,
                                       @NotNull
                                       ATNConfigSet configs,
                                       boolean speculative)

evaluatePredicate

protected boolean evaluatePredicate(@NotNull
                        CharStream input,
                        int ruleIndex,
                        int predIndex,
                        boolean speculative)

Evaluate a predicate specified in the lexer.

If speculative is true, this method was called before consume(org.antlr.v4.runtime.CharStream) for the matched character. This method should call consume(org.antlr.v4.runtime.CharStream) before evaluating the predicate to ensure position sensitive values, including Lexer.getText(), Lexer.getLine(), and Lexer.getCharPositionInLine(), properly reflect the current lexer state. This method should restore input and the simulator to the original state before returning (i.e. undo the actions made by the call to consume(org.antlr.v4.runtime.CharStream).

Parameters:

input - The input stream.

ruleIndex - The rule containing the predicate.

predIndex - The index of the predicate within the rule.

speculative - true if the current index in input is one character before the predicate's location.

Returns:

true if the specified predicate evaluates to true.

captureSimState

protected void captureSimState(@NotNull
                   LexerATNSimulator.SimState settings,
                   @NotNull
                   CharStream input,
                   @NotNull
                   DFAState dfaState)

addDFAEdge

@NotNull
protected DFAState addDFAEdge(@NotNull
                          DFAState from,
                          int t,
                          @NotNull
                          ATNConfigSet q)

addDFAEdge

protected void addDFAEdge(@NotNull
              DFAState p,
              int t,
              @NotNull
              DFAState q)

addDFAState

@NotNull
protected DFAState addDFAState(@NotNull
                           ATNConfigSet configs)

Add a new DFA state if there isn't one with this set of configurations already. This method also detects the first configuration containing an ATN rule stop state. Later, when traversing the DFA, we will know which rule to accept.

getDFA

@Nullable
public DFA getDFA(int mode)

getText

@NotNull
public String getText(@NotNull
                     CharStream input)

Get the text matched so far for the current token.

getLine

public int getLine()

setLine

public void setLine(int line)

getCharPositionInLine

public int getCharPositionInLine()

setCharPositionInLine

public void setCharPositionInLine(int charPositionInLine)

consume

public void consume(@NotNull
           CharStream input)

getTokenName

@NotNull
public String getTokenName(int t)