xml [-UTF8 | -UTF16BE | -UCS4] [cadiz options] filename
The xml tool acquires the annotated representation of the Z specification in the given filename from cadiz's API, and outputs XML mark-up of that specification to its standard output. The sections of the specification are written in definition before use order, with operator templates moved to immediately after section headers.
Specifies the encoding to use for the output UCS characters, default UTF8.
Other options are forwarded to cadiz.
specifies the processor architecture on which xml is to be executed. Unless you are accessing xml remotely in a heterogeneous computing network, the default is likely to be appropriate. Recognised values include irix6, solaris2 and i486.
names the directory in which CADiZ is installed. In particular, executables are kept in $CADIZ/mip/bin. If that directory is in your $PATH, then it is not necessary to set the CADIZ variable.
is a search path of directories in which xml will look for files. xml looks in the directory of toolkits $CADIZ/mip/kits/$MARKUP first, then any directories given by $CADIZPATH, and lastly in the current directory.
should be either latex or groff. This determines which mark-up xml assumes is used in the files. It defaults to groff.
The exit status of xml is
if no errors are detected in the entire specification,
if some errors are detected in the specification,
if xml detects something amiss with itself.