geneSyst
Class GestionFormatIntermediaire

java.lang.Object
  extended by geneSyst.GFI_Datas
      extended by geneSyst.GFI_PostTraitement
          extended by geneSyst.GFI_Parseur
              extended by geneSyst.GFI_Exportation
                  extended by geneSyst.GestionFormatIntermediaire

public class GestionFormatIntermediaire
extends 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 sauvegarder ou lire les données depuis un fichier.

Version:
20/01/2004
Author:
Nicolas Stouls en Janvier 2004

Nested Class Summary
 
Nested classes/interfaces inherited from class geneSyst.GFI_PostTraitement
GFI_PostTraitement.TypeUnEtat
 
Nested classes/interfaces inherited from class geneSyst.GFI_Datas
GFI_Datas.QuadrupletEntiers
 
Field Summary
 
Fields inherited from class geneSyst.GFI_Exportation
ExporterCommentaire, ListeEtats, ListeEtatsAbstraits, NomInit, NomQInit
 
Fields inherited from class geneSyst.GFI_Parseur
DernierCarLuInutilise, FinChargementEtats, FinChargementEv
 
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
GestionFormatIntermediaire(PrintWriterGeneSyst term, java.lang.String NomFichierOracle)
           
GestionFormatIntermediaire(PrintWriterGeneSyst term, java.lang.String NomFichierOracle, int NbEtats, int NbEvents)
           
 
Method Summary
 void AfficherBilan(ResultatAnalyse Resultats)
           
 
Methods inherited from class geneSyst.GFI_Exportation
AffichageGarde, Afficher, ExporteFichier, GenerationDOT, GenerationDOT, GenerationFichierClusterHTML, GenerationFichiersEtatHTML, GenerationFichierTransitionHTML, GenerationGXL, GenerationGXL, GenerationIndexHtml, intToStr, NomFichierSVGMachine, StrMoins, strToStr
 
Methods inherited from class geneSyst.GFI_Parseur
CaptureAssocNumEtat_Etat, CaptureAssocNumEv_Ev, CaptureAtt, CaptureDecl, CaptureEqu, CaptureInit, CaptureInstruction, CaptureInt, CaptureNomIdf, CapturePr, CaptureStr, chargeOracle, EstAlphaNum, EstInt, FermeParenthese, OuvreParenthese, PasseEspaces, Virgule
 
Methods inherited from class geneSyst.GFI_PostTraitement
AfficheBilanPostTraitement, ChercheSousEtatsInitiauxEtFinaux, ChoixSousEtatFinal, ChoixSousEtatInitial, Ext, FactoriseTransitions, Freres, ListeEtatVersString, NbDepuisExt, NbVersExt
 
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
 

Constructor Detail

GestionFormatIntermediaire

GestionFormatIntermediaire(PrintWriterGeneSyst term,
                           java.lang.String NomFichierOracle)

GestionFormatIntermediaire

GestionFormatIntermediaire(PrintWriterGeneSyst term,
                           java.lang.String NomFichierOracle,
                           int NbEtats,
                           int NbEvents)
Method Detail

AfficherBilan

public void AfficherBilan(ResultatAnalyse Resultats)
                   throws java.io.IOException
Throws:
java.io.IOException