Making use of this information will require access to good Tcl documentation. We use Ouserhout's own "Tcl and the Tk Toolkit" (ISBN 0-201-63337).
The object model presented by FDR2 through Tcl was constructed to meet Formal Systems' internal requirements and has since been extended with certain user-requested operations. The model is neither complete nor minimal; not all of FDR2's functionality is made available, and that which is available may be accessible in multiple ways. Furthermore, this documentation does not list all of the available commands, merely those which are likely to be useful.
The commands are all provided in an object-oriented style, as described on page 283 of Ousterhout. They were added using Wayne Christopher's objectify tool. As a consequence, all the objects feature built-in help for all their commands. However, using commands which are not documented here is strongly discouraged.
The Tcl objects are associated with objects inside the FDR2 engine. Unless the Tcl objects are explicitly deleted, these objects will persist inside the engine, consuming resources. This may be signficant when performing several memory-intensive checks.
To start FDR2 without a GUI, use
fdr2tix -insecure -nowindow
The first flag prevents the use of a slave interpreter, while the second inhibits forces the use of the Tcl startup code, rather than Tk.
Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.