Table of Contents

Name

strlic - Esterel parser - Version v5_92

Synopsis

strlic [options] file ...

Description

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

Options

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.

Diagnostics

The diagnostics produced by strlic compiler are intended to be self-explanatory.

See Also

Esterel documentations.
esterel(1) , iclc(1)

Identification

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