// This file is automatically generated by DemeterJ. PrintVisitor { {{ 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; } PrintVisitor(java.io.PrintWriter out) { set_out(out); } PrintVisitor(java.io.PrintStream out) { set_out(new java.io.PrintWriter(out, true)); } }} finish {{ out.flush(); }} protected void space() {{ if (needSpace) out.print(" "); needSpace = false; }} after -> Adj, ns, Neighbors {{ out.print("."); needSpace = false; }} before -> Construct, c_ns, Any_vertex_list {{ out.print("="); needSpace = false; }} before -> Alternat, first, Vertex {{ out.print(":"); needSpace = false; }} before -> Alternat, second, Vertex {{ out.print("|"); needSpace = false; }} before -> Syntax_vertex, string, String {{ space(); out.print("\"" + source.get_string() + "\""); needSpace = true; }} before -> Labeled_vertex, label_name, Ident {{ out.print("<"); needSpace = false; space(); out.print(source.get_label_name()); needSpace = true; }} before -> Labeled_vertex, class_name, Vertex {{ out.print(">"); needSpace = false; }} before -> Vertex, name, Ident {{ space(); out.print(source.get_name()); needSpace = true; }} before -> CountingVisitor, total, int {{ space(); out.print(source.get_total()); needSpace = true; }} before -> PrintVisitor, indent, int {{ space(); out.print(source.get_indent()); needSpace = true; }} before -> PrintVisitor, needSpace, boolean {{ space(); out.print(source.get_needSpace()); needSpace = true; }} before -> CopyVisitor, copy, Object {{ space(); out.print(source.get_copy()); needSpace = true; }} before -> SubgraphVisitor, is_equal, boolean {{ space(); out.print(source.get_is_equal()); needSpace = true; }} before -> EqualVisitor, is_equal, boolean {{ space(); out.print(source.get_is_equal()); needSpace = true; }} before -> DisplayVisitor, indent, int {{ space(); out.print(source.get_indent()); needSpace = true; }} before -> TraceVisitor, indent, int {{ space(); out.print(source.get_indent()); needSpace = true; }} }