Lex & Yacc (Flex( & Bison) ING1/APP ING1. Jonathan Fabrizio LRDE EPITA

Dimension: px

Commencer à balayer dès la page:

Download "Lex & Yacc (Flex( & Bison) ING1/APP ING1. Jonathan Fabrizio LRDE EPITA http://lrde.epita.fr/~jonathan/"

Charlotte Bernier
il y a 10 ans
Total affichages :

1 Lex & Yacc (Flex( & Bison) ING1/APP ING1 Jonathan Fabrizio LRDE EPITA 1

2 Lex & Yacc Lex : Génère un analyseur lexical Traite les langages de type 3 (réguliers) Yacc Yet another compiler compiler Génère des parsers LALR Flex : Fast lexical analyzer generator Bison 2/25

3 Lex&Yacc Lex et Yacc sont souvent utilisés ensemble toutefois ils sont indépendants : Lex crée l'analyseur lexical et cet analyseur peut être utilisé sans Yacc (par exemple, si on écrit à la main un analyseur syntaxique LL(1)) Yacc crée l'analyseur syntaxique et cet analyseur peut être utilisé sans lex 3/25

utilisé sans Yacc (par exemple, si on écrit à la main un analyseur

4 Lex&Yacc fic1.l fic2.y LEX fic1.c Compilateur fic1.o YACC fic2.c Compilateur fic2.o 4/25

5 Format du fichier : prologue : définitions et options %% règles %% épilogue : code utilisateur 5/25

6 Appel : bison [options] fic.y -o fic.c retour : le code du compilateur en c prêt à être compilé... Quelques options possibles : Quelques options possibles : --xml : sortie en xml --report=all : génère un rapport complet sur le parser --graph : sauvegarde du parser sous forme de graph Note : certaines options peuvent être mises indifféremment dans le prologue ou passées en ligne de commande 6/25

génère un rapport complet sur le parser --graph : sauvegarde du parser sous forme de graph Note :

7 Sortie : Bison génère un programme c du parser, il peut être appelé via la fonction : int yyparse(); Pour fonctionner correctement, cette fonction a besoin d'une fonction int yylex(); ainsi que void yyerror(const char *s); 7/25

fonctionner correctement, cette fonction a besoin d'une

8 Gestion d'erreurs : Gestion d'erreurs : En cas d'erreur la fonction int yyerreur(const char *s) est appelée avec un message d'erreur (en général syntaxe error) c'est à l'utilisateur de définir cette fonction Il est possible d'avoir des messages plus explicites avec l'option %define parse.error verbose dans le prologue Il existe des possibilités pour faire de la reprise sur erreur... yyparse renvoie 0 si le parsing est complet 1 sinon 8/25

possible d'avoir des messages plus explicites avec l'option %define parse.

9 Conflits shift-reduce : Il est possible de spécifier combien de conflits shift/reduce on prévoit pour la grammaire donnée option %expect n dans le prologue (en cas de conflit, yacc choisi le shift) Dans la pratique : %expect 0 9/25

grammaire donnée option %expect n dans le prologue (en

10 La Grammaire syntaxe : exp :exp ''+'' exp exp ''*'' exp exp ''-'' exp exp ''/'' exp ; 10/25

11 La Grammaire syntaxe : On insère des actions à accomplir pendant le processus exp :exp ''+'' exp {printf(''branche +\n'');} exp ''*'' exp {printf(''branche *\n'');} exp ''-'' exp {printf(''branche -\n'');} exp ''/'' exp {printf(''branche /\n'');} ; 11/25

$+\n'');} exp ''*'' exp {printf(''branche *\n'');} exp ''-'' exp$

12 La Grammaire syntaxe : On peut faire apparaître les valeurs exp :exp ''+'' exp {$$ = $1 + $3;} exp ''*'' exp {$$ = $1 * $3;} exp ''-'' exp {$$ = $1 - $3;} exp ''/'' exp {$$ = $1 / $3;} ; 12/25

13 La Grammaire Axiome : première règle ou %start 13/25

14 La Grammaire L'analyseur généré fait appel à yylex() pour avoir le prochain token à analyser. Deux informations doivent être transmises : le token et, éventuellement, la valeur associée. Il faut donc 1/ définir les types possibles et 2/les tokens avec éventuellement leur type : %union { int ival; float fval; } %token TOK_PLUS ''+'' TOK_MOINS ''-' %token<ival> TOK_NUMBER ''number'' %type<ival> exp 14/25

Il faut donc 1/ définir les types possibles et 2/les tokens avec éventuellement leur type : %union {

15 La Grammaire L'analyseur généré fait appel à yylex() pour avoir le prochain token à analyser. Deux informations doivent être transmises : le token et, éventuellement, la valeur associée. Il faut donc 1/ définir les types possibles et 2/les tokens avec éventuellement leur type : %union { int ival; float fval; } %define api.tokens.prefix ''TOK_'' %token PLUS ''+'' MOINS ''-' %token<ival> NUMBER ''number'' %type<ival> exp 15/25

Il faut donc 1/ définir les types possibles et 2/les tokens avec éventuellement leur type : %union { int

16 La Grammaire Définir, dans le prologue, les priorités et l'associativité : %left %right %nonassoc %precedence 16/25

17 Un exemple (prologue) : %expect 0 %debug %defines %code provides { void yyerror(const char *msg);... } %left... %define api.tokens.prefix... %token... %type... 17/25

18 Un exemple (règles) : %% nt1: nt2 ''t3'' {printf(''%d\n'', $1);} nt3 ''t4'' {printf(''%d\n'', $1);} ; %% 18/25

${printf(''%d\n'', $1);} nt3$

19 Un exemple (épilogue) : void yyerror(const char *msg) {... } int main(int argc, char *argv[]) {... } 19/25

20 Faire générer l'analyseur lexical par flex. 20/25

21 Flex Structure proche des fichiers : prologue %% règles %% epilogue 21/25

22 Flex Dans le prologue : Insertion de code %{ %} Ajout d'options par %option 22/25

23 Flex Règles %% ''abc'' {action;} [0-9]+ {action;} %% 23/25

24 Flex Epilogue Ajout direct de lignes de code... 24/25

25 et Flex Variables importantes yylval yytext yyleng 25/25

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