Class GFI_Parseur

java.lang.Object
  GFI_Datas
      GFI_Parseur

Direct Known Subclasses:

GFI_Exportation

public class GFI_Parseur
extends GFI_Datas

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 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 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 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

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.