LUS2EC(1)

NAME
lus2ec - lustre expansion

SYNOPSIS
lus2ec file.lus node [ options ]

DESCRIPTION
Lustre to expanded-code compiler: it requires a Lustre-V4 input file and a main node name. It produces a file node.ec. This file contains the code of the main node where node calls are inlined (recursively replaced by their definitions) and where structured variables (arrays, tuples) are expanded into sets of atomic variables (bool, int, real or external type).

OPTIONS
define the name of the output file. output the result on stdout

SEE ALSO
lustre, lus2ec, ecexe, luciole, simec, lus2oc, ec2oc, ocmin, lus2atg, oc2atg, ec2c, poc, lux, lesar, ecverif, xlesar