Bison - Jonathan Fabrizio

Transcription

Lex & Yacc (Flex & Bison)
– ING1/APP ING1 –
Jonathan Fabrizio
LRDEEPITA
http://lrde.epita.fr/~jonathan/
1
Lex & Yacc
●
Lex :
–
–
–
Génère un analyseur
lexical
Traite les langages de
type 3 (réguliers)
Flex : Fast lexical
analyzer generator
●
Yacc
–
–
–
Yet another compiler
compiler
Génère des parsers
LALR
Bison
2/25
« Lex et Yacc », J. Fabrizio – http://lrde.epita.fr/~jonathan/ – LRDE – EPITA 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
« Lex et Yacc », J. Fabrizio – http://lrde.epita.fr/~jonathan/ – LRDE – EPITA Lex&Yacc
fic1.l
LEX
fic2.y
YACC
fic1.c
Compilateur
fic1.o
fic2.c
Compilateur
fic2.o
4/25
« Lex et Yacc », J. Fabrizio – http://lrde.epita.fr/~jonathan/ – LRDE – EPITA Bison
●
Format du fichier :
prologue : définitions et options
%%
règles
%%
épilogue : code utilisateur
5/25
Appel :
bison [options] fic.y -o fic.c
retour : le code du compilateur en c prêt à être compilé...
●
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
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
●
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
●
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
●
La Grammaire
syntaxe :
exp
:exp ''+'' exp
| exp ''*'' exp
| exp ''-'' exp
| exp ''/'' exp
;
10/25
●
La Grammaire
syntaxe :
exp
On insère des actions à accomplir pendant le processus
:exp ''+'' exp {printf(''Branche +\n'');}
| exp ''*'' exp {printf(''Branche *\n'');}
| exp ''-'' exp {printf(''Branche -\n'');}
| exp ''/'' exp {printf(''Branche /\n'');}
;
11/25
●
La Grammaire
syntaxe :
exp
On peut faire apparaître les valeurs
:exp ''+'' exp {$$ = $1 + $3;}
| exp ''*'' exp {$$ = $1 * $3;}
| exp ''-'' exp {$$ = $1 - $3;}
| exp ''/'' exp {$$ = $1 / $3;}
;
12/25
●
La Grammaire
–
Axiome :
première règle ou %start
13/25
●
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
●
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
●
La Grammaire
–
Définir, dans le prologue, les priorités et
l'associativité :
%left
%right
%nonassoc
%precedence
16/25
●
Un exemple (prologue) :
%expect 0
%debug
%defines
%code provides {
void yyerror(const char *msg);
...
}
%left ...
%define api.tokens.prefix ...
%token ...
%type ...
17/25
●
Un exemple (règles) :
%%
nt1:
nt2 ''t3'' {printf(''%d\n'', $1);}
| nt3 ''t4'' {printf(''%d\n'', $1);}
;
%%
18/25
●
Un exemple (épilogue) :
void yyerror(const char *msg)
{
...
}
int main(int argc, char *argv[])
{
...
}
19/25
●
Faire générer l'analyseur lexical par flex.
20/25
« Lex et Yacc », J. Fabrizio – http://lrde.epita.fr/~jonathan/ – LRDE – EPITA Flex
●
Structure proche des fichiers :
prologue
%%
règles
%%
epilogue
21/25
●
Dans le prologue :
–
–
Insertion de code %{ %}
Ajout d'options par %option
22/25
●
Règles
%%
''abc'' {action;}
[0-9]+ {action;}
%%
23/25
●
Epilogue
Ajout direct de lignes de code...
24/25
« Lex et Yacc », J. Fabrizio – http://lrde.epita.fr/~jonathan/ – LRDE – EPITA Bison et Flex
●
Variables importantes
–
–
–
yylval
yytext
yyleng
25/25
« Lex et Yacc », J. Fabrizio – http://lrde.epita.fr/~jonathan/ – LRDE – EPITA

Bison - Jonathan Fabrizio

Transcription

Documents pareils

Projet Reconnaissance Automatique de la Parole - LRDE

Déclaration de stratégie Erasmus

Twitter : @n_benbourahla Blog : www.tutos

C`est l`automne….. Les feuilles mortes se ramassent à la pelle les

École pour l`Informatique et les Techniques Avancées

TOP 15 2015-2016 - Ecoles d`Ingénieurs spécialisées en

LEX SUR HP-28C

Lex BESENIUS

The Others