Package net.sf.tweety.lp.asp.parser

Class ASPCore2ParserTokenManager

java.lang.Object

net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager

All Implemented Interfaces:

ASPCore2ParserConstants

public class ASPCore2ParserTokenManager
extends java.lang.Object
implements ASPCore2ParserConstants

Token Manager.

Field Summary

Fields

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

Fields inherited from interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

AGGREGATE_COUNT, AGGREGATE_MAX, AGGREGATE_MIN, AGGREGATE_SUM, ANONYMOUS_VARIABLE, AT, CLINGO_SHOW, COLON, COMMA, COMMENT, CONS, CURLY_CLOSE, CURLY_OPEN, DEFAULT, DIV, DOT, EOF, EQUAL, GREATER, GREATER_OR_EQ, ID, LESS, LESS_OR_EQ, MAXIMIZE, MINIMIZE, MINUS, 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
ASPCore2ParserTokenManager(SimpleCharStream stream)
ASPCore2ParserTokenManager(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)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

debugStream

public java.io.PrintStream debugStream

Debug output.

jjstrLiteralImages

public static final java.lang.String[] jjstrLiteralImages

Token literal values.

lexStateNames

public static final java.lang.String[] lexStateNames

Lexer state names.

Constructor Detail

ASPCore2ParserTokenManager

public ASPCore2ParserTokenManager(SimpleCharStream stream)

ASPCore2ParserTokenManager

public ASPCore2ParserTokenManager(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()