Table of Contents

Name

ocdebug, sscdebug - Esterel and Lustre Debug code producers - Version v5_92

Synopsis

ocdebug [options] file ...

sscdebug [options] file ...

Description

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.

See Also

Esterel documentations.
esterel(1) , lcoc(1) , sscoc(1) , occ(1) , sscc(1)

Identification

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