Table of Contents

Name

occ, sscc, scc - Esterel and Lustre C code producers - Version v5_92

Synopsis

occ [options] file ...

sscc [options] file ...

scc [options] file ...

Description

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.

See Also

Esterel documentations.

esterel(1) , lcoc(1) , sscoc(1) , ocdebug(1) , sscdebug(1) , csimul(3) , xes(3)

Identification

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