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 and 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 and Description
ASPCore2ParserTokenManager(SimpleCharStream stream) Constructor.
ASPCore2ParserTokenManager(SimpleCharStream stream, int lexState) Constructor.

Method Summary

Modifier and Type	Method and Description
Token	getNextToken() Get the next Token.
protected Token	jjFillToken()
void	ReInit(SimpleCharStream stream) Reinitialise parser.
void	ReInit(SimpleCharStream stream, int lexState) Reinitialise parser.
void	setDebugStream(PrintStream ds) Set debug output.
void	SwitchTo(int lexState) Switch to specified lex state.

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)

Constructor.

ASPCore2ParserTokenManager

public ASPCore2ParserTokenManager(SimpleCharStream stream,
                                  int lexState)

Constructor.

Method Detail

setDebugStream

public void setDebugStream(PrintStream ds)

Set debug output.

ReInit

public void ReInit(SimpleCharStream stream)

Reinitialise parser.

ReInit

public void ReInit(SimpleCharStream stream,
                   int lexState)

Reinitialise parser.

SwitchTo

public void SwitchTo(int lexState)

Switch to specified lex state.

jjFillToken

protected Token jjFillToken()

getNextToken

public Token getNextToken()

Get the next Token.