解析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;

在各種輸入上嘗試此語法。 它解析您提供的兩個輸入。