// This file is automatically generated by DemeterJ. DisplayVisitor { {{ protected java.io.PrintWriter out = new java.io.PrintWriter(System.out, true); java.io.PrintWriter get_out() { return out; } void set_out(java.io.PrintWriter new_out) { out = new_out; } DisplayVisitor(java.io.PrintWriter out) { set_out(out); } DisplayVisitor(java.io.PrintStream out) { set_out(new java.io.PrintWriter(out, true)); } }} finish {{ out.flush(); }} before Main {{ out.print(": Main ("); indent++; }} after Main {{ out.print(" )"); indent--; }} before -> Main, s, String {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_s() + "\" "); }} before Graph {{ out.print(": Graph ("); indent++; }} after Graph {{ out.print(" )"); indent--; }} before -> Graph, adjacencies, AdjacencyList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Adjacency {{ out.print(": Adjacency ("); indent++; }} after Adjacency {{ out.print(" )"); indent--; }} before -> Adjacency, node, Node {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Adjacency, neighbors, NodeList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Node {{ out.print(": Node ("); indent++; }} after Node {{ out.print(" )"); indent--; }} before -> Node, v, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before AdjacencyCons {{ out.print(": AdjacencyCons ("); indent++; }} after AdjacencyCons {{ out.print(" )"); indent--; }} before -> AdjacencyCons, first, Adjacency {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> AdjacencyCons, rest, AdjacencyList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before AdjacencyEmpty {{ out.print(": AdjacencyEmpty ("); indent++; }} after AdjacencyEmpty {{ out.print(" )"); indent--; }} before NodeCons {{ out.print(": NodeCons ("); indent++; }} after NodeCons {{ out.print(" )"); indent--; }} before -> NodeCons, first, Node {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> NodeCons, rest, NodeList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before NodeEmpty {{ out.print(": NodeEmpty ("); indent++; }} after NodeEmpty {{ out.print(" )"); indent--; }} before Down {{ out.print(": Down ("); indent++; }} after Down {{ out.print(" )"); indent--; }} before -> Down, v, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before PrintVisitor {{ out.print(": PrintVisitor ("); indent++; }} after PrintVisitor {{ out.print(" )"); indent--; }} before -> PrintVisitor, indent, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before -> PrintVisitor, needSpace, boolean {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : boolean \"" + dest + "\""); }} before CopyVisitor {{ out.print(": CopyVisitor ("); indent++; }} after CopyVisitor {{ out.print(" )"); indent--; }} before -> CopyVisitor, copy, Object {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before SubgraphVisitor {{ out.print(": SubgraphVisitor ("); indent++; }} after SubgraphVisitor {{ out.print(" )"); indent--; }} before -> SubgraphVisitor, is_equal, boolean {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : boolean \"" + dest + "\""); }} before EqualVisitor {{ out.print(": EqualVisitor ("); indent++; }} after EqualVisitor {{ out.print(" )"); indent--; }} before -> EqualVisitor, is_equal, boolean {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : boolean \"" + dest + "\""); }} before DisplayVisitor {{ out.print(": DisplayVisitor ("); indent++; }} after DisplayVisitor {{ out.print(" )"); indent--; }} before -> DisplayVisitor, indent, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before TraceVisitor {{ out.print(": TraceVisitor ("); indent++; }} after TraceVisitor {{ out.print(" )"); indent--; }} before -> TraceVisitor, indent, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} }