Discussion :

[minirop]

bonjour,
je teste bison et comme erreur j'ai :

yacc.y:***.**-**: la r`egle pour ****, qui est un terminal

par exemple :

yacc.y:145.1-6: la r`egle pour VALEUR, qui est un terminal

pour :

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
VALEUR:	NOMBRE { $$ = $1; }
		| VALEUR PLUS VALEUR { $$ = $1 + $3; }
		| VALEUR MOINS VALEUR { $$ = $1 - $3; }
		| VALEUR FOIS VALEUR { $$ = $1 * $3; }
		| VALEUR DIVISE VALEUR { 
			if($3 != 0)
			{
				$$ = $1 / $3;
			}
			else
			{
				yyerror("Illegal division by 0");
				exit(EXIT_FAILURE);
			}
		}
		| PARENTHESE_GAUCHE VALEUR PARENTHESE_DROITE { $$ = $2; }
;

comme union j'ai mis :

Code :

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

1
2
3
4
5
6
%union {
	double	dval;
	int		ival;
	char	*sval;
};
%token <ival> NOMBRE VALEUR

merci

[millie]

Bah oui, VALEUR est un terminal. (on le voit notamment car tu l'as indiqué comme token).

Dans ton ensemble de production de ta grammaire, chaque production (noté par exemple S -> S1S2S3 | ...): il faut savoir que S ne peut pas être un terminal

Donc retire le token VALEUR.

Au passage, c'est très mal vu d'écrire un non terminal en majuscule. On écrit seulement les terminaux en majuscules.

EDIT : Tu es conscient que ton programme ne marchera qu'avec des entiers. Car les $$ sont de types int et il n'est pas possible de remonter d'autres types (tel long). (enfin, ce n'est qu'un seul type dans tout l'arbre)

[minirop]

merci.

EDIT : Tu es conscient que ton programme ne marchera qu'avec des entiers. Car les $$ sont de types int et il n'est pas possible de remonter d'autres types (tel long).

?

et aussi maintenant que j'ai retiré le token "valeur", je ne peux plus utiliser le $X correspondant à "valeur"
ex :

Code :

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

TYPE_VAR MOT EGAL VALEUR { $$ = $4; }

donne :

yacc.y:128.93-94: $4 de << DECL_VAR >> n'a pas de type d'eclar'e

[millie]

Excuses pour l'edit, je n'avais pas vu le <type> :

Lis ça :

Nonterminal Symbols

When you use %union to specify multiple value types, you must declare the value type of each nonterminal symbol for which values are used. This is done with a %type declaration, like this:

%type <type> nonterminal...

http://dinosaur.compilertools.net/bi...n_6.html#SEC52

Néanmoins, tu auras des problèmes pour gérer des types différents dans ton arbre.

[minirop]

edit : maintenant j'ai un shift/reduction çà correspond bien à une ambiguité entre deux cas ?

edit2 : peut on autoriser plusieurs types à un %type ? par ex :
%token <ival,dval> NOMBRE ?

[millie]

edit : maintenant j'ai un shift/reduction çà correspond bien à une ambiguité entre deux cas ?

Je ne suis pas sûr du message d'erreur, mais c'est sûr que tu as une grammaire ambigüe. Soit tu cherches une grammaire non ambigüe équivalente (ce qui est galère), soit tu donnes des ordres de priorité d'évaluation (et associatif à gauche), du genre :

Code :

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

1
2
3
4
5
6
 
%token PLUS MOINS
%token DIV STAR
 
%left PLUS MOINS
%left DIV STAR

Ici, tous les tokens (PLUS MOINS DIV et STAR) sont définis utilisé avec %left. Les tokens les plus bas ont une priorité plus importante :

The relative precedence of different operators is controlled by the order in which they are declared. The first %left or %right declaration in the file declares the operators whose precedence is lowest, the next such declaration declares the operators whose precedence is a little higher, and so on.

[millie]

peut on autoriser plusieurs types à un %type ? par ex :
%token <ival,dval> NOMBRE ?

Non, on peut pas écrire ça, mais tu peux différencier dans la partie analyse lexicale (je ne sais pas si tu en as une), les entiers des double.

Puis définir VALEUR uniquement de type double. Enfin, personnellement, je ne fais pas comme ça