antlr 左递归嵌套 bool 表达式

Question

我正在编写一个antlr语法，其中我希望能够有嵌套表达式，它可以是“简单”表达式或 bool 表达式(带有可选括号)。简单的表达式就是带有左侧和右侧的表达式，例如 a = 5

我希望能够支持这些类型的表达式:

a = 5
a = 5 OR b = 10
a = 5 OR (b = 10 AND c = 12)
(a = 5 AND b = 10) OR (c = 12 AND D = 13)

我的语法如下:

STRING: CHAR+;
fragment CHAR: ('a'..'z' | 'A'..'Z' | '0'..'9'); 

booleanOp: 'AND' | 'OR';
simpleExpr: STRING '=' STRING;
expr: simpleExpr | parenExpr | booleanExpr;
parenExpr: '(' expr ')';
booleanExpr: expr (booleanOp expr)+;

我收到一个错误，指出 expr 和 booleanExpr 相互左递归。我理解为什么会发生这种情况，但如果我希望能够相互嵌套 bool 表达式，我不太确定如何解决这个问题。

Answer 1

在 www.antlr.org 的主页上你可以看到这个示例语法:

grammar Expr;
  prog: (expr NEWLINE)* ;
  expr: expr ('*'|'/') expr
  | expr ('+'|'-') expr
  | INT 
  | '(' expr ')' ;

稍微编辑一下，这就是您所需要的。这是针对 ANTLR 4 的。您使用的是哪个版本？我确信每个版本的 ANTLR 都有一个表达式语法示例。