Antlr4：ルールの次のセットは、相互に左再帰

Question

私はルールの

次のセットをANDとORでシンプルな文法をdescribleが、次のエラーで失敗しようとしています

があります相互左再帰

文法は以下の通りです：

expr: 
    NAME | 
    and | 
    or; 

and: 
    expr AND expr; 

or: 
    expr OR expr; 

NAME : 'A' .. 'B' + ; 
OR: 'OR' | '|'; 
AND: 'AND' | '&'; 

を同時に、次の文法

expr: 
    NAME | 
    expr AND expr | 
    expr OR expr; 

NAME : 'A' .. 'B' + ; 
OR: 'OR' | '|'; 
AND: 'AND' | '&'; 

をコンパイルします。

なぜですか？

Answer 1

ANTLR4は（既に以前のバージョンの改良である）のみ直接左再帰をサポートします。 。ANTLR4が唯一の直接左再帰をサポートしています。それはあなたが例えばルールaは、代替の最初のルールとしてaを使用するルールbを使用しています（単一のルールではなく、複数のルールの上に再帰を残していることができ

Answer 2

は、すでに述べたように意味します。あなたの生成の訪問者やリスナーにdistictionを作るための選択肢にラベルを付けることができます。

expr 
: NAME   #NameExpr 
| expr AND expr #AndExpr 
| expr OR expr #OrExpr 
; 

NAME : 'A' .. 'B' + ; 
OR : 'OR' | '|'; 
AND : 'AND' | '&'; 

'A'..'Z'+は、あなたがこれを行うことができV4で、古いv3の構文であることに注意してください：[A-Z]+

を参照してください。https://github.com/antlr/antlr4/blob/master/doc/parser-rules.md#alternative-labels