Package org.tweetyproject.preferences.io
Class POParserTokenManager
java.lang.Object
org.tweetyproject.preferences.io.POParserTokenManager
- All Implemented Interfaces:
POParserConstants
-
Field Summary
Fields inherited from interface org.tweetyproject.preferences.io.POParserConstants
DEFAULT, ELEMENT, EOF, EOL, LBRA, RBRA, REL, tokenImage
-
Constructor Summary
ConstructorDescriptionPOParserTokenManager(SimpleCharStream stream)
POParserTokenManager(SimpleCharStream stream, int lexState)
-
Method Summary
Modifier and TypeMethodDescriptionvoid
ReInit(SimpleCharStream stream)
void
ReInit(SimpleCharStream stream, int lexState)
void
void
SwitchTo(int lexState)
-
Field Details
-
debugStream
-
jjstrLiteralImages
-
lexStateNames
-
-
Constructor Details
-
POParserTokenManager
-
POParserTokenManager
-
-
Method Details
-
setDebugStream
-
ReInit
-
ReInit
-
SwitchTo
public void SwitchTo(int lexState) -
getNextToken
-