See: Description
Interface | Description |
---|---|
UGIReaderConstants |
Token literal values and constants.
|
XTAReaderConstants |
Token literal values and constants.
|
Class | Description |
---|---|
BoundCalc | |
CachedOutputStream |
CachedOutputStream buffers the stream while ignoring flushing.
|
FloatPoint | |
IntPoint | |
RelToAbsVisitor | |
SimpleCharStream |
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
|
Token |
Describes the input token stream.
|
UGIReader |
A parser that can read a file and modify pos tags in a
Document . |
UGIReaderTokenManager |
Token Manager.
|
UGIWriter |
A class that facilitates writing .ugi
files from a
Document . |
XMLReader | |
XMLWriter | |
XTAReader | |
XTAReaderTokenManager |
Token Manager.
|
XTAWriter |
A class that facilitates writing .xta from a
Document . |
Exception | Description |
---|---|
ParseException |
This exception is thrown when parse errors are encountered.
|
Error | Description |
---|---|
TokenMgrError |
Token Manager Error.
|
Provides support for reading and writing UPPAAL models from and to XTA and XML files.
However, the preferred method of reading a model is to use the load() method of the PrototypeDocument class and the preferred method of writing a model is to use the save() method of the Document class.
PrototypeDocument
,
Document
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.