CADiZ

Reference manual / Developer's notes / Interfaces between cadiz and a GUI / Interface between cadiz and a window


Communications between cadiz and a window take place using an ASCII language. Where mathematical symbols need to be communicated, the ISO Standard E-mail mark-up is used.

Instances of windows are created by cadiz calling the scripts mip/bin/*proof. The scripts are given an option -b hostname,port allowing a socket to be established over which the communications take place.

The first implementation of a window that communicates with cadiz using this language is the auxiliary tool proof. An alternative implementation could be configured by alterations to the mip/bin/*proof scripts.

For communications initiated by cadiz, there is a library of operations declared in src/include/window.h that abstract away from the particular messages.

For communications initiated by a window, there are only two possible messages. They are received within cadiz by serviceproof(), and are as follows.

(It follows that all other operations initiated by the user are handled by the window without assistance from cadiz. In particular, selection of formulae prior to inspection is supported by information embedded in the formatted text.)

The messages from cadiz that a window should recognise are as follows.


IT 22-Nov-2001