简单语法上的 ANTLR MismatchedTokenException

Question

我对 ANTLR 和 EBNF 语法完全陌生，所以这可能是我根本不理解的一个基本问题。

我有一个规则，例如：与

version_line : WS? 'VERS' WS? '=' WS? '1.0' WS? EOL ;
WS : ' '+ ;
EOL : '\r' | '\n' | '\r\n' | '\n\r' ;

我的输入文件中的语句匹配，如下所示（带有可选空格）：

VERSION = 1.0

使用上面的规则形式，我得到了成功的匹配，尽管我得到了这种形式的异常：

version_line : WS? 'VERS' WS? '=' WS? '1' '.0' WS? EOL ;

或这个形式：

version_line : WS? 'VERS' WS? '=' WS? DIGIT '.0' WS? EOL ;
DIGIT : '1' ;

为什么会有所不同？我在尝试进一步分解规则时发现了这个问题，希望最终得到这样的结果：

version_line : WS? 'VERS' WS? '=' WS? DIGIT '.' DIGIT WS? EOL ;
DIGIT : '0'..'9' ;

Answer 1

我认为没有问题，所有四种语法都会产生预期的 AST：

1

version_line : WS? 'VERSION' WS? '=' WS? '1.0' WS? EOL ;
WS : ' '+ ;
EOL : '\r' | '\n' | '\r\n' | '\n\r' ;

2

version_line : WS? 'VERSION' WS? '=' WS? '1' '.0' WS? EOL ;
WS : ' '+ ;
EOL : '\r' | '\n' | '\r\n' | '\n\r' ;

3

version_line : WS? 'VERSION' WS? '=' WS? DIGIT '.0' WS? EOL ;
DIGIT : '1' ;
WS : ' '+ ;
EOL : '\r' | '\n' | '\r\n' | '\n\r' ;

4

version_line : WS? 'VERSION' WS? '=' WS? DIGIT '.' DIGIT WS? EOL ;
DIGIT : '0'..'9' ;
WS : ' '+ ;
EOL : '\r' | '\n' | '\r\n' | '\n\r' ;

使用输入：（

VERSION = 1.0
#

请注意，输入中的 # 是换行符！）

使用 ANTLRWorks v1.3.1。