lustre-v6
AstV6Source(Raw) Abstract syntax tree of source Lustre V6 programs.
This is a syntax tree represented by Hash tables.
Constructeur de type "avec erreur info"
type t = | PRPackBody of string list * packbody| PRPack_or_models of string list * pack_or_model listand pack_or_model = | NSPack of pack_info Lxm.srcflagged| NSModel of model_info Lxm.srcflaggedand model_info = {mo_name : Lv6Id.pack_name;mo_uses : Lv6Id.pack_name Lxm.srcflagged list;mo_needs : AstCore.static_param Lxm.srcflagged list;mo_provides : AstCore.item_info Lxm.srcflagged list option;mo_body : packbody;}and pack_given = {pg_uses : Lv6Id.pack_name Lxm.srcflagged list;pg_provides : AstCore.item_info Lxm.srcflagged list option;pg_body : packbody;}and pack_instance = {pi_model : Lv6Id.t;pi_args : (Lv6Id.t * AstCore.static_arg Lxm.srcflagged) list;}and packbody = {pk_const_table : (Lv6Id.t, AstCore.const_info Lxm.srcflagged) Hashtbl.t;pk_type_table : (Lv6Id.t, AstCore.type_info Lxm.srcflagged) Hashtbl.t;pk_node_table : (Lv6Id.t, AstCore.node_info Lxm.srcflagged) Hashtbl.t;pk_def_list : AstCore.item_ident list;}val make_packbody :
(Lv6Id.t, AstCore.const_info Lxm.srcflagged) Hashtbl.t ->
(Lv6Id.t, AstCore.type_info Lxm.srcflagged) Hashtbl.t ->
(Lv6Id.t, AstCore.node_info Lxm.srcflagged) Hashtbl.t ->
AstCore.item_ident list ->
packbody