ANTLR4上下文敏感规则：语义谓词失败时的意外解析/再同步

Question

我正在研究一种上下文敏感的语法。下面是它的描述：

• 它描述表达式集。
• 每个表达式包含一个或多个由逻辑运算符分隔的部分。
• 每个部分由可选字段标识符组成，后面跟着一些比较运算符（也是可选的）和值列表。
• 值也用逻辑运算符分隔。
• 默认值为字符序列。有时（取决于上下文）可以扩展每个值的可能字符集。它甚至可以使用比较运算符（根据第三条规则，用于从值列表中分离字段标识符）来将其视为值的字符。

以下是语法的简化版本：

grammar TestGrammar;

@members {
  boolean isValue = false;  
}

exprSet: (expr NL?)+;

expr: expr log_op expr
    | part
    | '(' expr ')'
    ;

part: (fieldId comp_op)? values;

fieldId: STRNG;

values: values log_op values
      | value
      | '(' values ')'
      ;

value: strng;

strng: (  STRNG 
        | {isValue}? comp_op
       )+;

log_op: '&' '&';

comp_op: '=';       


NL: '\r'? '\n';
WS: ' ' -> channel(HIDDEN);

STRNG: CHR+;
CHR: [A-Za-z];

a && b=c

strng: (  STRNG 
       // | {isValue}? comp_op
       )+;

顺便说一句，当语义谓词的计算结果为true时，结果与预期相同：strng规则匹配一组扩展的令牌：

strng: (  STRNG 
        | {!isValue}? comp_op
       )+;

请解释为什么会出现这种情况，并帮助找出正确的解决办法。谢了！

Answer 1

从值中删除一个选项怎么样？否则，文本a&b可以是

1. expr->exprlog_opexpr

或

null

    values
         : //values log_op values
           value
         | '(' values ')'
         ;