Package org.tweetyproject.lp.asp.parser

Class ASPParserTokenManager

java.lang.Object

org.tweetyproject.lp.asp.parser.ASPParserTokenManager

All Implemented Interfaces:

ASPParserConstants

public class ASPParserTokenManager
extends Object
implements ASPParserConstants

Token Manager.

Field Summary

Fields

Modifier and Type	Field	Description
PrintStream	debugStream	Debug output.
static final String[]	jjstrLiteralImages	Token literal values.
static final String[]	lexStateNames	Lexer state names.

Fields inherited from interface org.tweetyproject.lp.asp.parser.ASPParserConstants

AGGREGATE_COUNT, AGGREGATE_MAX, AGGREGATE_MIN, AGGREGATE_SUM, AGGREGATE_SUM_PLUS, AGGREGATE_TIMES, ANONYMOUS_VARIABLE, AT, CLINGO_ID, CLINGO_SHOW, COLON, COMMA, COMMENT, CONS, CURLY_CLOSE, CURLY_OPEN, DEFAULT, DIV, DLV_ARITHMETIC_ID, DLV_ID, DOT, EOF, EQUAL, GREATER, GREATER_OR_EQ, ID, LESS, LESS_OR_EQ, MAXIMIZE, META_CONST, META_MAXINT, META_OTHER, MINIMIZE, MINUS, MODULO, MULTI_LINE_COMMENT, NAF, NUMBER, OR, PAREN_CLOSE, PAREN_OPEN, PLUS, QUERY_MARK, SEMICOLON, SQUARE_CLOSE, SQUARE_OPEN, STRING, TIMES, tokenImage, UNEQUAL, VARIABLE, WCONS

Constructor Summary

Constructors

Constructor	Description
ASPParserTokenManager(SimpleCharStream stream)
ASPParserTokenManager(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)	Set debug output.
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

Debug output.

jjstrLiteralImages

public static final String[] jjstrLiteralImages

Token literal values.

lexStateNames

public static final String[] lexStateNames

Lexer state names.

Constructor Details

ASPParserTokenManager

public ASPParserTokenManager(SimpleCharStream stream)

Parameters:

stream - ASPParserTokenManager

ASPParserTokenManager

public ASPParserTokenManager(SimpleCharStream stream,
 int lexState)

Parameters:

stream - ASPParser

lexState - ASPParser

Method Details

setDebugStream

public void setDebugStream(PrintStream ds)

Set debug output.

Parameters:

ds - print stream

ReInit

public void ReInit(SimpleCharStream stream)

Parameters:

stream - ReInit

ReInit

public void ReInit(SimpleCharStream stream,
 int lexState)

Parameters:

stream - ReInit

lexState - ReInit

SwitchTo

public void SwitchTo(int lexState)

Parameters:

lexState - SwitchTo

getNextToken

public Token getNextToken()

Returns:

getNextToken