geneSyst
Class GFI_PostTraitement

java.lang.Object
  extended by geneSyst.GFI_Datas
      extended by geneSyst.GFI_PostTraitement
Direct Known Subclasses:
GFI_Parseur

public class GFI_PostTraitement
extends GFI_Datas

Version:
09/10/2007
Author:
Nicolas Stouls en Octobre 2007

Nested Class Summary
 class GFI_PostTraitement.TypeUnEtat
           
 
Nested classes/interfaces inherited from class geneSyst.GFI_Datas
GFI_Datas.QuadrupletEntiers
 
Field Summary
private  java.util.ArrayList<GFI_PostTraitement.TypeUnEtat> QFin
           
private  java.util.ArrayList<GFI_PostTraitement.TypeUnEtat> QInit
          Liste d'états
private  java.util.ArrayList<GFI_Datas.QuadrupletEntiers> TransitionsAAjouter
           
private  java.util.ArrayList<java.util.ArrayList<GFI_Datas.QuadrupletEntiers>> TransitionsARetirer
           
 
Fields inherited from class geneSyst.GFI_Datas
AttConnues, Atteignable, AvecG, DeclConnues, Declenchable, DejaEtudie, EquivEtatsConnues, EtatsEtudies, EtatsInitiaux, FormatDot, FormatGxl, FormatHtml, Inconnu, Invariant, ListeEtatsParCluster, ListeVariables, NbEtatsCharges, NbEvCharges, NonPr, RepresentationConstantesPlus1, TabFormatsSortie, terminal, TjrsF, TjrsV
 
Constructor Summary
GFI_PostTraitement(PrintWriterGeneSyst term)
          Constructeur simplifi� de la classe de gestion du format interm�diaire.
GFI_PostTraitement(PrintWriterGeneSyst term, int NbEtats, int NbEvents)
          Constructeur de la classe de gestion du format interm�diaire.
 
Method Summary
(package private)  void AfficheBilanPostTraitement(java.lang.String[] NomsOperations)
           
(package private)  void ChercheSousEtatsInitiauxEtFinaux()
           
(package private)  GFI_PostTraitement.TypeUnEtat ChoixSousEtatFinal(GFI_PostTraitement.TypeUnEtat Cluster)
           
(package private)  GFI_PostTraitement.TypeUnEtat ChoixSousEtatInitial(GFI_PostTraitement.TypeUnEtat Cluster)
           
(package private)  boolean Ext(GFI_PostTraitement.TypeUnEtat E1, GFI_PostTraitement.TypeUnEtat E2)
           
(package private)  void FactoriseTransitions()
           
(package private)  boolean Freres(GFI_PostTraitement.TypeUnEtat E1, GFI_PostTraitement.TypeUnEtat E2)
           
(package private)  java.lang.String ListeEtatVersString(java.util.ArrayList<GFI_PostTraitement.TypeUnEtat> Liste)
           
(package private)  int NbDepuisExt(GFI_PostTraitement.TypeUnEtat E)
           
(package private)  int NbVersExt(GFI_PostTraitement.TypeUnEtat E)
           
private  boolean TransitionValideExiste(int E1, int E2, int ev)
           
 
Methods inherited from class geneSyst.GFI_Datas
AfficheDecl, AfficheTout, CommentaireDebugage, DonneAtt, DonneDecl, DonneEquiv, DonneEquiv, DonneEtatArrivee, DonneEtatDepart, DonneEtatNDuCluster, DonneEtatsAVisiter, DonneEtatsInit, DonneEvenement, DonneListeTransitions, DonneNbEtats, DonneNumClusterFromEtat, DonnePredAtt, DonnePredDecl, DonnePredInit, EstInitial, InitialiseNbEtats, InitialiseNbEvents, NbCluster, NbEtatDansCluster, NouvAtt, NouvDecl, NouvEquiv, NouvEtatDansCluster, NouvInit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

QInit

private java.util.ArrayList<GFI_PostTraitement.TypeUnEtat> QInit
Liste d'états


QFin

private java.util.ArrayList<GFI_PostTraitement.TypeUnEtat> QFin

TransitionsARetirer

private java.util.ArrayList<java.util.ArrayList<GFI_Datas.QuadrupletEntiers>> TransitionsARetirer

TransitionsAAjouter

private java.util.ArrayList<GFI_Datas.QuadrupletEntiers> TransitionsAAjouter
Constructor Detail

GFI_PostTraitement

GFI_PostTraitement(PrintWriterGeneSyst term)
Constructeur simplifi� de la classe de gestion du format interm�diaire.

Parameters:
term - C'est un pointeur vers un flux de sortie pour l'affichage des messages

GFI_PostTraitement

GFI_PostTraitement(PrintWriterGeneSyst term,
                   int NbEtats,
                   int NbEvents)
Constructeur de la classe de gestion du format interm�diaire.

Parameters:
term - C'est un pointeur vers un flux de sortie pour l'affichage des messages
NbEtats - Indique le nombre d'états contenus dans le syst�me courant. Cette information est pr�cieuse pour cr�er les tableaux d'états initiaux notamment.
NbEvents - Indique le nombre d'�v�nements contenus dans le syst�me courant. Cette information est pr�cieuse pour cr�er les tableaux d'�v�nements initiaux notamment.
Method Detail

ListeEtatVersString

java.lang.String ListeEtatVersString(java.util.ArrayList<GFI_PostTraitement.TypeUnEtat> Liste)

Freres

boolean Freres(GFI_PostTraitement.TypeUnEtat E1,
               GFI_PostTraitement.TypeUnEtat E2)
Returns:
true ssi E1 et E2 on le m�me super état

Ext

boolean Ext(GFI_PostTraitement.TypeUnEtat E1,
            GFI_PostTraitement.TypeUnEtat E2)
Returns:
true ssi E1 et E2 sont externes l'un par rapport � l'autre

NbDepuisExt

int NbDepuisExt(GFI_PostTraitement.TypeUnEtat E)
Returns:
le nombre de transitions atteignant E depuis un état feuille non fr�re

NbVersExt

int NbVersExt(GFI_PostTraitement.TypeUnEtat E)
Returns:
le nombre de transitions partant de E vers un état feuille non fr�re

ChoixSousEtatInitial

GFI_PostTraitement.TypeUnEtat ChoixSousEtatInitial(GFI_PostTraitement.TypeUnEtat Cluster)
Parameters:
Cluster - Etat hi�rarchique dont on cherche un sous-état initial
Returns:
num�ro du sous-état choisi et null si aucun sous-états

ChoixSousEtatFinal

GFI_PostTraitement.TypeUnEtat ChoixSousEtatFinal(GFI_PostTraitement.TypeUnEtat Cluster)
Parameters:
Cluster - Etat hi�rarchique dont on cherche un sous-état final
Returns:
num�ro du sous-état choisi et null si aucun sous-états

ChercheSousEtatsInitiauxEtFinaux

void ChercheSousEtatsInitiauxEtFinaux()

TransitionValideExiste

private boolean TransitionValideExiste(int E1,
                                       int E2,
                                       int ev)

FactoriseTransitions

void FactoriseTransitions()

AfficheBilanPostTraitement

void AfficheBilanPostTraitement(java.lang.String[] NomsOperations)