Class GestionFormatIntermediaire

java.lang.Object
  GFI_Datas
      GFI_Parseur
          GFI_Exportation
              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 GFI_Datas

GFI_Datas.QuadrupletEntiers

Field Summary

Fields inherited from class GFI_Exportation

ExporterCommentaire, ListeEtats, ListeEtatsAbstraits, NomInit, NomQInit

Fields inherited from class GFI_Parseur

DernierCarLuInutilise, FinChargementEtats, FinChargementEv

Fields inherited from class 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 GFI_Exportation

AffichageGarde, Afficher, ExporteFichier, GenerationDOT, GenerationDOT, GenerationFichierClusterHTML, GenerationFichiersEtatHTML, GenerationFichierTransitionHTML, GenerationGXL, GenerationGXL, GenerationIndexHtml, intToStr, NomFichierSVGMachine, StrMoins, strToStr

Methods inherited from class 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 GFI_Datas

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