如何消除 ANTLR3 语法中的以下多个替代警告？

Question

[11:45:19] warning(200): mygrammar.g:14:57: Decision can match input such as "','" using multiple alternatives: 1, 2
As a result, alternative(s) 2 were disabled for that input
[11:45:19] warning(200): C:\Users\Jarrod Roberson\mygrammar.g:14:57: Decision can match input such as "','" using multiple alternatives: 1, 2
As a result, alternative(s) 2 were disabled for that input

我希望能够将函数嵌套在其他函数中。

myfunction(x) ->
  sqr(a) -> a * a,
  y -> sqr(x).

这是它抱怨的行

function : ID '(' args ')' '->' statement (',' statement)* ;

，这是它正在考虑的替代方案，

statement : ATOM
          | expression
          | assignment
          | function
          ;

我使用 . 作为我的语句结束规则

program : (statement'.')*;

这是 ANTLRWorks 中的 synatx 图的样子

_{（来源：vertigerated.com）}

我真的很喜欢东西编译/工作时没有任何警告。如何解决此警告情况？

Answer 1

贾罗德·罗伯森写道：

我真的很喜欢在没有任何警告的情况下编译/工作。如何解决此警告情况？

您的解析器可以解析以下输入：

f(x)-> g(y)-> y*y, x=y

在两个不同的解析树中：

和：

您可以通过强制解析器向前查看并确保前面有 ',' 语句 来解决此问题在实际匹配这些规则之前。您可以通过使用语法谓词（(...)=> 部分）并在其中包含所述规则来做到这一点：

function
  :  ID '(' args ')' '->' statement ((',' statement)=> ',' statement)* 
  ;

但是，如果您的函数 规则有某种“结束”标记，您尚未定义。从您之前的问题和示例来看：

myfunction(x) ->
  sqr(a) -> a * a,
  y = sqr(x).

您似乎正在使用 '.' 作为 function 的结尾。如果您将其添加到您的 function 规则中：

function
  :  ID '(' args ')' '->' statement (',' statement)* '.'
  ;

您根本不需要谓词。