Voila je dois realise un compilateur pour Java en camlyacc et camllex. J ai un probleme d ambiguité que je n arrive pas a resoudre:

En java il existe une commande cast qui prend la forme suivante: ( identificateur)expression

ex: ( int)x + 5

Mais malheureusement on peut aussi avoir une expression entre parenthese qui elle meme peut etre un identificateur: ( expression) -> ( identificateur)

Par exemple l expression: ( int)(x)+5 peut etre interpreter comme un double cast alors que c est juste un cast sur l expression x qui est entre parenthese.

Quelqu un connait la solution a ce probleme?

Je n´ai pas de conaissances en Java, mais je vais te répondre avec mes connaissances en C++, qui est en soit similaire de ce côté en toutes réserves.

" Par exemple l expression: ( int)(x)+5 peut etre interpreter comme un double cast alors que c est juste un cast sur l expression x qui est entre parenthese. "
Heureusement non, car il y aurait ambiguité. Ça dépend x représente quoi. Si il représente un type, une classe par exemple, ça sera interprété comme étant effectivement un double castage, et ne passera pas, n´ayant rien à caster. Un opérateur sans ses opérandes....

Si X est un objet, instance de tel ou tel type, ça sera un castage en int de x.

Ça dépend de ce que x représente.

Kelios
---------

Oui je sais en fait c pas un specialiste en java que je cherche mais en camlyacc. Cette outil permet de reconnaitre une grammaire ( dans mon cas c une grammaire java que je dois faire reconnaitre) et je n arrive pas a faire en sorte que cette grammaire ne soit pas ambigue dans le cas du cast car un cas s ecrit ( ident)et qu on peut aussi ecrire une expression de type ident entre parenthese donc ( ident) aussi.

Je cherche juste quelqu un qui connait ce pb et qui s est le resoudre. Merci quand meme pour ton aide Kelios

justement, c´est pas le même " ident"
il doit bien exister un truc pour ne pas confondre " ident" de type objet et " ident" de type classe.

Malheureusement si, c est le meme " ident". Pour le camllex qui reconnait les mots c la meme chose. Il faut reussir a modifier la grammaire de facon a ce qu il n y es pas d ambiguité mais je n y arrive pas