public class LTLLexer
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 |
AND |
|
static int |
BIIMP |
|
static java.lang.String[] |
channelNames |
|
static int |
DIVISION |
|
static int |
EQ |
|
static int |
FALSE |
|
static int |
FINALLY |
|
static int |
FREQUENCY_SPEC |
|
static int |
GE |
|
static int |
GLOBALLY |
|
static int |
GT |
|
static int |
IMP |
|
static int |
INF |
|
static int |
LCPAREN |
|
static int |
LE |
|
static int |
LPAREN |
|
static int |
LT |
|
static java.lang.String[] |
modeNames |
|
static int |
NEXT |
|
static int |
NOT |
|
static int |
OR |
|
static int |
POS_NUMBER |
|
static int |
PROBABILITY |
|
static int |
RCPAREN |
|
static int |
RELEASE |
|
static int |
RPAREN |
|
static java.lang.String[] |
ruleNames |
|
static int |
SKIP_DEF |
|
static int |
SKIP_FREQ |
|
static int |
SRELEASE |
|
static int |
SUP |
|
static java.lang.String[] |
tokenNames |
Deprecated.
Use
VOCABULARY instead. |
static int |
TRUE |
|
static int |
UNTIL |
|
static int |
VARIABLE |
|
static org.antlr.v4.runtime.Vocabulary |
VOCABULARY |
|
static int |
WUNTIL |
|
static int |
XOR |
_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 |
---|---|
LTLLexer(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 TRUE
public static final int FALSE
public static final int NOT
public static final int IMP
public static final int BIIMP
public static final int XOR
public static final int AND
public static final int OR
public static final int FINALLY
public static final int GLOBALLY
public static final int NEXT
public static final int UNTIL
public static final int WUNTIL
public static final int RELEASE
public static final int SRELEASE
public static final int LPAREN
public static final int RPAREN
public static final int LCPAREN
public static final int VARIABLE
public static final int SKIP_DEF
public static final int PROBABILITY
public static final int POS_NUMBER
public static final int DIVISION
public static final int GT
public static final int GE
public static final int LT
public static final int LE
public static final int EQ
public static final int SUP
public static final int INF
public static final int RCPAREN
public static final int SKIP_FREQ
public static final int FREQUENCY_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>