// 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 ShoeOrder (@
    out.println("before ShoeOrder");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after ShoeOrder (@
    out.println("after ShoeOrder");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> ShoeOrder, id, String (@
    out.println("before -> ShoeOrder, id, String ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> ShoeOrder, id, String (@
    out.println("after -> ShoeOrder, id, String ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> ShoeOrder, style, String (@
    out.println("before -> ShoeOrder, style, String ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> ShoeOrder, style, String (@
    out.println("after -> ShoeOrder, style, String ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> ShoeOrder, color, Ident (@
    out.println("before -> ShoeOrder, color, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> ShoeOrder, color, Ident (@
    out.println("after -> ShoeOrder, color, Ident ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> ShoeOrder, size, String (@
    out.println("before -> ShoeOrder, size, String ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> ShoeOrder, size, String (@
    out.println("after -> ShoeOrder, size, String ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> ShoeOrder, width, Width (@
    out.println("before -> ShoeOrder, width, Width ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> ShoeOrder, width, Width (@
    out.println("after -> ShoeOrder, width, Width ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> ShoeOrder, stores, Store_List (@
    out.println("before -> ShoeOrder, stores, Store_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> ShoeOrder, stores, Store_List (@
    out.println("after -> ShoeOrder, stores, Store_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before Width (@
    out.println("before Width");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after Width (@
    out.println("after Width");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> Width, w, W (@
    out.println("before -> Width, w, W ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> Width, w, W (@
    out.println("after -> Width, w, W ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before W (@
    out.println("before W");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after W (@
    out.println("after W");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before AA (@
    out.println("before AA");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after AA (@
    out.println("after AA");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before EE (@
    out.println("before EE");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after EE (@
    out.println("after EE");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before Store (@
    out.println("before Store");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after Store (@
    out.println("after Store");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> Store, name, Ident (@
    out.println("before -> Store, name, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> Store, name, Ident (@
    out.println("after -> Store, name, Ident ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> Store, howManySuchShoes, Quantity (@
    out.println("before -> Store, howManySuchShoes, Quantity ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> Store, howManySuchShoes, Quantity (@
    out.println("after -> Store, howManySuchShoes, Quantity ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before Quantity (@
    out.println("before Quantity");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after Quantity (@
    out.println("after Quantity");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> Quantity, number, Number (@
    out.println("before -> Quantity, number, Number ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> Quantity, number, Number (@
    out.println("after -> Quantity, number, Number ");
    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 SummingVisitor (@
    out.println("before SummingVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after SummingVisitor (@
    out.println("after SummingVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> SummingVisitor, total, int (@
    out.println("before -> SummingVisitor, total, int ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> SummingVisitor, total, int (@
    out.println("after -> SummingVisitor, total, int ");
    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 Store_List (@
    out.println("before Store_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after Store_List (@
    out.println("after Store_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> Store_List, first, Nonempty_Store_List (@
    out.println("before -> Store_List, first, Nonempty_Store_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> Store_List, first, Nonempty_Store_List (@
    out.println("after -> Store_List, first, Nonempty_Store_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before Nonempty_Store_List (@
    out.println("before Nonempty_Store_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after Nonempty_Store_List (@
    out.println("after Nonempty_Store_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> Nonempty_Store_List, it, Store (@
    out.println("before -> Nonempty_Store_List, it, Store ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> Nonempty_Store_List, it, Store (@
    out.println("after -> Nonempty_Store_List, it, Store ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  before -> Nonempty_Store_List, next, Nonempty_Store_List (@
    out.println("before -> Nonempty_Store_List, next, Nonempty_Store_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
  after -> Nonempty_Store_List, next, Nonempty_Store_List (@
    out.println("after -> Nonempty_Store_List, next, Nonempty_Store_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  @)
}