Table of Contents
lcoc - Esterel compiler - Version v5_21
lcoc [options] file
...
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
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.
There can be
no more than 32 nested trap instructions. Otherwise, the compiler complains
and stops.
esterel(1)
, iclc(1)
, occ(1)
, ocdebug(1)
Esterel documentations
Ecole des Mines de Paris (CMA) and INRIA.
Written by
Frederic Boussinot. Updated by Jean-Pierre Paris, Xavier Fornari.
Table of Contents
Back To Main Manual Page