geneSyst
Class GFI_PostTraitement
java.lang.Object
geneSyst.GFI_Datas
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
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 |
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 |
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
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 messagesNbEtats
- 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.
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)