com.uppaal.model.io2

Class UGIReader

java.lang.Object

com.uppaal.model.io2.UGIReader

All Implemented Interfaces:

UGIReaderConstants

public class UGIReader
extends Object
implements UGIReaderConstants

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

Field Summary

Fields

Modifier and Type	Field and 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, CLPAR, COLOR, COMMA, DEFAULT, DOT, ECOLOR, EOF, EXTERNALDECL, GLOBALDECL, GRAPHINFO, GUARD, ID, IMPORTS, INVARIANT, LCOLOR, LOCALDECL, LOCATION, LOCATIONNAME, NAT, OPPAR, PARAMLIST, PROCASSIGN, PROCESS, SELECT, SEMICOLON, SYNC, SYSTEMDEF, TEMPLATENAME, tokenImage, TRANS

Constructor Summary

Constructors

Constructor and Description
UGIReader(InputStream stream) Constructor with InputStream.
UGIReader(InputStream stream, String encoding) Constructor with InputStream and supplied encoding
UGIReader(Reader stream) Constructor.
UGIReader(UGIReaderTokenManager tm) Constructor with generated Token Manager.

Method Summary

Methods

Modifier and Type	Method and 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()
Location	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(InputStream stream) Reinitialise.
void	ReInit(InputStream stream, String encoding) Reinitialise.
void	ReInit(Reader stream) Reinitialise.
void	ReInit(UGIReaderTokenManager tm) 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(InputStream stream)

Constructor with InputStream.

UGIReader

public UGIReader(InputStream stream,
         String encoding)

Constructor with InputStream and supplied encoding

UGIReader

public UGIReader(Reader stream)

Constructor.

UGIReader

public UGIReader(UGIReaderTokenManager tm)

Constructor with generated Token Manager.

Method Detail

parse

public void parse(Document document)
           throws 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.

Exception

graphInfo

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

Throws:

ParseException

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,
                              Exception

Throws:

ParseException

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 Location 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(InputStream stream)

Reinitialise.

ReInit

public void ReInit(InputStream stream,
          String encoding)

Reinitialise.

ReInit

public void ReInit(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.