package lutin

  1. Overview
  2. Docs
package lutin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module ExpandSource

EXPANSION : main

------------------------------------------------------------

L'expansion consiste essentiellement à construire 3 tables globales indexées par des ident target :

  • Table des variables (support) : elle contient les entrées/sorties et les locales (cf. exist) remontées au top via un nommage unique.
  • Table des alias : associe à des idents cible des expressions algébriques. Les idents cible correpondent au instances de macros utilisées dans le corps du node.
  • Table des traces : à chaque trace nommée est associée une expression de trace expansée.
  • Table des fonctions externes utilisees, pour + tard

----------------------------------------------------------

Les paramètres de l'expansion sont : -------------------------------------------------------

  • Le CheckEnv.t qui résulte du type/binding check. Il permet de retrouver le type effectif (sémantique) de toute expression source et l'info associée à toute instance d'identificateur. -------------------------------------------------------
  • Le code source (type Syntaxe.package) -------------------------------------------------------
  • Le node "main" (string) -------------------------------------------------------

Le résultat de l'expansion consiste en 3 tables indexées par des idents cibles (CoIdent.t) :

  • Table des variables (support)
  • Table des alias (d'expressions algébriques)
  1. la liste d'alias
  • Table des traces
Sourcetype support_scope

Info et table des variables support

Sourcetype support_nature =
  1. | Input
  2. | Output
  3. | LocalIn
  4. | LocalOut
Sourcetype support_info = {
  1. si_ident : CoIdent.t;
  2. si_nature : support_nature;
  3. si_type : CkTypeEff.t;
  4. si_ref_exp : CoAlgExp.t;
  5. si_src : CoIdent.src_stack;
  6. si_pre_ref_exp : CoAlgExp.t option;
  7. si_default : CoAlgExp.t option;
  8. si_scope : support_scope option;
  9. si_init : CoAlgExp.t option;
  10. si_range : (CoAlgExp.t * CoAlgExp.t) option;
}
Sourceand t
Sourceval support_pres : t -> (CoIdent.t * support_info) list
Sourceval input_list : t -> CoIdent.t list
Sourceval output_list : t -> CoIdent.t list
Sourceval local_in_list : t -> CoIdent.t list
Sourceval local_out_list : t -> CoIdent.t list
Sourceval ident_space : t -> CoIdent.space
Sourceval node_name : t -> string
Sourcetype alias_info = {
  1. ai_type : CkTypeEff.t;
  2. ai_def_exp : CoAlgExp.t;
  3. ai_ref_exp : CoAlgExp.t;
  4. ai_src : CoIdent.src_stack;
}

Info et table des alias algébriques

Sourceval alias_list : t -> CoIdent.t list
Sourceval get_run_expanded_code : t -> CoIdent.t -> t

Info et table des alias trace

Sourcetype tbl = {
  1. arg_opt : MainArg.t;
  2. expanded_code : t;
  3. in_vars : Exp.var list;
  4. out_vars : Exp.var list;
  5. loc_vars : Exp.var list;
  6. init_pres : Value.OfIdent.t;
  7. id2var_tab : Exp.var Util.StringMap.t;
  8. out_var_names : string list;
  9. bool_vars_to_gen : Exp.formula;
  10. num_vars_to_gen : Exp.var list;
  11. snt : Solver.t;
}
Sourceand trace_info = {
  1. ti_def_exp : tbl CoTraceExp.t;
  2. ti_src : CoIdent.src_stack;
}
Sourceval make : CheckEnv.t -> Syntaxe.package -> string -> t
Sourceval get_trace_info : t -> CoIdent.t -> trace_info

Info et table des externes utilisées on garde le CkIdentInfo.t tel quel pour usage ultérieur (génération de code) N.B. le source est un lexeme

Sourcetype extern_info = {
  1. xi_decl : Syntaxe.let_info;
  2. xi_prof : CkTypeEff.profile;
  3. xi_src : Lexeme.t;
}
Sourceval main_trace : t -> CoIdent.t

Identificateur (target) de la trace principale

Sourceval dump : t -> unit

DUMP pour debug etc.

Sourceval dump_src_ctx : t -> string
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