// 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; }} before -> Main, s, String {{ space(); out.print("\"" + source.get_s() + "\""); needSpace = true; }} before -> BusRoute, name, Ident {{ space(); out.print(source.get_name()); needSpace = true; }} before -> BusRoute, buses, Bus_List {{ space(); out.print("buses"); needSpace = true; }} before -> BusRoute, towns, Town_List {{ space(); out.print("towns"); needSpace = true; }} before -> Bus, name, Ident {{ space(); out.print("bus"); needSpace = true; space(); out.print(source.get_name()); needSpace = true; }} before Diesel {{ space(); out.print("diesel"); needSpace = true; }} before Gas {{ space(); out.print("gas"); needSpace = true; }} before -> Town, name, Ident {{ space(); out.print(source.get_name()); needSpace = true; }} before -> Town, busStops, BusStop_List {{ space(); out.print("busStops"); needSpace = true; }} before -> Person, name, Ident {{ space(); out.print(source.get_name()); needSpace = true; }} before -> BusStop, name, Ident {{ space(); out.print(source.get_name()); 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; }} before Bus_List {{ out.print("("); needSpace = false; }} after Bus_List {{ out.print(")"); needSpace = false; }} before Town_List {{ out.print("("); needSpace = false; }} after Town_List {{ out.print(")"); needSpace = false; }} before Person_List {{ out.print("("); needSpace = false; }} after Person_List {{ out.print(")"); needSpace = false; }} before BusStop_List {{ out.print("("); needSpace = false; }} after BusStop_List {{ out.print(")"); needSpace = false; }} }