Table of Contents
strlic - Esterel parser - Version v5_21
strlic [options]
file ...
strlic is the Esterel parser, type-checker and intermediate
code generator. It is normally called via the esterel command. It can
also be called directly by the user if necessary.
The strlic processor
checks the Esterel input programs for syntax and type errors. It produces
an ic format output. If no input file is specified, standard input is
used. Output is produced only for valid input files, i.e., files that did
not generate any error. Warnings do not forbid code generation. Error messages
and warnings are written to the standard error stream. Typical use is:
strlic < game1.strl > game.ic
or
strlic game1.strl game2.strl > game.ic
The following options are interpreted by strlic :
- -v
- Verbose
mode. Print on the standard error stream the different steps of the process:
parsing, type-checking, and code generation for each module.
- -s
- Silent mode:
perform parsing and type-checking but do not generate the ic code.
- -w
- Suppress
all warning messages.
- -W
- Display all warning messages (the default is to
display only potentially harmful warnings).
- -stat
- Print statistics on the
standard error stream: parsing, type-checking and coding times as well
as process size.
- -p1
- Generate an unary parallel for each local signal (mandatory
in the Esterel v4 compilation chain).
- -shared_var
- Allow the use of shared
variables. A shared variable will produce a minor warning.
- -v3
- V3 mode:
in this mode, boolean signal expressions are translated into several present
instructions.
- -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.
The diagnostics produced by
strlic compiler are intended to be self-explanatory.
Esterel
documentations.
esterel(1)
, iclc(1)
Ecole des Mines de
Paris (CMA) and INRIA Sophia-Antipolis.
Written by Raphael Bernhard. Updated
by Jean-Pierre Paris, Francois-Xavier Fornari.
Table of Contents
Back To Main Manual Page