ANTLR4:在一般情况下，是否可以验证解析器规则的各个部分？

Question

在使用ANTLR4时，我总是回到同样的问题--如何在解析器中实现算法规则验证。

例如，在匹配规则之前，我需要解析器验证写入“月、日、年”的日期的“年”部分。我已经学会了使用谓词可以做到这一点，如下所示：

date :
    {isYear(_input.LT(3).getText())}?
        month  day=INTEGER  year=INTEGER     { ... }

但是这个解决方案不是一般的，因为它依赖于规则月份总是一个令牌长。

date :  month  day=INTEGER  yearInt     { ... } ;

yearInt returns [int i]
     :   {isYear(_input.LT(1).getText())}?
             yr=INTEGER                 { $i = $yr.int; }
     ;

throw new FailedPredicateException(this, "isYear(_input.LT(1).getText())");

但是代码随后继续并接受yearint()。

这是ANTLR的虫子，还是我的虫子？是否有一种“适当”的方法来编写一个需要验证规则部分的语法？

Answer 1

试试看

date :
    month  day=INTEGER  year=INTEGER {isYear($year)}?<fail="A sensible error msg"> { ... }
;

或

date :
    month  day=INTEGER  year=INTEGER {if ( ! isYear($year) ) 
                                       notifyErrorListeners("A sensible error msg");
                                     }     
    { ... }
;

其中一个将产生更明智的错误消息。notifyErrorListeners（）建立错误，但就正在进行的解析而言，让解析“成功”。{isYear($year)}？会失败，并做更多的寻找匹配。