Module org.logicng.parsers

Package org.logicng.io.parsers

Class PseudoBooleanLexer

java.lang.Object

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

org.antlr.v4.runtime.Lexer

org.logicng.io.parsers.LogicNGPseudoBooleanLexer

org.logicng.io.parsers.PseudoBooleanLexer

All Implemented Interfaces:

org.antlr.v4.runtime.TokenSource

public final class PseudoBooleanLexer
extends LogicNGPseudoBooleanLexer

A lexer for pseudo boolean formulas.

Since:

1.0

Version:

1.0

Field Summary

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

_ATN, _decisionToDFA, _serializedATN, _sharedContextCache, ADD, AND, channelNames, EQ, EQUIV, FALSE, GE, GT, IMPL, LBR, LE, LITERAL, LT, modeNames, MUL, NOT, NUMBER, OR, RBR, ruleNames, tokenNames, TRUE, 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
PseudoBooleanLexer(org.antlr.v4.runtime.CharStream inputStream)	Constructs a new pseudo boolean 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.LogicNGPseudoBooleanLexer

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

PseudoBooleanLexer

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

Constructs a new pseudo boolean 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