// 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 BusRoute (@ out.println("before BusRoute"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after BusRoute (@ out.println("after BusRoute"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusRoute, name, RouteName (@ out.println("before -> BusRoute, name, RouteName "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusRoute, name, RouteName (@ out.println("after -> BusRoute, name, RouteName "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusRoute, totalLength, RouteLen (@ out.println("before -> BusRoute, totalLength, RouteLen "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusRoute, totalLength, RouteLen (@ out.println("after -> BusRoute, totalLength, RouteLen "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusRoute, busStops, BusStop_List (@ out.println("before -> BusRoute, busStops, BusStop_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusRoute, busStops, BusStop_List (@ out.println("after -> BusRoute, busStops, BusStop_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusRoute, buses, Bus_List (@ out.println("before -> BusRoute, buses, Bus_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusRoute, buses, Bus_List (@ out.println("after -> BusRoute, buses, Bus_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before BusStop (@ out.println("before BusStop"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after BusStop (@ out.println("after BusStop"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusStop, id, StopId (@ out.println("before -> BusStop, id, StopId "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusStop, id, StopId (@ out.println("after -> BusStop, id, StopId "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusStop, location, RouteLoc (@ out.println("before -> BusStop, location, RouteLoc "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusStop, location, RouteLoc (@ out.println("after -> BusStop, location, RouteLoc "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusStop, waitingList, Person_List (@ out.println("before -> BusStop, waitingList, Person_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusStop, waitingList, Person_List (@ out.println("after -> BusStop, waitingList, Person_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Bus (@ out.println("before Bus"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Bus (@ out.println("after Bus"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Bus, id, BusId (@ out.println("before -> Bus, id, BusId "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Bus, id, BusId (@ out.println("after -> Bus, id, BusId "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Bus, position, RouteLoc (@ out.println("before -> Bus, position, RouteLoc "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Bus, position, RouteLoc (@ out.println("after -> Bus, position, RouteLoc "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Bus, currentStop, StopId (@ out.println("before -> Bus, currentStop, StopId "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Bus, currentStop, StopId (@ out.println("after -> Bus, currentStop, StopId "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Bus, capacity, BusCapac (@ out.println("before -> Bus, capacity, BusCapac "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Bus, capacity, BusCapac (@ out.println("after -> Bus, capacity, BusCapac "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Bus, speed, BusSpeed (@ out.println("before -> Bus, speed, BusSpeed "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Bus, speed, BusSpeed (@ out.println("after -> Bus, speed, BusSpeed "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Bus, passengers, Person_List (@ out.println("before -> Bus, passengers, Person_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Bus, passengers, Person_List (@ out.println("after -> Bus, passengers, Person_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Person (@ out.println("before Person"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Person (@ out.println("after Person"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Person, id, PersonId (@ out.println("before -> Person, id, PersonId "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Person, id, PersonId (@ out.println("after -> Person, id, PersonId "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Person, destination, StopId (@ out.println("before -> Person, destination, StopId "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Person, destination, StopId (@ out.println("after -> Person, destination, StopId "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before RouteName (@ out.println("before RouteName"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after RouteName (@ out.println("after RouteName"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> RouteName, v, String (@ out.println("before -> RouteName, v, String "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> RouteName, v, String (@ out.println("after -> RouteName, v, String "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before RouteLen (@ out.println("before RouteLen"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after RouteLen (@ out.println("after RouteLen"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> RouteLen, v, Integer (@ out.println("before -> RouteLen, v, Integer "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> RouteLen, v, Integer (@ out.println("after -> RouteLen, v, Integer "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before RouteLoc (@ out.println("before RouteLoc"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after RouteLoc (@ out.println("after RouteLoc"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> RouteLoc, v, Integer (@ out.println("before -> RouteLoc, v, Integer "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> RouteLoc, v, Integer (@ out.println("after -> RouteLoc, v, Integer "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before BusCapac (@ out.println("before BusCapac"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after BusCapac (@ out.println("after BusCapac"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusCapac, v, Integer (@ out.println("before -> BusCapac, v, Integer "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusCapac, v, Integer (@ out.println("after -> BusCapac, v, Integer "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before BusSpeed (@ out.println("before BusSpeed"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after BusSpeed (@ out.println("after BusSpeed"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusSpeed, v, Integer (@ out.println("before -> BusSpeed, v, Integer "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusSpeed, v, Integer (@ out.println("after -> BusSpeed, v, Integer "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before StopId (@ out.println("before StopId"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after StopId (@ out.println("after StopId"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> StopId, v, Ident (@ out.println("before -> StopId, v, Ident "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> StopId, v, Ident (@ out.println("after -> StopId, v, Ident "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before BusId (@ out.println("before BusId"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after BusId (@ out.println("after BusId"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusId, v, Ident (@ out.println("before -> BusId, v, Ident "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusId, v, Ident (@ out.println("after -> BusId, v, Ident "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before PersonId (@ out.println("before PersonId"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after PersonId (@ out.println("after PersonId"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> PersonId, v, Ident (@ out.println("before -> PersonId, v, Ident "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> PersonId, v, Ident (@ out.println("after -> PersonId, v, Ident "); 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 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 BusStop_List (@ out.println("before BusStop_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after BusStop_List (@ out.println("after BusStop_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> BusStop_List, first, Nonempty_BusStop_List (@ out.println("before -> BusStop_List, first, Nonempty_BusStop_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> BusStop_List, first, Nonempty_BusStop_List (@ out.println("after -> BusStop_List, first, Nonempty_BusStop_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Bus_List (@ out.println("before Bus_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Bus_List (@ out.println("after Bus_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Bus_List, first, Nonempty_Bus_List (@ out.println("before -> Bus_List, first, Nonempty_Bus_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Bus_List, first, Nonempty_Bus_List (@ out.println("after -> Bus_List, first, Nonempty_Bus_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Person_List (@ out.println("before Person_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Person_List (@ out.println("after Person_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Person_List, first, Nonempty_Person_List (@ out.println("before -> Person_List, first, Nonempty_Person_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Person_List, first, Nonempty_Person_List (@ out.println("after -> Person_List, first, Nonempty_Person_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Nonempty_BusStop_List (@ out.println("before Nonempty_BusStop_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Nonempty_BusStop_List (@ out.println("after Nonempty_BusStop_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Nonempty_BusStop_List, it, BusStop (@ out.println("before -> Nonempty_BusStop_List, it, BusStop "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Nonempty_BusStop_List, it, BusStop (@ out.println("after -> Nonempty_BusStop_List, it, BusStop "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Nonempty_BusStop_List, next, Nonempty_BusStop_List (@ out.println("before -> Nonempty_BusStop_List, next, Nonempty_BusStop_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Nonempty_BusStop_List, next, Nonempty_BusStop_List (@ out.println("after -> Nonempty_BusStop_List, next, Nonempty_BusStop_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Nonempty_Bus_List (@ out.println("before Nonempty_Bus_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Nonempty_Bus_List (@ out.println("after Nonempty_Bus_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Nonempty_Bus_List, it, Bus (@ out.println("before -> Nonempty_Bus_List, it, Bus "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Nonempty_Bus_List, it, Bus (@ out.println("after -> Nonempty_Bus_List, it, Bus "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Nonempty_Bus_List, next, Nonempty_Bus_List (@ out.println("before -> Nonempty_Bus_List, next, Nonempty_Bus_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Nonempty_Bus_List, next, Nonempty_Bus_List (@ out.println("after -> Nonempty_Bus_List, next, Nonempty_Bus_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Nonempty_Person_List (@ out.println("before Nonempty_Person_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Nonempty_Person_List (@ out.println("after Nonempty_Person_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Nonempty_Person_List, it, Person (@ out.println("before -> Nonempty_Person_List, it, Person "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Nonempty_Person_List, it, Person (@ out.println("after -> Nonempty_Person_List, it, Person "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Nonempty_Person_List, next, Nonempty_Person_List (@ out.println("before -> Nonempty_Person_List, next, Nonempty_Person_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Nonempty_Person_List, next, Nonempty_Person_List (@ out.println("after -> Nonempty_Person_List, next, Nonempty_Person_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) }