ANTLR：我如何生成一個有兩個以上孩子的樹？

Question

考慮語法，

parse : expr EOF -> ^(ROOT expr); 
expr : atom ('|'^ atom)*; 
atom : LITERAL | ('('! expr ')'!); 

LITERAL : 'a'..'z'; 
WS  : (' '|'\t'|'\r'|'\n'){Skip();}; 

和投入，

a|b|c 

我得到一棵樹，看起來像，

http://graph.gafol.net/pic/dsqoQhzgs.png

而我像一棵樹，看起來像，

http://graph.gafol.net/pic/dsrGWVUfz.png

我會如何在語法中表達這一點？

Answer 1

這有點棘手。您可能通過匹配的 「OR鏈」 之前使用syntactic predicate(LOOK-AHEAD-TOKENS-HERE)=>做到這一點：

expr 
    : (atom '|')=> atom ('|' atom)+ -> ^('|' atom+) 
    | atom 
    ; 

其妥善處理a|b|c，a|b和a。

但是，您可能想要解釋您實際嘗試解析的語言：可能會有更好（更優雅？）的表達方式。

爲什麼你不想要在你的第一個圖中有一個AST？當根（操作數）只有兩個孩子時，評估表達式很容易，對吧？

Answer 2

parse : expr EOF -> ^(ROOT expr); 
expr : atom ('|'^ atom)* -> atom+; 
atom : LITERAL | ('('! expr ')'!); 

LITERAL : 'a'..'z'; 
WS  : (' '|'\t'|'\r'|'\n'){Skip();}; 

我認爲這將通過添加重寫規則來實現，但我現在沒有antlrworks，所以我無法確定。但是它很接近，所以給它一些注意事項，並在必要時修改重寫語法。