Package com.uppaal.model.io2

Class UGIReader

java.lang.Object

com.uppaal.model.io2.UGIReader

All Implemented Interfaces:

UGIReaderConstants

public class UGIReader
extends java.lang.Object
implements UGIReaderConstants

A parser that can read a file and modify pos tags in a Document.

Field Summary

Fields

Modifier and Type	Field	Description
Token	jj_nt	Next token.
Token	token	Current token.
UGIReaderTokenManager	token_source	Generated Token Manager.

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
UGIReader(UGIReaderTokenManager tm)	Constructor with generated Token Manager.
UGIReader(java.io.InputStream stream)	Constructor with InputStream.
UGIReader(java.io.InputStream stream, java.lang.String encoding)	Constructor with InputStream and supplied encoding
UGIReader(java.io.Reader stream)	Constructor.

Method Summary

Modifier and Type	Method	Description
void	color(Element element)
void	disable_tracing()	Disable tracing.
void	enable_tracing()	Enable tracing.
ParseException	generateParseException()	Generate ParseException.
Token	getNextToken()	Get the next Token.
Token	getToken(int index)	Get the specific Token.
void	globalDeclGI()
void	graphInfo(Document document)
void	graphInfoItem()
void	importGI()
int	integer()
void	localDeclGraphInfo()
AbstractLocation	locIdent()
void	nails(Edge edge)
void	nameGraphInfo()
void	paramListGraphInfo()
void	parse(Document document)	Parses the currently associated java.io.InputStream and modifies pos tags on elements in document .
void	procAssignGI()
void	PTGraphInfo(Document document)
void	ReInit(UGIReaderTokenManager tm)	Reinitialise.
void	ReInit(java.io.InputStream stream)	Reinitialise.
void	ReInit(java.io.InputStream stream, java.lang.String encoding)	Reinitialise.
void	ReInit(java.io.Reader stream)	Reinitialise.
void	singleCoord(Element element)
void	systemDefGI()
Edge	transIdent()

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public UGIReaderTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

UGIReader

public UGIReader(java.io.InputStream stream)

Constructor with InputStream.

UGIReader

public UGIReader(java.io.InputStream stream,
                 java.lang.String encoding)

Constructor with InputStream and supplied encoding

UGIReader

public UGIReader(java.io.Reader stream)

Constructor.

UGIReader

public UGIReader(UGIReaderTokenManager tm)

Constructor with generated Token Manager.

Method Detail

parse

public void parse(Document document)
           throws java.lang.Exception

Parses the currently associated java.io.InputStream and modifies pos tags on elements in document .

Parameters:

document - The DOM that the graphical info must modify.

Throws:

ParseException - If errors occur during parsing.

java.lang.Exception

graphInfo

public final void graphInfo(Document document)
                     throws ParseException,
                            java.lang.Exception

Throws:

ParseException

java.lang.Exception

importGI

public final void importGI()
                    throws ParseException

Throws:

ParseException

globalDeclGI

public final void globalDeclGI()
                        throws ParseException

Throws:

ParseException

procAssignGI

public final void procAssignGI()
                        throws ParseException

Throws:

ParseException

systemDefGI

public final void systemDefGI()
                       throws ParseException

Throws:

ParseException

PTGraphInfo

public final void PTGraphInfo(Document document)
                       throws ParseException,
                              java.lang.Exception

Throws:

ParseException

java.lang.Exception

nameGraphInfo

public final void nameGraphInfo()
                         throws ParseException,
                                ParseException

Throws:

ParseException

paramListGraphInfo

public final void paramListGraphInfo()
                              throws ParseException,
                                     ParseException

Throws:

ParseException

localDeclGraphInfo

public final void localDeclGraphInfo()
                              throws ParseException

Throws:

ParseException

graphInfoItem

public final void graphInfoItem()
                         throws ParseException,
                                ParseException

Throws:

ParseException

locIdent

public final AbstractLocation locIdent()
                                throws ParseException,
                                       ParseException

Throws:

ParseException

transIdent

public final Edge transIdent()
                      throws ParseException,
                             ParseException

Throws:

ParseException

color

public final void color(Element element)
                 throws ParseException

Throws:

ParseException

nails

public final void nails(Edge edge)
                 throws ParseException

Throws:

ParseException

singleCoord

public final void singleCoord(Element element)
                       throws ParseException

Throws:

ParseException

integer

public final int integer()
                  throws ParseException

Throws:

ParseException

ReInit

public void ReInit(java.io.InputStream stream)

Reinitialise.

ReInit

public void ReInit(java.io.InputStream stream,
                   java.lang.String encoding)

Reinitialise.

ReInit

public void ReInit(java.io.Reader stream)

Reinitialise.

ReInit

public void ReInit(UGIReaderTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.