core:

import EDU.neu.ccs.demeter.*;
add: class DisplayVisitor extends UniversalVisitor {
  protected int indent;
  public int get_indent() (@ return indent; @)
  public void set_indent(int new_indent)
    (@ indent = new_indent; @)
  public constructor DisplayVisitor() (@ super(); @)
  public constructor DisplayVisitor(int indent) (@
    super();
    set_indent(indent);
  @)
(@
    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)); }
  @)
  public void finish() (@ out.flush(); @)
  public void before(ShoeOrder host) (@
    out.print(": ShoeOrder  (");
    indent++;
  @)
  public void after(ShoeOrder host) (@
    out.print(" )");
    indent--;
  @)
  public void before_id(ShoeOrder source, String dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<id> ");
    out.print(" : String");
    out.print(" \"" + source.get_id() + "\" ");
  @)
  public void before_style(ShoeOrder source, String dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<style> ");
    out.print(" : String");
    out.print(" \"" + source.get_style() + "\" ");
  @)
  public void before_color(ShoeOrder source, Ident dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<color> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_color() + "\"");
  @)
  public void before_size(ShoeOrder source, String dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<size> ");
    out.print(" : String");
    out.print(" \"" + source.get_size() + "\" ");
  @)
  public void before_width(ShoeOrder source, Width dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<width> ");
  @)
  public void before_stores(ShoeOrder source, Store_List dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<stores> ");
  @)
  public void before(Width host) (@
    out.print(": Width  (");
    indent++;
  @)
  public void after(Width host) (@
    out.print(" )");
    indent--;
  @)
  public void before_w(Width source, W dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<w> ");
  @)
  public void before(AA host) (@
    out.print(": AA  (");
    indent++;
  @)
  public void after(AA host) (@
    out.print(" )");
    indent--;
  @)
  public void before(EE host) (@
    out.print(": EE  (");
    indent++;
  @)
  public void after(EE host) (@
    out.print(" )");
    indent--;
  @)
  public void before(Store host) (@
    out.print(": Store  (");
    indent++;
  @)
  public void after(Store host) (@
    out.print(" )");
    indent--;
  @)
  public void before_name(Store source, Ident dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<name> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_name() + "\"");
  @)
  public void before_howManySuchShoes(Store source, Quantity dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<howManySuchShoes> ");
  @)
  public void before(Quantity host) (@
    out.print(": Quantity  (");
    indent++;
  @)
  public void after(Quantity host) (@
    out.print(" )");
    indent--;
  @)
  public void before_number(Quantity source, Number dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<number> ");
    out.print(" : Number");
    out.print(" \"" + source.get_number() + "\"");
  @)
  public void before(Main host) (@
    out.print(": Main  (");
    indent++;
  @)
  public void after(Main host) (@
    out.print(" )");
    indent--;
  @)
  public void before(SummingVisitor host) (@
    out.print(": SummingVisitor  (");
    indent++;
  @)
  public void after(SummingVisitor host) (@
    out.print(" )");
    indent--;
  @)
  public void before_total(SummingVisitor source, int dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<total> ");
    out.print(" : int \"" + dest + "\"");
  @)
  public void before(PrintVisitor host) (@
    out.print(": PrintVisitor  (");
    indent++;
  @)
  public void after(PrintVisitor host) (@
    out.print(" )");
    indent--;
  @)
  public void before_indent(PrintVisitor source, int dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  @)
  public void before_needSpace(PrintVisitor source, boolean dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<needSpace> ");
    out.print(" : boolean \"" + dest + "\"");
  @)
  public void before(CopyVisitor host) (@
    out.print(": CopyVisitor  (");
    indent++;
  @)
  public void after(CopyVisitor host) (@
    out.print(" )");
    indent--;
  @)
  public void before_copy(CopyVisitor source, Object dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<copy> ");
  @)
  public void before(SubgraphVisitor host) (@
    out.print(": SubgraphVisitor  (");
    indent++;
  @)
  public void after(SubgraphVisitor host) (@
    out.print(" )");
    indent--;
  @)
  public void before_is_equal(SubgraphVisitor source, boolean dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<is_equal> ");
    out.print(" : boolean \"" + dest + "\"");
  @)
  public void before(EqualVisitor host) (@
    out.print(": EqualVisitor  (");
    indent++;
  @)
  public void after(EqualVisitor host) (@
    out.print(" )");
    indent--;
  @)
  public void before_is_equal(EqualVisitor source, boolean dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<is_equal> ");
    out.print(" : boolean \"" + dest + "\"");
  @)
  public void before(DisplayVisitor host) (@
    out.print(": DisplayVisitor  (");
    indent++;
  @)
  public void after(DisplayVisitor host) (@
    out.print(" )");
    indent--;
  @)
  public void before_indent(DisplayVisitor source, int dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  @)
  public void before(TraceVisitor host) (@
    out.print(": TraceVisitor  (");
    indent++;
  @)
  public void after(TraceVisitor host) (@
    out.print(" )");
    indent--;
  @)
  public void before_indent(TraceVisitor source, int dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  @)
  public void before(Store_List host) (@
    out.print(": Store_List  {");
    indent++;
  @)
  public void after(Store_List host) (@
    out.print(" }");
    indent--;
  @)
  public void before_first(Store_List source, Nonempty_Store_List dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  @)
  public void before(Nonempty_Store_List host) (@
    out.print(": Nonempty_Store_List  (");
    indent++;
  @)
  public void after(Nonempty_Store_List host) (@
    out.print(" )");
    indent--;
  @)
  public void before_it(Nonempty_Store_List source, Store dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  @)
  public void before_next(Nonempty_Store_List source, Nonempty_Store_List dest) (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  @)
(@  void universal_trv0_bef(UniversalVisitor _v_) {
    super.universal_trv0_bef(_v_);
  }
@)
(@  void universal_trv0_aft(UniversalVisitor _v_) {
    super.universal_trv0_aft(_v_);
  }
@)
(@  void universal_trv0(UniversalVisitor _v_) {
    universal_trv0_bef(_v_);
    super.universal_trv0(_v_);
    universal_trv0_aft(_v_);
  }
@)
}