// This file is automatically generated by Demeter/Java.

PrintVisitor {
  (@
    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)); }
  @)
  finish (@ out.flush(); @)

  protected void space() (@
    if (needSpace) out.print(" ");
    needSpace = false;
  @)

  before -> ShoeOrder, id, String (@
    out.print("<ShoeOrder>");
    needSpace = false;
    space();
    out.print("id=");
    needSpace = false;
    space();
    out.print("\"" + source.get_id() + "\"");
    needSpace = true;
  @)

  before -> ShoeOrder, style, String (@
    space();
    out.print("style=");
    needSpace = false;
    space();
    out.print("\"" + source.get_style() + "\"");
    needSpace = true;
  @)

  before -> ShoeOrder, color, Ident (@
    out.print("<color>");
    needSpace = false;
    space();
    out.print(source.get_color());
    needSpace = true;
  @)

  before -> ShoeOrder, size, String (@
    out.print("</color>");
    needSpace = false;
    out.print("<size>");
    needSpace = false;
    space();
    out.print("\"" + source.get_size() + "\"");
    needSpace = true;
  @)

  before -> ShoeOrder, width, Width (@
    out.print("</size>");
    needSpace = false;
  @)

  before -> ShoeOrder, stores, Store_List (@
    out.print("<stores>");
    needSpace = false;
  @)

  after -> ShoeOrder, stores, Store_List (@
    out.print("</stores>");
    needSpace = false;
  @)

  after ShoeOrder (@
    out.print("</ShoeOrder>");
    needSpace = false;
  @)

  before -> Width, w, W (@
    out.print("<width>");
    needSpace = false;
  @)

  after -> Width, w, W (@
    out.print("</width>");
    needSpace = false;
  @)

  before AA (@
    space();
    out.print("aa");
    needSpace = true;
  @)

  before EE (@
    space();
    out.print("ee");
    needSpace = true;
  @)

  before -> Store, name, Ident (@
    space();
    out.print(source.get_name());
    needSpace = true;
  @)

  before -> Quantity, number, Number (@
    space();
    out.print(source.get_number());
    needSpace = true;
  @)

  before -> SummingVisitor, total, int (@
    space();
    out.print(source.get_total());
    needSpace = true;
  @)

  before -> PrintVisitor, indent, int (@
    space();
    out.print(source.get_indent());
    needSpace = true;
  @)

  before -> PrintVisitor, needSpace, boolean (@
    space();
    out.print(source.get_needSpace());
    needSpace = true;
  @)

  before -> CopyVisitor, copy, Object (@
    space();
    out.print(source.get_copy());
    needSpace = true;
  @)

  before -> SubgraphVisitor, is_equal, boolean (@
    space();
    out.print(source.get_is_equal());
    needSpace = true;
  @)

  before -> EqualVisitor, is_equal, boolean (@
    space();
    out.print(source.get_is_equal());
    needSpace = true;
  @)

  before -> DisplayVisitor, indent, int (@
    space();
    out.print(source.get_indent());
    needSpace = true;
  @)

  before -> TraceVisitor, indent, int (@
    space();
    out.print(source.get_indent());
    needSpace = true;
  @)

}