FSP.OPEN manual page
Table of Contents

Name

fsp.open - OPEN/CAESAR connection for the FSP language

Synopsis

fsp.open [-root root-process] [-silent | -verbose] [-version] [exp_options] filename[.lts] [cc_options] user[.a|.c|.o] [user_options]

Description

Taking as input filename.lts (which describes a process in the FSP language of Magee & Kramer, Imperial College, London) and an OPEN/CAESAR program user[.a|.c|.o], fsp.open operates as follows:

Options

-root root-process
Use the process root-process as the main process. This option is passed to fsp2lotos . See fsp2lotos for more information.

-silent
Execute silently. This option is passed to exp.open and svl . See exp.open and svl for more information.

-verbose
Report activities and progress, including errors and messages emitted by auxiliary tools, to the user's screen. This option is passed to exp.open and svl . See exp.open and svl for more information.

-version
Display the version number of fsp2lotos and stop.

exp_options
if any, are passed to exp.open .

cc_options
if any, are passed to the C compiler.

user_options
if any, are passed to user.

Operands

filename.lts
FSP specification (input)

user.a
exploration module (archive, input)

user.c
exploration module (source, input)

user.o
exploration module (object code, input)

user
executable program (output)

Files

$CADP_TMP/fsp.*
temporary files

$CADP/lib/FSP_V1.lib
FSP predefined library (LOTOS code)

$CADP/incl/FSP_V1.h
FSP predefined library (C code)

Exit Status

When the source is erroneous, error messages are issued. Exit status is 0 if everything is alright, 1 otherwise.

Authors

Remi Herilier and Frederic Lang (INRIA Rhone-Alpes).

See Also

exp.open , fsp2lotos , svl

Additional information is available from the CADP Web page located at http://cadp.inria.fr

Directives for installation are given in files $CADP/INSTALLATION_*.

Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.

Bugs

Please report any bug to cadp@inria.fr


Table of Contents