// 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 S (@ out.println("before S"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after S (@ out.println("after S"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> S, service, Service (@ out.println("before -> S, service, Service "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> S, service, Service (@ out.println("after -> S, service, Service "); 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 Basic_Service (@ out.println("before Basic_Service"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Basic_Service (@ out.println("after Basic_Service"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Basic_Service, address, Address (@ out.println("before -> Basic_Service, address, Address "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Basic_Service, address, Address (@ out.println("after -> Basic_Service, address, Address "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Sequential_Execution (@ out.println("before Sequential_Execution"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Sequential_Execution (@ out.println("after Sequential_Execution"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Sequential_Execution, first, S (@ out.println("before -> Sequential_Execution, first, S "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Sequential_Execution, first, S (@ out.println("after -> Sequential_Execution, first, S "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Sequential_Execution, second, S (@ out.println("before -> Sequential_Execution, second, S "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Sequential_Execution, second, S (@ out.println("after -> Sequential_Execution, second, S "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Address (@ out.println("before Address"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Address (@ out.println("after Address"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Address, string, String (@ out.println("before -> Address, string, String "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Address, string, String (@ out.println("after -> Address, string, String "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Repeatition (@ out.println("before Repeatition"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Repeatition (@ out.println("after Repeatition"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Repeatition, repeat, S (@ out.println("before -> Repeatition, repeat, S "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Repeatition, repeat, S (@ out.println("after -> Repeatition, repeat, S "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Time_Limit (@ out.println("before Time_Limit"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Time_Limit (@ out.println("after Time_Limit"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Time_Limit, time, Time (@ out.println("before -> Time_Limit, time, Time "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Time_Limit, time, Time (@ out.println("after -> Time_Limit, time, Time "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Time_Limit, on, Block (@ out.println("before -> Time_Limit, on, Block "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Time_Limit, on, Block (@ out.println("after -> Time_Limit, on, Block "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Time (@ out.println("before Time"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Time (@ out.println("after Time"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Time, l, long (@ out.println("before -> Time, l, long "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Time, l, long (@ out.println("after -> Time, l, long "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Block (@ out.println("before Block"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Block (@ out.println("after Block"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Stall (@ out.println("before Stall"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Stall (@ out.println("after Stall"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Concurrent_Execution (@ out.println("before Concurrent_Execution"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Concurrent_Execution (@ out.println("after Concurrent_Execution"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Concurrent_Execution, main, S (@ out.println("before -> Concurrent_Execution, main, S "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Concurrent_Execution, main, S (@ out.println("after -> Concurrent_Execution, main, S "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Concurrent_Execution, thread, S (@ out.println("before -> Concurrent_Execution, thread, S "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Concurrent_Execution, thread, S (@ out.println("after -> Concurrent_Execution, thread, S "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Visitor (@ out.println("before Visitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Visitor (@ out.println("after Visitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, rv, RepeatCheckingVisitor (@ out.println("before -> Visitor, rv, RepeatCheckingVisitor "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, rv, RepeatCheckingVisitor (@ out.println("after -> Visitor, rv, RepeatCheckingVisitor "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, lv, LimitCheckingVisitor (@ out.println("before -> Visitor, lv, LimitCheckingVisitor "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, lv, LimitCheckingVisitor (@ out.println("after -> Visitor, lv, LimitCheckingVisitor "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, date, long (@ out.println("before -> Visitor, date, long "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, date, long (@ out.println("after -> Visitor, date, long "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, page, StringBuffer (@ out.println("before -> Visitor, page, StringBuffer "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, page, StringBuffer (@ out.println("after -> Visitor, page, StringBuffer "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, urlConn, URL (@ out.println("before -> Visitor, urlConn, URL "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, urlConn, URL (@ out.println("after -> Visitor, urlConn, URL "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, stream, InputStream (@ out.println("before -> Visitor, stream, InputStream "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, stream, InputStream (@ out.println("after -> Visitor, stream, InputStream "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, next, int (@ out.println("before -> Visitor, next, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, next, int (@ out.println("after -> Visitor, next, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, active, boolean (@ out.println("before -> Visitor, active, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, active, boolean (@ out.println("after -> Visitor, active, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, s, Thread (@ out.println("before -> Visitor, s, Thread "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, s, Thread (@ out.println("after -> Visitor, s, Thread "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, concurrent, boolean (@ out.println("before -> Visitor, concurrent, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, concurrent, boolean (@ out.println("after -> Visitor, concurrent, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, sequentialStack, Stack (@ out.println("before -> Visitor, sequentialStack, Stack "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, sequentialStack, Stack (@ out.println("after -> Visitor, sequentialStack, Stack "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Visitor, concurrentStack, Stack (@ out.println("before -> Visitor, concurrentStack, Stack "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Visitor, concurrentStack, Stack (@ out.println("after -> Visitor, concurrentStack, Stack "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before RepeatCheckingVisitor (@ out.println("before RepeatCheckingVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after RepeatCheckingVisitor (@ out.println("after RepeatCheckingVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> RepeatCheckingVisitor, date, long (@ out.println("before -> RepeatCheckingVisitor, date, long "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> RepeatCheckingVisitor, date, long (@ out.println("after -> RepeatCheckingVisitor, date, long "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> RepeatCheckingVisitor, lv, LimitCheckingVisitor (@ out.println("before -> RepeatCheckingVisitor, lv, LimitCheckingVisitor "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> RepeatCheckingVisitor, lv, LimitCheckingVisitor (@ out.println("after -> RepeatCheckingVisitor, lv, LimitCheckingVisitor "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> RepeatCheckingVisitor, v, Visitor (@ out.println("before -> RepeatCheckingVisitor, v, Visitor "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> RepeatCheckingVisitor, v, Visitor (@ out.println("after -> RepeatCheckingVisitor, v, Visitor "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before LimitCheckingVisitor (@ out.println("before LimitCheckingVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after LimitCheckingVisitor (@ out.println("after LimitCheckingVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> LimitCheckingVisitor, limitFlag, boolean (@ out.println("before -> LimitCheckingVisitor, limitFlag, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> LimitCheckingVisitor, limitFlag, boolean (@ out.println("after -> LimitCheckingVisitor, limitFlag, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> LimitCheckingVisitor, limit, long (@ out.println("before -> LimitCheckingVisitor, limit, long "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> LimitCheckingVisitor, limit, long (@ out.println("after -> LimitCheckingVisitor, limit, long "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> LimitCheckingVisitor, date, Long (@ out.println("before -> LimitCheckingVisitor, date, Long "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> LimitCheckingVisitor, date, Long (@ out.println("after -> LimitCheckingVisitor, date, Long "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> LimitCheckingVisitor, limitStack, Stack (@ out.println("before -> LimitCheckingVisitor, limitStack, Stack "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> LimitCheckingVisitor, limitStack, Stack (@ out.println("after -> LimitCheckingVisitor, limitStack, Stack "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> LimitCheckingVisitor, v, Visitor (@ out.println("before -> LimitCheckingVisitor, v, Visitor "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> LimitCheckingVisitor, v, Visitor (@ out.println("after -> LimitCheckingVisitor, v, Visitor "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before TimeCheckingVisitor (@ out.println("before TimeCheckingVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after TimeCheckingVisitor (@ out.println("after TimeCheckingVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> TimeCheckingVisitor, flag, int (@ out.println("before -> TimeCheckingVisitor, flag, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> TimeCheckingVisitor, flag, int (@ out.println("after -> TimeCheckingVisitor, flag, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> TimeCheckingVisitor, time, long (@ out.println("before -> TimeCheckingVisitor, time, long "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> TimeCheckingVisitor, time, long (@ out.println("after -> TimeCheckingVisitor, time, long "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> TimeCheckingVisitor, pretime, long (@ out.println("before -> TimeCheckingVisitor, pretime, long "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> TimeCheckingVisitor, pretime, long (@ out.println("after -> TimeCheckingVisitor, pretime, long "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> TimeCheckingVisitor, condition, boolean (@ out.println("before -> TimeCheckingVisitor, condition, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> TimeCheckingVisitor, condition, boolean (@ out.println("after -> TimeCheckingVisitor, condition, boolean "); 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(" "); @) }