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 Object
implements ASPCore2ParserConstants

Token Manager.

Field Summary

Fields

Modifier and Type	Field	Description
protected char	curChar
PrintStream	debugStream	Debug output.
protected SimpleCharStream	input_stream
static String[]	jjstrLiteralImages	Token literal values.
static 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()
protected Token	jjFillToken()
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

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

Field Detail

debugStream

public PrintStream debugStream

Debug output.

jjstrLiteralImages

public static final String[] jjstrLiteralImages

Token literal values.

lexStateNames

public static final String[] lexStateNames

Lexer state names.

input_stream

protected SimpleCharStream input_stream

curChar

protected char curChar

Constructor Detail

ASPCore2ParserTokenManager

public ASPCore2ParserTokenManager(SimpleCharStream stream)

ASPCore2ParserTokenManager

public ASPCore2ParserTokenManager(SimpleCharStream stream,
                                  int lexState)

Method Detail

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)

jjFillToken

protected Token jjFillToken()

getNextToken

public Token getNextToken()