No cache version.

Caching disabled. Default setting for this page:enabled (code LNG204)
If the display is too slow, you can disable the user mode to view the cached version.

YACC : position du token

Contents

Nous avons vu comment construire un arbre syntaxique abstrait, et nous avons remarqué qu'il est souvent nécessaire de savoir la position d'un token analysé par YACC [“Yet Another Compiler Compiler”1] et Lex5

Nous pouvons constater que ces informations sont aussi présentes dans la structure YYLTYPE du fichier y.tab.h6

  1. typedef struct YYLTYPE
  2. {
  3.   int first_line;
  4.   int first_column;
  5.   int last_line;
  6.   int last_column;
  7. } YYLTYPE;

Nous pouvons faire un override cette structure pour ajouter d'autres informations si nécessaire, mais nous avons déjà assez d'informations pour débuter.

Contents Haut

Forcer YACC à stocker la position du token

A chaque fois que l'analyseur lexical effectuera une réduction selon une règle, il peut stocker dans yylloc la position du nouveau symbole LHS [“Left-Hand Side”7] qui sera référencé par @$, et les positions des symboles RHS [“Right-Hand Side”9] qui seront référencés par @1, @2, etc.

Comme ce traitement possède un certain coût (en temps et en espace mémoire11), ce traitement n'est pas appliqué par défaut, mais nous pouvons demander à YACC de l'activer en ajoutant la directive %locations dans la partie des définitions12 de notre fichier YACC.

Contents Haut

Forcer Lex5 à stocker la position du token

Déterminer la position de fin du symbole terminal est aisé, mais ce n'est pas aussi façile de mémoriser la position du début du symbole car le traitement est effectué après que l'analyseur lexical ait effectué sa réduction.

Nous pouvons définir dans notre fichier Lex5 une action qui sera effectuée avant de procéder à une réduction : YY_USER_ACTION.

Nous allons donc faire suivre #define YY_USER_ACTION par le code en langage C que nous désirons effectuer avant de renvoyer la constante associée au symbole terminal découvert par l'analyseur lexical.

  1. #define YY_USER_ACTION yylloc.first_line=yylloc.last_line=yylineno;yylloc.first_column=yylloc.last_column=yyTempColumn+yyleng-1;yyTempColumn+=yyleng;
Le code qui suit #define YY_USER_ACTION doit obligatoirement se trouver sur une seule ligne.

Alternative à YY_USER_ACTION

La définition de YY_USER_ACTION n'est pas franchement lisible, et nous pouvons créer notre propre fonction qui retournera la valeur de la constante associée au symbole terminal découvert par l'analyseur lexical après avoir effectué certains traitements, comme le montre l'exemple suivant :

  1. int processToken(int tokenType)
  2. {
  3. 	yylloc.first_line=yylloc.last_line=yylineno;
  4. 	yylloc.first_column=yylloc.last_column=yyTempColumn+yyleng-1;
  5. 	yyTempColumn+=yyleng;
  6. 	return tokenType;
  7. }

Dans nos règles de traductions de la grammaire au sein du fichier Lex5, nous avions par exemple ceci :

  1. "&&" { return AND; }

Nous pouvons à présent le remplacer par :

  1. "&&" { return processToken(AND); }

cf. exemple de fichier Lex complet.

Contents Haut

Améliorer la gestion des erreurs avec YACC

Nous pouvons demander à YACC de générer des messages d'erreur plus complets en ajoutant la directive %error-verbose dans la partie des définitions de notre fichier YACC.

Error Infobrol

Can not display this page of the Infobrol website

Type of error (18-01)

Unknown format specifier "&"

Please try again in a few minutes…

Return to the home page




Steph