2  Use of the compiler

2.1  Simple mode

The syntax of the command is:

where <file-name> is a file in the reglo format.

For each declaration in the source program:

the compiler builds a Lustre node which header is:

N.B. The actual name for the output (“OK” in the example) is not guaranted.

2.2  Modular mode

If the source file contains expression calls, or if the option -m is given to the command, the compiler builds two nodes.

• A “core” node whose header is:

  node <ident>_core (INIT, PFX, <ident-list>: bool) returns ( OK : bool);

• A main node whose header is:

  node <ident> ( <ident-list> : bool) returns (OK : bool);

  which is simply a call of the prevvious one.

2.3  Options

-v (verbose)

This option tells the compiler to output some informations on stderr.

-o <file-name> (output file)

The command “reglo name.rg” normally produces the file “name.lus”.

-os (stdout)

This option forces the compiler to output its result on stdout.

-m (modular compilation)

This option forces the modular mode.

-eqs (language equations)

The default is to produce a Lustre recognizer. With this option, the compiler outputs a set of language equation (in a readable format).

2.4  Errors

Sorry, but syntax errors are not well handled... On the contrary, static semantics errors produce meaningful messages:

• regular ’<ident>’ must have parameters (a regular expression must have at least one parameter)
• regular ’<ident>’ defined twice
• In ’<ident>’ header: parameter ’<ident>’ declared twice
• In ’<ident>’ de’finition: param ’<ident>’ used twice in a monomial
• In ’<ident>’ de’finition: undeclared parameter ’<ident>’