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，所以我无法确定。但是它很接近，所以给它一些注意事项，并在必要时修改重写语法。