DECLARATOR manual page
Table of Contents


declarator - test an OPEN/CAESAR implementation


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

or: [caesar_opt] spec[.lotos] [cc_opt] declarator [depth]

or: [exp_opt] spec[.exp] [cc_opt] declarator [depth]

or: [fsp_opt] spec[.lts] [cc_opt] declarator [depth]

or: [lnt_opt] spec[.lnt] [cc_opt] declarator [depth]

or: [seq_opt] spec[.seq] [cc_opt] declarator [depth]


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, the LOTOS program spec.lotos, the composition expression spec.exp, the FSP program spec.lts, the LNT program spec.lnt, or the sequence file spec.seq.


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

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

The options exp_opt, if any, are passed to .

The options fsp_opt, if any, are passed to .

The options lnt_opt, if any, are passed to .

The options seq_opt, if any, are passed to .

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.


Hubert Garavel (INRIA Rhone-Alpes)

BCG graph (input)

network of communicating LTSs (input)

LOTOS specification (input)

FSP specification (input)

LNT specification (input)

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_open , bcg , , caesar , caesar.adt , , , ,

Additional information is available from the CADP Web page located at

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

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


Please report new bugs to

Table of Contents