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

嘗試在你的各種輸入該語法。它解析你提供的兩個輸入。