// This file is automatically generated by DemeterJ.

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> ");
  }}
}