mismatchedtoken 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。谓词用于消除在' - >'的lhs上的单个字母之间的歧义，我希望将其识别为LINE令牌，而在rhs上的那些符号应该是RULE。

任何想法我做错了什么？

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+)+ 
    ;