Module org.logicng.parsers

Package org.logicng.io.parsers

Class PropositionalLexer

java.lang.Object

org.antlr.v4.runtime.Recognizer<Integer,org.antlr.v4.runtime.atn.LexerATNSimulator>

org.antlr.v4.runtime.Lexer

org.logicng.io.parsers.LogicNGPropositionalLexer

org.logicng.io.parsers.PropositionalLexer

All Implemented Interfaces:

org.antlr.v4.runtime.TokenSource

public final class PropositionalLexer
extends LogicNGPropositionalLexer

A lexer for propositional formulas.

Since:

1.0

Version:

1.0

Field Summary

Fields inherited from class org.logicng.io.parsers.LogicNGPropositionalLexer

_ATN, _decisionToDFA, _serializedATN, _sharedContextCache, AND, channelNames, EQUIV, FALSE, IMPL, LBR, modeNames, NOT, OR, RBR, ruleNames, tokenNames, TRUE, VARIABLE, VOCABULARY, 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
PropositionalLexer(org.antlr.v4.runtime.CharStream inputStream)	Constructs a new LogicNG lexer.

Method Summary

Modifier and Type	Method	Description
void	recover(org.antlr.v4.runtime.LexerNoViableAltException exception)
String	toString()

Methods inherited from class org.logicng.io.parsers.LogicNGPropositionalLexer

getATN, getChannelNames, getGrammarFileName, getModeNames, getRuleNames, getSerializedATN, getTokenNames, 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, 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, wait, wait, wait

Constructor Detail

PropositionalLexer

public PropositionalLexer(org.antlr.v4.runtime.CharStream inputStream)

Constructs a new LogicNG lexer.

Parameters:

inputStream - the input stream

Method Detail

recover

public void recover(org.antlr.v4.runtime.LexerNoViableAltException exception)

Overrides:

recover in class org.antlr.v4.runtime.Lexer

toString

public String toString()

Overrides:

toString in class Object