Up – Package index » lustre-v6 » Library lustre-v6 » AstV6

Module `AstV6`Source

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

This is a syntax tree represented by Hash tables.

Sourcetype 'a error =

| Ok of 'a
| Error of string

Constructeur de type "avec erreur info"

Sourcetype t =

| PRPackBody of string list * packbody
| PRPack_or_models of string list * pack_or_model list

Sourceand pack_or_model =

| NSPack of pack_info Lxm.srcflagged
| NSModel of model_info Lxm.srcflagged

Sourceand 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;

}

Sourceand pack_info = {

pa_name : Lv6Id.pack_name;
pa_def : pack_def;

}

Sourceand pack_def =

| PackGiven of pack_given
| PackInstance of pack_instance

Sourceand pack_given = {

pg_uses : Lv6Id.pack_name Lxm.srcflagged list;
pg_provides : AstCore.item_info Lxm.srcflagged list option;
pg_body : packbody;

}

Sourceand pack_instance = {

pi_model : Lv6Id.t;
pi_args : (Lv6Id.t * AstCore.static_arg Lxm.srcflagged) list;

}

Sourceand 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;

}

Sourceval give_pack_this_name : Lv6Id.pack_name -> packbody -> pack_info

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

Sourceval lexeme_of_left_part : AstCore.left_part -> Lxm.t

Sourceval pack_or_model_to_string : pack_or_model -> string