See: Description
Interface | Description |
---|---|
PerformanceSettings | |
Visit<R> |
An interace for a visit method.
|
XmlReader |
An XML reader.
|
XmlWriter |
Provides methods for writing XML data.
|
Class | Description |
---|---|
AbstractXmlWriter |
This class provides a skeletal implementation of the XmlWriter interface.
|
BasePrintVisitor |
A printer for terms.
|
BaseUtils |
Utilities for Terms.
|
CztDatatypeConverter | |
TermInstanceCountManager | |
TermToString |
Converter from Term to String.
|
TermTreeNode |
A node of an AST that can be used as a tree node in a JTree.
|
Exception | Description |
---|---|
MarshalException |
This exception indicates that an error has occured
while performing a marshal operation.
|
UnmarshalException |
This exception indicates that an error has occured
while performing an unmarshal operation.
|
UnsupportedAstClassException |
An exception thrown by visitors when an unexpected AST class has
been found.
|
Utilities for the AST for Z: interfaces for a validator, an XML reader, and an XML writer.
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.