CADiZ

Reference manual / Auxiliary tools / optemp


SYNOPSIS

optemp [-UTF8 | -UTF16BE | -UCS4] filename

DESCRIPTION

The optemp tool reads the file identified by the given filename, which should contain a sequence of UCS characters representing a Z specification. It writes a similar sequence of UCS characters to its standard output, in which operator template paragraphs are permuted to the beginnings of their sections. It also introduces lexis directives for operator words immediately before the operator template paragraphs.

OPTIONS

-UTF8 | -UTF16BE | -UCS4

Specifies the encoding that is both assumed to be used for the input UCS characters and is used for the output UCS characters, default UTF8.

ENVIRONMENT

ARCH

specifies the processor architecture on which optemp is to be executed. Unless you are accessing optemp remotely in a heterogeneous computing network, the default is likely to be appropriate. Recognised values include irix6, solaris2 and i486.

CADIZ

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.

EXIT STATUS

The exit status of optemp is

0

if no errors are detected in the entire specification,

1

if some errors are detected in the specification,

2

if optemp detects something amiss with itself.

SEE ALSO

Section 9 of [Toyn02].


IT 28-Jan-2002