ANTLR 不匹配的输入 'NUM' 期望 {.... ， 'NUM'}

Question

我在解析文件时遇到了ANTLR4问题。它一开始是有效的，但在我的语法中添加了以下内容后，我出现了一个错误（见下文）：

TYPE_NUM: 'NUM';
mismatched input 'NUM' expecting {'LOAD', 'n', 'HEAR', 'NUM', 'STRING', 'COORD', 'BOOL', 'VOID', 'LIST'}

在我的语言中，"NUM"关键字在以下规则中：

typePrefix: type=('NUM' | 'BOOL' | 'STRING' | 'COORD' | 'LIST');

我对其余的typePrefix也有同样的问题，但我猜这对所有类型来说都是相同的解决方案。

我曾尝试用TYPE_NUM、TYPE_BOOL等替换typePrefix规则的所有选项，但这似乎不起作用。

编辑：根据评论中的要求，我已经发布了我的语法部分，其中我使用了"NUM"：

prog
    :   roboDcl loads roboBodyDcl;
loads
    :   recursion=loads 'LOAD' '(' load_id=StringLit ')' 'n' 
    |   //lambda
    ;
memberDcl
    :   dcl=fieldDcl
    |   met_dcl=methodDcl
    |   'n'
    ;
roboDcl
    :   id=Identifier':''n'
    ;
roboBodyDcl
    :   recursion=roboBodyDcl dcl=memberDcl
    |   dcl=memberDcl   
    ;
fieldDcl
    :   t=typePrefix dcl_list=variableDclList 'n';
typePrefix
    :   type=('NUM' | 'BOOL' | 'STRING' | 'COORD' | 'LIST');
variableDclList
    :   single=variableDcl
    |   list=variableDclList ',' single=variableDcl
    ;
variableDcl
    :   var_init=variableInitializer
    |   id=Identifier '=' list_init=listInitializer
    ;
variableInitializer 
    :   expr=assignmentExpression
    ;
TYPE_NUM: 'NUM';
TYPE_STRING: 'STRING';
TYPE_COORD: 'COORD';
TYPE_BOOL: 'BOOL';
TYPE_VOID: 'VOID';
TYPE_LIST: 'LIST';

如前所述，我尝试用以下内容替换typePrefix规则：

typePrefix
    :    type=(TYPE_NUM | TYPE_BOOL | TYPE_STRING | TYPE_COORD | TYPE_LIST);

我希望这就足够了，并提前表示感谢！

Answer 1

我发现了这个问题，并将尝试提供一个解释，以防有人出现同样的情况。

正如"确定性Antlr 4参考"所述，Antlr通过选择首先定义的规则来解决lexer规则中的歧义。并声明"这意味着你的ID规则应该在所有关键词规则之后定义…"

在我的例子中，我用以下方式定义了我的语法：

fragment NameStartChar
    :       'A'..'Z' | 'a'..'z';
fragment NameChar
    :       NameStartChar
    |       Num
    |       '_'
    ;
fragment Num
    :       '0'..'9';
Identifier
    :   NameStartChar NameChar*;
TYPE_NUM: 'NUM';

这最终匹配了我所有的关键字"NUM"、"BOOL"等等。

因此，解决方案是将Identifier规则定义为lexer规则中的最后一个下面可以看到一个例子：

fragment NameStartChar
    :       'A'..'Z' | 'a'..'z';
fragment NameChar
    :       NameStartChar
    |       Num
    |       '_'
    ;
fragment Num
    :       '0'..'9';
TYPE_NUM: 'NUM';
//All other keyword definitions ('BOOL', 'STRING' and so alike)
Identifier
    :   NameStartChar NameChar*