Table of Contents
ocdebug, sscdebug - Esterel and Lustre Debug code producers - Version
v5_21
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