Table of Contents
occ, sscc, scc - Esterel and Lustre C code producers - Version v5_92
occ [options] file ...
sscc [options] file ...
scc [options] file ...
The
occ (resp. sscc, scc) code producer takes as input one or more oc (resp.
ssc, sc) files and produces standard executable C code. If there is no
input file, the standard input is read. Typical use is:
occ < game.oc
or
occ -B game game.oc
or
sscc -B game game.ssc
The following options are interpreted
by occ, sscc and scc:
- -simul
- Produce code suited to interactive simulations.
This option is mandatory for using csimul or xsimul libraries.
- -inline (occ
only)
- Generate inline-code instead of tables and indirect function calls
for the automaton. This option generates faster, and sometimes smaller,
objects for small automatons. This option is *NOT* compatible with the -simul,
-sc or -ssc options.
- -ansi
- Generate ANSI C code (default).
- -noansi
- Generate standard
C code instead of ANSI C.
- -B name
- Specify an output file base name. The suffix
".c" is added automatically. If this option is omitted the output code is
printed in file occ_out.c.
- -D directory
- Specify a directory where the output
file will be placed. The default is the current directory.
- -v
- Verbose mode:
print the name of each input module on the standard error stream.
- -size
- Print
size statistics on the standard error stream: the number of actions, the
number of states and the bytecode size of the generated automaton.
- -stat
- Print
statistics on the standard error stream: the execution time and the process
size. Implemented on BSD 4.x systems only.
- -s
- Silent mode. No output file is
generated.
- -oc
- Translate oc format into C programming language. This is the
default option.
- -ssc
- Translate ssc format into C programming language.
- -version
- Print
the version name on the standard error output stream and terminate, ignoring
all other arguments.
- -access
- Print access rights to the processor on the standard
error output stream and terminate, ignoring all other arguments.
- -info
- Print
various informations about the processor compilation on the standard error
output stream and terminate, ignoring all other arguments.
Esterel
documentations.
esterel(1)
, lcoc(1)
, sscoc(1)
, ocdebug(1)
, sscdebug(1)
,
csimul(3)
, xes(3)
Ecole des Mines de Paris (CMA) and INRIA,
Sophia-Antipolis
Written by Gerard Berry; updated by Frederic Mignard, Jean-Pierre
Paris and Xavier Fornari
Table of Contents
Back To Main Manual Page