ANTLR4谓词失败忽略以下选项？

Question

date
    :    month d=INTEGER  { isYear(getCurrentToken().getText())}?  y=INTEGER
                                    {//handle date, use $y for year}
    |    month d=INTEGER            {//handle date, use 2013 for year}
    ;                                             

line 1:9 rule date failed predicate: { isYear(getCurrentToken().getText())}?

Answer 1

在解析器规则中，ANTLR4只在决策时使用左边缘的谓词。像上面显示的内联谓词那样的谓词只经过验证。

下面的修改将导致ANTLR在做出决定时计算谓词，但显然您需要修改它以使用正确的lookahead标记，而不是调用getCurrentToken()。

date
  : {isYear(getCurrentToken().getText())}? month d=INTEGER y=INTEGER
                                {//handle date, use $y for year}
  | month d=INTEGER             {//handle date, use 2013 for year}
  ;

PS：如果month总是正好有一个令牌长，那么_input.lt(3)应该提供所需的令牌。