// 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 ShoeOrder (@
    out.print(": ShoeOrder  (");
    indent++;
  @)
  after ShoeOrder (@
    out.print(" )");
    indent--;
  @)
  before -> ShoeOrder, id, String (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<id> ");
    out.print(" : String");
    out.print(" \"" + source.get_id() + "\" ");
  @)
  before -> ShoeOrder, style, String (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<style> ");
    out.print(" : String");
    out.print(" \"" + source.get_style() + "\" ");
  @)
  before -> ShoeOrder, color, Ident (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<color> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_color() + "\"");
  @)
  before -> ShoeOrder, size, String (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<size> ");
    out.print(" : String");
    out.print(" \"" + source.get_size() + "\" ");
  @)
  before -> ShoeOrder, width, Width (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<width> ");
  @)
  before -> ShoeOrder, stores, Store_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<stores> ");
  @)
  before Width (@
    out.print(": Width  (");
    indent++;
  @)
  after Width (@
    out.print(" )");
    indent--;
  @)
  before -> Width, w, W (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<w> ");
  @)
  before AA (@
    out.print(": AA  (");
    indent++;
  @)
  after AA (@
    out.print(" )");
    indent--;
  @)
  before EE (@
    out.print(": EE  (");
    indent++;
  @)
  after EE (@
    out.print(" )");
    indent--;
  @)
  before Store (@
    out.print(": Store  (");
    indent++;
  @)
  after Store (@
    out.print(" )");
    indent--;
  @)
  before -> Store, name, Ident (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<name> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_name() + "\"");
  @)
  before -> Store, howManySuchShoes, Quantity (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<howManySuchShoes> ");
  @)
  before Quantity (@
    out.print(": Quantity  (");
    indent++;
  @)
  after Quantity (@
    out.print(" )");
    indent--;
  @)
  before -> Quantity, number, Number (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<number> ");
    out.print(" : Number");
    out.print(" \"" + source.get_number() + "\"");
  @)
  before Main (@
    out.print(": Main  (");
    indent++;
  @)
  after Main (@
    out.print(" )");
    indent--;
  @)
  before SummingVisitor (@
    out.print(": SummingVisitor  (");
    indent++;
  @)
  after SummingVisitor (@
    out.print(" )");
    indent--;
  @)
  before -> SummingVisitor, total, int (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<total> ");
    out.print(" : int \"" + dest + "\"");
  @)
  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 SubgraphVisitor (@
    out.print(": SubgraphVisitor  (");
    indent++;
  @)
  after SubgraphVisitor (@
    out.print(" )");
    indent--;
  @)
  before -> SubgraphVisitor, is_equal, boolean (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<is_equal> ");
    out.print(" : boolean \"" + dest + "\"");
  @)
  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 Store_List (@
    out.print(": Store_List  {");
    indent++;
  @)
  after Store_List (@
    out.print(" }");
    indent--;
  @)
  before -> Store_List, first, Nonempty_Store_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  @)
  before Nonempty_Store_List (@
    out.print(": Nonempty_Store_List  (");
    indent++;
  @)
  after Nonempty_Store_List (@
    out.print(" )");
    indent--;
  @)
  before -> Nonempty_Store_List, it, Store (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  @)
  before -> Nonempty_Store_List, next, Nonempty_Store_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  @)
}