geneSyst
Class GFI_Parseur

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

public class GFI_Parseur
extends GFI_PostTraitement

Cette classe définie un parseur pour charger la structure de 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
 char DernierCarLuInutilise
          Variable gloable servant au parseur de fichiers d'oracle.
 boolean FinChargementEtats
          Vrai ssi les �tats ont terminés d'etre chargés lors de la lecture d'un orcale depuis un fichier
 boolean FinChargementEv
          Vrai ssi les �v�nements ont terminés d'etre chargés lors de la lecture d'un orcale depuis un fichier
 
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_Parseur(PrintWriterGeneSyst term, java.lang.String NomFichierOracle)
           
GFI_Parseur(PrintWriterGeneSyst term, java.lang.String NomFichierOracle, int NbEtats, int NbEvents)
           
 
Method Summary
(package private)  int CaptureAssocNumEtat_Etat(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  int CaptureAssocNumEv_Ev(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  int CaptureAtt(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  int CaptureDecl(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  int CaptureEqu(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  int CaptureInit(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  int CaptureInstruction(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  int CaptureInt(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  java.lang.String CaptureNomIdf(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  int CapturePr(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  java.lang.String CaptureStr(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  void chargeOracle(java.lang.String NomFichier)
          M�thode du parseur de fichiers d'oracle.
(package private)  boolean EstAlphaNum(char c)
          M�thode du parseur de fichiers d'oracle.
(package private)  boolean EstInt(char c)
          M�thode du parseur de fichiers d'oracle.
(package private)  int FermeParenthese(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  int OuvreParenthese(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  void PasseEspaces(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
(package private)  int Virgule(java.io.FileReader F)
          M�thode du parseur de fichiers d'oracle.
 
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
 

Field Detail

FinChargementEtats

public boolean FinChargementEtats
Vrai ssi les �tats ont terminés d'etre chargés lors de la lecture d'un orcale depuis un fichier


FinChargementEv

public boolean FinChargementEv
Vrai ssi les �v�nements ont terminés d'etre chargés lors de la lecture d'un orcale depuis un fichier


DernierCarLuInutilise

public char DernierCarLuInutilise
Variable gloable servant au parseur de fichiers d'oracle.

Constructor Detail

GFI_Parseur

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

GFI_Parseur

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

EstAlphaNum

boolean EstAlphaNum(char c)

M�thode du parseur de fichiers d'oracle.

Indique si oui ou non un charact�re est un alphanum�rique.

Parameters:
c - caract�re � analyser
Returns:
true ssi c est dans 'a'..'z' || 'A'..'Z' || '0'..'9' || '-' || '_'

EstInt

boolean EstInt(char c)

M�thode du parseur de fichiers d'oracle.

Indique si oui ou non un charact�re est un entier

Parameters:
c - caract�re � analyser
Returns:
true ssi c est dans '0'..'9'

PasseEspaces

void PasseEspaces(java.io.FileReader F)
            throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Avance le pointeur courant de flux pour ignorer les espaces, tabulations et autres retours � la ligne. DernierCarLuInutilise contient le dernier caract�re lu qui ne soit pas un espace.

Parameters:
F - flux � lire
Throws:
java.io.IOException

OuvreParenthese

int OuvreParenthese(java.io.FileReader F)
              throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Avance le pointeur courant de flux pour ignorer les espaces, tabulations et autres retours � la ligne et le premier '('. DernierCarLuInutilise contient le dernier caract�re lu qui ne soit pas '('.

Parameters:
F - flux � lire
Returns:
0 si le caract�re non espace suivant �tait '('. -1 sinon.
Throws:
java.io.IOException

FermeParenthese

int FermeParenthese(java.io.FileReader F)
              throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Avance le pointeur courant de flux pour ignorer les espaces, tabulations et autres retours � la ligne et le premier ')'. DernierCarLuInutilise contient le dernier caract�re lu qui ne soit pas ')'.

Parameters:
F - flux � lire
Returns:
0 si le caract�re non espace suivant �tait ')'. -1 sinon.
Throws:
java.io.IOException

Virgule

int Virgule(java.io.FileReader F)
      throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Avance le pointeur courant de flux pour ignorer les espaces, tabulations et autres retours � la ligne et le premier ','. DernierCarLuInutilise contient le dernier caract�re lu qui ne soit pas ','.

Parameters:
F - flux � lire
Returns:
0 si le caract�re non espace suivant �tait ','. -1 sinon.
Throws:
java.io.IOException

CaptureInt

int CaptureInt(java.io.FileReader F)
         throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture la prochaine s�quence de caract�re qui ne soit pas des espaces et qui soit des entiers. DernierCarLuInutilise contient le dernier caract�re lu qui ne soit pas un entier. Les entiers pouvant etre lus sont >=-1. La valeur -2 est renvoy�e en cas d'erreur.

Parameters:
F - flux � lire
Returns:
la valeur lue. -2 si aucun caract�re num�rique n'est trouv�.
Throws:
java.io.IOException

CaptureStr

java.lang.String CaptureStr(java.io.FileReader F)
                      throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture la prochaine chaine de caract�re comprise entre double-quotes. DernierCarLuInutilise contient le premier caract�re suivant la fermeture des quotes.

Parameters:
F - flux � lire
Returns:
la chaine lue sans les quotes. Celle-ci est vide en cas d'erreur
Throws:
java.io.IOException

CapturePr

int CapturePr(java.io.FileReader F)
        throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture le prochain indicateur de preuve (T/G/F/?). DernierCarLuInutilise contient le premier caract�re suivant le caract�re lu.

Parameters:
F - flux � lire
Returns:
La constante enti�re correspondant � l'indicateur lu. -2 en cas d'erreur
Throws:
java.io.IOException

CaptureDecl

int CaptureDecl(java.io.FileReader F)
          throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture les param�tres de la fonction Decl trouv�e dans l'orcale et charge en m�moire cette inforamtion. DernierCarLuInutilise contient le premier caract�re suivant le caract�re lu.

Parameters:
F - flux � lire
Returns:
-2 en cas d'erreur, 0 sinon
Throws:
java.io.IOException

CaptureAtt

int CaptureAtt(java.io.FileReader F)
         throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture les param�tres de la fonction Att trouv�e dans l'orcale et charge en m�moire cette inforamtion. DernierCarLuInutilise contient le premier caract�re suivant le caract�re lu.

Parameters:
F - flux � lire
Returns:
-2 en cas d'erreur, 0 sinon
Throws:
java.io.IOException

CaptureInit

int CaptureInit(java.io.FileReader F)
          throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture les param�tres de la fonction Init trouv�e dans l'orcale et charge en m�moire cette inforamtion. DernierCarLuInutilise contient le premier caract�re suivant le caract�re lu.

Parameters:
F - flux � lire
Returns:
-2 en cas d'erreur, 0 sinon
Throws:
java.io.IOException

CaptureEqu

int CaptureEqu(java.io.FileReader F)
         throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture les param�tres de la fonction Equ trouv�e dans l'orcale et charge en m�moire cette inforamtion. DernierCarLuInutilise contient le premier caract�re suivant le caract�re lu.

Parameters:
F - flux � lire
Returns:
-2 en cas d'erreur, 0 sinon
Throws:
java.io.IOException

CaptureAssocNumEv_Ev

int CaptureAssocNumEv_Ev(java.io.FileReader F)
                   throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture les param�tres de la fonction AssocNumEv-Ev trouv�e dans l'orcale et charge en m�moire cette inforamtion. DernierCarLuInutilise contient le premier caract�re suivant le caract�re lu.

Parameters:
F - flux � lire
Returns:
-2 en cas d'erreur, 0 sinon
Throws:
java.io.IOException

CaptureAssocNumEtat_Etat

int CaptureAssocNumEtat_Etat(java.io.FileReader F)
                       throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture les param�tres de la fonction AssocNumEtat-Etat trouv�e dans l'orcale et charge en m�moire cette inforamtion. DernierCarLuInutilise contient le premier caract�re suivant le caract�re lu.

Parameters:
F - flux � lire
Returns:
-2 en cas d'erreur, 0 sinon
Throws:
java.io.IOException

CaptureNomIdf

java.lang.String CaptureNomIdf(java.io.FileReader F)
                         throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture la prochaine s�quence de caract�res alphanum�riques. DernierCarLuInutilise contient le premier caract�re suivant le caract�re lu.

Parameters:
F - flux � lire
Returns:
La chaine de caract�res lue. La String peut etre vide.
Throws:
java.io.IOException

CaptureInstruction

int CaptureInstruction(java.io.FileReader F)
                 throws java.io.IOException

M�thode du parseur de fichiers d'oracle.

Capture la prochaine instruction du flux et la charge en m�moire. DernierCarLuInutilise contient le premier caract�re suivant le caract�re lu.

Parameters:
F - flux � lire
Returns:
Renvoie -1 si et seulement si la fin du fichier F a �t� atteinte.
Throws:
java.io.IOException

chargeOracle

void chargeOracle(java.lang.String NomFichier)

M�thode du parseur de fichiers d'oracle.

M�thode de chargement d'un oracle en m�moire � partir d'un fichier.

Parameters:
NomFichier - Nom du fichier d'oracle.