ocdebug(1) manual page

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

- Name
- Synopsis
- Description
- See Also
- Identification

Back To Main Manual Page