strlic(1) manual page

Table of Contents

## NAME

strlic - Esterel parser - Version v5_21

## 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.
-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

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

Back To Main Manual Page