在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)) 

即，具有两个iters的单个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; 

尝试在你的各种输入该语法。它解析你提供的两个输入。