否定内部词法分析器和解析器规则

Question

如何在 ANTLR 的词法分析器和解析器规则中使用否定元字符 ~？

Answer 1

否定可以发生在词法分析器和解析器规则内。

在词法分析器规则内，您可以否定字符，在解析器规则内，您可以否定标记（词法分析器规则）。但是词法分析器和解析器规则只能分别否定单个字符或单个标记。

几个例子：

词法分析器规则

要匹配除小写 ascii 字母之外的一个或多个字符，您可以执行以下操作：

NO_LOWERCASE : ~('a'..'z')+ ;

(negation-meta-char, ~, 的优先级高于 +，所以上面的规则等于 (~('a'..'z'))+)

请注意 'a'..'z ' 匹配单个字符（并且可以因此被否定），但是下面的规则是无效的：

ANY_EXCEPT_AB : ~('ab') ;

因为'ab'（显然）匹配2个字符，所以它不能被否定。要匹配由 2 个字符组成的标记，但不匹配 'ab'，您必须执行以下操作：

ANY_EXCEPT_AB 
  :  'a' ~'b' // any two chars starting with 'a' followed by any other than 'b'
  |  ~'a' .   // other than 'a' followed by any char
  ;

解析器规则

在解析器规则内，~ 否定某个标记，或多个令牌。例如，您定义了以下标记：

A : 'A';
B : 'B';
C : 'C';
D : 'D';
E : 'E';

如果您现在想要匹配除 A 之外的任何标记，则可以：

p : ~A ;

如果您想要匹配除 B 之外的任何标记并且D，您可以这样做：

p : ~(B | D) ;

但是，如果您想匹配除 A 后跟 B 之外的任何两个标记，您不能这样做：

p : ~(A B) ;

就像词法分析器规则一样，您不能否定多个标记。要完成上述任务，您需要执行以下操作：

P
  :  A ~B
  |  ~A .
  ; 

请注意，解析器规则中的 . (DOT) 字符不匹配任何字符，因为它在词法分析器规则内执行。在解析器规则内，它匹配任何标记（A、B、C、D 或 E< /代码>，在本例中）。

请注意，您不能否定解析器规则。以下行为是非法的：

p : ~a ;
a : A  ;