ANTLR 错误：决策可以使用多种替代方案来匹配输入

Question

我不明白如何处理 ANTLR 语法的错误：

****************error message*********
Decision can match input such as "{'+', '-'} IDENT" using multiple alternatives: 1, 2
As a result, alternative(s) 2 were disabled for that input
 |---> add: mult (('+'|'-') mult)*;
***************************************

这主要是从 Scott 的示例中复制的，但我不明白为什么他的效果很好，但我的却卡住了，如何摆脱它？

---------------以下 Sample.g----------------

grammar Sample;

options { 
  language = Java;
}


 program
      :  'program' IDENT '='
          (constant| variable)*
          'begin'
          (statement)*
          'end' IDENT '.'
      ; 

constant:
       'constant' IDENT ':' type ':=' expression ';' 
      ;

type: 'integer';

variable: 'var' IDENT (',' IDENT)* ':' type  ';';


statement: 'var' IDENT ':=' INTEGER ';' ;

//expression

term: IDENT |'(' expression ')'|INTEGER;
negation: 'not'* term;
unary: ('+'|'-')* negation;
mult: unary (('*'|'/'|'mod') unary)*;

[以下行的 XXX 错误]

add: mult (('+'|'-') mult)*;
relation: add (('='|'/='|'<'|'<=') add)*;
expression: (relation ('and'|'or') relation)*;


END : 'end';

CONSTANT : 'constant';

INTEGER: '0'| (('1'..'9') ('0'..'9')*);   

IDENT: ('a'..'z'|'A'..'Z')('a'..'z'|'A'..'Z'|'0'..'9')*;

WS: ('\n'|' '|'\t'|'r'|'\f')+ {$channel=HIDDEN;};

Answer 1

您在以下情况中放错了括号：

expression: (relation ('and'|'or') relation)*;

使您的语法不明确：解析器无法决定何时看到 - IDENT 它是否应该是 add- 或 的一部分>一元-规则。

例如，您的规则表达式 现在与此匹配：

relation ('and'|'or') relation relation ('and'|'or') relation

即，两个关系 规则直接放置在彼此之后。如果解析器现在偶然发现这样的输入：

- A - B

解析器“看到”解析此输入的两种可能性：

1（一元表达式和一元表达式）

2（一元并添加表达式）

它应该be:

expression: relation (('and'|'or') relation)*;

相反，所以永远不可能有 2 个连续的表达式（并且没有歧义！）。

Answer 2

1. 最好提及您从中获取代码的源网页。我认为这里是 Antlr3xtut。

这主要是从 Scott 的例子中复制的，但我不明白为什么
他的工作很好，但我的卡住了，如何摆脱它？

这是因为你复制错了。

而不是如下所述的正确代码：

expression
    :   relation (('and' | 'or') relation)*
    ;

您已复制：

expression: (relation ('and'|'or') relation)*;

您能够发现错误吗？例如，将 '(' 放置在关系之前。因此，您会收到错误 Decision can match input such as "{'+', '-' } IDENT”使用多​​种替代方案：

解决方案

将表达式规则替换为斯科特样本中给出了什么。