|
|||||||||
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
public class GFI_Parseur
Cette classe définie un parseur pour charger la structure de 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 | |
---|---|
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 java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public boolean FinChargementEtats
public boolean FinChargementEv
public char DernierCarLuInutilise
Constructor Detail |
---|
GFI_Parseur(PrintWriterGeneSyst term, java.lang.String NomFichierOracle)
GFI_Parseur(PrintWriterGeneSyst term, java.lang.String NomFichierOracle, int NbEtats, int NbEvents)
Method Detail |
---|
boolean EstAlphaNum(char c)
M�thode du parseur de fichiers d'oracle.
Indique si oui ou non un charact�re est un alphanum�rique.
c
- caract�re � analyser
boolean EstInt(char c)
M�thode du parseur de fichiers d'oracle.
Indique si oui ou non un charact�re est un entier
c
- caract�re � analyser
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.
F
- flux � lire
java.io.IOException
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 '('.
F
- flux � lire
java.io.IOException
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 ')'.
F
- flux � lire
java.io.IOException
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 ','.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
F
- flux � lire
java.io.IOException
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.
NomFichier
- Nom du fichier d'oracle.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |