Module Lv6parserUtilsSource

Sourcetype sx_VarDeclList = ((Lxm.t list * AstCore.type_exp) list * AstCore.clock_exp) list
Sourcetype sx_Params = sx_VarDeclList
Sourcetype sx_LocalVars = sx_VarDeclList
Sourceval flat_flagged_list : ('a list * 'b) list -> ('a -> 'b -> 'c) -> 'c list
Sourceval flat_twice_flagged_list : (('a list * 'b) list * 'c) list -> ('a -> 'b -> 'c -> 'd) -> 'd list
Sourceval name_table : (string, unit) Hashtbl.t
Sourceval idref_of_lxm : Lxm.t -> Lv6Id.idref Lxm.srcflagged
Sourceval lexeme_to_ident_flagged : Lxm.t -> Lv6Id.t Lxm.srcflagged

Traitement des listes d'idents avec valeur éventuelle (constantes, champs de struct etc...)

Sourceval lexeme_to_val_exp_flagged : Lxm.t -> AstCore.val_exp Lxm.srcflagged
Sourceval lexeme_to_pack_name_flagged : Lxm.t -> Lv6Id.pack_name Lxm.srcflagged
Sourcetype bool_or_idref =
  1. | Bool of bool
  2. | Idref of Lv6Id.idref
    (*

    Utilitaries to build val_exp

    *)
Sourceval make_merge_op : Lxm.t -> (bool_or_idref * Lxm.t * AstCore.val_exp) list -> AstCore.val_exp
Sourceval save_make_merge_op : Lxm.t -> (Lv6Id.idref Lxm.srcflagged * AstCore.val_exp) list -> AstCore.val_exp
Sourceval leafexp_predef : Lxm.t -> AstPredef.op -> AstCore.val_exp
Sourceval naryexp_predef : Lxm.t -> AstPredef.op -> AstCore.val_exp list -> AstCore.val_exp
Sourceval add_info : (Lv6Id.t, 'a Lxm.srcflagged) Hashtbl.t -> string -> Lxm.t -> 'a -> unit

add_info ----------------------------------------------------------------------- Rôle : proc générique pour mettre une info 'a dans une table (Lv6Id.t, 'a srcflagged).

Effets de bord : erreur de compil si déjà utilisé

Sourceval def_list : AstCore.item_ident list ref
Sourcetype id_valopt = Lxm.t * AstCore.type_exp * AstCore.val_exp option
Sourceval id_valopt_list_of_id_list : Lxm.t list -> AstCore.type_exp -> (Lxm.t * AstCore.type_exp * 'a option) list
Sourceval make_external_const_list : Lxm.t list -> AstCore.type_exp -> (Lxm.t * AstCore.const_info) list
Sourceval make_defined_const : Lxm.t -> AstCore.type_exp option -> AstCore.val_exp -> Lxm.t * AstCore.const_info
Sourceval treat_const_decl_list : (Lxm.t * AstCore.const_info) list -> unit
Sourceval make_struct_type_info : Lxm.t -> id_valopt list -> AstCore.struct_type_info
Sourceval treat_type_decl : (Lxm.t * AstCore.type_info) -> unit
Sourcetype typed_ids = Lxm.t list * AstCore.type_exp
Sourcetype clocked_ids = typed_ids list * AstCore.clock_exp
Sourceval clocked_ids_to_var_infos : AstCore.var_nature -> ((Lxm.t list * AstCore.type_exp) list * AstCore.clock_exp) list -> AstCore.var_info Lxm.srcflagged list
Sourceval treat_node_decl : bool -> bool -> Lxm.t -> AstCore.static_param Lxm.srcflagged list -> clocked_ids list -> clocked_ids list -> (clocked_ids list * (Lxm.t * AstCore.const_info) list) -> AstCore.val_exp Lxm.srcflagged list -> AstCore.eq_info Lxm.srcflagged list -> unit
Sourceval treat_node_alias : bool -> bool -> Lxm.t -> AstCore.static_param Lxm.srcflagged list -> (AstCore.var_info Lxm.srcflagged list * AstCore.var_info Lxm.srcflagged list) option -> AstCore.node_exp Lxm.srcflagged -> unit
Sourceval treat_abstract_or_extern_node_do : bool -> bool -> Lxm.t -> AstCore.static_param Lxm.srcflagged list -> sx_Params -> sx_Params -> bool -> AstCore.node_info
Sourceval treat_abstract_node : bool -> bool -> Lxm.t -> AstCore.static_param Lxm.srcflagged list -> sx_Params -> sx_Params -> AstCore.item_info Lxm.srcflagged
Sourceval treat_external_node : bool -> bool -> Lxm.t -> sx_Params -> sx_Params -> unit
Sourceval make_ident : Lxm.t -> Lxm.pragma list -> Lxm.t
Sourceval make_clock_exp : Lv6Id.idref -> Lxm.t -> AstCore.clock_exp