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.