// This file is automatically generated by Demeter/Java. 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 -> Url, url, String (@ space(); out.print("url("); needSpace = false; space(); out.print("\"" + source.get_url() + "\""); needSpace = true; @) after -> Url, url, String (@ out.print(")"); needSpace = false; @) before -> TimeOut, timeout, float (@ space(); out.print("timeout("); needSpace = false; space(); out.print(source.get_timeout()); needSpace = true; @) before -> TimeOut, service, Service (@ out.print(","); needSpace = false; @) after -> TimeOut, service, Service (@ out.print(")"); needSpace = false; @) before -> Repeat, service, Service (@ space(); out.print("repeat("); needSpace = false; @) after -> Repeat, service, Service (@ out.print(")"); needSpace = false; @) before -> Alternative, main, Service (@ space(); out.print("alternative("); needSpace = false; @) before -> Alternative, alternate, Service (@ out.print("?"); needSpace = false; @) after -> Alternative, alternate, Service (@ out.print(")"); needSpace = false; @) before -> Concurrent, service1, Service (@ space(); out.print("concurrent("); needSpace = false; @) before -> Concurrent, service2, Service (@ out.print("|"); needSpace = false; @) after -> Concurrent, service2, Service (@ out.print(")"); needSpace = false; @) 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; @) }