解析antlr4中的歧义

Question

我试图识别列表推导表达式，例如a for b in c for d in e并且我有以下语法：

iter : 'for' ID 'in' expr ;

expr : ID 
     | expr iter+  # listcomp
     | ID + ID   # binary
     ;

但是给定a for b in c for d in e被解析为：

(a for b in (c for d in e))

即， listcomp的listcomp

而不是：

(a (for b in c) (for d in e))

即，一个带有两个iter的listcomp 。 我应该如何改变语法以获得这种效果？

Answer 1

关联性解决了歧义：

grammar Compre;
program: iter+;
iter :  expr (forr ID inr expr)+  ;
expr : ID             # IdExpr
     | expr iter+     # listcomp
     | expr '+' expr  # BinaryExp
     | NUM            # NumExpr
     ;
forr : <assoc=left>'for' ;
inr : <assoc=right> 'in'     ;
NUM : [0-9]+;
ID : [a-z];
WS : [ \t\r\n]+ -> skip;

在各种输入上尝试此语法。 它解析您提供的两个输入。