antlr4 - 如何在 ANTLR4 语法中指定像 "<"这样的非关联运算符？

Question

在规则 expr : expr '<' expr | ...;ANTLR 解析器将接受类似 1 < 2 < 3 的表达式(并构建对应于括号 (1 < 2) < 3 的左关联树。

您可以告诉 ANTLR 将运算符视为右结合，例如

expr : expr '<'<assoc=right> expr | ...; 

产生解析树 1 < (2 < 3) .

然而，在许多语言中，关系运算符是非关联的，即表达式 1 < 2 < 3是禁止的。
这可以在 YACC 及其衍生物中指定。

它也可以在ANTLR中指定吗？
例如，作为 expr : expr '<'<assoc=no> expr | ...;
到目前为止，我无法在 ANTLR4 书中找到一些东西。

Answer 1

下面的方法怎么样。基本上是 a < b 的“结果”具有与运算符 < 的另一个应用程序不兼容的类型或 > :

expression
    :   boolExpression
    |   nonBoolExpression
    ;

boolExpression
    :   nonBoolExpression '<' nonBoolExpression
    |   nonBoolExpression '>' nonBoolExpression
    |   ...
    ;

nonBoolExpression
    :   expression '*' expression
    |   expression '+' expression
    |   ...
    ;

虽然我个人会选择 Darien而是在解析后检测错误。