POParserTokenManager

java.lang.Object

org.tweetyproject.preferences.io.POParserTokenManager

All Implemented Interfaces:: POParserConstants

public class POParserTokenManager extends Object implements POParserConstants

Field Summary

Fields

Modifier and Type

Field

Description

PrintStream

debugStream

static final String[]

jjstrLiteralImages

static final String[]

lexStateNames

Fields inherited from interface org.tweetyproject.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(PrintStream ds)

void

SwitchTo(int lexState)

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- debugStream
  
  public PrintStream debugStream
- jjstrLiteralImages
  
  public static final String[] jjstrLiteralImages
- lexStateNames
  
  public static final String[] lexStateNames
Constructor Details
- POParserTokenManager
  
  public POParserTokenManager(SimpleCharStream stream)
- POParserTokenManager
  
  public POParserTokenManager(SimpleCharStream stream, int lexState)
Method Details
- setDebugStream
  
  public void setDebugStream(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()