[parser LALR] associativité et écriture des règles de production

associativité et écriture des règles de production [parser LALR] - Divers - Programmation

Marsh Posté le 04-02-2003 à 16:56:04    

voici un petit bout de parser pour l'outil java cup (partie expressions) :
 

Code :
  1. terminal   TOK_MINUS;
  2. terminal   TOK_PLUS;
  3. terminal   TOK_DIV;
  4. terminal   TOK_TIMES;
  6. non terminal Expression    expression;
  8. precedence left TOK_MINUS;
  9. precedence left TOK_PLUS;
  10. precedence left TOK_DIV;
  11. precedence left TOK_TIMES;
  15. expression ::= TOK_PO expression:e TOK_PC {: RESULT = e; :}
  16.    | expression:e1 TOK_PLUS expression:e2 {: RESULT = new BinaryPlus(e1, e2); :}
  17.    | expression:e1 TOK_MINUS expression:e2 {: RESULT = new BinaryMinus(e1, e2); :}
  18.    | expression:e1 TOK_TIMES expression:e2 {: RESULT = new BinaryTimes(e1, e2); :}
  19.    | expression:e1 TOK_DIV expression:e2 {: RESULT = new BinaryDiv(e1, e2); :}
  20.    | literal:lit {: RESULT = lit; :}
  21.    | identifier:i {: RESULT = i; :}
  22.    | func_call:fc {: RESULT = fc; :};


 
Ce code fonctionne et les opérateurs + * / - sont biens associatifs à gauche (avec les priorités dans le bon sens).
 
Le code suivant :

Code :
  1. terminal   TOK_MINUS;
  2. terminal   TOK_PLUS;
  3. terminal   TOK_DIV;
  4. terminal   TOK_TIMES;
  6. non terminal Expression  expression;
  7. non terminal BinaryOperatorFactory  bin_op;
  9. precedence left TOK_MINUS;
  10. precedence left TOK_PLUS;
  11. precedence left TOK_DIV;
  12. precedence left TOK_TIMES;
  13. precedence left bin_op;
  15. expression ::= TOK_PO expression:e TOK_PC {: RESULT = e; :}
  16.    | expression:e1 bin_op:fact expression:e2 {: RESULT = fact.createOperator(e1, e2) :}
  17.    | literal:lit {: RESULT = lit; :}
  18.    | identifier:i {: RESULT = i; :}
  19.    | func_call:fc {: RESULT = fc; :};
  21. bin_op := TOK_MINUS {: RESULT = BinaryMinus.factory(); :}
  22.   | TOK_PLUS {: RESULT = BinaryPlus.factory(); :}
  23.   | TOK_DIV {: RESULT = BinaryDiv.factory(); :}
  24.   | TOK_TIMES {: RESULT = BinaryTimes.factory(); :};


 
Dans ce code, tout le monde est associatif avec tout le monde à droite (gros énervé du décalage quoi).
 
Quelqu'un pourrrait m'expliquer finement le fonctionnement de la chose et la raison profonde de cette différence ?

Reply

Marsh Posté le 04-02-2003 à 16:56:04   

Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed