The syntax of the command is:
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.
If the source file contains expression calls, or if the option -m is given to the command, the compiler builds two nodes.
|node <ident>_core (INIT, PFX, <ident-list>: bool) returns ( OK : bool);|
|node <ident> ( <ident-list> : bool) returns (OK : bool);|
which is simply a call of the prevvious one.
This option tells the compiler to output some informations on stderr.
The command “reglo name.rg” normally produces the file “name.lus”.
This option forces the compiler to output its result on stdout.
This option forces the modular mode.
The default is to produce a Lustre recognizer. With this option, the compiler outputs a set of language equation (in a readable format).
Sorry, but syntax errors are not well handled... On the contrary, static semantics errors produce meaningful messages: