public class TLSFLexer
extends org.antlr.v4.runtime.Lexer
Modifier and Type | Field | Description |
---|---|---|
static org.antlr.v4.runtime.atn.ATN |
_ATN |
|
protected static org.antlr.v4.runtime.dfa.DFA[] |
_decisionToDFA |
|
static java.lang.String |
_serializedATN |
|
protected static org.antlr.v4.runtime.atn.PredictionContextCache |
_sharedContextCache |
|
static int |
ASSERT |
|
static int |
ASSUME |
|
static java.lang.String[] |
channelNames |
|
static int |
DESCRIPTION |
|
static int |
GUARANTEE |
|
static int |
ID_SEP |
|
static int |
INFO |
|
static int |
INFO_END |
|
static int |
INFO_START |
|
static int |
INFO_STRING |
|
static int |
INITIALLY |
|
static int |
INPUTS |
|
static int |
IO_END |
|
static int |
IO_START |
|
static int |
MAIN |
|
static int |
MAIN_END |
|
static int |
MAIN_START |
|
static int |
MEALY |
|
static int |
MEALY_STRICT |
|
static int |
MODE_INFO |
|
static int |
MODE_IO |
|
static int |
MODE_MAIN |
|
static int |
MODE_SPEC |
|
static java.lang.String[] |
modeNames |
|
static int |
MOORE |
|
static int |
MOORE_STRICT |
|
static int |
OUTPUTS |
|
static int |
PRESET |
|
static int |
REQUIRE |
|
static java.lang.String[] |
ruleNames |
|
static int |
SEMANTICS |
|
static int |
SKIP_DEF |
|
static int |
SKIP_INFO |
|
static int |
SKIP_IO |
|
static int |
SKIP_MAIN |
|
static int |
SKIP_SPEC |
|
static int |
SPEC_END |
|
static int |
SPEC_LTL |
|
static int |
SPEC_START |
|
static int |
TAGS |
|
static int |
TARGET |
|
static int |
TITLE |
|
static java.lang.String[] |
tokenNames |
Deprecated.
Use
VOCABULARY instead. |
static int |
VAR_ID |
|
static org.antlr.v4.runtime.Vocabulary |
VOCABULARY |
_channel, _factory, _hitEOF, _input, _mode, _modeStack, _text, _token, _tokenFactorySourcePair, _tokenStartCharIndex, _tokenStartCharPositionInLine, _tokenStartLine, _type, DEFAULT_MODE, DEFAULT_TOKEN_CHANNEL, HIDDEN, MAX_CHAR_VALUE, MIN_CHAR_VALUE, MORE, SKIP
Constructor | Description |
---|---|
TLSFLexer(org.antlr.v4.runtime.CharStream input) |
Modifier and Type | Method | Description |
---|---|---|
org.antlr.v4.runtime.atn.ATN |
getATN() |
|
java.lang.String[] |
getChannelNames() |
|
java.lang.String |
getGrammarFileName() |
|
java.lang.String[] |
getModeNames() |
|
java.lang.String[] |
getRuleNames() |
|
java.lang.String |
getSerializedATN() |
|
java.lang.String[] |
getTokenNames() |
Deprecated.
|
org.antlr.v4.runtime.Vocabulary |
getVocabulary() |
emit, emit, emitEOF, getAllTokens, getChannel, getCharErrorDisplay, getCharIndex, getCharPositionInLine, getErrorDisplay, getErrorDisplay, getInputStream, getLine, getSourceName, getText, getToken, getTokenFactory, getType, mode, more, nextToken, notifyListeners, popMode, pushMode, recover, recover, reset, setChannel, setCharPositionInLine, setInputStream, setLine, setText, setToken, setTokenFactory, setType, skip
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getParseInfo, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, precpred, removeErrorListener, removeErrorListeners, sempred, setInterpreter, setState
protected static final org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA
protected static final org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache
public static final int SKIP_DEF
public static final int INFO
public static final int MAIN
public static final int SKIP_INFO
public static final int INFO_START
public static final int TITLE
public static final int DESCRIPTION
public static final int SEMANTICS
public static final int TARGET
public static final int TAGS
public static final int INFO_STRING
public static final int MEALY
public static final int MOORE
public static final int MEALY_STRICT
public static final int MOORE_STRICT
public static final int INFO_END
public static final int MAIN_START
public static final int SKIP_MAIN
public static final int INPUTS
public static final int OUTPUTS
public static final int INITIALLY
public static final int PRESET
public static final int REQUIRE
public static final int ASSERT
public static final int ASSUME
public static final int GUARANTEE
public static final int MAIN_END
public static final int SKIP_IO
public static final int IO_START
public static final int VAR_ID
public static final int ID_SEP
public static final int IO_END
public static final int SPEC_START
public static final int SPEC_END
public static final int SPEC_LTL
public static final int SKIP_SPEC
public static final int MODE_INFO
public static final int MODE_MAIN
public static final int MODE_IO
public static final int MODE_SPEC
public static java.lang.String[] channelNames
public static java.lang.String[] modeNames
public static final java.lang.String[] ruleNames
public static final org.antlr.v4.runtime.Vocabulary VOCABULARY
@Deprecated public static final java.lang.String[] tokenNames
VOCABULARY
instead.public static final java.lang.String _serializedATN
public static final org.antlr.v4.runtime.atn.ATN _ATN
@Deprecated public java.lang.String[] getTokenNames()
getTokenNames
in class org.antlr.v4.runtime.Lexer
public org.antlr.v4.runtime.Vocabulary getVocabulary()
getVocabulary
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
public java.lang.String getGrammarFileName()
getGrammarFileName
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
public java.lang.String[] getRuleNames()
getRuleNames
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
public java.lang.String getSerializedATN()
getSerializedATN
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
public java.lang.String[] getChannelNames()
getChannelNames
in class org.antlr.v4.runtime.Lexer
public java.lang.String[] getModeNames()
getModeNames
in class org.antlr.v4.runtime.Lexer
public org.antlr.v4.runtime.atn.ATN getATN()
getATN
in class org.antlr.v4.runtime.Recognizer<java.lang.Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>