Analyse gramaticale avec YACC ou Bison

%{...%}

Nous retrouverons ici les déclarations, dans notre cas en langage C, entourées par %{ et %}

Dans l'exemple ci-dessus, la déclaration #include nous permet l'utilisation de isdigit

Nous pouvons utiliser cette partie pour déclarer les variables dont nous aurons besoin dans le traitement des règles de traduction et dans la troisième partie du fichier YACC.

Inhoudsopgave Haut

%token ...

Nous déclarerons aussi dans cette partie les symboles terminaux (les lexèmes) précédés par %token. Par convension, nous pouvons utiliser les majuscules pour ces noms de symboles terminaux.

Une fois que nous avons déclaré ces lexèmes, nous pouvons les utiliser dans la deuxième partie, et quelques fois même dans la troisième partie du fichier YACC.

Dans le cas oû nous confions l'analyse lexicale à Lex, ce dernier peut utiliser les lexèmes que nous avons déclarés ici.

Inhoudsopgave Haut

%type ...

Nous déclarerons dans cette partie les symboles non terminaux précédés par %type. Par convension, nous pouvons utiliser les minuscules pour ces noms de symboles non-terminaux.

%union

%union {
	int cmd;
	char * text;
	double val;
}

Nous pouvons déclarer dans cette partie les symboles terminaux déclarés avec %token seront une union⁵. YACC utilisera donc cette union comme type pour yylval.

Après avoir défini notre union, nous pouvons associer un symbole terminal (%token) ou un symbole non-terminal (%type) à un élément particulier de l'union.

%union {
	int cmd;
	char * text;
	double val;
}
%token<val> CHIFFRE
%token<text> ID
 
%type<val> term

extern char* yytext;
 
pLSD_NODE lsdNode;
 
%}
 
%union{
		int nval;
		char *text;
		pLSD_NODE node;
	}
 
%token <nval> NB
%token <cval> ID

<CODE>;{ID}    {
                 yylval.text=(char*)calloc(strlen(yytext)+1,sizeof(char));
                 strcpy(yylval.text,yytext);
                 return ID;
              }
<CODE>;{NB}+   {
                 yylval.nval = atoi(yytext);
                 return NB;
              }

Règles d'associativité  %left, %right, et %nonassoc

Afin d'éviter les conflits de type « décalage/réduction » (en anglais, “shift/reduce”) entre nos symboles terminaux (généralement des opérateurs), ces symboles seront précédés par les directives %left ou %right.

Inhoudsopgave Haut

%start ...

Nous pouvons aussi retrouver la déclaration %start suivie par une des productions de la deuxième partie du fichier YACC.

Cette déclaration nous permet de spécifier par quelle production YACC devra commencer.

Dans le cas où nous ne définissions pas la production de départ, nous pouvons ommettre cette ligne et YACC commençera par la première production dans l'ordre d'apparition dans le fichier YACC.

Inhoudsopgave Haut

Attributs $$ et $1, ...

Nous avons accès à chaque partie de nos productions dans l'action qui lui est associée, gràce aux attributs &&, &1, &2, ...

expression : expression '+' term {$$ = $1 + $3};

• Dans cet exemple,
  • && est l'attribut de la partie gauche de la règle (la partie expression qui se trouve à gauche des deux points).
  • $1 est l'attribut du premier symbole de la partie droite de la règle (la partie expression qui se trouve à droite des deux points).
  • &3 est l'attribut du troisième symbole de la partie droite de la règle (la partie term).

Les différents attributs &_n correspondent à la valeur affectée à yylval par la fonction yylex().

Inhoudsopgave Haut