ANTLR4没有正确处理左递归

Question

我试图用ANTLR4来描述逻辑表达式的语法。 当然，这个语法有直接的左递归，正如我读过的ANTLR4支持它。

grammar Logic; 
@header { 
package parser; 
import expression.*; 
} 

expression returns [Expression value] : disjunction {$value = $disjunction.value;} 
             | disjunction IMPLIES expression {$value = new Implication($disjunction.value, $expression.value);}; 

disjunction returns [Expression value] : conjunction {$value = $conjunction.value;} 
             | disjunction OR conjunction {$value = new Disjunction($disjunction.value, $conjunction.value);}; 

conjunction returns [Expression value] : negation {$value = $negation.value;} 
             | conjunction AND negation {$value = new Conjunction($conjunction.value, $negation.value);}; 

negation returns [Expression value] : variable {$value = $variable.value;} 
            | NOT negation {$value = new Negation($negation.value);} 
            | OB expression CB {$value = $expression.value;}; 

variable returns [Expression value] : VAR {$value = new Variable($VAR.text);}; 

IMPLIES : '->'; 
OR : '|'; 
AND : '&'; 
NOT : '!'; 
OB : '('; 
CB : ')'; 
VAR : [A-Z]([0-9])*; 

但是当我运行ANTLR生成解析器我的语法，它提供了一些奇怪的错误：

error(65): Logic.g4:5:125: unknown attribute value for rule disjunction in $disjunction.value 
error(65): Logic.g4:5:125: unknown attribute value for rule conjunction in $conjunction.value 

当我换脱节，并结合在脱节规则，使得脱节右关联，它可以工作，但是这会在我的工作中造成一些错误。

因为它可能很重要，所以我使用ANTLR4-plugin为Intellij Idea生成解析器。

我在做什么错？ 预先感谢您。

Answer 1

当提到你的代码disjunction：

disjunction returns [Expression value] 
: conjunction {$value = $conjunction.value;} 
| disjunction OR conjunction {$value = new Disjunction($disjunction.value, $conjunction.value);} 
; 

ANTLR试图让整个封闭规则的value如果你$disjunction，而不是在disjunction OR ...的disjunction。

如果你想引用disjunction在disjunction OR ...，你需要引用它之前，它贴上标签：

disjunction returns [Expression value] 
: c1=conjunction     {$value = $c1.value;} 
| d=disjunction OR c2=conjunction {$value = new Disjunction($d.value, $c2.value);} 
; 

这里有一个完整的工作（测试）例如：

grammar Logic; 

@header { 
    import expression.*; 
} 

expression returns [Expression value] 
: d1=disjunction      {$value = $d1.value;} 
| d2=disjunction IMPLIES e=expression {$value = new Implication($d2.value, $e.value);} 
; 

disjunction returns [Expression value] 
: c1=conjunction     {$value = $c1.value;} 
| d=disjunction OR c2=conjunction {$value = new Disjunction($d.value, $c2.value);} 
; 

conjunction returns [Expression value] 
: n1=negation     {$value = $n1.value;} 
| c=conjunction AND n2=negation {$value = new Conjunction($c.value, $n2.value);} 
; 

negation returns [Expression value] 
: variable   {$value = $variable.value;} 
| NOT n=negation {$value = new Negation($n.value);} 
| OB expression CB {$value = $expression.value;} 
; 

variable returns [Expression value] 
: VAR {$value = new Variable($VAR.text);} 
; 

IMPLIES : '->'; 
OR  : '|'; 
AND  : '&'; 
NOT  : '!'; 
OB  : '('; 
CB  : ')'; 
VAR  : [A-Z]([0-9])*; 
SPACE : [ \t\r\n] -> skip;