Conception d'un compilateur (Parser)

Bonjour ,
j'ai commencé de concevoir un compilateur pour un formalisme appelé Event-Calculus qui est utilisé pour la représentation de contrat (par exemple un contrat peut comporté que le client doit payer l'objet acheté avant 2 jours si non la commande sera annulé ...) concernant les Web Service :
-Pour l'analyse lexical et syntaxique j'ai utilisé JAVAC.
-Maintenant je veux aussi détecté les conflit qui peuvent survenir par exemple l'éxistance dans un contrat d'une obligation et de sa négation dans le même intervalle de temps ....ce que je veux savoir c'est est ce que je doit utilisé les tokens qui ont étaient définis lors de l'analyse syntaxique ou essayé de lire le fichier (manipuler le fichier) et faire des tests .

et si c'est possible des tutos qui peuvent m'aidé
Merci!!!!!!!!!!!!

Bonjour,

Citation:

---

Envoyé par lastico21000

-Pour l'analyse lexical et syntaxique j'ai utilisé JAVAC.

---

J'imagine que tu veux dire JAVACC

Citation:

---

Envoyé par lastico21000

-Maintenant je veux aussi détecté les conflit qui peuvent survenir par exemple l'éxistance dans un contrat d'une obligation et de sa négation dans le même intervalle de temps ....ce que je veux savoir c'est est ce que je doit utilisé les tokens qui ont étaient définis lors de l'analyse syntaxique ou essayé de lire le fichier (manipuler le fichier) et faire des tests .
et si c'est possible des tutos qui peuvent m'aidé
Merci!!!!!!!!!!!!

---

Je ne connais pas vraiment JavaCC (je travail sur ANTLR qui fait plus ou moins la même chose). Mais si je ne me trompe pas, lors de l'analyse syntaxique tu as définis des règles syntaxiques. Donc a chaque fois que tu matches une de ces règle tu dois (c'est possible avec ANTLR donc tu dois pouvoir aussi) pouvoir effectuer un traitement propre à cette règle comme par exemple mettre un booléen à vrai et si tu rencontre sa négation déclencher une erreur si le booléen est bien à vrai : on appel ça l'analyse sémantique (une recherche sur Google devrait t'en apprendre plus)
Ne connaissant pas vraiment JavaCC, il est possible que tu doives le faire séparément dans ce cas là tu dois réutilisé tes jetons. Mais aussi l'arborescence que tu as du créer lors de l'analyse syntaxique