Package net.sf.tweety.preferences.io
Class POParserTokenManager
- java.lang.Object
-
- net.sf.tweety.preferences.io.POParserTokenManager
-
- All Implemented Interfaces:
POParserConstants
public class POParserTokenManager extends java.lang.Object implements POParserConstants
-
-
Field Summary
Fields Modifier and Type Field Description java.io.PrintStream
debugStream
static java.lang.String[]
jjstrLiteralImages
static java.lang.String[]
lexStateNames
-
Fields inherited from interface net.sf.tweety.preferences.io.POParserConstants
DEFAULT, ELEMENT, EOF, EOL, LBRA, RBRA, REL, tokenImage
-
-
Constructor Summary
Constructors Constructor Description POParserTokenManager(SimpleCharStream stream)
POParserTokenManager(SimpleCharStream stream, int lexState)
-
Method Summary
Modifier and Type Method Description Token
getNextToken()
void
ReInit(SimpleCharStream stream)
void
ReInit(SimpleCharStream stream, int lexState)
void
setDebugStream(java.io.PrintStream ds)
void
SwitchTo(int lexState)
-
-
-
Constructor Detail
-
POParserTokenManager
public POParserTokenManager(SimpleCharStream stream)
-
POParserTokenManager
public POParserTokenManager(SimpleCharStream stream, int lexState)
-
-
Method Detail
-
setDebugStream
public void setDebugStream(java.io.PrintStream ds)
-
ReInit
public void ReInit(SimpleCharStream stream)
-
ReInit
public void ReInit(SimpleCharStream stream, int lexState)
-
SwitchTo
public void SwitchTo(int lexState)
-
getNextToken
public Token getNextToken()
-
-