如何从 ANTLR3 中的 * 规则生成列表？

Question

我的语法如下：

grammar Test;

options {
  lang = Python;
}

declaration returns [value]
    :     'enum' ID { statement* }
                 { $value = {'id': $ID.text,
                             'fields': $statement.value}
                 }
    ;

statement returns [value]
    :     ID ':' INT ';' { $value = {'id': $ID.text, 'value': int($INT.text)} }
    ;

解析类型的语法：

enum Test {
  Foo: 3;
  Bar: 5;
}

但是，我正在努力将 statement* 规则放入语句列表中。我希望我的最终解析对象看起来像：

declaration = {
  'id': 'Test',
  'fields': [
    {'id': 'Foo', 'value': 3},
    {'id': 'Bar', 'value': 5},
}

我可以正确解析每个statement 结果，因此每个$statement.value 都是正确的。 但是，鉴于规则declaration 中statement* 上的星号，有没有办法可以轻松地将其压缩为字段列表？我希望有某种语法可以让我免费获得这个选项。

现在这只是最后一条语句，所以它返回：

declaration = {
  'id': 'Test',
  'fields': [
    {'id': 'Bar', 'value': 5},
}

我想要一个通用的解决方案，因为我的语法有很多形式的规则：

some_declaration
      :     keyword ID '{' declaration_statement* '}'
      ;

注意：我是用 Python 编写的。 我尝试将其编码为解析器，然后是树语法，但即使这样，最后一个元素也是我得到的唯一元素，其余元素都被丢弃了。

Answer 1

你可以这样做：

declaration returns [value]
    :     'enum' ID 
                 { $value = {'id': $ID.text,
                             'fields': []}
                 }
           '{' (r=statement
                 { $value['fields'].append($r.value) }
             )*
           '}'
    ;

或者您也可以将您的字段列表作为参数传递给语句规则，并在那里附加新值。像这样的：

declaration returns [value]
    :     'enum' ID 
                 { $value = {'id': $ID.text,
                             'fields': []}
                 }
                 { list = $value['fields']
                 }
            '{' statement[list]* '}'
    ;

statement[list]
    :     ID ':' INT ';' { $list.append({'id': $ID.text, 'value': int($INT.text)}) }
    ;

取决于你想要什么，但可能第一个选项更好一点。

您可以在此处找到更多关于将值从一条规则返回到另一条规则的示例： Two basic ANTLR questions