当前位置：文江博客话题详情

ANTLR 中是否存在逻辑 AND 和 NOT？

发布于 2024-10-30 00:38:21 字数 58 浏览 1 评论 0原文

ANTLR 里没有逻辑吗？我基本上试图否定我所拥有的规则，并且想知道它是否可能，还有 AND 逻辑吗？

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

走野 2024-11-06 00:38:21

@larsmans 已经提供了答案，我只是想举一个 ANTLR 规则中的法律否定的例子（因为它们经常发生错误）。

ANTLR 中的否定运算符是 ~（波形符）。在词法分析器规则中，~ 否定单个字符：

NOT_A : ~'A';

匹配除 'A' 之外的任何字符并且：

NOT_LOWER_CASE : ~('a'..'z');

匹配除小写 ASCII 字母之外的任何字符。 lats 的例子也可以写成：

NOT_LOWER_CASE : ~LOWER_CASE;
LOWER_CASE : 'a'..'z';

只要你只求反一个字符，使用 ~ 就是有效的。这样做是无效的：

INVALID : ~('a' | 'aa');

因为你不能否定字符串'aa'。

在解析器规则内，否定不适用于字符，但适用于标记。因此，parse 规则：

parse
  :  ~B
  ;

A : 'a';
B : 'b';
C : 'c';

不匹配 'b' 之外的任何字符，但匹配 B 之外的任何标记代码 > 令牌。因此它会匹配标记 A （字符 'a'）或标记 C （字符 'c' ）。

相同的逻辑适用于 . (DOT) 运算符：

在词法分析器规则内，它匹配集合 \u0000..\uFFFF 中的任何字符；
在解析器规则内部，它匹配任何标记（任何词法分析器规则）。

@larsmans already supplied the answer, I just like to give an example of the legal negations in ANTLR rules (since it happens quite a lot that mistakes are made with them).

The negation operator in ANTLR is ~ (tilde). Inside lexer rules, the ~ negates a single character:

NOT_A : ~'A';

matches any character except 'A' and:

NOT_LOWER_CASE : ~('a'..'z');

matches any character except a lowercase ASCII letter. The lats example could also be written as:

NOT_LOWER_CASE : ~LOWER_CASE;
LOWER_CASE : 'a'..'z';

As long as you negate just a single character, it's valid to use ~. It is invalid to do something like this:

INVALID : ~('a' | 'aa');

because you can't negate the string 'aa'.

Inside parser rules, negation does not work with characters, but on tokens. So the parse rule:

parse
  :  ~B
  ;

A : 'a';
B : 'b';
C : 'c';

does not match any character other than 'b', but matches any token other than the B token. So it'd match either token A (character 'a') or token C (character 'c').

The same logic applies to the . (DOT) operator: