ocdebug(1)

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.