occ(1) manual page

Table of Contents

## NAME

occ, sscc, scc - Esterel and Lustre C code producers - Version v5_21

## SYNOPSIS

occ [options] file ...

sscc [options] file ...

scc [options] file ...

## DESCRIPTION

The occ (resp. sscc , scc ) code producer takes as input one or more oc (resp. ssc , sc ) files and produces standard executable C code. If there is no input file, the standard input is read. Typical use is:

> occ < game.oc

or

> occ -B game game.oc

or

> sscc -B game game.ssc

The following options are interpreted by occ , sscc and scc :

-simul
  Produce code suited to interactive simulations. This option is mandatory for using csimul or xsimul libraries.
-inline (occ only)
  Generate inline-code instead of tables and indirect function calls for the automaton. This option generates faster, and sometimes smaller, objects for small automatons. This option is *NOT* compatible with the -simul, -sc or -ssc options.
-ansi
  Generate ansi C code instead of standard C.
-B name
  Specify an output file base name. The suffix ".c" is added automatically. If this option is omitted the output code is printed in file occ_out.c .
-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.
-size
  Print size statistics on the standard error stream: the number of actions, the number of states and the bytecode size of the generated automaton.
-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
  Translate oc format into C programming language. This is the default option.
-ssc
  Translate ssc format into C programming language.
-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) , ocdebug(1) , sscdebug(1) , csimul(3) , xes(3)

## IDENTIFICATION

Ecole des Mines de Paris (CMA) and INRIA, Sophia-Antipolis

Written by Gerard Berry; updated by Frederic Mignard, Jean-Pierre Paris and Xavier Fornari

Table of Contents

- NAME
- SYNOPSIS
- DESCRIPTION
- SEE ALSO
- IDENTIFICATION

Back To Main Manual Page