Discussion :

[Christophe Genolini]

Bonjour,

[Je ne suis pas sur que ca soit le bon forum, mais je n'ai pas trouvé plus approprié...]

Je cherche a créer un mini langage (addition, multiplication, affectation et affichage). J'ai défini un lexique et une grammaire. Les deux compilent avec flex et bison. Par contre, la compilation avec gcc ne fonctionne pas... Savez-vous ce qui cloche ?

Mon lexique

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
blancs      [\t\n ]+
lettre      [A-Za-z]
chiffre     [0-9]
chiffreS0   [1-9]

identificateur  {lettre}(_|{lettre}|{chiffre})*
entier          {chiffreS0}{chiffre}*

%%

{blancs}         { /* On ignore */ }
"+"        return(PLUS);
"*"        return(MULT);
"("        return(OPEN_PAR);
")"        return(CLOSE_PAR);
"print"    return(PRINT);
"<-"       return(AFFECTATION);

{identificateur} {yylavl=yytext;return(IDENTIFIANT);}
{entier}         {yylval=atoi(yytext);return(NOMBRE);}

Ma syntaxe

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
%token  NOMBRE IDENTIFIANT
%token  PLUS  MULT
%token  OPEN_PAR CLOSE_PAR
%token  PRINT AFFECTATION

%start Programme

%%

Programme: Programme Instruction | Instruction;

Instruction : Affichage | Affectation;

Affichage   : PRINT OPEN_PAR aAfficher CLOSE_PAR;
aAfficher   : IDENTIFIANT
            | Expression;

Affectation : IDENTIFIANT AFFECTATION Expression;

Expression  : NOMBRE
            | Produit PLUS Produit;

Produit     : NOMBRE
            | Somme MULT Somme;

Somme       : NOMBRE
            | OPEN_PAR Expression CLOSE_PAR;

Merci !

Christophe

[Médinoc]

Faut-il qu'on sorte la boule de cristal pour savoir en quoi la compilation ne fonctionne pas?

[Christophe Genolini]

Oups... Voila :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
C:\Users\GENOLLINI\Documents\cgenolini\R++\hyperSimple>gcc.exe lex.yy.c syntaxe.tab.c -o rpn
lexique.l: In function 'yylex':
lexique.l:14:8: error: 'PLUS' undeclared (first use in this function)
lexique.l:14:8: note: each undeclared identifier is reported only once for each
function it appears in
lexique.l:15:8: error: 'MULT' undeclared (first use in this function)
lexique.l:16:8: error: 'OPEN_PAR' undeclared (first use in this function)
lexique.l:17:2: error: expected ';' before 'break'
lexique.l:17:8: error: 'CLOSE_PAR' undeclared (first use in this function)
lexique.l:18:2: error: expected ';' before 'break'
lexique.l:18:8: error: 'PRINT' undeclared (first use in this function)
lexique.l:19:2: error: expected ';' before 'break'
lexique.l:19:8: error: 'AFFECTATION' undeclared (first use in this function)
lexique.l:20:2: error: expected ';' before 'break'
lexique.l:21:2: error: 'yylavl' undeclared (first use in this function)
lexique.l:21:23: error: 'IDENTIFIANT' undeclared (first use in this function)
lexique.l:22:2: error: 'yylval' undeclared (first use in this function)
lexique.l:22:29: error: 'NOMBRE' undeclared (first use in this function)
syntaxe.y:3:20: fatal error: global.h: No such file or directory
compilation terminated.

[Médinoc]

Je crois qu'il manque un #include "syntaxe.tab.h" dans une section %{ %} de ton fichier lex.

[Christophe Genolini]

Effectivement. Merci !

Je progresse, je progresse :

Code lexique.l :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
%{
#include "syntaxe.tab.h"
extern char nom[]; /* chaine de caracteres partagee avec l'analyseur syntaxique */
%}

/*  Expression régulière */

blancs      [\t\n ]+
lettre      [A-Za-z]
chiffre     [0-9]
chiffreS0   [1-9]

identificateur  {lettre}(_|{lettre}|{chiffre})*
entier          {chiffreS0}{chiffre}*

%%

{blancs}         { /* On ignore */ }
"+"        return(PLUS);
"*"        return(MULT);
"("        return(OPEN_PAR);
")"        return(CLOSE_PAR);
"print"    return(PRINT);
"<-"       return(AFFECTATION);

{identificateur} {yylval=yytext;return(IDENTIFIANT);}
{entier}         {yylval=atoi(yytext);return(NOMBRE);}

%%

int yywrap(void){
  return 1;
}

et

Code syntaxe.y :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
%{
char nom[256]; /* chaine de caracteres partagee avec l'analyseur lexical */
%}

%token  NOMBRE IDENTIFIANT
%token  PLUS  MULT
%token  OPEN_PAR CLOSE_PAR
%token  PRINT AFFECTATION

%start Programme

%%

Programme: Programme Instruction | Instruction;

Instruction : Affichage | Affectation;

Affichage   : PRINT OPEN_PAR aAfficher CLOSE_PAR;
aAfficher   : IDENTIFIANT
            | Expression;

Affectation : IDENTIFIANT AFFECTATION Expression;

Expression  : NOMBRE
            | Produit PLUS Produit;

Produit     : NOMBRE
            | Somme MULT Somme;

Somme       : NOMBRE
            | OPEN_PAR Expression CLOSE_PAR;


%%
void yyerror(char *s) {
printf("\n<<< %s>>>\n", s);
}
main() {
if (yyparse() == 0)
printf("Expression correcte\n");
}

Ca compile (avec des tonnes de warning que je ne comprends pas, mais ca compile).

[Médinoc]

(sans les warnings, je ne peux pas dire grand-chose)

Ça me paraît bizarre que PLUS et MULT soient des %token, au même niveau qui plus est, plutôt que des %left (associativité à gauche) avec des priorités différentes.

[Christophe Genolini]

C'est parce que je ne maitrisais pas le left...

Ceci étant dit, j'ai renoncé a flex et yacc, je suis passé a javacc, qui à l'air bien plus simple. Merci pour ton aide !

[Franck.H]

Je viens squatter un peu le post... As-tu un tutoriel assez complet sur Flex/Bison en fr si possible ? J'ai toujours voulu m'y mettre sans trouver de tutoriel digne de ce nom

[Christophe Genolini]

Personnellement, je suis allé sur http://dinosaur.compilertools.net/

[Franck.H]

Personnellement, je suis allé sur http://dinosaur.compilertools.net/

OK donc pas de tutoriels quoi

[Christophe Genolini]

J'avais pas vu que tu demandais "fr"...

En français, il y a http://www.linux-france.org/article/devl/lexyacc/

[Franck.H]

J'avais pas vu que tu demandais "fr"...

En français, il y a http://www.linux-france.org/article/devl/lexyacc/

Je le connais celui là mais je le trouve trop peu exhaustif

[Christophe Genolini]

C'est vrai que globalement, c'est pas évident de trouver une bonne doc. C'est pour ca qu'après quelques jours de galère, j'ai essayé javacc. Et c'est quand même mieux documenté et plus simple.