ANTLR 树解析器语法重写规则 *

Question

我有一个树语法，部分语法如下所示

transitions
    :'transitions' '=' INT ('(' INT ',' INT ')') + ';' -> ^(TRANSITIONS INT INT INT*)
    ;

这里是树解析器语法的相应部分，

transitions
    :^(TRANSITIONS INT INT INT*)
    {System.out.println("");}
    ;

我使用了 + rewrite 规则，这基本上是 repitition。在上面的语法中，用户输入最少 3 个整数值，比如说 一种可能的输入，

  transitions 1 (5,0)

第二个可能的输入

transitions 2 (5,0) (5,1)

第三种可能的输入

transitions 3 (5,0) (5,1) (5,2)

等等。
第一个整数决定了有多少对整数。问题是如何在解析器语法中访问这些整数输入，以及如何在上面的 println 语句中打印它们？

我写的完整语法请参考我的问题ANTLR java test file can't create object of tree grammar。

Answer 1

我建议您将数字“对”保留在单独的规则中：

解析器语法

transitions
 : 'transitions' '=' INT pair+ ';' -> ^(TRANSITIONS INT pair+)
 ;

pair
 : '(' INT ',' INT ')' -> ^(PAIR INT INT)
 ;

树语法

transitions
 : ^(TRANSITIONS INT pair+) {System.out.println("transitions.INT=" + $INT.text);}
 ;

pair
 : ^(PAIR a=INT b=INT) {System.out.println("pair=" + $a.text + ", " + $b.text);}
 ;

编辑

快速演示：

grammar T;

options {
  output=AST;
  ASTLabelType=CommonTree;
}

tokens {
  TRANSITIONS;
  PAIR;
}

parse
 : transitions EOF!
   {
     CommonTree root = $transitions.tree;

     int count = root.getChildCount();

     Tree child1 = root.getChild(0);
     Tree child2 = root.getChild(1);
     Tree child3 = root.getChild(2);
     Tree child4 = root.getChild(3);

     System.out.println("root=" + root.getToken().getText() + " has " + count + " child nodes:");
     System.out.println(" - child1=" + child1.toStringTree());
     System.out.println(" - child2=" + child2.toStringTree());
     System.out.println(" - child3=" + child3.toStringTree());
     System.out.println(" - child4=" + child3.toStringTree());

     String secondValueFromLastPair = child4.getChild(1).getText();
     System.out.println("\nsecondValueFromLastPair=" + secondValueFromLastPair);
   }
 ;

transitions
 : 'transitions' '=' INT pair+ ';' -> ^(TRANSITIONS INT pair+)
 ;

pair
 : '(' INT ',' INT ')' -> ^(PAIR INT INT)
 ;

INT   : '0'..'9'+;
SPACE : ' ' {skip();};

如果您现在解析输入 "transitions = 3(5,0) (5,1) (5,2);"，您会看到控制台打印出以下内容：

root=TRANSITIONS 有 4 个子节点：
 - 孩子1=3
 - child2=(对 5 0)
 - child3=(对 5 1)
 - child4=(对 5 1)

secondValueFromLastPair=2