package lustre-v6
-
lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Create packages from Model instances.
Une seule fonctionnalité : transformer au niveau "quasi-syntaxique" des instances de pack du style "package toto = titi(....)" en package "donné", SI BESOIN.
(i.e. pack_info -> pack_given)
----------------------------------------------------------------------
---------------------------------------------------------------------- DESCRIPTION :
Entrée, deux tables d'infos syntaxique :
- une table ptab : (string, AstV6.pack_info srcflagged) Hashtbl.t
- une table mtab : (string, AstV6.model_info srcflagged) Hashtbl.t
Sortie, une table d'info de package expansées :
- une table xptab : (string, t) Hashtbl.t
Fonctionnement : On met en relation les couples (param formel, arg effectif) :
(type t, id/type_exp) : on crée l'alias "type t = id/type_exp", qu'on met à la fois dans les export et dans le body => LES DÉCLARATIONS DE TYPES SONT EXPORTÉES
(const c : t, id/val_exp) : on crée l'alias "const c : t = id/val_exp", qu'on met à la fois dans les export et dans le body => LES DÉCLARATIONS DE CONST SONT EXPORTÉES
(node n(..)returns(...), id/node_exp) :
- on garde le noeud "abstrait" dans export => node n(..)returns(...)
- on définit l'alias "node n(..)returns(...) = id/node_exp" dans body
----------------------------------------------------------------------
val f :
(Lv6Id.t, AstV6.model_info Lxm.srcflagged) Stdlib.Hashtbl.t ->
AstV6.pack_info Lxm.srcflagged ->
AstV6.pack_given