antlr 使用多个替代项匹配输入错误

Question

当antlr v3.1 根据此规则进行编译时，我收到一条警告

 sentence
:
(CAPITAL_LETTERS_AND_NUMBERS | INT | ANY_WORD ) 
(
    INT
| CAPITAL_LETTERS_AND_NUMBERS
| ANY_WORD 
)*;

。警告是：

 5:2: Decision can match input such as "CAPITAL_LETTERS_AND_NUMBERS" using multiple alternatives: 1, 2
 As a result, alternative(s) 2 were disabled for that input
 Semantic predicates were present but were hidden by actions.
 Decision can match input such as "INT" using multiple alternatives: 1, 2
 As a result, alternative(s) 2 were disabled for that input
 Semantic predicates were present but were hidden by actions.

我感到困惑的原因是相当复杂的语法，直到我将另一个子规则放在也使用句子的文件中的另一个位置。它接受上述规则，直到发生这种情况，这看起来很奇怪。我正在寻找有关如何最好地进行调试和理解这种情况如何发生的提示？

谢谢， 理查德

Answer 1

那很难。特别是对于较大的语法，更改（或添加）规则可能会导致难以追踪的歧义。

ANTLRWorks 可以帮助发现这些歧义。给定以下语法：

grammar T;

parse
  :  other? WORD? EOF
  ;

other
  :  WORD
  ;

WORD
  :  ('a'..'z' | 'A'..'Z')+
  ;

解析器不知道如何正确处理 parse 规则。输入如 foo（一个 WORD 标记）可以通过 other EOF 和 通过 WORD EOF 进行匹配，这就是警告：

决策可以使用多个替代项来匹配输入，例如“WORD”

。

使用 ANTLRWorks 生成解析器和词法分析器会导致以下问题的可视化结果：

是的，我意识到这这只是一个简单的例子，你的问题有点棘手，但据我所知这里没有圣杯。如果您可以发布生成解析器和的语法；词法分析器没有问题和产生这些警告的编辑语法，我可能会看一下它，看看是否可以看到问题。