Discussion :

[katimm]

Bonjour,

J'aimerais savoir comment utiliser le design pattern de visiteur pour créer un compilateur.

j'ai une grammaire, puis en utilisant un convertisseur BNF j'arrive à générer un fichier (.java) représentant le design pattern de visiteur.

Je dois utiliser ce dernier pour construire un compilateur spécifique au langage spécifié, mais j'ai un problème avec le type retourné.

c.à.d:

"The meaning of the Java Visitor

interface Exp.Visitor <R,A>: collection of methods for

* visiting trees of type Exp
* returning a value of type R
* using an extra argument of type A"

Si je veux utiliser plusieurs types, j'ai un problème car je dois remplacé R avec un seul types.

Merci

Katim

[hed62]

Tu pars d'une BNF, pour arriver à un .java (le code = pattern visiteur , mais visiteur de quoi ? quel rapport avec la BNF du départ? )

Ensuite le Visiteur doit prendre un langage , et générer un compilo ?

[katimm]

bonjour,

" La création d'un arbre syntaxique abstrait pour un langage décrit par sa grammaire est facile pour la plupart des langages."

Généralement une grammaire est spécifiée en utilisant la notation BNF. Une fois j'ai la spécification du grammaire , je peux utiliser un BNF convertisseur pour générer automatiquement cet arbre. Et j'arrive à générer aussi un fichier (.java) représentant le design pattern de visiteur.

Ainsi que la construction des compilateur moderne se base sur l'utilisation du design pattern de visiteur.

En bref, j'ai un arbre syntaxique abstrait et je veux visiter ses nœuds.je veux utiliser ce fichier généré pour construire un compilateur.

Merci

Katim

[hed62]

Selon moi, un compilateur est bien plus que la simple utilisation de visiteur sur un arbre syntaxique. Il faut généralement y associer un automate à états (et bien souvent à pile) ainsi qu'un table des noms et des valeurs (pour les variables définies au cours du langage par exemple).

Quoiqu'il en soit, le pattern visiteur permet en gros d'ajouter des méthodes à un composite (ici ton arbre syntaxique) sans y toucher (donc ca correspondrait un peu à ce que tu veux).

J'ai bien compris ton histoire, mais je ne vois pas où se situe ton problème exactement. Tu n'arrive pas à utiliser ton Visiteur ? Pourquoi ne le code tu pas toi même (ou dit autrement, quel gain apporte sa génération?) ?

[katimm]

j'ai un problème avec le type retourné.

c.à.d:

"The meaning of the Java Visitor

interface Exp.Visitor <R,A>: collection of methods for

* visiting trees of type Exp
* returning a value of type R
* using an extra argument of type A"


Si je veux utiliser plusieurs types, j'ai un problème car je dois remplacé R avec un seul type.

par exemple, si j'ai un arbre représentant les expressions arith pour les entiers et pour les réels???

est ce que vous pouvez m'aider sur les visiteurs en java??

Merci.
Katim

[hed62]

par exemple, si j'ai un arbre représentant les expressions arith pour les entiers et pour les réels???

Visiteur s'aplique à un Composite normalement, donc tous les objets "visitables" doivent avoir le meme type (ou au minimum, respecter la meme interface). Dans le cas des entier/reel, il faut une interface INombre, ou une classe mère Nombre par exemple.

est ce que vous pouvez m'aider sur les visiteurs en java??

Je veux bien essayer ^^

[katimm]

Bonjour,

je vous remercie pour votre compréhension.

Pour être plus explicite je vous présente l'exemple suivant:

j'ai un nœud Exp (expression) avec deux sous nœuds (ou plus ) : add et or.
Quand je visite 'add' le type retourné doit être par ex entier et quand je visite l'autre nœud( le or) le type doit être: booléen.


Sincères remerciements

Katim.

[hed62]

Je te propose que, chaque fois, le type retourné soit une instance de la classe Valeur , contenant une chaine de caractère (représentation de la valeur réelle) et une des valeurs du type énuméré TypeValeur.

L'enumération TypeValeur contient, entres autres, Bool, Int, String, Date ....

Lors de l'interprétation d'une valeur, quelle qu'elle soit, tu regarde son TypeValeur. En fonction, tu parses la chaine de caractère de la bonne manière, ce qui te permet de récupérer la valeur dans son bon type (bool ou int)

Pour cela, Valeur peut posséder diverses méthodes de type "boolean GetAsBool()" , "int GetAsInt()" . Ces méthodes renvoie une erreur si l'instance n'est pas dans le TypeValeur correspondant, sinon ils renvoie la chaine parsée.

[katimm]

Bonjour,

merci pour la proposition. j'ai écrit une classe valeur qui contient : val, et T de type: typevaleur.

Pour:

le type retourné soit une instance de la classe Valeur

je ne peux pas passer une instance comme un argument ( car pour la syntaxe du visiteur en java je dois passer le type comme paramètre).

j'ai essayé de définir une instance de cette classe (en utilisant la notion de constructeur) , soit R.
Puis , j'ai utilisé R.T comme le type retourné par le visiteur, mais ça ne marche pas.

j'aimerais savoir comment puis je utiliser les méthodes getAsInt,...,


Merci.
Katim.

[hed62]

j'ai écrit une classe valeur qui contient : val, et T de type: typevaleur.

Soit :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
public class TypeValeur
{
// blabla
}
public class Valeur
{
  // TypeValeur T
  // String val;
 
  public int getAsInt() { return Int.Parse(val); }
  public bool getAsbool() { return Bool.Parse(val); }
}

je ne peux pas passer une instance comme un argument

Donc, passer le type :

Code :

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

1
2
public class Core implements Exp.Visitor <Valeur,Arbre>

j'aimerais savoir comment puis je utiliser les méthodes getAsInt

Ainsi :

Code :

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

1
2
3
4
5
6
7
8
Valeur v = // initialisation;
int i ;
bool b;
if( v.Type == TypeValeur.Int)
  i = v.GetAsInt();
else
  b = v.GetAsBool();

[katimm]

Bonjour,

j'aimerais tester votre proposition, mais j'ai un problème avec la méthode Parse. J'ai trouvé

"..pour analyser une chaine représentant une date, nous utilisons la méthode parse() de la classe DateFormat. Il en résulte un objet Date."

Même, j'aimerais savoir pourquoi vous avez déclaré TypeValeur comme une classe à part.

Merci.
Katim.

[hed62]

j'ai un problème avec la méthode Parse

Voir les divers tuto, aides et forum java, mes souvenirs de java sont loins

j'aimerais savoir pourquoi vous avez déclaré TypeValeur comme une classe à part

Je suis allé trop vite, c'est une enum et non une classe. Quoiqu'il est possible d'en faire une classe; mais jen'en voit pas trop l'interet.

[katimm]

Bonjour,

je m'excuse pour le retard, (pb de santé).

pour la classe , j'ai essayé d'écrire une classe abstraite, avec des méthodes qui test le type de la valeur (par exemple: isint(),...).

je vais lessayer, et je vais vous contacter

Sincère remerciement.

Katim.