package lustre-v6

  1. Overview
  2. Docs
The Lustre V6 Verimag compiler

Install

Dune Dependency

www-verimag.imag.fr Edit opam file Versions (4)

Authors

  1. E
    Erwan Jahier and Pascal Raymond

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

lustre-v6.v6.107.1.tgz
md5=4b642b106a76e19de3751afb53ccdcf4
sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc

doc/lustre-v6/Lv6parserUtils/index.html

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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct