DECLARATOR manual page
Table of Contents

Name

declarator - test an OPEN/CAESAR implementation

Synopsis

bcg_open [bcg_opt] spec[.bcg] [cc_opt] declarator [depth]

or:

exp.open [exp_opt] spec[.exp] [cc_opt] declarator [depth]

or:

fsp.open [fsp_opt] spec[.lts] [cc_opt] declarator [depth]

or:

lnt.open [lnt_opt] spec[.lnt] [cc_opt] declarator [depth]

or:

lotos.open [lotos_opt] spec[.lotos] [cc_opt] declarator [depth]

or:

seq.open [seq_opt] spec[.seq] [cc_opt] declarator [depth]

Description

This program is intended for people trying to connect new languages and compilers to the OPEN/CAESAR environment.

It checks the correctness of the C programs generated to implement the "caesar_graph.h" interface. It attempts to exercise all the types and functions defined in "caesar_graph.h", all of which should be implemented in the C code generated from the BCG graph spec.bcg, the composition expression spec.exp, the FSP program spec.lts, the LNT program spec.lnt, the LOTOS program spec.lotos, or the sequence file spec.seq.

Options

The options bcg_opt, if any, are passed to bcg_lib .

The options exp_opt, if any, are passed to exp.open .

The options fsp_opt, if any, are passed to fsp.open .

The options lnt_opt, if any, are passed to lnt.open .

The options lotos_opt, if any, are passed to caesar and to caesar.adt .

The options seq_opt, if any, are passed to seq.open .

The options cc_opt, if any, are passed to the C compiler.

Option depth is an integer number denoting an upper bound: at most depth states are visited. By default, depth is equal to 10.

Exit Status

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

Author

Hubert Garavel (INRIA Rhone-Alpes)

Files

spec.bcg
BCG graph (input)

spec.exp
network of communicating LTSs (input)

spec.lts
FSP specification (input)

spec.lnt
LNT specification (input)

spec.lotos
LOTOS specification (input)

spec.seq
sequence file (input)

The source code of this tool can be found in file $CADP/src/open_caesar/declarator.c

See Also

OPEN/CAESAR Reference Manual, bcg , bcg_open , caesar , caesar.adt , exp , exp.open , fsp.open , lnt.open , lotos , lotos.open , seq , seq.open

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 new bugs to Hubert.Garavel@inria.fr

Table of Contents