范围元素不能在解析器规则中使用？

Question

我有以下语法：

grammar tryout;

tryout :  my_cmd
        ;

my_cmd
    : 'start'   '0'..'9'+  Name_string
    ;

Digit
    : '0'..'9'
    ;

Name_string
    : ('A'..'Z' | 'a'..'z')  ('A'..'Z' | 'a'..'z' | '0'..'9' | '_')*
    ;

如果我在ANTLRworks中看到图表，'0'...'9'显示为空元素，因此Java代码编译失败，因为生成的代码有“if（）”语句；如果我在命令行运行，编译也会失败。

修复方法是移动“0”…'9’到lexer规则。

grammar tryout;

tryout :  my_cmd
        ;

my_cmd
    : 'start'   Digit+  Name_string
    ;

Digit
    : '0'..'9'
    ;

Name_string
    : ('A'..'Z' | 'a'..'z')  ('A'..'Z' | 'a'..'z' | '0'..'9' | '_')*
    ;

但我想知道这是否是一个bug。为什么不能在解析器规则中使用range元素？这在ANTLR v3.4上。

Answer 1

在解析器规则中，...不能像在lexer规则中那样作为字符的范围运算符。另请注意，即使您在解析器规则中定义了文字，ANTLR也会动态地为它们创建lexer规则，如下所示：

my_cmd
 : 'start' '0'..'9'+ Name_string
 ;

相当于：

my_cmd
 : Start D0..D9+ Name_string
 ;

Start : 'start';
D0    : '0';
D9    : '9';

如果内存对我有用的话，早期版本的ANTLR v3支持解析器中的范围操作符，这意味着：匹配D0和D9之间的任何标记，但这是非常脆弱的。在D0和D9之间添加规则将改变其含义：

D0    : '0';
FOO   : 'foo';
D9    : '9';

解析器规则：

my_cmd
 : '0'..'9'+
 ;

现在将匹配以下令牌之一：D0、FOO或D9。

这<代码> 解析器规则内部支持已从（至少）v3.3及更高版本中删除。因此，不要使用 内部解析器规则。