// 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 -> Basic_Service, address, Address (@ space(); out.print("url"); needSpace = true; out.print("("); needSpace = false; @) after -> Basic_Service, address, Address (@ out.print(")"); needSpace = false; @) before -> Sequential_Execution, first, S (@ space(); out.print("first"); needSpace = true; @) before -> Sequential_Execution, second, S (@ out.print("?"); needSpace = false; space(); out.print("second"); needSpace = true; @) before -> Address, string, String (@ space(); out.print("\"" + source.get_string() + "\""); needSpace = true; @) before -> Repeatition, repeat, S (@ space(); out.print("repeat"); needSpace = true; out.print("("); needSpace = false; @) after -> Repeatition, repeat, S (@ out.print(")"); needSpace = false; @) before -> Time_Limit, time, Time (@ space(); out.print("timeout"); needSpace = true; out.print("("); needSpace = false; @) before -> Time_Limit, on, Block (@ out.print(","); needSpace = false; @) after -> Time_Limit, on, Block (@ out.print(")"); needSpace = false; @) before -> Time, l, long (@ space(); out.print(source.get_l()); needSpace = true; @) before Stall (@ space(); out.print("stall"); needSpace = true; @) before -> Concurrent_Execution, main, S (@ space(); out.print("Main"); needSpace = true; @) before -> Concurrent_Execution, thread, S (@ out.print("|"); needSpace = false; space(); out.print("Thread"); needSpace = true; @) before -> Visitor, date, long (@ space(); out.print(source.get_date()); needSpace = true; @) before -> Visitor, page, StringBuffer (@ space(); out.print(source.get_page()); needSpace = true; @) before -> Visitor, urlConn, URL (@ space(); out.print(source.get_urlConn()); needSpace = true; @) before -> Visitor, stream, InputStream (@ space(); out.print(source.get_stream()); needSpace = true; @) before -> Visitor, next, int (@ space(); out.print(source.get_next()); needSpace = true; @) before -> Visitor, active, boolean (@ space(); out.print(source.get_active()); needSpace = true; @) before -> Visitor, s, Thread (@ space(); out.print(source.get_s()); needSpace = true; @) before -> Visitor, concurrent, boolean (@ space(); out.print(source.get_concurrent()); needSpace = true; @) before -> Visitor, sequentialStack, Stack (@ space(); out.print(source.get_sequentialStack()); needSpace = true; @) before -> Visitor, concurrentStack, Stack (@ space(); out.print(source.get_concurrentStack()); needSpace = true; @) before -> RepeatCheckingVisitor, date, long (@ space(); out.print(source.get_date()); needSpace = true; @) before -> LimitCheckingVisitor, limitFlag, boolean (@ space(); out.print(source.get_limitFlag()); needSpace = true; @) before -> LimitCheckingVisitor, limit, long (@ space(); out.print(source.get_limit()); needSpace = true; @) before -> LimitCheckingVisitor, date, Long (@ space(); out.print(source.get_date()); needSpace = true; @) before -> LimitCheckingVisitor, limitStack, Stack (@ space(); out.print(source.get_limitStack()); needSpace = true; @) before -> TimeCheckingVisitor, flag, int (@ space(); out.print(source.get_flag()); needSpace = true; @) before -> TimeCheckingVisitor, time, long (@ space(); out.print(source.get_time()); needSpace = true; @) before -> TimeCheckingVisitor, pretime, long (@ space(); out.print(source.get_pretime()); needSpace = true; @) before -> TimeCheckingVisitor, condition, boolean (@ space(); out.print(source.get_condition()); 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; @) }