当规则失败时强制antlr3立即退出

Question

我有这样的规则：

declaration returns [RuntimeObject obj]: 
    DECLARE label value { $obj = new RuntimeObject($label.text, $value.text); };

不幸的是，它在 RuntimeObject 构造函数中抛出异常，因为 $label.text 为 null。检查调试输出和其他一些内容表明，与“label”的匹配实际上失败了，但 Antlr 运行时“有帮助地”继续匹配，以便提供更有用的错误消息（http://www.antlr.org/blog/antlr3/error.handling.tml）。

好的，我知道这在某些情况下会有什么用处，但我怎样才能告诉 Antlr 停止这样做呢？ v2 中的 defaultErrorHandler=false 选项似乎消失了。

Answer 1

我对 Antlr 不太了解，所以这可能有点偏离基础，但是 此迁移页面看起来很有帮助。

它建议您可以使用 @rulecatch { } 完全禁用错误处理，或者使用您自己的方法覆盖 BaseRecogniser 的 mismatch() 方法不尝试恢复的实现。从您的问题描述来看，该页面上的示例似乎完全符合您的要求。

Answer 2

您还可以重写 reportError(RecognitionException) 方法，使其重新抛出异常而不是打印它，如下所示：

@parser::members {
    @Override
    public void reportError(RecognitionException e) {
        throw new RuntimeException(e);
    }
}

但是，我不确定您想要这个（或 ire_and_curses 的解决方案），因为您只会收到一个错误每次解析尝试，然后您可以修复它，只是为了找到下一个错误。如果您尝试恢复（ANTLR 可以），您可能会在一次尝试中遇到多个错误，然后修复所有错误。

Answer 3

您需要重写 mismatch 和 recoverFromMismatchedSet 方法以确保立即抛出异常（示例适用于 Java）：

@members {
    protected void mismatch(IntStream input, int ttype, BitSet follow) throws RecognitionException {
        throw new MismatchedTokenException(ttype, input);
    }

    public Object recoverFromMismatchedSet(IntStream input, RecognitionException e, BitSet follow) throws RecognitionException {
        throw e;
    }
}

然后您需要更改解析器处理这些异常的方式，以便它们不会被吞没：（

@rulecatch {
    catch (RecognitionException e) {
        throw e;
    }
}

解析器中所有规则匹配方法的主体将包含在 try 块中，并将其作为 catch 块。）

---

用于比较，从 BaseRecognizer 继承的 recoverFromMismatchedSet 的默认实现：

public Object recoverFromMismatchedSet(IntStream input, RecognitionException e, BitSet follow)  throws RecognitionException {
    if (mismatchIsMissingToken(input, follow)) {
        reportError(e);
        return getMissingSymbol(input, e, Token.INVALID_TOKEN_TYPE, follow);
    }

    throw e;
}

以及默认的rulecatch：

catch (RecognitionException re) {
    reportError(re);
    recover(input,re);
}