// 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(); @) private void space() (@ if (needSpace) out.print(" "); needSpace = false; @) before -> BusRoute, name, RouteName (@ space(); out.print("BusRoute:"); needSpace = false; @) before -> BusRoute, totalLength, RouteLen (@ space(); out.print("total"); needSpace = true; space(); out.print("route"); needSpace = true; space(); out.print("length"); needSpace = true; out.print(":"); needSpace = false; @) before -> BusRoute, busStops, BusStop_List (@ space(); out.print("consisting"); needSpace = true; space(); out.print("of"); needSpace = true; space(); out.print("bus"); needSpace = true; space(); out.print("stops"); needSpace = true; out.print(":"); needSpace = false; @) before -> BusRoute, buses, Bus_List (@ space(); out.print("with"); needSpace = true; space(); out.print("assigned"); needSpace = true; space(); out.print("busses"); needSpace = true; out.print(":"); needSpace = false; @) before -> BusStop, location, RouteLoc (@ space(); out.print("at:"); needSpace = false; @) before -> BusStop, waitingList, Person_List (@ space(); out.print("with"); needSpace = true; space(); out.print("waiting"); needSpace = true; space(); out.print("list"); needSpace = true; out.print(":"); needSpace = false; @) before -> Bus, position, RouteLoc (@ space(); out.print("at:"); needSpace = false; @) before -> Bus, currentStop, StopId (@ space(); out.print("currently"); needSpace = true; space(); out.print("at"); needSpace = true; space(); out.print("stop"); needSpace = true; out.print(":"); needSpace = false; @) before -> Bus, capacity, BusCapac (@ space(); out.print("capacity:"); needSpace = false; @) before -> Bus, speed, BusSpeed (@ space(); out.print("speed:"); needSpace = false; @) before -> Bus, passengers, Person_List (@ space(); out.print("carrying"); needSpace = true; space(); out.print("passenger(s)"); needSpace = false; out.print(":"); needSpace = false; @) before -> Person, destination, StopId (@ space(); out.print("destination:"); needSpace = false; @) before -> RouteName, v, String (@ space(); out.print("\"" + source.get_v() + "\""); needSpace = true; @) before -> RouteLen, v, Integer (@ space(); out.print(source.get_v()); needSpace = true; @) after -> RouteLen, v, Integer (@ space(); out.print("ft"); needSpace = true; @) before -> RouteLoc, v, Integer (@ space(); out.print(source.get_v()); needSpace = true; @) after -> RouteLoc, v, Integer (@ space(); out.print("ft"); needSpace = true; @) before -> BusCapac, v, Integer (@ space(); out.print(source.get_v()); needSpace = true; @) after -> BusCapac, v, Integer (@ space(); out.print("passengers"); needSpace = true; @) before -> BusSpeed, v, Integer (@ space(); out.print(source.get_v()); needSpace = true; @) after -> BusSpeed, v, Integer (@ space(); out.print("ft/min"); needSpace = true; @) before -> StopId, v, Ident (@ space(); out.print(source.get_v()); needSpace = true; @) before -> BusId, v, Ident (@ space(); out.print(source.get_v()); needSpace = true; @) before -> PersonId, v, Ident (@ space(); out.print(source.get_v()); 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 -> 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; @) before BusStop_List (@ out.print("("); needSpace = false; @) after BusStop_List (@ out.print(")"); needSpace = false; @) before Bus_List (@ out.print("("); needSpace = false; @) after Bus_List (@ out.print(")"); needSpace = false; @) before Person_List (@ out.print("("); needSpace = false; @) after Person_List (@ out.print(")"); needSpace = false; @) }