0

我在 Antlr 中有一个语法来解析我保存的文件的格式。我将语法分解为不起作用的部分，我希望有人能澄清一下。这是语法：

grammar OptFile;

parseFile returns [java.util.List<java.util.List<java.util.List<String>>> list] :
{ list = new java.util.ArrayList<List<List<String>>>(); }
vc=VARIABLESCAPTION v=variables oc=OBJECTIVECAPTION o=objective
{ list.add($v.list); list.add($o.list); }
;

variables returns [java.util.List<java.util.List<String>> list] : 
{ list = new java.util.ArrayList<List<String>>(); }
(v=variable { list.add($v.list); } )*
;

variable returns [java.util.List<String> list] : 
{ list = new java.util.ArrayList<String>(); }
n=characters ';' t=characters ';' lb=characters ';' ub=characters ';' 
{ list = new java.util.ArrayList(); list.add($n.string); list.add($t.string); list.add($lb.string); list.add($ub.string); }
;

objective returns [java.util.List<String> list] :
{ list = new java.util.ArrayList<String>(); }
t=characters ';' { list.add($t.string); }
( 
      'PIECEWISE;' pw=piecewisefunction { list.add($pw.string); }
    | 'REGULAR;' rf=characters ';' { list.add($rf.string); } 
);  

piecewisefunction returns [String string] :
( characters ';' characters ';' characters ';' characters ';' )* 
{ string = getText(); }
;   

characters returns [String string] :
( ~(';') )* { string = getText(); }
;

VARIABLESCAPTION : '--Variables:--' ;

OBJECTIVECAPTION : '--ObjectiveFunction:--' ;

有效输入应如下所示：

--Variables--x;INTEGER;0;INFTY;y;CONTINUOUS;-12;13;--ObjectiveFunction--MAX;13x^27+SIN(y);

或者像这样

--Variables--x;INTEGER;12;20;--ObjectiveFunction--MAX;x;12;x;16;0,5x;16;x;20;

在“--Variables--”之后可以是任意多个变量，每个变量有四个字段，在“--ObjectiveFunction--”之后是一个字段，然后是一个字段，或者是四个字段的任意多个“包”。

显然，使用 Antlr 进行编译时，出现以下错误：

warning(200): OptFile.g:26:37:
Decision can match input such as "OBJECTIVECAPTION {OBJECTIVECAPTION..VARIABLESCAPTION, 'PIECEWISE;'..'REGULAR;'} ';' 'PIECEWISE;' {OBJECTIVECAPTION..VARIABLESCAPTION, 'PIECEWISE;'..'REGULAR;'} ';' {OBJECTIVECAPTION..VARIABLESCAPTION, 'PIECEWISE;'..'REGULAR;'} ';' {OBJECTIVECAPTION..VARIABLESCAPTION, 'PIECEWISE;'..'REGULAR;'} ';' OBJECTIVECAPTION ';' 'PIECEWISE;'" using multiple alternatives: 1,2
As a result, alternative(s) 2 were disabled for that input

我现在的问题是：

  1. 输入怎么能以 OBJECTIVECAPTION 开头，据我了解，我的语法输入必须以 VARIABLESCAPTION 开头。
  2. 我需要改变什么，才能运行这个语法？
4

1 回答 1

1

错误消息可能有点神秘，但问题出在生产中variables，它定义了variable. 变量可以以错误消息中显示的输入开头，但variables也可以跟在其调用环境中出现的相同输入之后。因此，在继续variables（备选方案 1）和完成它（备选方案 2）之间存在问题。

所以错误消息不是指完整的输入，而是指将被匹配的输入片段variables。显示的行号应该指向出现问题的产品。

为了修复它，您可以为列表引入一个分隔符，以便清楚何时停止收集更多出现的variable，例如

parseFile : VARIABLESCAPTION variables '.' OBJECTIVECAPTION objective ;

由提问者编辑：

我尝试了这种方法，效果很好，但只有将用作分隔符号的点添加到必须忽略的字符列表中，即characters必须修改代码行：

characters : ( ~(';' | '.') )*;

之后，它工作得很好。

于 2012-08-07T17:42:25.427 回答