Module Typage


module Typage: sig  end
Typage des variables d'un arbre de syntaxe à partir de sa table de hachage


Ouverture des fichiers

val _Changer_Type_Param : string -> string -> Creation._Hash_Type list -> string * Declaration.m_type
Fonction permettant de chercher le type d'une variable 'identifiant' dans les "HashType.Parametre" de la table de hachage. Elle retourne le couple ('identifiant', 'type')
val _Attribution_Arbre_Param : string ->
(string * Declaration.m_type) list ->
Creation._Hash_Type list -> (string * Declaration.m_type) list
Fonction permettant de mettre à jour les types de la liste de paramètres d'un module en fonction de la table de hachage
val _Changer_Type_Var : string -> string -> Creation._Hash_Type list -> string * Declaration.m_type
Fonction permettant de chercher le type d'une variable 'identifiant' dans les "HashType.Autre" de la table de hachage. Elle retourne le couple ('identifiant', 'type')
val _Attribution_Arbre_Var : string ->
(string * Declaration.m_type) list ->
Creation._Hash_Type list -> (string * Declaration.m_type) list
Fonction permettant de mettre à jour les types de la liste de variables construites d'un module en fonction de la table de hachage. L'expr.Ensemble définissant la construction de l'objet a pu être modifier dans la table de hachage
val _Changer_Type_Assign : string -> Declaration.expr -> Creation._Hash_Type list -> Declaration.expr
Fonction servant à typer les variables rencontrées dans les ASSIGN
val _Attribution_Arbre_Assign : string ->
('a * Declaration.expr) list ->
Creation._Hash_Type list -> ('a * Declaration.expr) list
Fonction permettant de mettre à jour les informations de type dans la partie ASSIGN
val _Fusion_Arbre_Hash : Declaration.moduleSMV list ->
Creation._Hash_Type list -> Declaration.moduleSMV list
Fonction permettant de typer toutes les variables de l'arbre de syntaxe à partir d'une table de hachage