antlr不匹配正确的解析器规则

Question

我正在尝试为旧的Eliza Chatbot程序的医生脚本创建一个解析器。

医生脚本在此处简化为简单的欢迎线，然后定义“医生”如何响应用户的输入“如果我很瘦”：

(I AM THE DOCTOR.)
(IF 3 ((0 IF 0)(DO YOU 3)(YOU WISH THAT 3)))

这是lexer：

ALL_CHARS: [0-9A-Z, .];
KEY_CHARS: [A-Z];
LPAREN: '(';
RPAREN: ')';
NUM: [0-9];
SPACE: ' ';
WS: ('\n')+ -> skip;

和解析器：

main: item* EOF;
item: (rWelcome | rKeyDecompReAssy );


rKeyDecompReAssy: LPAREN rKeyPri rDecompReAssy RPAREN;
rKeyPri: rKey SPACE rPri;
rKey: KEY_CHARS+;
rPri: NUM+;

rDecompReAssy: LPAREN rDecomp rReAssyList RPAREN;
rDecomp: LPAREN ALL_CHARS+ RPAREN;

rReAssyList: (rReAssy)+;
rReAssy: LPAREN reAssy RPAREN;
reAssy: ALL_CHARS+;

rWelcome: LPAREN reAssy RPAREN;

定义的规则欢迎 line（ rwelcome ），如果 line（ rdecompreassy ），则试图匹配4个组件：key，pri，Decomp和Reassylist。

我使用Android Studio的ANTLR预览。

问题在于，这两条线都与rwelcome匹配。

当然，欢迎线还可以，但是第二个错误消息是：

line 2:6 missing ')' at '('
line 2:45 mismatched input ')' expecting {<EOF>, '('}

我如何使这两个规则明确？

Answer 1

如注释中所述，您的Lexer永远不会创建key_chars - ，space - 和num -tokens。这是因为all_chars令牌也与这些令牌中定义的字符匹配。当两个或多个Lexer规则与相同的字符匹配时，一个定义的首先“胜利”。无论解析器规则是否试图匹配key_chars令牌，Lexer都会仅创建all_chars token：lexer与解析器独立地工作。

您能做的就是这样的事情：

main             : item* EOF;
item             : (rWelcome | rKeyDecompReAssy );
rKeyDecompReAssy : LPAREN rKeyPri rDecompReAssy RPAREN;
rKeyPri          : rKey SPACE rPri SPACE; // Note: I added the last `SPACE`
rKey             : KEY_CHARS+;
rPri             : NUM+;
rDecompReAssy    : LPAREN rDecomp rReAssyList RPAREN;
rDecomp          : LPAREN all_chars+ RPAREN;
rReAssyList      : (rReAssy)+;
rReAssy          : LPAREN reAssy RPAREN;
reAssy           : all_chars+;
rWelcome         : LPAREN reAssy RPAREN;
all_chars        : NUM | KEY_CHARS | SPACE | OTHER_CHAR;

KEY_CHARS  : [A-Z];
LPAREN     : '(';
RPAREN     : ')';
NUM        : [0-9];
SPACE      : ' ';
WS         : ('\n')+ -> skip;
OTHER_CHAR : [.,];