public void dump(PrintWriter writer, int indent) { int depth = getPathToRoot().size(); StringBuilder sb = new StringBuilder(); for (int i = 0; i < depth + indent; i++) { sb.append("\t"); } writer.print(sb.toString()); String ren = toStringRenderer.render(this); ren = ren.replace("\n", "\n" + sb); writer.println(ren); for (Tree<N> child : getChildren()) { Object edge = getEdge(child); if (edge != null) { writer.print(sb.toString()); writer.print("--- "); writer.print(edge); writer.print(" ---\n\n"); } child.dump(writer, indent); } writer.flush(); }
public void dump(PrintWriter writer, int indent) { int depth = getPathToRoot().size(); StringBuilder sb = new StringBuilder(); for (int i = 0; i < depth + indent; i++) { sb.append("\t"); } writer.print(sb.toString()); String ren = toStringRenderer.render(this); ren = ren.replace("\n", "\n" + sb); writer.println(ren); for (Tree<N> child : getChildren()) { Object edge = getEdge(child); if (edge != null) { writer.print(sb.toString()); writer.print("--- "); writer.print(edge); writer.print(" ---\n\n"); } child.dump(writer, indent); } writer.flush(); }