Package com.uppaal.model.io2

Provides support for reading and writing UPPAAL models from and to XTA and XML files.

See:
Description

Interface Summary

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

Class Summary

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 Summary

ParseException

This exception is thrown when parse errors are encountered.

Error Summary

TokenMgrError

Token Manager Error.

Package com.uppaal.model.io2 Description

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