Discussion :

[xela]

Bonjour tous,

je suis en train de découvrir bison/flex pour développer un "compilateur" pour un langage simple dans un projet.

J'ai défini mon lexique et ma grammaire avec flex/bison et tout fonctionne trop bien...

Mais bison me marque Conflits : 1 décalage/réduction.
Après des recherches il s'avère qu'il s'agit d'une déclaration récursive et qu'il ne sait plus s'il doit choisir entre un décalage ou une réduction.

Dans mon langage que je définis, on peut taper des fonctions du type :
SetValue(), IncValue( iCpt ), SetArray( tArray, 2, 4, 5 )

Et j'ai donc écrit une seule de grammaire qui permet de dire que un nom suivi de parenthèses avec 0 ou plusieurs arguments est une fonction.

Donc j'ai tapé la grammaire suivante:

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
//	Gestion des fonctions
//		Nom( [[Paramètre 0]...[Paramètre n]] )
DEF_Function:
ESCT_Name ESCT_LeftBracket DEF_FunctionParameter ESCT_RightBracket {
}
;

//	Définition d'un paramètre de fonction
//		[RIEN] ou [Nom] ou [Parametre, Paramètre]
DEF_FunctionParameter: /* empty */	|
ESCT_Name {
}
|
DEF_FunctionParameter ESCT_Comma DEF_FunctionParameter {
}
;

c'est la définition DEF_FunctionParameter qui est donc réentrante et génère ce conflit.

ma question est : est-il possible de virer se conflit ? si oui, comment ?
est-ce dû au fait que mon language est du type LALR(1) (je débute!) ou un truc du genre et que bison ne le gère pas.

Je peux fournir le rapport de Bison.
Merci à tous

[Jean-Marc.Bourguet]

Le problème est que ta définition est doublement récursive... la grammaire est ambigue. Remplace

Code :

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

| DEF_FunctionParameter ESCT_Comma DEF_FunctionParameter

Par

Code :

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

| DEF_FunctionParameter ESCT_Comma ESCT_Name

et tu ne devrais plus avoir de problème.

[xela]

Ca marche merci
Par contre j'ai un plus de mal à bien comprendre comment bison analyse tout ça...

J'ai mis des infos de débug

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
 
DEF_Function:
ESCT_Name ESCT_LeftBracket DEF_FunctionParameter ESCT_RightBracket {
 Debug("Fct :%s", $<tToken>1->szName);
}
 
 
DEF_FunctionParameter: /* empty */	|
ESCT_Name {
 Debug("Param Seul: %s", $<tToken>1->szName);
}
|
DEF_FunctionParameter ESCT_Comma ESCT_Name
{
 Debug("Param : %s,%s", $<tToken>1->szName, $<tToken>3->szName);
}

Ceci me génère...
Param Seul : a
Param: a,b
Param: a,b
Param: a,c
Param: a,d
Fct : SetValue

Ce qui est bien pour trouvé la liste des paramètres et les associés à ma fonction...
mais j'ai du mal à comprendre la logique de bison...ça fait une semaine que j'en fait

J'ai une autre question
Dans mon fichier j'ai ajouté des fonctions à chaque fois qu'il trouve un élément de grammaire, ce qui permet de me générer des arbres contenant la structures du programme analsyé...
donc il se peut que je trouve des erreurs dans le script malgrès que la grammaire et la syntaxe soient bonnes.Style une déclaration de variables dans la mauvaise section, comment puis je faire pour dire à bison de s'arrêter de parser ?
Mettre une variable de bison.c à vrai pour lui dire de sortir de sa boucle par exemple.

De plus, est-il possible de faire en sorte que bison parse le fichier ligne par ligne...c'est à dire que lorsque que j'appele yyparse(), bison analyse une ligne et ressorte de yyparse().

Car j'aurai besoin d'analyse un fichier ligne par ligne mais que je récupère la main entre chaque ligne ?

Merci beaucoup de ton aide,
Alex.

[Jean-Marc.Bourguet]

Ca marche merci
Par contre j'ai un plus de mal à bien comprendre comment bison analyse tout ça...

J'ai mis des infos de débug

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
 
DEF_Function:
ESCT_Name ESCT_LeftBracket DEF_FunctionParameter ESCT_RightBracket {
 Debug("Fct :%s", $<tToken>1->szName);
}
 
 
DEF_FunctionParameter: /* empty */	|
ESCT_Name {
 Debug("Param Seul: %s", $<tToken>1->szName);
}
|
DEF_FunctionParameter ESCT_Comma ESCT_Name
{
 Debug("Param : %s,%s", $<tToken>1->szName, $<tToken>3->szName);
}

Ceci me génère...
Param Seul : a
Param: a,b
Param: a,b
Param: a,c
Param: a,d
Fct : SetValue

Tu es sûr qu'il y a deux fois Param: a,b? Quelle entrée tu lui a donné?

Une chose qu'il faut comprendre, c'est que si tu ne donnes pas d'instruction $$ = dans une régle, bison t'en mets une d'office qui vaut $$ = $1.

Dans mon fichier j'ai ajouté des fonctions à chaque fois qu'il trouve un élément de grammaire, ce qui permet de me générer des arbres contenant la structures du programme analsyé...
donc il se peut que je trouve des erreurs dans le script malgrès que la grammaire et la syntaxe soient bonnes.Style une déclaration de variables dans la mauvaise section, comment puis je faire pour dire à bison de s'arrêter de parser ?

Je ne me souviens de rien pour cela. Yacc a été conçu a une époque où on voulait continuer le plus possible pour trouver en une fois le plus d'erreurs possible.

De plus, est-il possible de faire en sorte que bison parse le fichier ligne par ligne...c'est à dire que lorsque que j'appele yyparse(), bison analyse une ligne et ressorte de yyparse().

Il s'arrête quand il ne peut plus aller plus loin. Donc tu écris ta grammaire de sorte qu'il ne va pas plus loin que la première fin de ligne.

[xela]

Tu es sûr qu'il y a deux fois Param: a,b? Quelle entrée tu lui a donné?

Excuses c'est une faute de frappe il ne me donne pas deux fois Param : a,b tout marche nickel !

Je ne me souviens de rien pour cela. Yacc a été conçu a une époque où on voulait continuer le plus possible pour trouver en une fois le plus d'erreurs possible.

Ce point est pour un autre projet...
Je relit des fichier d'acquisition de données qui sont en texte sous un format précis mais qui évolue régulièrement.
Et actuellement j'ai mon propre parseur, ce serait bcp plus pratique avec bison.
Mais je dois les relire ligne/ligne pour rejouer l'acquisition effectuée et je ne peut me permettre de tout parser d'un coup car les fichiers peuvent correspondre à plusieurs jours d'enregistrement et donc plusieurs dizaine de mégaoctets.
Et je ne veux pas me faire des arbres de plusieurs dizaine de mégaoctet et en plus je dois respecter des temps de relecture de la milliseconde et relire d'un coup des fichiers aussi gros prends plus de temps.

mais je vais essayer de trouver.

Je ne me souviens de rien pour cela. Yacc a été conçu a une époque où on voulait continuer le plus possible pour trouver en une fois le plus d'erreurs possible.

Ce qui est logique ! mais dans certain cas d'erreur j'aurais aimé l'arrêter mais je vais faire en sorte de gérer un max d'erreur en une seule passe !

Merci pour ton aide.
Bison/Flex sont des outils vraiment géniaux.
A+
Alex.

[Jean-Marc.Bourguet]

mais je vais essayer de trouver

En C++ tu peux utiliser des exceptions, en C setjmp et longjmp.