lustre-v6 6.107.1 (latest)

(Raw) Abstract syntax tree of source Lustre Core programs.

type clock_exp =

| Base
| NamedClock of Lv6Id.clk Lxm.srcflagged

type type_exp = type_exp_core Lxm.srcflagged

type_exp is used to type flow, parameters, constants.

and type_exp_core =

| Bool_type_exp
| Int_type_exp
| Real_type_exp
| Named_type_exp of Lv6Id.idref
| Array_type_exp of type_exp * val_exp

and node_info = {

name : Lv6Id.t;
static_params : static_param Lxm.srcflagged list;
vars : node_vars option;
loc_consts : (Lxm.t * const_info) list;
def : node_def;
has_mem : bool;
is_safe : bool;

}

and static_param =

| StaticParamType of Lv6Id.t
| StaticParamConst of Lv6Id.t * type_exp
| StaticParamNode of Lv6Id.t * var_info Lxm.srcflagged list * var_info Lxm.srcflagged list * has_mem_flag * is_safe_flag

and node_vars = {

inlist : Lv6Id.t list;
outlist : Lv6Id.t list;
loclist : Lv6Id.t list option;
vartable : var_info_table;

}

and var_info_table = (Lv6Id.t, var_info Lxm.srcflagged) Hashtbl.t

and var_info = {

var_nature : var_nature;
var_name : Lv6Id.t;
var_number : int;
var_type : type_exp;
var_clock : clock_exp;

}

and var_nature =

| VarInput
| VarOutput
| VarLocal

and node_def =

| Extern
| Abstract
| Body of node_body
| Alias of by_pos_op Lxm.srcflagged

and node_body = {

asserts : val_exp Lxm.srcflagged list;
eqs : eq_info Lxm.srcflagged list;

}

and has_mem_flag = bool

and is_safe_flag = bool

and eq_info = left_part list * val_exp

and left_part =

| LeftVar of Lv6Id.t Lxm.srcflagged
| LeftField of left_part * Lv6Id.t Lxm.srcflagged
| LeftArray of left_part * val_exp Lxm.srcflagged
| LeftSlice of left_part * slice_info Lxm.srcflagged

and slice_info = {

si_first : val_exp;
si_last : val_exp;
si_step : val_exp option;

}

and by_pos_op =

| Predef_n of AstPredef.op Lxm.srcflagged
| CALL_n of node_exp Lxm.srcflagged
| IDENT_n of Lv6Id.idref
| PRE_n
| ARROW_n
| FBY_n
| CURRENT_n
| WHEN_n of clock_exp
| TUPLE_n
| WITH_n of val_exp * val_exp * val_exp
| CONCAT_n
| HAT_n
| ARRAY_n
| STRUCT_ACCESS_n of Lv6Id.t
| ARRAY_ACCES_n of val_exp
| ARRAY_SLICE_n of slice_info

and val_exp =

| CallByPos of by_pos_op Lxm.srcflagged * operands
| CallByName of by_name_op Lxm.srcflagged * (Lv6Id.t Lxm.srcflagged * val_exp) list
| Merge_n of val_exp Lxm.srcflagged * (Lv6Id.idref Lxm.srcflagged * val_exp) list
| Merge_bool_n of val_exp Lxm.srcflagged * val_exp * val_exp

and operands =

| Oper of val_exp list

and by_name_op =

| STRUCT_n of Lv6Id.idref
| STRUCT_WITH_n of Lv6Id.idref * Lv6Id.idref
| STRUCT_anonymous_n

and node_exp = Lv6Id.idref * static_arg Lxm.srcflagged list

and static_arg =

| StaticArgLv6Id of Lv6Id.idref
| StaticArgConst of val_exp
| StaticArgType of type_exp
| StaticArgNode of by_pos_op

Params statiques effectifs :

val_exp (pour les constantes)
type_exp (pour les types)
node_exp (pour les node)
ident : a r�soudre, peut etre const, type ou node

constant

and const_info =

| ExternalConst of Lv6Id.t * type_exp * val_exp option
| EnumConst of Lv6Id.t * type_exp
| DefinedConst of Lv6Id.t * type_exp option * val_exp

Type

type field_info = {

fd_name : Lv6Id.t;
fd_type : type_exp;
fd_value : val_exp option;

}

type struct_type_info = {

st_name : Lv6Id.t;
st_flist : Lv6Id.t list;
st_ftable : (Lv6Id.t, field_info Lxm.srcflagged) Hashtbl.t;

}

type type_info =

| ExternalType of Lv6Id.t
| AliasedType of Lv6Id.t * type_exp
| EnumType of Lv6Id.t * Lv6Id.t Lxm.srcflagged list
| StructType of struct_type_info
| ArrayType of Lv6Id.t * type_exp * val_exp

Operator

type item_ident =

| ConstItem of Lv6Id.t
| TypeItem of Lv6Id.t
| NodeItem of Lv6Id.t * static_param Lxm.srcflagged list

type item_info =

| ConstInfo of const_info
| TypeInfo of type_info
| NodeInfo of node_info

val string_of_type_exp : type_exp -> string

val string_of_var_nature : var_nature -> string

val lxm_of_val_exp : val_exp -> Lxm.t

package lustre-v6