Package com.uppaal.model.io2

Class UGIReaderTokenManager

java.lang.Object

com.uppaal.model.io2.UGIReaderTokenManager

All Implemented Interfaces:

UGIReaderConstants

public class UGIReaderTokenManager
extends java.lang.Object
implements UGIReaderConstants

Token Manager.

Field Summary

Fields

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

input_stream

protected SimpleCharStream input_stream

curChar

protected char curChar

Constructor Detail

UGIReaderTokenManager

public UGIReaderTokenManager(SimpleCharStream stream)

Constructor.

UGIReaderTokenManager

public UGIReaderTokenManager(SimpleCharStream stream,
                             int lexState)

Constructor.

Method Detail

setDebugStream

public void setDebugStream(java.io.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.