非空闭包和问号：只有第一个元素被放入 AST 中？

Question

我被一个奇怪的现象所困扰：

只有 x 中的第一个 in z: x | '<'！是吗？ '>'，其中 y: x (','!x)* 出现在生成的 AST 中。但前提是我使用 Maven 存储库中部署的 Antlr3 编译代码。通过 AntlrWorks，我看到了正确的树。

是b: aa*; c：数据库？ d; 语义错误？我做错了什么？或者只是 Antlr 中有一个错误？

如果您需要更完整的示例（我的问题出现在 try_ 的 $v2 中）：（

variables
    : annotatedVariable
        -> ^(VARIABLES annotatedVariable)
    | v='<' annotatedVariableList? '>'
        -> ^(VARIABLES[$v] annotatedVariableList?)
    ;

annotatedVariableList
    : annotatedVariable (','! annotatedVariable)*
    ;

try_
    : v='try' e1=expression 'of' v1=variables '->' e2=expression
      'catch' v2=variables '->' e3=expression
        -> ^(TRY[$v] $e1 $v1 $e2 $v2 $e3)
    ;

完整源代码和示例输入文件： https://gist.github.com/1004329。树中只存在catch中的T，但我在AntlrWorks中看到了T和R。）

Answer 1

凯写道：

仅 x in z 中的第一个：x | '<'！是吗？ '>'，其中 y: x (','! x)* 出现在生成的 AST 中。但前提是我使用 Maven 存储库中部署的 Antlr3 编译代码。通过 AntlrWorks，我看到了正确的树。

ANTLRWorks 生成解析树，不是您的解析器规则生成的 AST（假设您正在谈论 ANTLRWorks 的解释器）。

一个简单的测试显示一切正常（使用 ANTLR v3 测试）：

grammar T;

options {
  output=AST;
}

z : x 
  | '<'! y? '>'!
  ;

y : x (','! x)*
    ;

x : X
  ;

X : 'A'..'Z'
  ;

将解析输入：

<X,Y,Z>

为以下 AST：

你可以自己测试一下：

import org.antlr.runtime.*;
import org.antlr.runtime.tree.*;
import org.antlr.stringtemplate.*;

public class Main {
  public static void main(String[] args) throws Exception {
    TLexer lexer = new TLexer(new ANTLRStringStream("<X,Y,Z>"));
    TParser parser = new TParser(new CommonTokenStream(lexer));
    CommonTree tree = (CommonTree)parser.z().getTree();
    DOTTreeGenerator gen = new DOTTreeGenerator();
    StringTemplate st = gen.toDOT(tree);
    System.out.println(st);
  }
}

凯写道：

是b：aa*； c：数据库？ d；语义错误？

不。但是这个问题与您的 z: x | 有关吗？ '<'！是吗？ '>' 规则？抱歉，你说得有点含糊。

凯写道：

我做错了什么？

我不知道。您必须在此处发布一个简短的、独立的示例，就像我发布的那样。抱歉，我不热衷于跟踪外部链接并费力地浏览数百行代码。