Previous Up Next

3  Use of the compiler

3.1  Simple mode

The syntax of the command is:

reglo <file-name>

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

For each declaration in the source program:

<ident>( <ident-list>) = <expression>;

the compiler builds a Lustre node which header is:

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

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

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

3.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).

3.4  Errors

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


Previous Up Next