UpsPrs.AnalyseurSyntaxique.Analyser


Fonction Optimiser(NulAbsorbant) Analyser(NonTerminalRacine : Nul Ou NonTerminalSyntaxique, ContinuerSiErreurSyntaxe : Booleen, 

   EnvoyerErreur : Nul Ou Procedure(MessageErreur : Caractere, NomFichierSource : Caractere, NumeroLigne : Entier, NumeroColonne : Entier)=Nul,

   ArreterAnalyseAvantLaFin : Booleen=Faux) Retourner Booleen;

Description

La méthode Analyser permet de lancer l'analyse syntaxique à partir du non-terminal donné par le paramètre NonTerminalRacine. Le résultat est Vrai si aucune erreur lexicale, de syntaxique ou de sémantique n'est rencontrée.

Si le paramètre ContinuerSiErreurSyntaxe a pour valeur Vrai alors l'analyse syntaxique continue suite à la correction d'une erreur syntaxe décidable i.e une erreur qui peut être corrigée à la volée.

La signification des paramètres de EnvoyerErreur sont les suivants :

MessageErreur.
Message d'erreur d'analyse lexicale.
NomFichierSource.
Nom du fichier source dans lequel l'erreur a été détectée.
NumeroLigne.
Numéro de la ligne dans le fichier source dans lequel l'erreur a été détectée.
NumeroColonne.
Numéro de la colonne dans le fichier source dans lequel l'erreur a été détectée.

Si le paramètre ArreterAnalyseAvantLaFin a pour valeur Vrai alors l'analyse syntaxique peut s'arrêter avant l'atteinte de la fin du fichier source.

La séquence d'usage des méthodes est la suivante :

Un appel à DebuterAnalyse.
Un appel à DebuterAnalyse du type AnalyseurLexical.
Un appel à Analyser.
Cette méthode boucle tant que la fin du flux n'est pas atteinte et tant qu'il n'y a pas d'erreur lexical, de syntaxe ou sémantique :
- Appel à LireElementLexicalSuivantdu type AnalyseurLexical réalisé automatiquement.
- Appel optionnel à LireSymboleLexical du type AnalyseurLexical.
- Appel optionnel à LireValeurLexicale du type AnalyseurLexical.
- Appel optionnel à LireLigneColonne du type AnalyseurLexical.
- Appel optionnel à LireSymboleLexical.
- Appel optionnel à LireValeurLexicale.
- Appel optionnel à LireValeurSemantique.
- Appel optionnel à LireLigneColonneSource.
Un appel à TerminerAnalyse du type AnalyseurLexical.
Un appel à TerminerAnalyse.

Si cette séquence n'est pas respectée, alors l'exception est ActionSyntaxiqueImpossible est envoyée.

Exemple


/****************************************************************/

Procedure EnvoyerErreur(MessageErreur : Caractere, NomFichierSource : Caractere, NumeroLigne : Entier, NumeroColonne : Entier)

/* Objet : Envoie une erreir. */

/****************************************************************/

Debut

...

Fin Procedure



Principal

/*******/

Variable

/******/


   MonAnalyseurLexical : Nul Ou AnalyseurLexical;

   MonAnalyseurSyntaxique : Nul Ou AnalyseurSyntaxique;

   MonNonTerminal : Nul Ou NonTerminalSyntaxique;

   F : Nul Ou Fichier;




Debut

...

MonAnalyseurLexical.Analyser(IFlux(F), F.NomFlux, PositionLibre, EnvoyerErreur);

...

MonAnalyseurSyntaxique.Analyser(MonAnalyseurLexical);

...

?=MonAnalyseurSyntaxique.Analyser(MonNonTerminal, Faux, EnvoyerErreur);

...

MonAnalyseurLexical.TerminerAnalyse();

...

MonAnalyseurSyntaxique.TerminerAnalyse();

...

Fin Principal

Voir aussi

DebuterAnalyse pour débuter l'analyse syntaxique. TerminerAnalyse pour terminer l'analyse syntaxique.
NbErreursDeSyntaxe pour connaître le nombre d'erreurs rencontrées.

Traduction


-	-	-	-	-	-	-	-	-