C.3.2 Session objects

Sessions with FDR2 are created by the session command which returns the name of the new session.

session load dirname scriptname

Loads the specified script into the compiler, after changing to the specified directory. Normally the script name will not contain any path components, so all include directives are interpreted relative to the directory containg the first script. No value is returned.

session compile process model

Compiles the process in the environment defined by the current loaded script. A script must have been loaded, even if the process contains only builtin process terms. Any symbols which have special meaning to Tcl will, in general, need to be escaped. The return value is the name of the new ism.

The model is specified by using a -t or -f flag for the traces and failures model respectively. If no flag is supplied then the failures-divergences model is assumed.

Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.