// This file is automatically generated by Demeter/Java. TraceVisitor { (@ 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; } TraceVisitor(java.io.PrintWriter out) { set_out(out); } TraceVisitor(java.io.PrintStream out) { set_out(new java.io.PrintWriter(out, true)); } @) finish (@ out.flush(); @) before WebScript (@ out.println("before WebScript"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after WebScript (@ out.println("after WebScript"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> WebScript, service_list, Service_List (@ out.println("before -> WebScript, service_list, Service_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> WebScript, service_list, Service_List (@ out.println("after -> WebScript, service_list, Service_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Service (@ out.println("before Service"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Service (@ out.println("after Service"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Url (@ out.println("before Url"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Url (@ out.println("after Url"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Url, url, String (@ out.println("before -> Url, url, String "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Url, url, String (@ out.println("after -> Url, url, String "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before TimeOut (@ out.println("before TimeOut"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after TimeOut (@ out.println("after TimeOut"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> TimeOut, timeout, float (@ out.println("before -> TimeOut, timeout, float "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> TimeOut, timeout, float (@ out.println("after -> TimeOut, timeout, float "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> TimeOut, service, Service (@ out.println("before -> TimeOut, service, Service "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> TimeOut, service, Service (@ out.println("after -> TimeOut, service, Service "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Repeat (@ out.println("before Repeat"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Repeat (@ out.println("after Repeat"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Repeat, service, Service (@ out.println("before -> Repeat, service, Service "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Repeat, service, Service (@ out.println("after -> Repeat, service, Service "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Alternative (@ out.println("before Alternative"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Alternative (@ out.println("after Alternative"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Alternative, main, Service (@ out.println("before -> Alternative, main, Service "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Alternative, main, Service (@ out.println("after -> Alternative, main, Service "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Alternative, alternate, Service (@ out.println("before -> Alternative, alternate, Service "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Alternative, alternate, Service (@ out.println("after -> Alternative, alternate, Service "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Concurrent (@ out.println("before Concurrent"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Concurrent (@ out.println("after Concurrent"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Concurrent, service1, Service (@ out.println("before -> Concurrent, service1, Service "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Concurrent, service1, Service (@ out.println("after -> Concurrent, service1, Service "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Concurrent, service2, Service (@ out.println("before -> Concurrent, service2, Service "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Concurrent, service2, Service (@ out.println("after -> Concurrent, service2, Service "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Main (@ out.println("before Main"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Main (@ out.println("after Main"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before PrintVisitor (@ out.println("before PrintVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after PrintVisitor (@ out.println("after PrintVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> PrintVisitor, indent, int (@ out.println("before -> PrintVisitor, indent, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> PrintVisitor, indent, int (@ out.println("after -> PrintVisitor, indent, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> PrintVisitor, needSpace, boolean (@ out.println("before -> PrintVisitor, needSpace, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> PrintVisitor, needSpace, boolean (@ out.println("after -> PrintVisitor, needSpace, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before CopyVisitor (@ out.println("before CopyVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after CopyVisitor (@ out.println("after CopyVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> CopyVisitor, copy, Object (@ out.println("before -> CopyVisitor, copy, Object "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> CopyVisitor, copy, Object (@ out.println("after -> CopyVisitor, copy, Object "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before SubgraphVisitor (@ out.println("before SubgraphVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after SubgraphVisitor (@ out.println("after SubgraphVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> SubgraphVisitor, is_equal, boolean (@ out.println("before -> SubgraphVisitor, is_equal, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> SubgraphVisitor, is_equal, boolean (@ out.println("after -> SubgraphVisitor, is_equal, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before EqualVisitor (@ out.println("before EqualVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after EqualVisitor (@ out.println("after EqualVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> EqualVisitor, is_equal, boolean (@ out.println("before -> EqualVisitor, is_equal, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> EqualVisitor, is_equal, boolean (@ out.println("after -> EqualVisitor, is_equal, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before DisplayVisitor (@ out.println("before DisplayVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after DisplayVisitor (@ out.println("after DisplayVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> DisplayVisitor, indent, int (@ out.println("before -> DisplayVisitor, indent, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> DisplayVisitor, indent, int (@ out.println("after -> DisplayVisitor, indent, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before TraceVisitor (@ out.println("before TraceVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after TraceVisitor (@ out.println("after TraceVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> TraceVisitor, indent, int (@ out.println("before -> TraceVisitor, indent, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> TraceVisitor, indent, int (@ out.println("after -> TraceVisitor, indent, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before UniversalVisitor (@ out.println("before UniversalVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after UniversalVisitor (@ out.println("after UniversalVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Service_List (@ out.println("before Service_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Service_List (@ out.println("after Service_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Service_List, first, Nonempty_Service_List (@ out.println("before -> Service_List, first, Nonempty_Service_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Service_List, first, Nonempty_Service_List (@ out.println("after -> Service_List, first, Nonempty_Service_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Nonempty_Service_List (@ out.println("before Nonempty_Service_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Nonempty_Service_List (@ out.println("after Nonempty_Service_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Nonempty_Service_List, it, Service (@ out.println("before -> Nonempty_Service_List, it, Service "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Nonempty_Service_List, it, Service (@ out.println("after -> Nonempty_Service_List, it, Service "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Nonempty_Service_List, next, Nonempty_Service_List (@ out.println("before -> Nonempty_Service_List, next, Nonempty_Service_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Nonempty_Service_List, next, Nonempty_Service_List (@ out.println("after -> Nonempty_Service_List, next, Nonempty_Service_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) }