Table of Contents
ocdebug, sscdebug - Esterel and Lustre Debug code producers - Version
v5_92
ocdebug [options] file ...
sscdebug [options] file ...
The
ocdebug (resp. sscdebug) code producer takes as input one or more oc (resp.
ssc) files and produces a human readable output. If there is no input file,
the standard input is read. Typical use is:
ocdebug < game.oc
or
ocdebug
-B game game.oc
or
ssccdebug -B game game.ssc
The following options are interpreted
by ocdebug and sscdebug:
- -names
- Print the signal and task names after each
action involving them. Between square brackets for each present signal test;
between braces for each output action; between brackets for task names.
- -var_names
- Use the real names of variables instead of the ones automatically
generated by occ when printing the action table. This option is useful when
actions are equations of a single-state automaton.
- -halts
- Print the haltset
of each state of the automaton after the keyword: haltset (only useful
for ocdebug).
- -emitted
- Print the list of output or local signals emitted in
each transition of the automaton or in each equation, after the keyword:
emitted.
- -tasks
- Print the status of active tasks in each transition of the
automaton or in each equation, after the keywords: started, killed, suspended,
activated.
- -tables
- Print only module tables; do not print the automaton nor
the equations.
- -latex
- Produce an output file for LaTeX.
- -simul
- Use the same action
numbers as the ones in code suited to interactive simulations.
- -B name
- Specify
an output file base name. The suffix ".debug" (or ".tex" when the option -latex
is set) is added automatically. If this option is omitted the output code
is printed in file ocdebug_out.debug (or ocdebug_out.tex).
- -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.
- -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
- Read oc format and produce human readable
automata. This is the default option.
- -ssc
- Read ssc format and produce human
readable equations.
- -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)
, occ(1)
, sscc(1)
Ecole des
Mines de Paris (CMA) and INRIA, Sophia-Antipolis
Written by Annie Ressouche; updated by Frederic Mignard, Jean-Pierre Paris,
Francois-Xavier Fornari.
Table of Contents
Back To Main Manual Page