Package com.uppaal.model.io2

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.

See Also:

PrototypeDocument, Document

Interface Summary

Interface	Description
UGIReaderConstants	Token literal values and constants.
XTAReaderConstants	Token literal values and constants.

Class Summary

Class	Description
BoundCalc
CachedOutputStream	CachedOutputStream buffers the stream while ignoring flushing.
FloatPoint
IntPoint
QueryListStreamWriter	The writer class
QueryListURLReader	The reader class
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.
UXMLResolver	Resolve resources during an XML parse
XMLReader	The class for xml file read
XMLWriter	The model xml writer class
XTAReader
XTAReaderTokenManager	Token Manager.
XTAWriter	A class that facilitates writing .xta from a Document.

Exception Summary

Exception	Description
ParseException	This exception is thrown when parse errors are encountered.

Error Summary

Error	Description
TokenMgrError	Token Manager Error.