// This file is automatically generated by Demeter/Java.

DisplayVisitor {
  (@
    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; }
    DisplayVisitor(java.io.PrintWriter out)     { set_out(out); }
    DisplayVisitor(java.io.PrintStream out)
      { set_out(new java.io.PrintWriter(out, true)); }
  @)
  finish (@ out.flush(); @)


  before BusRoute (@
    out.print(": BusRoute  (");
    indent++;
  @)
  after BusRoute (@
    out.print(" )");
    indent--;
  @)
  before -> BusRoute, name, RouteName (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<name> ");
  @)
  before -> BusRoute, totalLength, RouteLen (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<totalLength> ");
  @)
  before -> BusRoute, busStops, BusStop_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<busStops> ");
  @)
  before -> BusRoute, buses, Bus_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<buses> ");
  @)
  before BusStop (@
    out.print(": BusStop  (");
    indent++;
  @)
  after BusStop (@
    out.print(" )");
    indent--;
  @)
  before -> BusStop, id, StopId (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<id> ");
  @)
  before -> BusStop, location, RouteLoc (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<location> ");
  @)
  before -> BusStop, waitingList, Person_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<waitingList> ");
  @)
  before Bus (@
    out.print(": Bus  (");
    indent++;
  @)
  after Bus (@
    out.print(" )");
    indent--;
  @)
  before -> Bus, id, BusId (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<id> ");
  @)
  before -> Bus, position, RouteLoc (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<position> ");
  @)
  before -> Bus, currentStop, StopId (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<currentStop> ");
  @)
  before -> Bus, capacity, BusCapac (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<capacity> ");
  @)
  before -> Bus, speed, BusSpeed (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<speed> ");
  @)
  before -> Bus, passengers, Person_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<passengers> ");
  @)
  before Person (@
    out.print(": Person  (");
    indent++;
  @)
  after Person (@
    out.print(" )");
    indent--;
  @)
  before -> Person, id, PersonId (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<id> ");
  @)
  before -> Person, destination, StopId (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<destination> ");
  @)
  before RouteName (@
    out.print(": RouteName  (");
    indent++;
  @)
  after RouteName (@
    out.print(" )");
    indent--;
  @)
  before -> RouteName, v, String (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : String");
    out.print(" \"" + source.get_v() + "\" ");
  @)
  before RouteLen (@
    out.print(": RouteLen  (");
    indent++;
  @)
  after RouteLen (@
    out.print(" )");
    indent--;
  @)
  before -> RouteLen, v, Integer (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : Integer");
    out.print(" \"" + source.get_v() + "\"");
  @)
  before RouteLoc (@
    out.print(": RouteLoc  (");
    indent++;
  @)
  after RouteLoc (@
    out.print(" )");
    indent--;
  @)
  before -> RouteLoc, v, Integer (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : Integer");
    out.print(" \"" + source.get_v() + "\"");
  @)
  before BusCapac (@
    out.print(": BusCapac  (");
    indent++;
  @)
  after BusCapac (@
    out.print(" )");
    indent--;
  @)
  before -> BusCapac, v, Integer (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : Integer");
    out.print(" \"" + source.get_v() + "\"");
  @)
  before BusSpeed (@
    out.print(": BusSpeed  (");
    indent++;
  @)
  after BusSpeed (@
    out.print(" )");
    indent--;
  @)
  before -> BusSpeed, v, Integer (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : Integer");
    out.print(" \"" + source.get_v() + "\"");
  @)
  before StopId (@
    out.print(": StopId  (");
    indent++;
  @)
  after StopId (@
    out.print(" )");
    indent--;
  @)
  before -> StopId, v, Ident (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_v() + "\"");
  @)
  before BusId (@
    out.print(": BusId  (");
    indent++;
  @)
  after BusId (@
    out.print(" )");
    indent--;
  @)
  before -> BusId, v, Ident (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_v() + "\"");
  @)
  before PersonId (@
    out.print(": PersonId  (");
    indent++;
  @)
  after PersonId (@
    out.print(" )");
    indent--;
  @)
  before -> PersonId, v, Ident (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_v() + "\"");
  @)
  before Main (@
    out.print(": Main  (");
    indent++;
  @)
  after Main (@
    out.print(" )");
    indent--;
  @)
  before PrintVisitor (@
    out.print(": PrintVisitor  (");
    indent++;
  @)
  after PrintVisitor (@
    out.print(" )");
    indent--;
  @)
  before -> PrintVisitor, indent, int (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  @)
  before -> PrintVisitor, needSpace, boolean (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<needSpace> ");
    out.print(" : boolean \"" + dest + "\"");
  @)
  before CopyVisitor (@
    out.print(": CopyVisitor  (");
    indent++;
  @)
  after CopyVisitor (@
    out.print(" )");
    indent--;
  @)
  before -> CopyVisitor, copy, Object (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<copy> ");
  @)
  before EqualVisitor (@
    out.print(": EqualVisitor  (");
    indent++;
  @)
  after EqualVisitor (@
    out.print(" )");
    indent--;
  @)
  before -> EqualVisitor, is_equal, boolean (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<is_equal> ");
    out.print(" : boolean \"" + dest + "\"");
  @)
  before DisplayVisitor (@
    out.print(": DisplayVisitor  (");
    indent++;
  @)
  after DisplayVisitor (@
    out.print(" )");
    indent--;
  @)
  before -> DisplayVisitor, indent, int (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  @)
  before TraceVisitor (@
    out.print(": TraceVisitor  (");
    indent++;
  @)
  after TraceVisitor (@
    out.print(" )");
    indent--;
  @)
  before -> TraceVisitor, indent, int (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  @)
  before BusStop_List (@
    out.print(": BusStop_List  {");
    indent++;
  @)
  after BusStop_List (@
    out.print(" }");
    indent--;
  @)
  before -> BusStop_List, first, Nonempty_BusStop_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  @)
  before Bus_List (@
    out.print(": Bus_List  {");
    indent++;
  @)
  after Bus_List (@
    out.print(" }");
    indent--;
  @)
  before -> Bus_List, first, Nonempty_Bus_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  @)
  before Person_List (@
    out.print(": Person_List  {");
    indent++;
  @)
  after Person_List (@
    out.print(" }");
    indent--;
  @)
  before -> Person_List, first, Nonempty_Person_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  @)
  before Nonempty_BusStop_List (@
    out.print(": Nonempty_BusStop_List  (");
    indent++;
  @)
  after Nonempty_BusStop_List (@
    out.print(" )");
    indent--;
  @)
  before -> Nonempty_BusStop_List, it, BusStop (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  @)
  before -> Nonempty_BusStop_List, next, Nonempty_BusStop_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  @)
  before Nonempty_Bus_List (@
    out.print(": Nonempty_Bus_List  (");
    indent++;
  @)
  after Nonempty_Bus_List (@
    out.print(" )");
    indent--;
  @)
  before -> Nonempty_Bus_List, it, Bus (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  @)
  before -> Nonempty_Bus_List, next, Nonempty_Bus_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  @)
  before Nonempty_Person_List (@
    out.print(": Nonempty_Person_List  (");
    indent++;
  @)
  after Nonempty_Person_List (@
    out.print(" )");
    indent--;
  @)
  before -> Nonempty_Person_List, it, Person (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  @)
  before -> Nonempty_Person_List, next, Nonempty_Person_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  @)
}