A B C D E F G H I J L M N O P Q R S T U V W

A

a - Variable in class geneSyst.GFI_Datas.QuadrupletEntiers
 
AB - Variable in class geneSyst.PreuveAB_tmp
Interface permettant d'interagir avec l'atelier B
Abandon - Variable in class geneSyst.ResultatAnalyse
 
ABInThreadCheck - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
ABProjectsList - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
accept(File) - Method in class geneSyst.GUI.AppliGene.FileFilterGS
 
accept(File) - Method in class geneSyst.GUI.AppliGene_tab.FileFilterGS
 
actionPerformed(ActionEvent) - Method in class geneSyst.GUI.AffichageDot.DotFrame
 
actionPerformed(ActionEvent) - Method in class geneSyst.GUI.AppliGene
gestion des ecouteurs d'evenement
actionPerformed(ActionEvent) - Method in class geneSyst.GUI.AppliGene_tab
gestion des ecouteurs d'evenement
actionPerformed(ActionEvent) - Method in class geneSyst.GUI.ModeNettoyer
gestion des ecouteurs d'evenement
actionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
activerLancer() - Method in class geneSyst.GUI.AppliGene
activer le bouton Lancer *********
activerLancer() - Method in class geneSyst.GUI.AppliGene_tab
activer le bouton Lancer *********
activerVerifierOracle() - Method in class geneSyst.GUI.AppliGene
activer le checkbox verifier oracle ****
activerVerifierOracle() - Method in class geneSyst.GUI.AppliGene_tab
activer le checkbox verifier oracle ****
Add_component(String, boolean) - Method in class geneSyst.interfacageAB
Permet d'ajouter un composant dans le projet courant sous l'atelier B.
addIn(JPanel, JComponent, JComponent) - Method in class geneSyst.GUI.AppliGene_tab
 
AdresseDossierBDB - Static variable in class geneSyst.ConfigurationGeneSyst
Adresse du dossier BDB de l'atelier
AffichageDot - Class in geneSyst.GUI
 
AffichageDot() - Constructor for class geneSyst.GUI.AffichageDot
 
AffichageDot - Class in geneSyst.GUI_V2
 
AffichageDot() - Constructor for class geneSyst.GUI_V2.AffichageDot
 
AffichageDot.DotFrame - Class in geneSyst.GUI
 
AffichageDot.DotFrame(Graph) - Constructor for class geneSyst.GUI.AffichageDot.DotFrame
 
AffichageDot.DotFrame - Class in geneSyst.GUI_V2
 
AffichageDot.DotFrame(Graph) - Constructor for class geneSyst.GUI_V2.AffichageDot.DotFrame
 
AffichageGarde(int, int, int, int) - Method in class geneSyst.GFI_Exportation
Methodes permettant d'afficher les renseignements sur declanchabilit�, atteignabilit� et etats initiaux
AffichageMinimum - Static variable in class geneSyst.MethodesNonFonctionnelles
Vrai ssi l'utilisateur veut un affichage minimum des traces.
AffichageMinimum - Variable in class geneSyst.PrintWriterGeneSyst
 
AfficheBilanPostTraitement(String[]) - Method in class geneSyst.GFI_PostTraitement
 
AfficheDebug(String) - Method in class geneSyst.interfacageAB
Affiche la chaiune S passée en parametre si et seulement si la variable Debugage est a VRAI.
AfficheDecl(int, int) - Method in class geneSyst.GFI_Datas
 
Afficher(PrintWriter, List<TOperation>, String) - Method in class geneSyst.GFI_Exportation
M�thode permettant d'afficher, sur le flux de sortie pr�cis�, une repr�sentation textuelle du STE courant.
AfficherBilan(ResultatAnalyse) - Method in class geneSyst.GestionFormatIntermediaire
 
AfficheStatistiques(long) - Method in class geneSyst.MethodesNonFonctionnelles
 
AfficheTabInt(int[], PrintWriter) - Static method in class geneSyst.MethodesNonFonctionnelles
Méthode utilisée pour la gestion des états atteignables.
AfficheTabInt(int[], PrintWriter, String) - Static method in class geneSyst.MethodesNonFonctionnelles
Méthode utilisée pour la gestion des états atteignables.
AfficheTout() - Method in class geneSyst.GFI_Datas
M�thode de D�bug.
AjouteMachinePourDependances(String) - Method in class geneSyst.PreuveAB_tmp
Cette méthode recopie (sans la clause opérations) la machine spécifiée par NomFichierAvecExtension dans le dossier de travail courant et l'intègre dans le projet B en cours.
AppelAtelierB - Static variable in class geneSyst.ConfigurationGeneSyst
Methode d'appel du prouveur
AppelCommandeExterne(String, boolean) - Static method in class geneSyst.MethodesNonFonctionnelles
Exécute la commande donnée avec le shell SH et renvoie le résultat de la commande (si celui-ci a été demandé).
AppelCommandeExterneAvecScript(String, String) - Method in class geneSyst.MethodesNonFonctionnelles
Exécute la commande donnée avec la méthode AppelCommandeExterne en lui donnant comme paramètre un fichier contenant le Script donné et renvoie le résultat de la commande.
AppliGene - Class in geneSyst.GUI
 
AppliGene() - Constructor for class geneSyst.GUI.AppliGene
Constructeur de la fenetre principale******
AppliGene.FileFilterGS - Class in geneSyst.GUI
 
AppliGene.FileFilterGS(String) - Constructor for class geneSyst.GUI.AppliGene.FileFilterGS
 
AppliGene_tab - Class in geneSyst.GUI
 
AppliGene_tab() - Constructor for class geneSyst.GUI.AppliGene_tab
Constructeur de la fenetre principale******
AppliGene_tab.FileFilterGS - Class in geneSyst.GUI
 
AppliGene_tab.FileFilterGS(String) - Constructor for class geneSyst.GUI.AppliGene_tab.FileFilterGS
 
Assertion - Variable in class geneSyst.ResultatAnalyse
 
AtelierBIs4orMore - Variable in class geneSyst.interfacageAB
true ssi l'outil est un atelier B et d'une version supérieure ou égale à 4.
AtelierBIs4orMore - Variable in class geneSyst.PreuveAB_tmp
true ssi l'outil est un atelier B et d'une version supérieure ou égale à 4.
AttConnues - Variable in class geneSyst.GFI_Datas
Tableau d�crivant l'ensemble des atteignabilit�s connues.
Atteignable - Static variable in class geneSyst.GFI_Datas
Constante utilis�e lors de la construction inductive des diff�rentes transitions.
auMoinsUnFormat() - Method in class geneSyst.GUI.AppliGene
verifie si il y a au moins un format qui a �t� choisi **
auMoinsUnFormat() - Method in class geneSyst.GUI.AppliGene_tab
verifie si il y a au moins un format qui a �t� choisi **
AvecG - Static variable in class geneSyst.GFI_Datas
Constante d�finissant une condition Gard�e

B

b - Variable in class geneSyst.GFI_Datas.QuadrupletEntiers
 
barreDeroul - Variable in class geneSyst.GUI.GestionAffichage
 
barreDeroul - Variable in class geneSyst.GUI.TextWriter
 
barreDeroul - Variable in class geneSyst.GUI_V2.ExecTrace
 
barreDeroul - Variable in class geneSyst.GUI_V2.TextWriter
 
bCocher - Variable in class geneSyst.GUI.ModeNettoyer
 
bEffacer - Variable in class geneSyst.GUI.ModeNettoyer
 
bLancer - Variable in class geneSyst.GUI.AppliGene
 
bLancer - Variable in class geneSyst.GUI.AppliGene_tab
 
bNettoyer - Variable in class geneSyst.GUI.AppliGene
 
bNettoyer - Variable in class geneSyst.GUI.AppliGene_tab
 
bParcourir1 - Variable in class geneSyst.GUI.AppliGene
 
bParcourir1 - Variable in class geneSyst.GUI.AppliGene_tab
 
bParcourir2 - Variable in class geneSyst.GUI.AppliGene
 
bParcourir2 - Variable in class geneSyst.GUI.AppliGene_tab
 
bParcourir3 - Variable in class geneSyst.GUI.AppliGene
 
bParcourir3 - Variable in class geneSyst.GUI.AppliGene_tab
 
bParcourir4 - Variable in class geneSyst.GUI.AppliGene
 
bParcourir4 - Variable in class geneSyst.GUI.AppliGene_tab
 
bQuitter - Variable in class geneSyst.GUI.AppliGene
 
bQuitter - Variable in class geneSyst.GUI.AppliGene_tab
 
bQuitter - Variable in class geneSyst.GUI.ModeNettoyer
 
bRetour - Variable in class geneSyst.GUI.GestionAffichage
 
bRetour - Variable in class geneSyst.GUI.ModeNettoyer
 
bRetour - Variable in class geneSyst.GUI_V2.ExecTrace
 
bRetourActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.ExecTrace
 
BrowseFile(String) - Method in class geneSyst.GUI_V2.GeneSystGUI
This method open a browse box and let the user choose a file.
buttonGroup1 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
bVisualiserAbstr - Variable in class geneSyst.GUI.GestionAffichage
 
bVisualiserAbstr - Variable in class geneSyst.GUI_V2.ExecTrace
 
bVisualiserAbstrActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.ExecTrace
 
bVisualiserRaff - Variable in class geneSyst.GUI.GestionAffichage
 
bVisualiserRaff - Variable in class geneSyst.GUI_V2.ExecTrace
 
bVisualiserRaffActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.ExecTrace
 

C

c - Variable in class geneSyst.GFI_Datas.QuadrupletEntiers
 
CaptureAssocNumEtat_Etat(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CaptureAssocNumEv_Ev(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CaptureAtt(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CaptureDecl(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CaptureEqu(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CaptureInit(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CaptureInstruction(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CaptureInt(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CaptureNomIdf(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CapturePr(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CaptureStr(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
CetteFenetre - Variable in class geneSyst.GUI.AppliGene
 
CetteFenetre - Variable in class geneSyst.GUI.AppliGene_tab
 
chABP - Variable in class geneSyst.GUI.AppliGene
 
chABP - Variable in class geneSyst.GUI.AppliGene_tab
 
chAf - Variable in class geneSyst.GUI.AppliGene
 
chAf - Variable in class geneSyst.GUI.AppliGene_tab
 
chargeOracle(String) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
chDg - Variable in class geneSyst.GUI.AppliGene
 
chDg - Variable in class geneSyst.GUI.AppliGene_tab
 
chDot - Variable in class geneSyst.GUI.AppliGene
 
chDot - Variable in class geneSyst.GUI.AppliGene_tab
 
CheckBoxSelectionnes() - Method in class geneSyst.GUI.ModeNettoyer
recupere les cases selectionnées
CheminEtNomFichierAbstrProduitAuFormatDot - Static variable in class geneSyst.MethodesNonFonctionnelles
 
CheminEtNomFichierRaffProduitAuFormatDot - Static variable in class geneSyst.MethodesNonFonctionnelles
 
ChercheMessageErreur(String) - Method in class geneSyst.interfacageAB
Fonction dont le role est de dire si l'une des balises d'erreur est presente dans la chaine donnee.
ChercheMessageErreur(String, int) - Method in class geneSyst.interfacageAB
Fonction dont le role est de dire si l'erreur specifiee est presente dans Chaine.
ChercheMessageErreur(String, String) - Method in class geneSyst.interfacageAB
Fonction dont le role est de dire si l'erreur specifiee est presente dans Chaine.
ChercheSousEtatsInitiauxEtFinaux() - Method in class geneSyst.GFI_PostTraitement
 
chGxl - Variable in class geneSyst.GUI.AppliGene
 
chGxl - Variable in class geneSyst.GUI.AppliGene_tab
 
chHtml - Variable in class geneSyst.GUI.AppliGene
 
chHtml - Variable in class geneSyst.GUI.AppliGene_tab
 
chN - Variable in class geneSyst.GUI.AppliGene
 
chN - Variable in class geneSyst.GUI.AppliGene_tab
 
ChoixSousEtatFinal(GFI_PostTraitement.TypeUnEtat) - Method in class geneSyst.GFI_PostTraitement
 
ChoixSousEtatInitial(GFI_PostTraitement.TypeUnEtat) - Method in class geneSyst.GFI_PostTraitement
 
chOP - Variable in class geneSyst.GUI.AppliGene
 
chOP - Variable in class geneSyst.GUI.AppliGene_tab
 
chOPEx - Variable in class geneSyst.GUI.AppliGene
 
chOPEx - Variable in class geneSyst.GUI.AppliGene_tab
 
chV - Variable in class geneSyst.GUI.AppliGene
 
chV - Variable in class geneSyst.GUI.AppliGene_tab
 
ClasseEquivalenceEtats - Class in geneSyst
 
ClasseEquivalenceEtats() - Constructor for class geneSyst.ClasseEquivalenceEtats
 
ClausesNonTraitees - Variable in class geneSyst.PreuveAB_tmp
 
ClausesNonTraiteesSaufVarEtInv - Variable in class geneSyst.PreuveAB_tmp
 
CleanFilesCheck - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
CleanUpFrame - Class in geneSyst.GUI_V2
 
CleanUpFrame(JFrame) - Constructor for class geneSyst.GUI_V2.CleanUpFrame
Creates new form CleanUpFrame
Close_Project(boolean) - Method in class geneSyst.interfacageAB
Ferme le projet spécifié sous l'atelier B.
ClustersUseCheck - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
cocherTous() - Method in class geneSyst.GUI.ModeNettoyer
 
CommentaireDebugage() - Method in class geneSyst.GFI_Datas
Calcule le commentaire de fin de ligne en mode d�bugage.
composantB - Variable in class geneSyst.ResultatAnalyse
 
ConfigurationGeneSyst - Class in geneSyst
 
ConfigurationGeneSyst() - Constructor for class geneSyst.ConfigurationGeneSyst
 
Conjonction(TPredicat) - Method in class geneSyst.MethodesNonFonctionnelles
La méthode Conjonction decompose le predicat pred selon les 'et', en un vecteur de predicats.
ConvertDisjEtats(List<TPredicat>) - Method in class geneSyst.GFI_Exportation
Convertie le vecteurs de disjonctions d'états donn�s en param�tre en un tableau de String.
CopieMachineDansDossierTravail(String) - Method in class geneSyst.PreuveAB_tmp
Cette méthode permet de recopier une machine, un raffinement ou une implantation B dans le dossier de travail courant.
corbeille - Variable in class geneSyst.GUI.ModeNettoyer
 
Create_Project(String, String, String) - Method in class geneSyst.interfacageAB
Méthode permettant de créer un projet sous l'atelier B.
Create_Project_Securise(String, String, String) - Method in class geneSyst.interfacageAB
Retourne une chaine de caracteres correspondant au nom du projet cree.
CreationDeFichierB(int, int, int, int, TPredicat) - Method in class geneSyst.PreuveAB_tmp
CreationDeFichierB créé un fichier B de nom NomFichier dans le dossier NomDossier en y inscrivant toutes les clauses mises de coté précédemment, ainsi que l'assertion Assertion & AssertionPerso.
Cst_FaireExistentielle - Static variable in class geneSyst.ConfigurationGeneSyst
Variable indiquant le choix par defaut quand aux preuves existentielles.
CstImplementation - Static variable in class geneSyst.MethodesNonFonctionnelles
 
CstMachine - Static variable in class geneSyst.MethodesNonFonctionnelles
 
CstRefinement - Static variable in class geneSyst.MethodesNonFonctionnelles
 
CurrentDirectory - Static variable in class geneSyst.GUI_V2.GeneSystGUI
 

D

d - Variable in class geneSyst.GFI_Datas.QuadrupletEntiers
 
DateVersionSVN - Static variable in class geneSyst.geneSyst
 
Debugage - Static variable in class geneSyst.interfacageAB
Vrai ssi on veut les traces de DEBUGAGE
Debugage - Static variable in class geneSyst.MethodesNonFonctionnelles
Vrai ssi on est en mode de débugage
DebugCheck - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
DeclConnues - Variable in class geneSyst.GFI_Datas
Tableau d�crivant l'ensemble des d�clenchabilit�s connues.
DeclenchabiliteDesTransitions(int[], List<TPredicat>, List<TOperation>, boolean[][][], boolean[][], GestionFormatIntermediaire, boolean, boolean) - Method in class geneSyst.geneSyst
DeclenchabiliteDesTransitions recherche quels sont les couples d'�tats (E1,E2) possibles tels que pour un événement Ev donn� on ait : E1 - Ev -> E2 Le calcul de l'�tat d'arriv� est d�port� dans la m�thode RecherchePointArriveeDesTransition.
Declenchable - Static variable in class geneSyst.GFI_Datas
Constante utilis�e lors de la construction inductive des diff�rentes transitions.
decocherTous() - Method in class geneSyst.GUI.ModeNettoyer
 
dejaActive - Variable in class geneSyst.GUI.AppliGene
 
dejaActive - Variable in class geneSyst.GUI.AppliGene_tab
 
DejaEtudie - Static variable in class geneSyst.GFI_Datas
Constante utilis�e lors de la construction inductive des diff�rentes transitions.
DelDirBtn - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
DelDirBtnActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.CleanUpFrame
 
DelProjectBtn - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
DelProjectBtnActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.CleanUpFrame
 
DernierCarLuInutilise - Variable in class geneSyst.GFI_Parseur
Variable gloable servant au parseur de fichiers d'oracle.
DirectoriesList - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
DisjointedStatesCheck - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
Disjonction(TPredicat) - Method in class geneSyst.MethodesNonFonctionnelles
La méthode Disjonction decompose le predicat pred selon les 'ou', en un vecteur de predicats.
doesNotHaveGuard(List) - Method in class geneSyst.MethodesNonFonctionnelles
 
doesNotHaveGuard(TSubstitution) - Method in class geneSyst.MethodesNonFonctionnelles
 
Donne_Resultat_Preuve(String) - Static method in class geneSyst.MethodesPMI
Cette méthode renvoie vrai si et seulement si la chaine var passée en paramètre contient le texte Proved.
DonneAtt(int, int, int) - Method in class geneSyst.GFI_Datas
Renvoie le niveau de preuve de l'atteignabilit� depuis l'�tat pr�cis� pour l'�v�nement Donn� vers l'�tat donn�.
DonneDecl(int, int) - Method in class geneSyst.GFI_Datas
Renvoie le niveau de preuve de la d�clenchabilit� de l'�tat pr�cis� pour l'�v�nement Donn�.
DonneEquiv(int) - Method in class geneSyst.GFI_Datas
Renvoie le num�ro de la disjonction d'�tats �quivalente � Etat1.
DonneEquiv(int, int) - Method in class geneSyst.GFI_Datas
Renvoie le niveau de preuve de l'�quivalence entre l'�tat abstrait Etat1 et la disjonction d'�tats Etat2 pr�cis�e.
DonneEtatAbstraitCorrespondant(TPredicat, int, List<TPredicat>, GestionFormatIntermediaire, boolean) - Method in class geneSyst.geneSyst
DonneEtatAbstraitCorrespondant recherche, par la preuve quel �tat du vector preds_disjA est �quivalent au pr�dicat EtatR.
DonneEtatArrivee(List<GFI_Datas.QuadrupletEntiers>, int) - Static method in class geneSyst.GFI_Datas
 
DonneEtatDepart(List<GFI_Datas.QuadrupletEntiers>, int) - Static method in class geneSyst.GFI_Datas
M�thode permettant d'acc�der au champs Etat de d�part d'une transition issue de la m�thode DonneListeTransitions.
DonneEtatNDuCluster(int, int) - Method in class geneSyst.GFI_Datas
Donne le NumEtat-i�me �tat du regroupement d'�tats Cluster lors d'un raffinement.
DonneEtatsAVisiter() - Method in class geneSyst.GFI_Datas
La m�thode DonneEtatsAVisiter renvoie un tableau d'entiers dont chacun des �l�ments est le num�ro d'un �tat atteind n'ayant pas encore �t� observ� du point de vue de la d�clenchabilit� des �v�nements
DonneEtatsInit() - Method in class geneSyst.GFI_Datas
La m�thode DonneEtatsInit renvoie un tableau d'entiers contenant l'ensemble des num�ros des �tats initiaux.
DonneEvenement(List<GFI_Datas.QuadrupletEntiers>, int) - Static method in class geneSyst.GFI_Datas
 
DonneExtension(String) - Static method in class geneSyst.MethodesNonFonctionnelles
La fonction DonneExtension prend un nom de fichier et renvoie une Chaine de caractères ne contenant que l'extension (sans le point).
DonneListeTransitions() - Method in class geneSyst.GFI_Datas
M�thode permettant de lister toutes les transitions r�alisables par un syst�me.
DonneNbEtats() - Method in class geneSyst.GFI_Datas
Renvoie le nombre d'�tats pr�sents dans le STE.
DonneNumClusterFromEtat(int) - Method in class geneSyst.GFI_Datas
Donne le num�ro du cluster dans lequel se trouve l'�tat pr�cis�.
DonnePredAtt(int, int, int) - Method in class geneSyst.GFI_Datas
Donne la condition pour l'evenement atteignable
DonnePredDecl(int, int) - Method in class geneSyst.GFI_Datas
Donne la condition pour l'evenement declenchable
DonnePredInit(int) - Method in class geneSyst.GFI_Datas
Donne la condition pour l'etat initial
Donner_Extension() - Method in class geneSyst.MethodesNonFonctionnelles
Donne tous les extensions possibles au fichier NomDuProjet
DonnerNombreDePreuves - Static variable in class geneSyst.geneSyst
 
DoNotVerifyOracles - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
Dossiers - Variable in class geneSyst.GUI.GestionNettoyer
 
DOTCheck - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
DOTCheckStateChanged(ChangeEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 

E

editeur - Variable in class geneSyst.GUI.TextWriter
editeur de texte pour affichage du resultat
editeur - Variable in class geneSyst.GUI_V2.TextWriter
editeur de texte pour affichage du resultat
effacageCasParCasDossier(String) - Method in class geneSyst.GUI.GestionNettoyer
efface le dossier specifié
effacageCasParCasDossier(String) - Method in class geneSyst.GUI_V2.PrimitivesNettoyage
efface le dossier specifi�
effacageProjets(String[]) - Method in class geneSyst.GUI.GestionNettoyer
efface les projets specifiés
effacageProjets(List<String>) - Method in class geneSyst.GUI_V2.PrimitivesNettoyage
efface les projets specifi�s
EffaceFichierTrace() - Method in class geneSyst.interfacageAB
Efface le fichier de Trace
EffaceFichierTrace() - Method in class geneSyst.PreuveAB_tmp
Efface, le cas échéant le fichier de trace créé lors l'utilisation de l'atelier B en parallèle.
EnleveExtension(String) - Static method in class geneSyst.MethodesNonFonctionnelles
La fonction EnleveExtension prend un nom de fichier et renvoie une Chaine de caractères ne contenant que le nom sans l'extension ni le point.
EquivalenceEtats - Variable in class geneSyst.ResultatAnalyse
 
EquivEtatsConnues - Variable in class geneSyst.GFI_Datas
Tableau d�crivant l'ensemble des �quivalences d'�tats connues.
Err - Variable in class geneSyst.interfacageAB
 
ErreurException - Exception in geneSyst
 
ErreurException(String) - Constructor for exception geneSyst.ErreurException
 
ErreurException(String, Throwable) - Constructor for exception geneSyst.ErreurException
 
EstAlphaNum(char) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
EstInitial(int) - Method in class geneSyst.GFI_Datas
Renvoie le niveau de preuve de l'initiabilit� de l'�tat pr�cis�.
EstInt(char) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
Etat - Variable in class geneSyst.GFI_PostTraitement.TypeUnEtat
 
EtatsEtudies - Variable in class geneSyst.GFI_Datas
Taleau Permettant de m�moriser les �tats ayant d�j� �t� visit�s lors de la construction inductive des diff�rentes transitions.
EtatsInitiaux - Variable in class geneSyst.GFI_Datas
Tableau d�crivant l'ensemble des �tats initiaux.
EtatSontGarantisDisjoints - Static variable in class geneSyst.MethodesNonFonctionnelles
 
ExecTrace - Class in geneSyst.GUI_V2
 
ExecTrace(JFrame) - Constructor for class geneSyst.GUI_V2.ExecTrace
Creates new form ExecTrace
ExporteFichier(String, List<TOperation>, List<TPredicat>) - Method in class geneSyst.GFI_Exportation
M�thode permettant d'exporter les informations en m�moire vers un fichier d'oracle.
ExporterCommentaire - Static variable in class geneSyst.geneSyst
 
ExporterCommentaire - Static variable in class geneSyst.GFI_Exportation
 
Ext(GFI_PostTraitement.TypeUnEtat, GFI_PostTraitement.TypeUnEtat) - Method in class geneSyst.GFI_PostTraitement
 
ext - Variable in class geneSyst.GUI.AppliGene.FileFilterGS
 
ext - Variable in class geneSyst.GUI.AppliGene_tab.FileFilterGS
 
ExtensionComposantTraite - Variable in class geneSyst.PreuveAB_tmp
 
ExtensionFichier - Variable in class geneSyst.ResultatAnalyse
 

F

FactoriseTransitions() - Method in class geneSyst.GFI_PostTraitement
 
FenetreGestionAffichage - Variable in class geneSyst.GUI.TextWriter
 
FenetreGestionAffichage - Variable in class geneSyst.GUI_V2.TextWriter
 
FermeFichierTrace() - Method in class geneSyst.interfacageAB
Ferme le fichier de Trace
FermeParenthese(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
fGene - Variable in class geneSyst.GUI.GestionAffichage
 
fGene - Variable in class geneSyst.GUI.GestionOnglets
 
fGene - Variable in class geneSyst.GUI.ModeNettoyer
 
fGene - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
fGene - Variable in class geneSyst.GUI_V2.ExecTrace
 
FichierTrace - Variable in class geneSyst.interfacageAB
Fichier de Trace (de log)
fichierValide(String, String) - Method in class geneSyst.GUI.AppliGene
Verification de l'extansion du fichier
fichierValide(String, String) - Method in class geneSyst.GUI.AppliGene_tab
Verification de l'extansion du fichier
FinChargementEtats - Variable in class geneSyst.GFI_Parseur
Vrai ssi les �tats ont terminés d'etre chargés lors de la lecture d'un orcale depuis un fichier
FinChargementEv - Variable in class geneSyst.GFI_Parseur
Vrai ssi les �v�nements ont terminés d'etre chargés lors de la lecture d'un orcale depuis un fichier
FinUtilisation() - Method in class geneSyst.PreuveAB_tmp
Cette méthode permet de clore les différents fichiers ouverts et les processus lancés.
flush() - Method in class geneSyst.GUI.TextWriter
On réécrit la fonction flush pour que le texte soit afficher dans la fenêtre graphique.
flush() - Method in class geneSyst.GUI_V2.TextWriter
On r��crit la fonction flush pour que le texte soit afficher dans la fen�tre graphique.
FlushFichierTrace() - Method in class geneSyst.interfacageAB
Vide le tampon mémoire dans le fichier de trace.
Force - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
Force - Static variable in class geneSyst.MethodesNonFonctionnelles
Définition du niveau de preuve par défaut
Force - Variable in class geneSyst.PreuveAB_tmp
 
ForceStateChanged(ChangeEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
FormatDot - Static variable in class geneSyst.ConfigurationGeneSyst
Definition des constantes correspondant aux formats
FormatDot - Static variable in class geneSyst.GFI_Datas
Definition des constantes correspondant aux formats
FormatGxl - Static variable in class geneSyst.ConfigurationGeneSyst
 
FormatGxl - Static variable in class geneSyst.GFI_Datas
 
FormatHtml - Static variable in class geneSyst.ConfigurationGeneSyst
 
FormatHtml - Static variable in class geneSyst.GFI_Datas
 
formComponentResized(ComponentEvent) - Method in class geneSyst.GUI_V2.ExecTrace
 
formComponentResized(ComponentEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
frame - Variable in class geneSyst.GUI.AffichageDot
 
frame - Variable in class geneSyst.GUI_V2.AffichageDot
 
Freres(GFI_PostTraitement.TypeUnEtat, GFI_PostTraitement.TypeUnEtat) - Method in class geneSyst.GFI_PostTraitement
 
FusionneTabOfInt(int[], int[]) - Static method in class geneSyst.MethodesNonFonctionnelles
Méthode utilisée pour la gestion des états atteignables.

G

GenerationDesSTE(String, String, int, boolean, char, char, char, boolean, boolean, String, String, boolean) - Method in class geneSyst.geneSyst
GenerationDesSTE r�alise les Syst�mes de Transitions Etiquet�s (STE) du raffinement et de la machine B pr�cis�s.
GenerationDOT(String, String[], List<TPredicat>, char, char, char, String) - Method in class geneSyst.GFI_Exportation
G�n�re un fichier .dot, traduisible avec l'outil dot de GRAPHVIZ de AT&T, en une image de diff�rents formats.
GenerationDOT(String, String[], List<TPredicat>, List<TPredicat>, int[], char, char, char, String) - Method in class geneSyst.GFI_Exportation
G�n�re un fichier .dot, traduisible avec l'outil dot de GRAPHVIZ de AT&T, en une image de diff�rents formats.
GenerationFichierClusterHTML(int, String, List<String>, String) - Method in class geneSyst.GFI_Exportation
Methodes permettant de generer les fichiers HTML fournissant les renseignements des CLUSTERS
GenerationFichiersEtatHTML(int, String, int, String) - Method in class geneSyst.GFI_Exportation
Methodes permettant de generer les fichiers HTML fournissant les renseignements des ETATS
GenerationFichierTransitionHTML(int, ArrayList<GFI_Datas.QuadrupletEntiers>, int, int, String) - Method in class geneSyst.GFI_Exportation
Methodes permettant de generer les fichiers HTML fournissant les renseignements des TRANSITIONS
GenerationGXL(String, String[], List<TPredicat>, char, char, char, String) - Method in class geneSyst.GFI_Exportation
Generation du fichier Gxl: NomMachine.gxl cas des machines
GenerationGXL(String, String[], List<TPredicat>, List<TPredicat>, int[], char, char, char, String) - Method in class geneSyst.GFI_Exportation
Generation du fichier Gxl: NomMachine.gxl
GenerationIndexHtml(String, String) - Method in class geneSyst.GFI_Exportation
Generation du fichier html:index.html
GenerationLabel - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
GenerationLabel1 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
GenerationMessageErreur(int, String) - Method in class geneSyst.interfacageAB
Fonction dont le role est de generer les messages d'erreur
geneSyst - package geneSyst
 
geneSyst - Class in 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.
geneSyst() - Constructor for class geneSyst.geneSyst
 
geneSyst.GUI - package geneSyst.GUI
 
geneSyst.GUI_V2 - package geneSyst.GUI_V2
 
GeneSystGUI - Class in geneSyst.GUI_V2
 
GeneSystGUI() - Constructor for class geneSyst.GUI_V2.GeneSystGUI
Creates new form GeneSystGUI
GestionAffichage(String) - Static method in class geneSyst.GUI.AffichageDot
 
GestionAffichage(InputStream) - Method in class geneSyst.GUI.AffichageDot
 
GestionAffichage - Class in geneSyst.GUI
 
GestionAffichage(AppliGene) - Constructor for class geneSyst.GUI.GestionAffichage
Constructeur de la fenetre gérant l'affichage de la trace de GénéSyst
GestionAffichage(String) - Static method in class geneSyst.GUI_V2.AffichageDot
 
GestionAffichage(InputStream) - Method in class geneSyst.GUI_V2.AffichageDot
 
GestionFormatIntermediaire - Class in geneSyst
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.
GestionFormatIntermediaire(PrintWriterGeneSyst, String) - Constructor for class geneSyst.GestionFormatIntermediaire
 
GestionFormatIntermediaire(PrintWriterGeneSyst, String, int, int) - Constructor for class geneSyst.GestionFormatIntermediaire
 
GestionNettoyer - Class in geneSyst.GUI
 
GestionNettoyer(ModeNettoyer, String) - Constructor for class geneSyst.GUI.GestionNettoyer
Constructeur GestionNettoyer
GestionNomDeProjet(String) - Method in class geneSyst.MethodesNonFonctionnelles
Méthode utilisée pour la gestion des noms de projet
GestionOnglets - Class in geneSyst.GUI
 
GestionOnglets(JFrame) - Constructor for class geneSyst.GUI.GestionOnglets
Constructeur de la fenetre GestionOnglets
Get_AssertionLemmas(String) - Method in class geneSyst.interfacageAB
La fonction Get_AssertionLemmas renvoie une chaines de caracteres qui est le pourcentage de preuve de la clause AssertionLemmas.
Get_AssertionLemmas_V2(String, String) - Method in class geneSyst.interfacageAB
Renvoie si oui ou non l'assertion de la machine donnée est complètement prouvée.
Get_Machines_List() - Method in class geneSyst.interfacageAB
Cette chaine comencera toujours par : "Printing machine list ..."
Get_Machines_List_In_Array() - Method in class geneSyst.interfacageAB
La fonction Get_Machines_List_In_Array renvoie un tableau de chaines de caracteres dont chacune d'elle est le nom d'une machine visible par l'utilisateur dans le projet courrant.
Get_Projects_List() - Method in class geneSyst.interfacageAB
La fonction Get_Projects_List renvoie une chaine de caracteres correspondant a celle renvoiee par l'atelier B lors de la commande show_project_list.
Get_Projects_List_In_Array() - Method in class geneSyst.interfacageAB
La fonction Get_Projects_List_In_Array renvoie un tableau de chaines de caracteres dont chacune d'elle est le nom d'un projet visible par l'utilisateur courrant
Get_Status_Global() - Method in class geneSyst.interfacageAB
La fonction Get_Status_Global renvoie une chaine de caracteres correspondant a celle renvoyee par l'atelier B lors de la commande status_global.
Get_Status_Global_In_Array() - Method in class geneSyst.interfacageAB
La fonction Get_Status_Global_In_Array renvoie un tableau a 2 dimensions de chaines de caracteres dont chacune d'elle est le nom d'une machine pour la premiere colonne et le pourcentage de preuve dans la seconde.
Get_Status_Machine(String) - Method in class geneSyst.interfacageAB
Cette chaine comencera toujours par : "Printing the status of"
et finira toujours par "End of Printing the status".
Get_Status_Machine_In_Array(String) - Method in class geneSyst.interfacageAB
La fonction Get_Status_Machine_In_Array renvoie un tableau a 2 dimensions de chaines de caracteres dont chacune d'elle est le nom d'une clause ou methode de la machine pour la premiere colonne et le pourcentage de preuve dans la seconde.
getDescription() - Method in class geneSyst.GUI.AppliGene.FileFilterGS
 
getDescription() - Method in class geneSyst.GUI.AppliGene_tab.FileFilterGS
 
GetStackTrace() - Method in exception geneSyst.ErreurException
 
GetStackTrace(StackTraceElement[]) - Static method in exception geneSyst.ErreurException
 
GFI_Datas - Class in geneSyst
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_Datas(PrintWriterGeneSyst) - Constructor for class geneSyst.GFI_Datas
Constructeur simplifi� de la classe de gestion du format interm�diaire.
GFI_Datas(PrintWriterGeneSyst, int, int) - Constructor for class geneSyst.GFI_Datas
Constructeur de la classe de gestion du format interm�diaire.
GFI_Datas.QuadrupletEntiers - Class in geneSyst
Sous classe permettant le stockage de donn�es dans des vecteurs ou tableaux
GFI_Datas.QuadrupletEntiers(int, int, int, int, String, String, String, TPredicat) - Constructor for class geneSyst.GFI_Datas.QuadrupletEntiers
Constructeur de la sous-classe QuadrupletEntiers qui ne contient pas que 4 entiers mais qui est l'unit� �l�mentaire de stockage dans GFI.
GFI_Exportation - Class in geneSyst
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_Exportation(PrintWriterGeneSyst, String) - Constructor for class geneSyst.GFI_Exportation
 
GFI_Exportation(PrintWriterGeneSyst, String, int, int) - Constructor for class geneSyst.GFI_Exportation
 
GFI_Parseur - Class in geneSyst
Cette classe définie un parseur pour charger la structure de données depuis un fichier.
GFI_Parseur(PrintWriterGeneSyst, String) - Constructor for class geneSyst.GFI_Parseur
 
GFI_Parseur(PrintWriterGeneSyst, String, int, int) - Constructor for class geneSyst.GFI_Parseur
 
GFI_PostTraitement - Class in geneSyst
 
GFI_PostTraitement(PrintWriterGeneSyst) - Constructor for class geneSyst.GFI_PostTraitement
Constructeur simplifi� de la classe de gestion du format interm�diaire.
GFI_PostTraitement(PrintWriterGeneSyst, int, int) - Constructor for class geneSyst.GFI_PostTraitement
Constructeur de la classe de gestion du format interm�diaire.
GFI_PostTraitement.TypeUnEtat - Class in geneSyst
 
GFI_PostTraitement.TypeUnEtat(int, int) - Constructor for class geneSyst.GFI_PostTraitement.TypeUnEtat
 
gp - Variable in class geneSyst.GUI.AffichageDot.DotFrame
 
gp - Variable in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
graph - Variable in class geneSyst.GUI.AffichageDot.DotFrame
 
graph - Variable in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
GXLCheck - Variable in class geneSyst.GUI_V2.GeneSystGUI
 

H

HauteurFenetre - Variable in class geneSyst.GUI.AffichageDot.DotFrame
 
HauteurFenetre - Static variable in class geneSyst.GUI.AppliGene
 
HauteurFenetre - Static variable in class geneSyst.GUI.AppliGene_tab
 
HauteurFenetre - Variable in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
Hierarchie - Variable in class geneSyst.GFI_PostTraitement.TypeUnEtat
 
HTMLCheck - Variable in class geneSyst.GUI_V2.GeneSystGUI
 

I

IAB - Variable in class geneSyst.geneSyst
 
in - Variable in class geneSyst.interfacageAB
 
Inconnu - Static variable in class geneSyst.GFI_Datas
Constante d�finissant une condition inconnue (Non Calcul�e).
InitClausesNonTraitee(List<TClause>, List<TClause>) - Method in class geneSyst.PreuveAB_tmp
Permet de configurer la valeur des variables ClausesNonTraitees et ClausesNonTraiteesSaufVarEtInv qui sont des chaines de caractères représentant l'ensemble des clauses Non traitées du composant B courant.
initComponents() - Method in class geneSyst.GUI_V2.CleanUpFrame
This method is called from within the constructor to initialize the form.
initComponents() - Method in class geneSyst.GUI_V2.ExecTrace
This method is called from within the constructor to initialize the form.
initComponents() - Method in class geneSyst.GUI_V2.GeneSystGUI
This method is called from within the constructor to initialize the form.
InitComposantTraite(TComposant) - Method in class geneSyst.PreuveAB_tmp
Permet de mettre à jour les valeurs du nom du composant B traité son Type
initDialog(String) - Method in class geneSyst.GUI.AppliGene
Ouverture de la boite de dialog permettant de recuperer un fichier
initDialog(String) - Method in class geneSyst.GUI.AppliGene_tab
Ouverture de la boite de dialog permettant de recuperer un fichier
initFenetre() - Method in class geneSyst.GUI.ModeNettoyer
 
initFenetre() - Method in class geneSyst.GUI.ModeNettoyerDossier
 
InitFichierTrace(String) - Method in class geneSyst.interfacageAB
Ouvre un fichier, dont le nom est précisé, pour sauvegarder les traces d'exécution de l'interface avec l'atelierB.
initialisation() - Method in class geneSyst.GUI.GestionOnglets
 
InitialiseNbEtats(int) - Method in class geneSyst.GFI_Datas
 
InitialiseNbEvents(int) - Method in class geneSyst.GFI_Datas
 
InitList(JPanel, String, JButton, JButton) - Method in class geneSyst.GUI_V2.PrimitivesNettoyage
Constructeur GestionNettoyer
InitQueGenererOp(boolean) - Method in class geneSyst.PreuveAB_tmp
Permet de mettre à jour la valeur de la variable QueGenererOp
initTactiquesInteractives() - Static method in class geneSyst.ConfigurationGeneSyst
 
initTaille(int, int, boolean) - Method in class geneSyst.GUI.AffichageDot.DotFrame
 
initTaille(int, int, boolean) - Method in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
InteractiveCheck - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
InteractiveCheckStateChanged(ChangeEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
interfacageAB - Class in geneSyst
Classe permettant d'utiliser l'atelier B.
interfacageAB() - Constructor for class geneSyst.interfacageAB
 
IntNonPresent(int[], int[]) - Static method in class geneSyst.MethodesNonFonctionnelles
Méthode utilisée pour la gestion des états atteignables.
intToStr(int, int) - Static method in class geneSyst.GFI_Exportation
 
Invariant - Variable in class geneSyst.GFI_Datas
Invariant du composant en cours, servant � la preuve existencielle de transitions
inverseList(List<TPredicat>) - Method in class geneSyst.MethodesNonFonctionnelles
Prend une List V et renvoie une List contenant les memes éléments que V, mais dans l'ordre inverse.
isAllDirSelected - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
isAllProjectSelected - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
isAtelierB4orMore(String) - Method in class geneSyst.PreuveAB_tmp
Méthode d'interprétation de l'instruction "version_print" de l'interface texte de l'atelierB.
itD - Variable in class geneSyst.GUI.AppliGene
 
itD - Variable in class geneSyst.GUI.AppliGene_tab
 
itE - Variable in class geneSyst.GUI.AppliGene
 
itE - Variable in class geneSyst.GUI.AppliGene_tab
 
itF - Variable in class geneSyst.GUI.AppliGene
 
itF - Variable in class geneSyst.GUI.AppliGene_tab
 
itP - Variable in class geneSyst.GUI.AppliGene
 
itP - Variable in class geneSyst.GUI.AppliGene_tab
 

J

JBas - Variable in class geneSyst.GUI.ModeNettoyer
 
jButton1 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jButton1ActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
jButton2 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jButton2 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jButton2ActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.CleanUpFrame
 
jButton2ActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
jButton3 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jButton3ActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
jButton4 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jButton4ActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
jButton5 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jButton5ActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
jButton6 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jButton6 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jButton6ActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.CleanUpFrame
 
jButton6ActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
jButton7 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jButton7ActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
JCentre - Variable in class geneSyst.GUI.ModeNettoyer
 
jCheckBox26 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jCheckBox9 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
JHaut - Variable in class geneSyst.GUI.ModeNettoyer
 
jLabel1 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jLabel1 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel10 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel11 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel12 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel2 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jLabel2 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel3 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel4 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel5 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel6 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel7 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel8 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jLabel9 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel1 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jPanel1 - Variable in class geneSyst.GUI_V2.ExecTrace
 
jPanel1 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel10 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel11 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel12 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel13 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel14 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel15 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel16 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel17 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel18 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel19 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel2 - Variable in class geneSyst.GUI_V2.ExecTrace
 
jPanel2 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel20 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel21 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel22 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel23 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel24 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel25 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel3 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jPanel3 - Variable in class geneSyst.GUI_V2.ExecTrace
 
jPanel3 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel4 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jPanel4 - Variable in class geneSyst.GUI_V2.ExecTrace
 
jPanel4 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel5 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jPanel5 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel6 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel7 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel8 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jPanel9 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
jScrollPane1 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jScrollPane2 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jsp - Variable in class geneSyst.GUI.AffichageDot.DotFrame
 
jsp - Variable in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
jTabbedPane1 - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
jTabbedPane1 - Variable in class geneSyst.GUI_V2.GeneSystGUI
 

L

lancement_Generation() - Method in class geneSyst.GUI.AppliGene
 
lancement_Generation() - Method in class geneSyst.GUI.AppliGene_tab
 
lancement_Generation() - Method in class geneSyst.GUI_V2.GeneSystGUI
Lancement ******* methode reliant l'interface � geneSyst **
LancerAB() - Method in class geneSyst.interfacageAB
Cette méthode sert à lancer l'atelier B.
LanceScriptExterne(String) - Method in class geneSyst.MethodesNonFonctionnelles
Exécute la commande donnée avec la méthode AppelCommandeExterne en lui donnant comme paramètre un fichier contenant le Script donné et renvoie le résultat de la commande.
LargeurFenetre - Variable in class geneSyst.GUI.AffichageDot.DotFrame
 
LargeurFenetre - Static variable in class geneSyst.GUI.AppliGene
 
LargeurFenetre - Static variable in class geneSyst.GUI.AppliGene_tab
 
LargeurFenetre - Variable in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
LayoutAuto() - Method in class geneSyst.GUI.AffichageDot.DotFrame
 
LayoutAuto() - Method in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
listeDossiers(List) - Method in class geneSyst.GUI.ModeNettoyer
remplissage du panel JCentre
ListeEtats - Variable in class geneSyst.GFI_Exportation
 
ListeEtatsAbstraits - Variable in class geneSyst.GFI_Exportation
 
ListeEtatsParCluster - Variable in class geneSyst.GFI_Datas
Tableau associant au num�ro d'un cluster (d'une �quivalence d'�tats lors du raffinement), un vecteur d'entiers qui repr�sente l'ensemble des num�ros d'�tat des �tats du cluster donn�.
ListeEtatVersString(ArrayList<GFI_PostTraitement.TypeUnEtat>) - Method in class geneSyst.GFI_PostTraitement
 
ListeNomsOps - Variable in class geneSyst.ResultatAnalyse
 
ListeOperation - Variable in class geneSyst.ResultatAnalyse
 
ListePredicatsEtats - Variable in class geneSyst.ClasseEquivalenceEtats
 
ListeVariables - Variable in class geneSyst.GFI_Datas
Vecteur contenant les TExprIdentificateur, servant � la preuve existencielle de transitions Cette variable est de type Vector car elle sert � la communication avec la BoB, qui attend ce type.

M

MachineName - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
MachineOracleName - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
main(String[]) - Static method in class geneSyst.geneSyst
Proc�dure principale.
main(String[]) - Static method in class geneSyst.GUI.AffichageDot
 
main(String[]) - Static method in class geneSyst.GUI.AppliGene
 
main(String[]) - Static method in class geneSyst.GUI.AppliGene_tab
 
main(String[]) - Static method in class geneSyst.GUI_V2.GeneSystGUI
 
MaJAffichageTactiques() - Method in class geneSyst.GUI_V2.GeneSystGUI
 
MessageIntrouvableDansLaTrace - Static variable in class geneSyst.interfacageAB
 
MessagesErreurAtelierBPossibles - Static variable in class geneSyst.interfacageAB
Liste des messages d'erreur trouvable lors de l'execution de l'atelier
MethAppel - Static variable in class geneSyst.geneSyst
 
MethodesNonFonctionnelles - Class in geneSyst
Quelques méthodes Indépendantes du fonctionnement de genesyst et permettant d'alleger le fichier de cette dernière classe.
MethodesNonFonctionnelles() - Constructor for class geneSyst.MethodesNonFonctionnelles
 
MethodesPMI - Class in geneSyst
Titre : Méthodes D'accès à un fichier PMI Description : Ensemble de méthodes permettant de parser un fichier PMI Copyright : Copyright (c) 2004
MethodesPMI() - Constructor for class geneSyst.MethodesPMI
 
minHeight - Static variable in class geneSyst.GUI_V2.ExecTrace
 
minHeight - Static variable in class geneSyst.GUI_V2.GeneSystGUI
 
minWidth - Static variable in class geneSyst.GUI_V2.ExecTrace
 
minWidth - Static variable in class geneSyst.GUI_V2.GeneSystGUI
 
ModeCourant - Variable in class geneSyst.GUI.TextWriter
 
ModeCourant - Variable in class geneSyst.GUI_V2.TextWriter
 
ModeNettoyer - Class in geneSyst.GUI
 
ModeNettoyer(GestionOnglets, JFrame, String) - Constructor for class geneSyst.GUI.ModeNettoyer
Constructeur de l'onglet nettoyer
ModeNettoyerDossier - Class in geneSyst.GUI
 
ModeNettoyerDossier(GestionOnglets, JFrame, String) - Constructor for class geneSyst.GUI.ModeNettoyerDossier
Constructeur de l'onglet ModeNettoyerDossier

N

NatureComposantTraite - Variable in class geneSyst.PreuveAB_tmp
 
NbCluster() - Method in class geneSyst.GFI_Datas
Donne le nombre de cluster en m�moire.
NbDepuisExt(GFI_PostTraitement.TypeUnEtat) - Method in class geneSyst.GFI_PostTraitement
 
NbEtatDansCluster(int) - Method in class geneSyst.GFI_Datas
Donne le nombre d'�tats contenus dans le regroupement d'�tats Cluster lors d'un raffinement.
NbEtatsCharges - Variable in class geneSyst.GFI_Datas
Nombre d'�tats dans le STE courant
NbEvCharges - Variable in class geneSyst.GFI_Datas
Nombre d'�v�nements dans le STE courant
NbFormatsSortie - Static variable in class geneSyst.ConfigurationGeneSyst
Nombre de formats de sortie supportes par GeneSyst.
nbOPUnproved(String, String) - Static method in class geneSyst.MethodesPMI
Parse le fichier PMI spécifié et renvoie le nombre d'obligations de preuve associées à la clause précisée.
NbPreuvesAvantRedemarrage - Static variable in class geneSyst.MethodesNonFonctionnelles
Pour éviter les "Cpu Limit Exceeded" On limite le nombre de preuve avant de redémarrer l'atelier.
NbPreuvesFaitesDepuisDemarrage - Static variable in class geneSyst.MethodesNonFonctionnelles
Pour éviter les "Cpu Limit Exceeded" On limite le nombre de preuve avant de redémarrer l'atelier.
NbPreuvesFaitesParBoB - Static variable in class geneSyst.MethodesNonFonctionnelles
Pour les statistiques.
NbPreuvesFaitesParTactiques - Static variable in class geneSyst.MethodesNonFonctionnelles
Pour les statistiques.
nbreCheckBox() - Method in class geneSyst.GUI.ModeNettoyer
renvoie le nombre de dossiers
nbreCheckBoxSelectionnes() - Method in class geneSyst.GUI.ModeNettoyer
renvoie le nombre de dossiers sélectionnés
NbSimplificationGardeSyntaxique - Static variable in class geneSyst.MethodesNonFonctionnelles
 
NbSimplificationParCompletudeAtteignabilite - Static variable in class geneSyst.MethodesNonFonctionnelles
 
NbSimplificationParRaff - Static variable in class geneSyst.MethodesNonFonctionnelles
 
NbSimplificationSkip - Static variable in class geneSyst.MethodesNonFonctionnelles
 
NbVersExt(GFI_PostTraitement.TypeUnEtat) - Method in class geneSyst.GFI_PostTraitement
 
NeTraitePasLesErreurs - Static variable in class geneSyst.interfacageAB
 
Nettoyer - Static variable in class geneSyst.MethodesNonFonctionnelles
Par défaut, après toute exécution de GénéSyst, les éléments temporaires seront effacé du dossier de travail.
Nettoyer - Class in geneSyst
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
Nettoyer() - Constructor for class geneSyst.Nettoyer
Nettoyer est un sous programme servant à effacer tous les dossiers et les projets laissés en plan sans etre erffacés.
NeVerifiePasQueLaCommandeEstBienPassee - Static variable in class geneSyst.interfacageAB
 
Niveau1Decore - Static variable in class geneSyst.PrintWriterGeneSyst
 
Niveau1Mini - Static variable in class geneSyst.PrintWriterGeneSyst
 
Niveau1SsTitreDecore - Static variable in class geneSyst.PrintWriterGeneSyst
 
Niveau1SsTitreMini - Static variable in class geneSyst.PrintWriterGeneSyst
 
Niveau1Titre - Static variable in class geneSyst.PrintWriterGeneSyst
 
Niveau2Decore - Static variable in class geneSyst.PrintWriterGeneSyst
 
Niveau2Mini - Static variable in class geneSyst.PrintWriterGeneSyst
 
Niveau2Titre - Static variable in class geneSyst.PrintWriterGeneSyst
 
NiveauMachine - Variable in class geneSyst.interfacageAB
Il n'existe que 2 niveaux de hierarchie : machine et projet Savoir dans quel niveau on se trouve est important pour le remplissage buffer et l'interdiction des commandes dans le mauvais niveau.
NombreRequetteOfficielMaxiAvantAbandon - Static variable in class geneSyst.interfacageAB
 
NomDossierCalcul - Static variable in class geneSyst.MethodesNonFonctionnelles
Nom du dossier temporaire de travail
NomDossierCalcul - Variable in class geneSyst.PreuveAB_tmp
 
NomDossierDeBase - Static variable in class geneSyst.ConfigurationGeneSyst
Nom de base du dossier de travail
NomDossierResultat - Static variable in class geneSyst.ConfigurationGeneSyst
Nom du dossier resultats
NomDuProjet - Static variable in class geneSyst.MethodesNonFonctionnelles
Nom du projet utilisé dans l'atelierB
NomDuProjet - Variable in class geneSyst.PreuveAB_tmp
 
NomFichF - Variable in class geneSyst.GFI_Datas.QuadrupletEntiers
 
NomFichG - Variable in class geneSyst.GFI_Datas.QuadrupletEntiers
 
NomFichier - Static variable in class geneSyst.GUI.AffichageDot
 
NomFichier - Static variable in class geneSyst.GUI_V2.AffichageDot
 
NomFichierAvecExtensionEtChemin - Variable in class geneSyst.ResultatAnalyse
 
NomFichierHtml - Static variable in class geneSyst.ConfigurationGeneSyst
Nom du fichier au format html
NomFichierSansExtensionEtChemin - Variable in class geneSyst.ResultatAnalyse
 
NomFichierSansExtensionSansChemin - Variable in class geneSyst.ResultatAnalyse
 
NomFichierSVGMachine(String, int, int, int, int) - Static method in class geneSyst.GFI_Exportation
Méthode calculant le nom d'une machine de sauvegarde d'une obligation de preuve SANS SON EXTENSION !!!
NomFichierTrace - Variable in class geneSyst.interfacageAB
Nom du fichier de trace (avec son préfixe si nécessaire)
NomFichierTraces - Static variable in class geneSyst.ConfigurationGeneSyst
Nom du fichier de traces
NomFichierTraite - Variable in class geneSyst.PreuveAB_tmp
 
NomFichT - Variable in class geneSyst.GFI_Datas.QuadrupletEntiers
 
NomInit - Static variable in class geneSyst.GFI_Exportation
Constante d�finissant le nom de l'�v�nement �tiquetant les transitions partant de QInit
NomMachineProduite - Variable in class geneSyst.PreuveAB_tmp
 
NomProjetDeBase - Static variable in class geneSyst.ConfigurationGeneSyst
Nom de base du projet
NomQInit - Static variable in class geneSyst.GFI_Exportation
Constante d�finissant le nom de l'état initial
NonPr - Static variable in class geneSyst.GFI_Datas
Constante d�finissant une condition Non prouv�e
NouvAtt(int, int, int, int, String, String, String, TPredicat) - Method in class geneSyst.GFI_Datas
Ajoute une nouvelle information d'atteignabilit� d'�tat
NouvDecl(int, int, int, String, String, String, TPredicat) - Method in class geneSyst.GFI_Datas
Ajoute une nouvelle information de d�clenchabilit� d'�v�nement
NouveauNomDeFichier(String, String) - Static method in class geneSyst.MethodesNonFonctionnelles
Prend un nom de fichier et renvoie le meme nom avec éventuellement un suffixe, de telle sorte que ce nouveau nom soit inutilisé pour l'instant dans le dossier spécifié.
NouvEquiv(int, int, int, String) - Method in class geneSyst.GFI_Datas
Ajoute une nouvelle information d'�quivalence d'�tats
NouvEtatDansCluster(int, int) - Method in class geneSyst.GFI_Datas
Permet d'ajouter un �tat dans un regroupement d'�tats lors d'un raffinement.
NouvInit(int, int, String, String, String, TPredicat) - Method in class geneSyst.GFI_Datas
Ajoute une nouvelle information d'initialit� d'�tat

O

onglet - Variable in class geneSyst.GUI.GestionOnglets
 
onglets - Variable in class geneSyst.GUI.ModeNettoyer
 
Open_Project(String, boolean) - Method in class geneSyst.interfacageAB
Ouvre le projet dont le nom est précisé
out - Variable in class geneSyst.interfacageAB
 
OuvreParenthese(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.

P

paint(Graphics) - Method in class geneSyst.GUI.GestionAffichage
 
panel - Variable in class geneSyst.GUI.AffichageDot.DotFrame
 
panel - Variable in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
panelBoutons - Variable in class geneSyst.GUI.AppliGene_tab
 
panelExperiments - Variable in class geneSyst.GUI.AppliGene_tab
 
panelFichiers - Variable in class geneSyst.GUI.AppliGene_tab
 
panelOptions - Variable in class geneSyst.GUI.AppliGene_tab
 
panelSortie - Variable in class geneSyst.GUI.AppliGene_tab
 
PanneauMessages - Variable in class geneSyst.GUI.ModeNettoyer
 
PanneauMessagesDecore - Variable in class geneSyst.GUI.ModeNettoyer
 
parallele - Static variable in class geneSyst.MethodesNonFonctionnelles
Par défaut, l'atelier B est relancé pour chacune des vérifications des obligations de preuve générées.
paramReadChar(String) - Static method in class geneSyst.geneSyst
 
paramReadInt(String, int, int) - Static method in class geneSyst.geneSyst
 
PasseEspaces(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
Path - Static variable in class geneSyst.MethodesNonFonctionnelles
Définition du chemin pour vérifier si un nom de projet existe
PathDot - Static variable in class geneSyst.ConfigurationGeneSyst
Nom du chemin du dot
PMI(String, String) - Static method in class geneSyst.MethodesPMI
Parse le fichier PMI spécifié et renvoie vrai ssi toutes les obligations de preuve ont été vérifiées.
PointArriveeTransitionNonAtteignable(int, int, int, GestionFormatIntermediaire, TPredicat, String, String) - Method in class geneSyst.geneSyst
 
PointArriveeTransitionNonAtteignable(int, int, int, GestionFormatIntermediaire, TPredicat, String, String, boolean) - Method in class geneSyst.geneSyst
 
PointArriveeTransitionPossibAtteignable(int, int, int, GestionFormatIntermediaire, TPredicat, TPredicat, String, String) - Method in class geneSyst.geneSyst
 
PointArriveeTransitionPossibAtteignable(int, int, int, GestionFormatIntermediaire, TPredicat, TPredicat, String, String, boolean) - Method in class geneSyst.geneSyst
 
PointArriveeTransitionTjrsAtteignable(int, int, int, GestionFormatIntermediaire, TPredicat, String, String) - Method in class geneSyst.geneSyst
 
PointArriveeTransitionTjrsAtteignable(int, int, int, GestionFormatIntermediaire, TPredicat, String, String, boolean) - Method in class geneSyst.geneSyst
 
POSlider - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
POSliderStateChanged(ChangeEvent) - Method in class geneSyst.GUI_V2.GeneSystGUI
 
Pred - Variable in class geneSyst.GFI_Datas.QuadrupletEntiers
 
PredicatEtat - Variable in class geneSyst.ClasseEquivalenceEtats
 
preds_disj - Variable in class geneSyst.ResultatAnalyse
 
PreuveAB_tmp - Class in geneSyst
 
PreuveAB_tmp(String, String, String, String, String, int, boolean) - Constructor for class geneSyst.PreuveAB_tmp
Constructeur de cette classe, il permet de configurer un certain nombre de variables indispensables à son bon fonctionnement.
primitivesNet - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
PrimitivesNettoyage - Class in geneSyst.GUI_V2
 
PrimitivesNettoyage() - Constructor for class geneSyst.GUI_V2.PrimitivesNettoyage
 
PrintWriterGeneSyst - Class in geneSyst
 
PrintWriterGeneSyst(OutputStream, boolean) - Constructor for class geneSyst.PrintWriterGeneSyst
 
PrintWriterGeneSyst(Writer, boolean) - Constructor for class geneSyst.PrintWriterGeneSyst
 
ProcessusParalleleCourant - Variable in class geneSyst.interfacageAB
Variable contenant le thread appelé si l'on conserve la main
ProuveMachine(String) - Method in class geneSyst.PreuveAB_tmp
 
ProuveMachine(String, int) - Method in class geneSyst.PreuveAB_tmp
Prouve une machine se trouvant dans un fichier donné à l'aide de l'atelier B.
ProuveMachine_TactiquesInteractives(String) - Method in class geneSyst.PreuveAB_tmp
Prouve une machine se trouvant dans un fichier donné à l'aide de l'atelier B et en utilisant uniquement des tactiques interactives.
ProuvePredicat(int, int, int, int, TPredicat) - Method in class geneSyst.PreuveAB_tmp
Methode permettant d'effectuer la preuve d'une OP.
ProuvePredicat(int, int, int, int, TPredicat, boolean) - Method in class geneSyst.PreuveAB_tmp
Methode permettant d'effectuer la preuve d'une OP.
Prove_component(String, int, boolean, boolean) - Method in class geneSyst.interfacageAB
Permet de prouver un composant dans le projet courant sous l'atelier B.

Q

QFin - Variable in class geneSyst.GFI_PostTraitement
 
QInit - Variable in class geneSyst.GFI_PostTraitement
Liste d'états
QueGenererOP - Static variable in class geneSyst.MethodesNonFonctionnelles
Par défaut, les obligations de preuve générées sont soumises au prouveur.
QueGenererOp - Variable in class geneSyst.PreuveAB_tmp
 
quit - Variable in class geneSyst.GUI.AffichageDot.DotFrame
 
quit - Variable in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
Quitter_AB() - Method in class geneSyst.interfacageAB
Cette méthode permet de quitter l'atelier B tournant dans le processus parallèle.

R

raffraichirFenetre(Component) - Method in class geneSyst.GUI.ModeNettoyer
raffraichissement de l'onglet
RechercheElement(String, String, boolean) - Method in class geneSyst.MethodesNonFonctionnelles
Recherche toutes les sous-chaines de L ayant pour préfixe Element et comme suffixe un numéro.
RechercheEtatsInitiaux(TSubstitution, List<TPredicat>, int[], GestionFormatIntermediaire, GestionFormatIntermediaire, boolean, boolean) - Method in class geneSyst.geneSyst
RechercheEtatsInitiaux recherche la liste des �tat initiaux du stst�me de transitions et renvoie son r�sultat sous forme d'uin vercteur de TEtats.
RecherchePointArriveeDesTransition(int, int, List<TPredicat>, List<TOperation>, boolean[][][], GestionFormatIntermediaire, boolean, boolean) - Method in class geneSyst.geneSyst
RecherchePointArriveeDesTransition recherche quels sont les conditions d'atteignabilit� de chacun des �tats de preds_disj par l'événement Evenementj depuis l'�tat Etati.
RefinementName - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
RefinementOracleName - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
RelancerAB() - Method in class geneSyst.interfacageAB
relance l'AB.
RemonterTransitions - Static variable in class geneSyst.MethodesNonFonctionnelles
Par défaut, les transitions ne sont pas factorisées et les sous-états initiaux ou finaux ne sont pas choisis
Remove_component(String, boolean) - Method in class geneSyst.interfacageAB
Permet de supprimer un composant dans le projet courant sous l'atelier B.
Remove_Project(String) - Method in class geneSyst.interfacageAB
Methode permettant d'effacer un projet de l'atelier B.
RepertoireCourant - Variable in class geneSyst.GUI.AppliGene
 
RepertoireCourant - Variable in class geneSyst.GUI.AppliGene_tab
 
replaceAll(String, String, String) - Static method in class geneSyst.MethodesNonFonctionnelles
 
replaceAll(String, String, String, int) - Static method in class geneSyst.MethodesNonFonctionnelles
 
RepresentationConstantesPlus1 - Static variable in class geneSyst.GFI_Datas
Repr�sentation textuelle des diff�rentes constantes d�finies pr�c�damment
Reset() - Method in class geneSyst.PreuveAB_tmp
Dans le cas où l'atelier B est en parallèle, cette méthode permet de relancer le processus.
ResultatAnalyse - Class in geneSyst
 
ResultatAnalyse() - Constructor for class geneSyst.ResultatAnalyse
 
ResultatGeneration - Variable in class geneSyst.GUI.GestionAffichage
 
ResultatGeneration - Variable in class geneSyst.GUI_V2.ExecTrace
 
retourGeneSyst() - Method in class geneSyst.GUI.GestionAffichage
 

S

SansChemin(String) - Static method in class geneSyst.MethodesNonFonctionnelles
Prend un nom de fichier avec son éventuel chemin d'accès et renvoie le nom seul, sans son chemin.
SelectAllDirBtn - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
SelectAllDirBtnActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.CleanUpFrame
 
SelectAllProjectBtn - Variable in class geneSyst.GUI_V2.CleanUpFrame
 
SelectAllProjectBtnActionPerformed(ActionEvent) - Method in class geneSyst.GUI_V2.CleanUpFrame
 
serialVersionUID - Static variable in exception geneSyst.ErreurException
Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class geneSyst.GUI.AffichageDot.DotFrame
 
serialVersionUID - Static variable in class geneSyst.GUI.AppliGene
Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class geneSyst.GUI.AppliGene_tab
Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class geneSyst.GUI.GestionAffichage
Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class geneSyst.GUI.GestionOnglets
Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class geneSyst.GUI.ModeNettoyer
Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class geneSyst.GUI.ModeNettoyerDossier
Pour moins de warning avec Java 1.5.0
serialVersionUID - Static variable in class geneSyst.GUI_V2.AffichageDot.DotFrame
 
SeulementPOLieesAFalse - Static variable in class geneSyst.MethodesNonFonctionnelles
Par défaut, les obligations de preuve générées permettent de distinguer les transitions toujours ou partiellement franchissable.
Slider1Labels - Static variable in class geneSyst.GUI_V2.GeneSystGUI
 
SliderForceLabels - Static variable in class geneSyst.GUI_V2.GeneSystGUI
 
StrMoins(int) - Static method in class geneSyst.GFI_Exportation
 
strToStr(String, int) - Static method in class geneSyst.GFI_Exportation
 
StrW - Variable in class geneSyst.GUI.TextWriter
 
StrW - Variable in class geneSyst.GUI_V2.TextWriter
 
supprimerDossier() - Method in class geneSyst.GUI.ModeNettoyer
 
supprimerDossier() - Method in class geneSyst.GUI.ModeNettoyerDossier
 
supprimerLesDossiersSelectionnes(JPanel) - Method in class geneSyst.GUI_V2.PrimitivesNettoyage
 
supprimerLesProjetsSelectionnes(JPanel) - Method in class geneSyst.GUI_V2.PrimitivesNettoyage
 
SymbolDefault - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
SymboleDefaut - Static variable in class geneSyst.MethodesNonFonctionnelles
Définition du symboles de condition gardée apparaissant dans le graphique final
SymboleNonPr - Static variable in class geneSyst.MethodesNonFonctionnelles
Définition du symboles de condition Non prouvée apparaissant dans le graphique final
SymboleProuve - Static variable in class geneSyst.MethodesNonFonctionnelles
Définition du symboles de condition vraie apparaissant dans le graphique final
SymbolFalse - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
SymbolTrue - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
SysAfficher(Writer, TPredicat) - Static method in class geneSyst.MethodesNonFonctionnelles
Affiche un Prédicat avec une présentation particulière pour les bob.predicat.TPredConst

T

TabClauseNature - Static variable in class geneSyst.MethodesNonFonctionnelles
 
TabExtensions - Static variable in class geneSyst.MethodesNonFonctionnelles
 
TabFormatsSortie - Static variable in class geneSyst.ConfigurationGeneSyst
tableau memorisant les formats de sortie demandes par l'utilisateur.
TabFormatsSortie - Static variable in class geneSyst.GFI_Datas
tableau memorisant les formats de sortie demand� par l'utilisateur.
TabFormatsSortiePossibles - Static variable in class geneSyst.ConfigurationGeneSyst
tableau memorisant quels formats de sortie peuvent etre utilises (la limitation etant les applications externes).
Tabulations - Variable in class geneSyst.GUI.AppliGene_tab
 
TactiquesInteractives - Static variable in class geneSyst.MethodesNonFonctionnelles
Par défaut, les obligations de preuve générées sont soumises au prouveur.
TactiquesUtilisateur - Static variable in class geneSyst.ConfigurationGeneSyst
Definition des tactiques interactives
TailleOfficielleDesGroupeDeRequettes - Static variable in class geneSyst.interfacageAB
 
TempAttenteAuRedemarrage - Static variable in class geneSyst.MethodesNonFonctionnelles
Pour éviter les "Cpu Limit Exceeded" On limite le nombre de preuve avant de redémarrer l'atelier.
TempsAttenteOfficielEntreGroupes - Static variable in class geneSyst.interfacageAB
 
TempsAttenteOfficielReponse - Static variable in class geneSyst.interfacageAB
Variables servant a factoriser les donnees de recuperation sale des traces
terminal - Variable in class geneSyst.GFI_Datas
Variable pointant vers le flux de sortie courant pour l'affichage des messages
terminal - Static variable in class geneSyst.interfacageAB
Terminal de sortie du texte
terminal - Static variable in class geneSyst.MethodesNonFonctionnelles
Terminal de sortie du texte
textMachine - Variable in class geneSyst.GUI.AppliGene
 
textMachine - Variable in class geneSyst.GUI.AppliGene_tab
 
textOracleM - Variable in class geneSyst.GUI.AppliGene
 
textOracleM - Variable in class geneSyst.GUI.AppliGene_tab
 
textOracleR - Variable in class geneSyst.GUI.AppliGene
 
textOracleR - Variable in class geneSyst.GUI.AppliGene_tab
 
textRaffinement - Variable in class geneSyst.GUI.AppliGene
 
textRaffinement - Variable in class geneSyst.GUI.AppliGene_tab
 
TextWriter - Class in geneSyst.GUI
 
TextWriter(StringWriter, GestionAffichage, boolean) - Constructor for class geneSyst.GUI.TextWriter
Constructeur TextWriter
TextWriter(StringWriter, ModeNettoyer) - Constructor for class geneSyst.GUI.TextWriter
Constructeur TextWriter
TextWriter - Class in geneSyst.GUI_V2
 
TextWriter(StringWriter, ExecTrace, boolean) - Constructor for class geneSyst.GUI_V2.TextWriter
Constructeur TextWriter
TGestionAffichage - Static variable in class geneSyst.GUI.TextWriter
 
TGestionAffichage - Static variable in class geneSyst.GUI_V2.TextWriter
 
Titre1 - Static variable in class geneSyst.PrintWriterGeneSyst
 
Titre2 - Static variable in class geneSyst.PrintWriterGeneSyst
 
TjrsF - Static variable in class geneSyst.GFI_Datas
Constante d�finissant une condition � FAUX
TjrsV - Static variable in class geneSyst.GFI_Datas
Constante d�finissant une condition � VRAI
TModeNettoyer - Static variable in class geneSyst.GUI.TextWriter
 
TModeNettoyer - Static variable in class geneSyst.GUI_V2.TextWriter
 
TousCheckBoxSelectionnes() - Method in class geneSyst.GUI.ModeNettoyer
regarde si tous les dossiers sont selectionnés
TraceAvantErreur - Variable in class geneSyst.interfacageAB
Trace de l'atelier d'avant une erreur
TraiteLesErreurs - Static variable in class geneSyst.interfacageAB
 
TraitementRaffinement(String, ResultatAnalyse, int, boolean, GestionFormatIntermediaire, GestionFormatIntermediaire, boolean, boolean) - Method in class geneSyst.geneSyst
TraitementRaffinement r�alise le Syst�me de Transitions �tiquet�es du raffinement B pr�cis� par NomFichierAvecExtension.
TraitementSystemeAbstrait(String, int, boolean, GestionFormatIntermediaire, boolean, boolean) - Method in class geneSyst.geneSyst
TraitementSystemeAbstrait r�alise le Syst�me de Transitions �tiquet�es de la machine B pr�cis�e par NomFichierAvecExtension.
TraiterCommande(String, String, String, boolean, boolean) - Method in class geneSyst.interfacageAB
Méthode simplifiée permettant d'émettre une commande vers l'atelier B puis d'attendre ou non une réponse.
TraiterCommande(String, String, String, String, boolean, boolean, boolean) - Method in class geneSyst.interfacageAB
Méthode permettant d'émettre une commande vers l'atelier B puis d'attendre ou non une réponse.
TransitionsAAjouter - Variable in class geneSyst.GFI_PostTraitement
 
TransitionsARetirer - Variable in class geneSyst.GFI_PostTraitement
 
TransitionValideExiste(int, int, int) - Method in class geneSyst.GFI_PostTraitement
 

U

updateSize() - Method in class geneSyst.GUI_V2.ExecTrace
 
updateSize() - Method in class geneSyst.GUI_V2.GeneSystGUI
 
UsedInteractiveTactics - Variable in class geneSyst.GUI_V2.GeneSystGUI
 

V

VerboseCheck - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
verificationFichier() - Method in class geneSyst.GUI.AppliGene
verification de l'existances des fichiers fournis
verificationFichier() - Method in class geneSyst.GUI.AppliGene_tab
verification de l'existances des fichiers fournis
VerifieQueLaCommandeEstBienPassee - Static variable in class geneSyst.interfacageAB
 
VerifierOracle - Static variable in class geneSyst.MethodesNonFonctionnelles
Par défaut, les orcales soumis ne sont pas vérifiés.
VerifyOracles - Variable in class geneSyst.GUI_V2.GeneSystGUI
 
version_print() - Method in class geneSyst.interfacageAB
Méthode renvoyant le résultat de la commande "version_print".
VersionGS - Static variable in class geneSyst.geneSyst
 
VersionSVN - Static variable in class geneSyst.geneSyst
 
Virgule(FileReader) - Method in class geneSyst.GFI_Parseur
M�thode du parseur de fichiers d'oracle.
VisualiserResultatAbstr() - Method in class geneSyst.GUI.GestionAffichage
 
VisualiserResultatRaff() - Method in class geneSyst.GUI.GestionAffichage
 

W

write(String, boolean) - Method in class geneSyst.PrintWriterGeneSyst
 
write(String) - Method in class geneSyst.PrintWriterGeneSyst
 
write2(String, boolean) - Method in class geneSyst.PrintWriterGeneSyst
 
write2(String) - Method in class geneSyst.PrintWriterGeneSyst
 
writeClassic(String, boolean) - Method in class geneSyst.PrintWriterGeneSyst
 
writeClassic(String) - Method in class geneSyst.PrintWriterGeneSyst
 
writeCloseTitle() - Method in class geneSyst.PrintWriterGeneSyst
 
writeCloseTitle2() - Method in class geneSyst.PrintWriterGeneSyst
 
writeDebug(String) - Method in class geneSyst.PrintWriterGeneSyst
 
writeErreur(String) - Method in class geneSyst.PrintWriterGeneSyst
 
writeOpenTitle(String) - Method in class geneSyst.PrintWriterGeneSyst
 
writeOpenTitle2(String) - Method in class geneSyst.PrintWriterGeneSyst
 
writeSsTitre(String) - Method in class geneSyst.PrintWriterGeneSyst
 

A B C D E F G H I J L M N O P Q R S T U V W