Module org.logicng.parsers
Package org.logicng.io.parsers

Class LogicNGPropositionalLexer

  • All Implemented Interfaces:
    org.antlr.v4.runtime.TokenSource
    Direct Known Subclasses:
    PropositionalLexer
    public class LogicNGPropositionalLexer
extends org.antlr.v4.runtime.Lexer

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static org.antlr.v4.runtime.atn.ATN _ATN  
      protected static org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA  
      static String _serializedATN  
      protected static org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache  
      static int AND  
      static String[] channelNames  
      static int EQUIV  
      static int FALSE  
      static int IMPL  
      static int LBR  
      static String[] modeNames  
      static int NOT  
      static int OR  
      static int RBR  
      static String[] ruleNames  
      static String[] tokenNames
      Deprecated.
      Use VOCABULARY instead.
      static int TRUE  
      static int VARIABLE  
      static org.antlr.v4.runtime.Vocabulary VOCABULARY  
      static 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
      LogicNGPropositionalLexer​(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.ATN getATN()  
      String[] getChannelNames()  
      String getGrammarFileName()  
      String[] getModeNames()  
      String[] getRuleNames()  
      String getSerializedATN()  
      String[] getTokenNames()
      Deprecated.
      org.antlr.v4.runtime.Vocabulary getVocabulary()  

      • 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

    • Constructor Detail

      • LogicNGPropositionalLexer

        public LogicNGPropositionalLexer​(org.antlr.v4.runtime.CharStream input)

    • Method Detail

      • 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>