|
Class Summary |
| AffichageDot |
|
| AppliGene |
|
| ClasseEquivalenceEtats |
|
| ConfigurationGeneSyst |
|
| geneSyst |
La classe geneSyst permet de générer l'automate comportemental exacte d'une spécification
B événementielle et de son premier raffinement. |
| GestionAffichage |
|
| GestionFormatIntermediaire |
Cette classe définie une structure de données pour la mise en mémoire des
traces avec les méthodes KiVontBien pour sauvegarder ou lire les données
depuis un fichier. |
| GestionNettoyer |
|
| GestionOnglets |
|
| GFI_Datas |
Cette classe définie une structure de données pour la mise en mémoire des
traces avec les méthodes KiVontBien pour sauvegarder ou lire les données
depuis un fichier. |
| GFI_Exportation |
Cette classe définie une structure de données pour la mise en mémoire des
traces avec les méthodes KiVontBien pour exporter les données vers un
fichier graphique ou de format intermédiaire. |
| GFI_Parseur |
Cette classe définie un parseur pour charger la structure de données depuis un fichier. |
| interfacageAB |
Classe permettant d'utiliser l'atelier B. |
| MethodesNonFonctionnelles |
Quelques méthodes Indépendantes du fonctionnement de genesyst et permettant
d'alleger le fichier de cette dernière classe. |
| MethodesPMI |
Titre : Méthodes D'accès à un fichier PMI
Description : Ensemble de méthodes permettant de parser un fichier PMI
Copyright : Copyright (c) 2004 |
| ModeNettoyer |
|
| ModeNettoyerDossier |
|
| Nettoyer |
description de la classe de traitement
progB
-(analyseur Tatibouet)> 1 liste chainée
->1 noeud
-programme du noeud
-calcule les transitions
-sortie : fichier content les transition dans le corps de l'assertion
- plus l'assertion d'origine |
| PreuveAB_tmp |
|
| PrintWriterGeneSyst |
|
| ResultatAnalyse |
|
| TextWriter |
|