| Interface | Description |
|---|---|
| ZEvesResponsePrinter |
An interface to provide printing facilities to Z/EVES Response XML elements.
|
| Class | Description |
|---|---|
| XmlAnyElementItem |
Similar to
XmlAnyElementList, but for a single item, because we
cannot have a wrapper on a single item. |
| XmlAnyElementList |
A special list to act for XmlAnyElement wrappers, because currently one
cannot have the following annotations: @XmlElementWrapper @XmlAnyElement -
they fail to unmarshall.
|
| ZEvesError | |
| ZEvesErrorMessage | |
| ZEvesOutput | |
| ZEvesProofTrace |
A utility class that parses Z/EVES response trace (given as ZEvesBlurb object),
and partitions the results according to trace type.
|
| ZEvesProverCmd |
The provercmd form allows for the different kinds of commands to be
represented.
|
| ZEvesResponseReader |
The reader parses Z/EVES response XML and produces appropriate Z/EVES Java
objects with the data.
|
| ZEvesResponseUtil | |
| ZEvesXmlEntities |
| Enum | Description |
|---|---|
| ZEvesError.ZEvesErrorType | |
| ZEvesProofTrace.TraceType |
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.