Table of Contents
strlic - Esterel parser - Version v5_92
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.
- -noic8
- Produces ic7 code. Default
is to produce ic8 code.
- -main module
- (ic8 code) Tells that module is the
main module. Other modules will have their sensor signals transformed in
single input signals. This is for modularity purposes. IC code for main module
begins with ic8: main: instead of a single ic8: tag.
- -weakdog
- (ic8 code) Use
"Weakdog" IC statement to code "weak abort". The code is the same as for
an "abort" but with "Weakdog" replaces "Wachdog", instead of a combination
of parallel and traps.
- -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