ANTLR Decision 可以使用多种替代方案来匹配输入

Question

我有这个简单的语法：

expr: factor;

factor: atom (('*' ^ | '/'^) atom)*;

atom: INT
    | ':' expr;

INT: ('0'..'9')+

当我运行它时，它说：

决策可以使用多个替代项匹配输入，例如“*”1,2

决策可以使用多个替代项匹配输入，例如“/”1,2

我无法发现歧义。红色箭头如何指向？ 任何帮助将不胜感激。

Answer 1

假设您想要解析输入：

:3*4*:5*6

由语法生成的解析器可以将此输入匹配到以下解析树中：

和：

（我省略了冒号以使树木更加清晰）

请注意，您看到的只是一个 警告。通过明确指示 ANTLR (('*' | '/')atom)* 需要贪婪地匹配，如下所示：

factor
  :  atom (options{greedy=true;}: ('*'^ | '/'^) atom)*
  ;

解析器“知道”采用哪种替代方案，并且不会发出警告。

编辑

我使用 ANTLR 3.3 测试了语法，如下所示：

grammar T;

options {
  output=AST;
}

parse
  :  expr EOF!
  ;

expr
  :  factor
  ;

factor
  :  atom (options{greedy=true;}: ('*'^ | '/'^) atom)*
  ;

atom
  :  INT
  |  ':'^ expr
  ;

INT : ('0'..'9')+;

然后从命令行：

java -cp antlr-3.3.jar org.antlr.Tool T.g

它不会产生任何警告（或错误）。