|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectgeneSyst.GFI_Datas
geneSyst.GFI_PostTraitement
geneSyst.GFI_Parseur
geneSyst.GFI_Exportation
geneSyst.GestionFormatIntermediaire
public class GestionFormatIntermediaire
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.
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 java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
GestionFormatIntermediaire(PrintWriterGeneSyst term, java.lang.String NomFichierOracle)
GestionFormatIntermediaire(PrintWriterGeneSyst term, java.lang.String NomFichierOracle, int NbEtats, int NbEvents)
Method Detail |
---|
public void AfficherBilan(ResultatAnalyse Resultats) throws java.io.IOException
java.io.IOException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |