Module Generation


module Generation: sig  end
Génération des fichiers JAVA à partir d'un arbre de syntaxe précédemment traité


Ouverture des fichiers

exception Cas_non_traite
val _Traitement_toString : (string * Declaration.m_type) list -> string
Fonction permmettant d'écrire le corps de la fonction toString à partir d'une liste de VAR
val _Generation_Module_to_String : Declaration.moduleSMV -> string
Fonction permettant de construire la fonction toString (entête + corps)
val _Traitement_Sauvegarde : (string * 'a) list -> string
Fonction permettant d'écrire le corps de la fonction de sauvergarde
val _Generation_Module_Save : Declaration.moduleSMV -> string
Fonction permettant de construire la fonction Save (entête + corps). Utilisé pour la sauvegarde de l'objet dans son état, avant de faire un 'next'
val _Instanciation_Objet : (string * Declaration.m_type) list -> string
Fonction permettant d'écrire la fonction de mise en place des objets
val _Traitement_NotDet : Declaration.expr list -> string -> string -> string
Fonction permettant d'écrire les instructions afin de gérer le Non-Determinisme
val _Traitement_expr : Declaration.expr -> string -> string -> int -> string
Fonction générale permettant d'interpréter une expression. Le paramètre _CONST sert à l'indexation des Vector en cas de multiples Non Déterminisme
val _Traitement_liste_constr : Declaration.expr list -> string
Fonction permettant d'écrire les expressions de construction d'un objet
val _Initialisation_Objet : (string * Declaration.m_type) list -> string -> string
Foncntion permettant d'écrire l'appel a la fonction (passée en paramètre) sur les objets construits
val _Liste_Parametre_Module : (string * Declaration.m_type) list -> string
Fonction permettant d'écrire une liste de paramètres d'un module
val _Instanciation_Variable : (Declaration.assign * Declaration.expr) list -> int -> string
Fonction permettant d'écrire l'instanciation des variables ( init )
val _Generation_Module_Init : Declaration.moduleSMV -> string
Fonction permettant de construire la fonction Init d'un module
val _Traitement_Var_Next : (string * Declaration.m_type) list -> string
Fonction permettant d'écrire la sauvegarde des objets d'un module, avant de faire le calcul de l'état suivant
val _Traitement_assign_next : (Declaration.assign * Declaration.expr) list -> int -> string
Fonction permettant d'écrire l'état 'next' selon une liste d'ASSIGN
val _Generation_Module_Next : Declaration.moduleSMV -> string
Fonction permettant d'écrire la fonction Next (entête + sauvegarde + corps)
val _Generation_Module_Constructeur_Element : (string * Declaration.m_type) list -> string
Fonction permettant d'écrire le corps du constructeur
val _Generation_Module_Constructeur : Declaration.moduleSMV -> string
Fonction permettant d'écrire l'entête et le corps du constructeur
val _Generation_Module_Intitule_Element : (string * Declaration.m_type) list -> string
Fonction permettant d'écrire les attibuts
val _Generation_Module_Intitule : Declaration.moduleSMV -> string
Fonction permettant d'écrire l'intitule de la classe JAVA correspondant au module
val _Generation_Module_Java : Declaration.moduleSMV -> string
Fonction permettant de générer une classe Java entière correspondant à un module
val _Generation_Java : Declaration.moduleSMV list -> unit
Génération de toutes les classes Java à partir de l'arbre de syntaxe