令牌与 antlr 语法谓词不匹配

Question

我的语法文件中有以下词法分析器规则：

   LINE    :    'F' | 'G';
RULE    :    (('->' ('F' | 'G')) => 'F' | 'G' )
                | LINE LINE + | LINE * (ROTATE + LINE+)+ ;
fragment ROTATE    :    ('/' | '\\');

我基本上是在尝试匹配看起来像 F -> 的产生式。 F/F\F\F/F。它成功匹配了上面的内容，但我猜我的语法谓词有问题，因为 G -> G 产生 MismatchedTokenException。该谓词用于消除“->”左侧的单个字母（我希望将其识别为 LINE 标记）和右侧的单个字母（应该是规则）之间的歧义。

知道我做错了什么吗？

Answer 1

请注意，规则：

RULE
  :  (('->' ('F' | 'G')) => 'F' | 'G')
  |  LINE LINE + 
  |  LINE * (ROTATE + LINE+)+ 
  ;

匹配单个 G 而不带谓词。上面的规则可以重写为：

RULE
  :  ( ('->' ('F' | 'G')) => 'F' 
     | 'G'
     )
  |  LINE LINE + 
  |  LINE * (ROTATE + LINE+)+ 
  ;

反过来又等于：

RULE
  :  ('->' ('F' | 'G')) => 'F' 
  |  'G'
  |  LINE LINE + 
  |  LINE * (ROTATE + LINE+)+ 
  ;

也许你打算做这样的事情：

RULE
  :  ('->' ('F' | 'G')) => ('F' | 'G')
  |  LINE LINE + 
  |  LINE * (ROTATE + LINE+)+ 
  ;