Package 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 aDocument
.
-
-
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(InputStream stream)
Constructor with InputStream.UGIReader(InputStream stream, String encoding)
Constructor with InputStream and supplied encodingUGIReader(Reader stream)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods 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 associatedjava.io.InputStream
and modifies pos tags on elements indocument
.void
procAssignGI()
void
PTGraphInfo(Document document)
void
ReInit(UGIReaderTokenManager tm)
Reinitialise.void
ReInit(InputStream stream)
Reinitialise.void
ReInit(InputStream stream, String encoding)
Reinitialise.void
ReInit(Reader stream)
Reinitialise.void
singleCoord(Element element)
void
systemDefGI()
Edge
transIdent()
-
-
-
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 associatedjava.io.InputStream
and modifies pos tags on elements indocument
.- 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 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(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.
-
-