Class AbstractTemporalLogicLexer

java.lang.Object
org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>
org.antlr.v4.runtime.Lexer
AbstractTemporalLogicLexer
All Implemented Interfaces:
org.antlr.v4.runtime.TokenSource
public class AbstractTemporalLogicLexer extends org.antlr.v4.runtime.Lexer

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final org.antlr.v4.runtime.atn.ATN
    _ATN
     
    protected static final org.antlr.v4.runtime.dfa.DFA[]
    _decisionToDFA
     
    private static final String[]
    _LITERAL_NAMES
     
    static final String
    _serializedATN
     
    protected static final org.antlr.v4.runtime.atn.PredictionContextCache
    _sharedContextCache
     
    private static final String[]
    _SYMBOLIC_NAMES
     
    static final int
    AND
     
    static String[]
    channelNames
     
    static final int
    COMMA
     
    static final int
    EQ
     
    static final int
    EVENTUALLY
     
    static final int
    FLOAT
     
    static final int
    GLOBALLY
     
    static final int
    GT
     
    static final int
    ID
     
    static final int
    IMPLY
     
    static final int
    LBRACKET
     
    static final int
    LPAREN
     
    static final int
    LT
     
    static final int
    MINUS
     
    static String[]
    modeNames
     
    static final int
    NATURAL
     
    static final int
    NE
     
    static final int
    NEWLINE
     
    static final int
    NEXT
     
    static final int
    NOT
     
    static final int
    OR
     
    static final int
    RBRACKET
     
    static final int
    RELEASE
     
    static final int
    RPAREN
     
    static final String[]
    ruleNames
     
    static final String[]
    tokenNames
    Deprecated.
    Use VOCABULARY instead.
    static final int
    UNDER
     
    static final int
    UNTIL
     
    static final org.antlr.v4.runtime.Vocabulary
    VOCABULARY
     
    static final int
    WS
     

    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

    Fields inherited from class org.antlr.v4.runtime.Recognizer

    _interp, EOF

  • Constructor Summary

    Constructors
    Constructor
    Description
    AbstractTemporalLogicLexer(org.antlr.v4.runtime.CharStream input)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    org.antlr.v4.runtime.atn.ATN
    getATN()
     
    String[]
    getChannelNames()
     
    String
    getGrammarFileName()
     
    String[]
    getModeNames()
     
    String[]
    getRuleNames()
     
    String
    getSerializedATN()
     
    String[]
    getTokenNames()
    Deprecated.
    org.antlr.v4.runtime.Vocabulary
    getVocabulary()
     
    private static String[]
    makeLiteralNames()
     
    private static String[]
    makeRuleNames()
     
    private static String[]
    makeSymbolicNames()
     

    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 org.antlr.v4.runtime.Recognizer

    action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getParseInfo, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, precpred, removeErrorListener, removeErrorListeners, sempred, setInterpreter, setState

    Methods inherited from class java.lang.Object

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

  • Field Details

  • Constructor Details

    • AbstractTemporalLogicLexer

      public AbstractTemporalLogicLexer(org.antlr.v4.runtime.CharStream input)

  • Method Details

    • makeRuleNames

      private static String[] makeRuleNames()

    • makeLiteralNames

      private static String[] makeLiteralNames()

    • makeSymbolicNames

      private static String[] makeSymbolicNames()

    • getTokenNames

      @Deprecated public String[] getTokenNames()
      Deprecated.
      Overrides:
      getTokenNames in class org.antlr.v4.runtime.Lexer

    • getVocabulary

      public org.antlr.v4.runtime.Vocabulary getVocabulary()
      Overrides:
      getVocabulary in class org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

    • getGrammarFileName

      public String getGrammarFileName()
      Specified by:
      getGrammarFileName in class org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

    • getRuleNames

      public String[] getRuleNames()
      Specified by:
      getRuleNames in class org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

    • getSerializedATN

      public String getSerializedATN()
      Overrides:
      getSerializedATN in class org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

    • getChannelNames

      public String[] getChannelNames()
      Overrides:
      getChannelNames in class org.antlr.v4.runtime.Lexer

    • getModeNames

      public String[] getModeNames()
      Overrides:
      getModeNames in class org.antlr.v4.runtime.Lexer

    • getATN

      public org.antlr.v4.runtime.atn.ATN getATN()
      Specified by:
      getATN in class org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>