@Override public void dump(PrintWriter writer, int indent) { int depth = getPathToRoot().size(); char[] chars = new char[depth + indent]; Arrays.fill(chars, '\t'); String tabs = new String(chars); writer.print(tabs); String ren = toStringRenderer.render(this); ren = ren.replace("\n", "\n" + tabs); writer.println(ren); for (Tree<N> child : getChildren()) { Object edge = getEdge(child); if (edge != null) { writer.print("\t--- "); writer.print(edge); writer.print(" ---\n\n"); } child.dump(writer, indent); } writer.flush(); }
@Override public void dump(PrintWriter writer, int indent) { int depth = getPathToRoot().size(); char[] chars = new char[depth + indent]; Arrays.fill(chars, '\t'); String tabs = new String(chars); writer.print(tabs); String ren = toStringRenderer.render(this); ren = ren.replace("\n", "\n" + tabs); writer.println(ren); for (Tree<N> child : getChildren()) { Object edge = getEdge(child); if (edge != null) { writer.print("\t--- "); writer.print(edge); writer.print(" ---\n\n"); } child.dump(writer, indent); } writer.flush(); }
@Override public void dump(PrintWriter writer, int indent) { int depth = getPathToRoot().size(); char[] chars = new char[depth + indent]; Arrays.fill(chars, '\t'); String tabs = new String(chars); writer.print(tabs); String ren = toStringRenderer.render(this); ren = ren.replace("\n", "\n" + tabs); writer.println(ren); for (Tree<N> child : getChildren()) { Object edge = getEdge(child); if (edge != null) { writer.print("\t--- "); writer.print(edge); writer.print(" ---\n\n"); } child.dump(writer, indent); } writer.flush(); }
@Override public void dump(PrintWriter writer, int indent) { int depth = getPathToRoot().size(); char[] chars = new char[depth + indent]; Arrays.fill(chars, '\t'); String tabs = new String(chars); writer.print(tabs); String ren = toStringRenderer.render(this); ren = ren.replace("\n", "\n" + tabs); writer.println(ren); for (Tree<N> child : getChildren()) { Object edge = getEdge(child); if (edge != null) { writer.print("\t--- "); writer.print(edge); writer.print(" ---\n\n"); } child.dump(writer, indent); } writer.flush(); }