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:
Interface Summary Interface Description UGIReaderConstantsToken literal values and constants. XTAReaderConstantsToken literal values and constants.
Class Summary Class Description BoundCalc CachedOutputStreamCachedOutputStream buffers the stream while ignoring flushing. FloatPoint IntPoint QueryListStreamWriterThe writer class QueryListURLReaderThe reader class RelToAbsVisitor SimpleCharStreamAn implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing). TokenDescribes the input token stream. UGIReaderA parser that can read a file and modify pos tags in a
UGIReaderTokenManagerToken Manager. UGIWriterA class that facilitates writing .ugi files from a
UXMLResolverResolve resources during an XML parse XMLReaderThe class for xml file read XMLWriterThe model xml writer class XTAReader XTAReaderTokenManagerToken Manager. XTAWriterA class that facilitates writing .xta from a
Exception Summary Exception Description ParseExceptionThis exception is thrown when parse errors are encountered.
Error Summary Error Description TokenMgrErrorToken Manager Error.