语法接受太多了

问题描述

我是ANTLR的新手，并尝试与一些非常简单的示例（使用antlr-4.8）相处。在我看来，这似乎是一个愚蠢的新手问题，但我找不到合适的答案（实际上，除了这个糟糕的标题之外，我什至不知道该如何表达这个问题）。抱歉！

我的语法看起来像这样。

grammar ExprTest;

expr    :   compareExpr
        |   NUMBER
        ;

compareExpr
        :   (GT | GE | LT | LE) NUMBER
        ;

NUMBER  :   [0-9]+;
GT      :   '>';
GE      :   '>=';
LT      :   '<';
LE      :   '<=';

几乎可以完成这项工作，并且可以识别17，>15和<=22，并且在输入token recognition error时正确地抱怨@34。

我不理解的是输入34>。没有抱怨，它与(expr 34)匹配。

为什么最后一个大于号（显然位置错误）没有识别错误？

解决方法

输入34>不会产生令牌识别错误，因为其中有两个预期的令牌：NUMBER和GT。而且解析器也没有问题，因为规则：

expr    :   compareExpr
        |   NUMBER
        ;

愉快地接受NUMBER令牌，然后停止，仅留下GT令牌。

如果要强制解析器使用流中的所有令牌，则应使用内置的EOF令牌锚定解析器：

expr : (compareExpr | NUMBER) EOF;

之后，输入34> 会产生错误。

antlr antlr antlr4