Package owl.grammar
Class TLSFLexer
- java.lang.Object
-
- org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
-
- org.antlr.v4.runtime.Lexer
-
- owl.grammar.TLSFLexer
-
- All Implemented Interfaces:
org.antlr.v4.runtime.TokenSource
public class TLSFLexer extends org.antlr.v4.runtime.Lexer
-
-
Field Summary
Fields Modifier and Type Field Description static org.antlr.v4.runtime.atn.ATN_ATNprotected static org.antlr.v4.runtime.dfa.DFA[]_decisionToDFAstatic String_serializedATNprotected static org.antlr.v4.runtime.atn.PredictionContextCache_sharedContextCachestatic intASSERTstatic intASSUMEstatic String[]channelNamesstatic intDESCRIPTIONstatic intGUARANTEEstatic intID_SEPstatic intINFOstatic intINFO_ENDstatic intINFO_STARTstatic intINFO_STRINGstatic intINITIALLYstatic intINPUTSstatic intIO_ENDstatic intIO_STARTstatic intMAINstatic intMAIN_ENDstatic intMAIN_STARTstatic intMEALYstatic intMEALY_STRICTstatic intMODE_INFOstatic intMODE_IOstatic intMODE_MAINstatic intMODE_SPECstatic String[]modeNamesstatic intMOOREstatic intMOORE_STRICTstatic intOUTPUTSstatic intPRESETstatic intREQUIREstatic String[]ruleNamesstatic intSEMANTICSstatic intSKIP_DEFstatic intSKIP_INFOstatic intSKIP_IOstatic intSKIP_MAINstatic intSKIP_SPECstatic intSPEC_ENDstatic intSPEC_LTLstatic intSPEC_STARTstatic intTAGSstatic intTARGETstatic intTITLEstatic String[]tokenNamesDeprecated.UseVOCABULARYinstead.static intVAR_IDstatic org.antlr.v4.runtime.VocabularyVOCABULARY-
Fields inherited from class org.antlr.v4.runtime.Lexer
_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 Summary
Constructors Constructor Description TLSFLexer(org.antlr.v4.runtime.CharStream input)
-
Method Summary
All Methods Instance Methods Concrete Methods Deprecated Methods Modifier and Type Method Description org.antlr.v4.runtime.atn.ATNgetATN()String[]getChannelNames()StringgetGrammarFileName()String[]getModeNames()String[]getRuleNames()StringgetSerializedATN()String[]getTokenNames()Deprecated.org.antlr.v4.runtime.VocabularygetVocabulary()-
Methods inherited from class org.antlr.v4.runtime.Lexer
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
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from class org.antlr.v4.runtime.Recognizer
action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getParseInfo, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, precpred, removeErrorListener, removeErrorListeners, sempred, setInterpreter, setState
-
-
-
-
Field Detail
-
_decisionToDFA
protected static final org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA
-
_sharedContextCache
protected static final org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache
-
SKIP_DEF
public static final int SKIP_DEF
- See Also:
- Constant Field Values
-
INFO
public static final int INFO
- See Also:
- Constant Field Values
-
MAIN
public static final int MAIN
- See Also:
- Constant Field Values
-
SKIP_INFO
public static final int SKIP_INFO
- See Also:
- Constant Field Values
-
INFO_START
public static final int INFO_START
- See Also:
- Constant Field Values
-
TITLE
public static final int TITLE
- See Also:
- Constant Field Values
-
DESCRIPTION
public static final int DESCRIPTION
- See Also:
- Constant Field Values
-
SEMANTICS
public static final int SEMANTICS
- See Also:
- Constant Field Values
-
TARGET
public static final int TARGET
- See Also:
- Constant Field Values
-
TAGS
public static final int TAGS
- See Also:
- Constant Field Values
-
INFO_STRING
public static final int INFO_STRING
- See Also:
- Constant Field Values
-
MEALY
public static final int MEALY
- See Also:
- Constant Field Values
-
MOORE
public static final int MOORE
- See Also:
- Constant Field Values
-
MEALY_STRICT
public static final int MEALY_STRICT
- See Also:
- Constant Field Values
-
MOORE_STRICT
public static final int MOORE_STRICT
- See Also:
- Constant Field Values
-
INFO_END
public static final int INFO_END
- See Also:
- Constant Field Values
-
MAIN_START
public static final int MAIN_START
- See Also:
- Constant Field Values
-
SKIP_MAIN
public static final int SKIP_MAIN
- See Also:
- Constant Field Values
-
INPUTS
public static final int INPUTS
- See Also:
- Constant Field Values
-
OUTPUTS
public static final int OUTPUTS
- See Also:
- Constant Field Values
-
INITIALLY
public static final int INITIALLY
- See Also:
- Constant Field Values
-
PRESET
public static final int PRESET
- See Also:
- Constant Field Values
-
REQUIRE
public static final int REQUIRE
- See Also:
- Constant Field Values
-
ASSERT
public static final int ASSERT
- See Also:
- Constant Field Values
-
ASSUME
public static final int ASSUME
- See Also:
- Constant Field Values
-
GUARANTEE
public static final int GUARANTEE
- See Also:
- Constant Field Values
-
MAIN_END
public static final int MAIN_END
- See Also:
- Constant Field Values
-
SKIP_IO
public static final int SKIP_IO
- See Also:
- Constant Field Values
-
IO_START
public static final int IO_START
- See Also:
- Constant Field Values
-
VAR_ID
public static final int VAR_ID
- See Also:
- Constant Field Values
-
ID_SEP
public static final int ID_SEP
- See Also:
- Constant Field Values
-
IO_END
public static final int IO_END
- See Also:
- Constant Field Values
-
SPEC_START
public static final int SPEC_START
- See Also:
- Constant Field Values
-
SPEC_END
public static final int SPEC_END
- See Also:
- Constant Field Values
-
SPEC_LTL
public static final int SPEC_LTL
- See Also:
- Constant Field Values
-
SKIP_SPEC
public static final int SKIP_SPEC
- See Also:
- Constant Field Values
-
MODE_INFO
public static final int MODE_INFO
- See Also:
- Constant Field Values
-
MODE_MAIN
public static final int MODE_MAIN
- See Also:
- Constant Field Values
-
MODE_IO
public static final int MODE_IO
- See Also:
- Constant Field Values
-
MODE_SPEC
public static final int MODE_SPEC
- See Also:
- Constant Field Values
-
channelNames
public static String[] channelNames
-
modeNames
public static String[] modeNames
-
ruleNames
public static final String[] ruleNames
-
VOCABULARY
public static final org.antlr.v4.runtime.Vocabulary VOCABULARY
-
tokenNames
@Deprecated public static final String[] tokenNames
Deprecated.UseVOCABULARYinstead.
-
_serializedATN
public static final String _serializedATN
- See Also:
- Constant Field Values
-
_ATN
public static final org.antlr.v4.runtime.atn.ATN _ATN
-
-
Method Detail
-
getTokenNames
@Deprecated public String[] getTokenNames()
Deprecated.- Overrides:
getTokenNamesin classorg.antlr.v4.runtime.Lexer
-
getVocabulary
public org.antlr.v4.runtime.Vocabulary getVocabulary()
- Overrides:
getVocabularyin classorg.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
-
getGrammarFileName
public String getGrammarFileName()
- Specified by:
getGrammarFileNamein classorg.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
-
getRuleNames
public String[] getRuleNames()
- Specified by:
getRuleNamesin classorg.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
-
getSerializedATN
public String getSerializedATN()
- Overrides:
getSerializedATNin classorg.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
-
getChannelNames
public String[] getChannelNames()
- Overrides:
getChannelNamesin classorg.antlr.v4.runtime.Lexer
-
getModeNames
public String[] getModeNames()
- Overrides:
getModeNamesin classorg.antlr.v4.runtime.Lexer
-
getATN
public org.antlr.v4.runtime.atn.ATN getATN()
- Specified by:
getATNin classorg.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
-
-