// 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(); @)

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

  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 -> 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;
  @)

}