Ejemplo n.º 1
0
  public void printDocTree(String label, DocTree tree) {
    if (tree == null) {
      printNull(label);
    } else {
      indent();
      out.print(label);
      out.println(": " + tree.getClass().getSimpleName() + "," + tree.getKind());

      indent(+1);
      tree.accept(docTreeVisitor, null);
      indent(-1);
    }
  }