Package com.uppaal.model.io2

Class XTAReaderTokenManager

java.lang.Object

com.uppaal.model.io2.XTAReaderTokenManager

All Implemented Interfaces:

XTAReaderConstants

public class XTAReaderTokenManager
extends Object
implements XTAReaderConstants

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 com.uppaal.model.io2.XTAReaderConstants

ASSIGN, BECOMES, BODY, BRANCHPOINT, CHAN, CLBR, CLBRACE, CLOCK, CLOSE, COLON, COMMA, COMMIT, CONST, DEFAULT, DOT, DOUBLE, EOF, EQUAL, ERROR, EXCLMARK, EXTERNAL, FROM, GEQ, GRT, GUARD, ID, IMPLIES, IMPORT, INIT, INT, IS, ISNOT, LEQ, LESS, LOCAL, MINUS, MLCOMMENT, NAT, OPBR, OPBRACE, OPEN, PLUS, PROBABILITY, PROCESS, QM, SELECT, SEMICOLON, SLASH, SLCOMMENT, STATE, SYNC, SYSTEM, TIMES, tokenImage, TRANS, UNCONTROLLABLETRANS, URGENT, WS

Constructor Summary

Constructors

Constructor	Description
XTAReaderTokenManager(SimpleCharStream stream)	Constructor.
XTAReaderTokenManager(SimpleCharStream stream, int lexState)	Constructor.

Method Summary

Modifier and Type	Method	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 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.

input_stream

protected SimpleCharStream input_stream

curChar

protected char curChar

Constructor Details

XTAReaderTokenManager

public XTAReaderTokenManager(SimpleCharStream stream)

Constructor.

XTAReaderTokenManager

public XTAReaderTokenManager(SimpleCharStream stream, int lexState)

Constructor.

Method Details

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.