Introduction à Lex et Yacc

Dimension: px

Commencer à balayer dès la page:

Download "Introduction à Lex et Yacc"

Francine Marie Alain
il y a 8 ans
Total affichages :

1 Introduction à Lex et Yacc H. Cassé, M. Couzinier, M. Strecker Année 2004/ L analyseur lexical Lex 2. L analyseur syntaxique Yacc 3. La coordination de Lex et Yacc

2 1 Processus de compilation programme source Description lexicale Description syntaxique Lex Yacc lexical syntaxique sémantique... Générateur de code terminaux arbre syntaxique programme cible

3 2 Fonctionnement de Lex Description lexicale foo.l lex foo.l lexical en C lex.yy.c gcc lex.yy.c o foo exécutable foo ab* a (bc) abc+ expressions régulières + actions table de transition automates finis

4 3 Syntaxe des expressions régulières Caractères simples x le caractère x. (point) tout caractère sauf newline \n newline. Autres car. spéciaux: \t, \r Classes de caractères [xyz] l un des car. x, y, z (équivalent: x y z) [A-Z] les car. A...Z [^A-Z] tout car. sauf A...Z Opérateurs rs r s r*, r+ r{n} concaténation alternative répétition (0 fois ou plus, 1 fois ou plus, n fois)... et beaucoup plus. Regarder le manuel d utilisation

$spéciaux: \t, \r Classes de caractères [xyz] l un des car. x, y, z (équivalent: x y z) [A-Z] les car. A.$

5 4 Organisation de la description lexicale Déclarations / définitions pour le programme C %{ int i; %} Abréviations d expressions régulières IDENT [a-za-z][a-za-z0-9]* Expressions régulières et actions associées {IDENT}";" printf(...); Fonctions et programme principal int main () {... }

IDENT [a-za-z][a-za-z0-9]* Expressions régulières et actions associées

6 5 Variables et fonctions prédéfinies de Lex Variables: yyin yyout yytext yyleng fichier de lecture (défaut: stdin) fichier d ecriture (défaut: stdout) dernière chaîne de caractère reconnue longueur de yytext Fonctions: yylex() Appel de Lex, actif jusqu au premier return yywrap() Pour traiter plusieurs fichiers. Ici: return 1;

chaîne de caractère reconnue longueur de yytext Fonctions: yylex() Appel de Lex,

7 6 Lex: Exemple %{ int num_lines = 0, num_chars = 0; %} \n ++num_lines; ++num_chars;. ++num_chars; main() { yylex(); printf( "# of lines = %d, # of chars = %d\n", num_lines, num_chars ); }

$++num_chars; main() { yylex(); printf( "# of$

8 7 1. L analyseur lexical Lex 2. L analyseur syntaxique Yacc 3. La coordination de Lex et Yacc

9 8 Fonctionnement de Yacc Description syntaxique yacc foo.y syntaxique en C gcc y.tab.c o foo exécutable foo.y y.tab.c foo S : a B a ; B : b b B ; liste de productions table d analyse

10 9 Organisation de la description syntaxique Déclarations / définitions pour le programme C %{ int i; %} Déclaration de propriétés de symboles %start S Règles de production de la grammaire et actions sémantiques S : a B a { printf("..."); } ; B : b { printf("..."); } b B { printf("..."); } ; Fonctions et programme principal int main () {... }

production de la grammaire et actions sémantiques S : a B a { printf(".

11 10 Déclaration de propriétés de symboles %union { déclaration C d un champ d union } Terminaux %token<nom de champ > liste de terminaux Non-terminaux %type<nom de champ > liste de non-terminaux Associativité des non-terminaux %left liste de terminaux %right liste de terminaux Racine %start non-terminal

%type<nom de champ > liste de non-terminaux Associativité des non-terminaux

12 11 Actions sémantiques En général: Commandes C comprises entre {... } B : b { printf("règle B1"); } b B { printf("règle B2"); } ; Accès aux sous-arbres: E : E + E { $$ = $1 + $3; }... ( E ) { $$ = $2; } ; 3 * ( ) 1 + 2

13 12 Conflits Grammaire ambigüe: S : a B c a b c ; B : b ; Invocation avec option -v crée fichier y.output state 2 S -> a b. c (rule 2) B -> b. (rule 3) c shift, and go to state 4 c [reduce using rule 3 (B)]

14 13 1. L analyseur lexical Lex 2. L analyseur syntaxique Yacc 3. La coordination de Lex et Yacc

15 14 Schéma de compilation Description syntaxique Yacc syntaxique y.tab.c foo.y Identificateurs des non terminaux Compilateur C exécutable y.tab.h foo Description lexicale Lex lexical lex.yy.c foo.l Commandes: > yacc -d foo.y > lex foo.l > cc y.tab.c lex.yy.c -ll -o foo

16 15 Exemple: Fichier Lex %{ #include "y.tab.h" #include <stdlib.h> %} BLANCS [ \t\n]+ BOOLEAN "T" "F" BINAIRE [0-1] OP "^" {BLANCS} /* On ne fait rien. */; {BOOLEAN} {yylval.boolean=yytext;return BOOL;} {BINAIRE} {yylval.binaire=atoi(yytext);return BIN;} {OP} {return OPERATOR;}. {printf("erreur");}

17 16 Exemple: Fichier Yacc (1) Déclarations: %{ #include <stdio.h> #include <string.h> %} %union{ char *Boolean; int Binaire;} %token <Boolean> BOOL %token <Binaire> BIN %left OPERATOR %type <Binaire> term expr

18 17 Exemple: Fichier Yacc (2) Grammaire: formule : expr {printf("valeur=%d\n",$1);} ; expr : expr OPERATOR expr {$$ = $1 && $3;} term {$$=$1;} ; term : BOOL {if (!strcmp($1,"t")) $$= 1; else $$=0;} BIN {$$= $1;} ;

19 18 Exemple: Fichier Yacc (2) Fonctions: int yyerror(const char *msg) { printf("erreur: %s\n", msg); return 0; } extern FILE *yyin; int main(void) { yyin = stdin; yyparse(); }

$%s\n", msg); return 0; } extern FILE *yyin;$

Documents pareils

Générer un analyseur avec Flex&Bison

Techniques de compilation Générer un analyseur avec Flex&Bison Généralités Analyse lexicale avec Flex Analyse syntaxique avec Bison Association de Flex et Bison Fabrice Harrouet École Nationale d Ingénieurs