lcoc(1) manual page

Table of Contents

## NAME

lcoc - Esterel compiler - Version v5_21

## SYNOPSIS

lcoc [options] file ...

## DESCRIPTION

lcoc is the Esterel v3 compiler to automata. It produces an oc format output from one or more lc input files (or ic files if no Esterel run instruction is used). If there is no input file, the standard input stream is read. The ic files describe Esterel modules to be processed, and the oc output file describes the computed automata. Typical use is:

lcoc < game1.ic > game1.oc

or

lcoc game1.ic > game1.oc

## OPTIONS

The following options are interpreted by lcoc .

-v
  Verbose option: print the name of each compiled module on the standard error stream.
-s
  Silent mode: performs binding but does not generate the oc code.
-w
  Suppress all warning messages.
-W
  Display all warning messages (the default is to display only harmful warnings).
-stat
  Print statistics on the standard error stream: parsing and compiling time and process size.
-size
  Print automata size statistics on the standard error stream: number of states, number of actions, and number of action calls.
-show
  Display dynamically on the standard error stream the number of states generated and analysed so far.
-oldcausality
  Enable the v3_1r4 causality error detection. For example, the following program: "emit S; present S else emit S end" is no longer accepted by the compiler unless this option is used.
-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.

## BUGS

There can be no more than 32 nested trap instructions. Otherwise, the compiler complains and stops.

## SEE ALSO

esterel(1) , iclc(1) , occ(1) , ocdebug(1)
Esterel documentations

## IDENTIFICATION

Ecole des Mines de Paris (CMA) and INRIA.
Written by Frederic Boussinot. Updated by Jean-Pierre Paris, Xavier Fornari.

Table of Contents

- NAME
- SYNOPSIS
- DESCRIPTION
- OPTIONS
- BUGS
- SEE ALSO
- IDENTIFICATION

Back To Main Manual Page