package lustre-v6
-
lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Time-stamp: <modified the 10/07/2017 (at 15:57) by Erwan Jahier>
An action is an intermediary data type that is used to translate expressions into Soc.gao. It is basically a clocked Soc.atomic_operation with arguments.
The idea is that each expression is translated into one or several actions. And those clocks are then translated into guards, so that each action is translated into a gao.
A more natural Module to define that type in would have been Soc, but that module could be shared with other front-ends (e.g., heptagon or lucid), and I prefer that module not to depend on
- such a cutting (expr -> action -> gao)
- The
Eff.clockname (could have been a module parameter though).
type rhs = Soc.var_expr listtype lhs = Soc.var_expr listtype t = Lic.clock * rhs * lhs * Soc.atomic_operation * Lxm.tval to_string : t -> stringval to_string_msg : t -> string