package lustre-v6

  1. Overview
  2. Docs

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 :

Entre, 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 expanses :

  • une table xptab : (string, t) Hashtbl.t

Fonctionnement : On met en relation les couples (param formel, arg effectif) :

(type t, id/type_exp) : on cre l'alias "type t = id/type_exp", qu'on met la fois dans les export et dans le body => LES DCLARATIONS DE TYPES SONT EXPORTES

(const c : t, id/val_exp) : on cre l'alias "const c : t = id/val_exp", qu'on met la fois dans les export et dans le body => LES DCLARATIONS DE CONST SONT EXPORTES

(node n(..)returns(...), id/node_exp) :

  • on garde le noeud "abstrait" dans export => node n(..)returns(...)
  • on dfinit l'alias "node n(..)returns(...) = id/node_exp" dans body

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

OCaml

Innovation. Community. Security.