如何阻止ANTLR抑制语法错误？

Question

当然，我使用ANTLR的树构造函数来构建抽象语法树。虽然通过语法错误继续解析是很好的，这样用户就可以看到所有的错误，但一旦解析完成，我希望得到一个异常或某种输入在语法上无效的指示；这样，我就可以停止编译并告诉用户“对不起，修复您的语法错误，然后再试一次”。我不想让它根据它认为用户想说的话吐出一个不完整的AST，并继续编译的下一个阶段，而没有任何错误的迹象（除了错误消息，我看不到到控制台）。然而，在默认情况下，它正是这样做的。

权威的ANTLR引用提供了一种技术，可以在检测到语法错误时立即停止解析：重写Mismatch和RecoverFromMismatchedSet方法以抛出RecognitionException，并添加@rulecatch操作来执行相同的操作。这似乎失去了从解析错误中恢复的好处，但更重要的是，它只能部分工作。如果缺少必要的令牌（例如，如果二进制运算符只有一边有一个表达式），它就会像预期的那样抛出异常，但如果添加了一个无关的令牌，ANTLR就会插入它认为属于那里的令牌，并继续其愉快的方式，生成一个AST，除了控制台消息之外，没有语法错误的指示。（更糟糕的是，它插入的令牌是EOF，因此文件的其余部分甚至没有得到解析。）

我肯定可以通过向解析器添加isvalid字段来解决这个问题，并重写方法和添加操作，以便在解析结束时，如果有任何错误，它会抛出异常。但是有没有更好的办法呢？我无法想象我正在努力做的事情在ANTLR用户中是不寻常的。

Answer 1

...如果它已经完成了解析，我想得到一个异常或某种输入在语法上无效的指示；这样我就可以停止编译...

在解析之后，可以在lexer和解析器上调用GetNumberOfSyntaxErrors，以确定是否存在ANTLR暗中容纳的错误。显然，这并没有告诉您这些错误是什么，但我认为这些方法解决了问题中的“一旦解析完成...停止编译”部分。

权威的ANTLR引用提供了一种技术，可以在检测到语法错误时立即停止解析：重写mismatch和recoverFromMismatchedSet方法以抛出RecognitionExceptions，并添加@RuleCatch操作来执行相同的操作。

如果缺少一个必要的令牌…，[重写的代码]会像预期的那样抛出一个异常，但是如果添加了一个无关的令牌，ANTLR会插入它认为属于那里的令牌，并继续它的快乐之路······

方法recoverFromMismatchedToken通过分别委托给方法MismatchisMissingToken和MismatchisUnwantedToken来测试可恢复的丢失和无关标记。如果适当的方法确定插入或删除可以解决问题，则RecoverFromMismatchedToken进行适当的更正。如果确定没有任何操作解决不匹配的令牌问题，则recoverFromMismatchedToken抛出MismatchedTokenException。

如果发生了恢复操作，则调用ReportError，这将调用DisplayRecognitionError的详细信息。

这适用于ANTLR V3.4和可能更早的版本。

这至少给了您两个选择：

>

重写recoverFromMismatchedToken并在细粒度级别上处理错误。从这里，您可以将调用委托给超级实现，滚动您自己的恢复代码，或者使用异常进行保释。无论在什么情况下，您的代码都将被调用，因此将知道发生了不匹配错误，无论是可恢复的还是其他错误。此选项可能相当于重写recoverFromMismatchedSet。