Package com.uppaal.model.io2

Class UGIReaderTokenManager

java.lang.Object

com.uppaal.model.io2.UGIReaderTokenManager

All Implemented Interfaces:

UGIReaderConstants

public class UGIReaderTokenManager
extends Object
implements UGIReaderConstants

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.UGIReaderConstants

ASSIGN, BRANCHPOINT, CLPAR, COLOR, COMMA, DEFAULT, DOT, ECOLOR, EOF, EXPRATE, EXTERNALDECL, GLOBALDECL, GRAPHINFO, GUARD, ID, IMPORTS, INVARIANT, LCOLOR, LOCALDECL, LOCATION, LOCATIONNAME, NAT, OPPAR, PARAMLIST, PROBABILITY, PROCASSIGN, PROCESS, SELECT, SEMICOLON, SYNC, SYSTEMDEF, TEMPLATENAME, tokenImage, TRANS

Constructor Summary

Constructors

Constructor	Description
UGIReaderTokenManager(SimpleCharStream stream)	Constructor.
UGIReaderTokenManager(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

UGIReaderTokenManager

public UGIReaderTokenManager(SimpleCharStream stream)

Constructor.

UGIReaderTokenManager

public UGIReaderTokenManager(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.