core:

import EDU.neu.ccs.demeter.*;
add: class PrintVisitor extends UniversalVisitor {
  protected int indent;
  public int get_indent() (@ return indent; @)
  public void set_indent(int new_indent)
    (@ indent = new_indent; @)
  protected boolean needSpace;
  public boolean get_needSpace() (@ return needSpace; @)
  public void set_needSpace(boolean new_needSpace)
    (@ needSpace = new_needSpace; @)
  public constructor PrintVisitor() (@ super(); @)
  public constructor PrintVisitor(int indent, boolean needSpace) (@
    super();
    set_indent(indent);
    set_needSpace(needSpace);
  @)
(@
    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; }
    PrintVisitor(java.io.PrintWriter out)     { set_out(out); }
    PrintVisitor(java.io.PrintStream out)
      { set_out(new java.io.PrintWriter(out, true)); }
  @)
  public void finish() (@ out.flush(); @)
  protected void space() (@
    if (needSpace) out.print(" ");
    needSpace = false;
  @)
  public void before_id(ShoeOrder source, String dest) (@
    out.print("<ShoeOrder>");
    needSpace = false;
    space();
    out.print("id=");
    needSpace = false;
    space();
    out.print("\"" + source.get_id() + "\"");
    needSpace = true;
  @)
  public void before_style(ShoeOrder source, String dest) (@
    space();
    out.print("style=");
    needSpace = false;
    space();
    out.print("\"" + source.get_style() + "\"");
    needSpace = true;
  @)
  public void before_color(ShoeOrder source, Ident dest) (@
    out.print("<color>");
    needSpace = false;
    space();
    out.print(source.get_color());
    needSpace = true;
  @)
  public void before_size(ShoeOrder source, String dest) (@
    out.print("</color>");
    needSpace = false;
    out.print("<size>");
    needSpace = false;
    space();
    out.print("\"" + source.get_size() + "\"");
    needSpace = true;
  @)
  public void before_width(ShoeOrder source, Width dest) (@
    out.print("</size>");
    needSpace = false;
  @)
  public void before_stores(ShoeOrder source, Store_List dest) (@
    out.print("<stores>");
    needSpace = false;
  @)
  public void after_stores(ShoeOrder source, Store_List dest) (@
    out.print("</stores>");
    needSpace = false;
  @)
  public void after(ShoeOrder host) (@
    out.print("</ShoeOrder>");
    needSpace = false;
  @)
  public void before_w(Width source, W dest) (@
    out.print("<width>");
    needSpace = false;
  @)
  public void after_w(Width source, W dest) (@
    out.print("</width>");
    needSpace = false;
  @)
  public void before(AA host) (@
    space();
    out.print("aa");
    needSpace = true;
  @)
  public void before(EE host) (@
    space();
    out.print("ee");
    needSpace = true;
  @)
  public void before_name(Store source, Ident dest) (@
    space();
    out.print(source.get_name());
    needSpace = true;
  @)
  public void before_number(Quantity source, Number dest) (@
    space();
    out.print(source.get_number());
    needSpace = true;
  @)
  public void before_total(SummingVisitor source, int dest) (@
    space();
    out.print(source.get_total());
    needSpace = true;
  @)
  public void before_indent(PrintVisitor source, int dest) (@
    space();
    out.print(source.get_indent());
    needSpace = true;
  @)
  public void before_needSpace(PrintVisitor source, boolean dest) (@
    space();
    out.print(source.get_needSpace());
    needSpace = true;
  @)
  public void before_copy(CopyVisitor source, Object dest) (@
    space();
    out.print(source.get_copy());
    needSpace = true;
  @)
  public void before_is_equal(SubgraphVisitor source, boolean dest) (@
    space();
    out.print(source.get_is_equal());
    needSpace = true;
  @)
  public void before_is_equal(EqualVisitor source, boolean dest) (@
    space();
    out.print(source.get_is_equal());
    needSpace = true;
  @)
  public void before_indent(DisplayVisitor source, int dest) (@
    space();
    out.print(source.get_indent());
    needSpace = true;
  @)
  public void before_indent(TraceVisitor source, int dest) (@
    space();
    out.print(source.get_indent());
    needSpace = true;
  @)
(@  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_);
  }
@)
}