// 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 Main {{
    out.print(": Main  (");
    indent++;
  }}
  after Main {{
    out.print(" )");
    indent--;
  }}
  before -> Main, s, String {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<s> ");
    out.print(" : String");
    out.print(" \"" + source.get_s() + "\" ");
  }}
  before NodeInt {{
    out.print(": NodeInt  (");
    indent++;
  }}
  after NodeInt {{
    out.print(" )");
    indent--;
  }}
  before -> NodeInt, data, Integer {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<data> ");
    out.print(" : Integer");
    out.print(" \"" + source.get_data() + "\"");
  }}
  before -> NodeInt, left, BSTInt {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<left> ");
  }}
  before -> NodeInt, right, BSTInt {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<right> ");
  }}
  before EmptyInt {{
    out.print(": EmptyInt  (");
    indent++;
  }}
  after EmptyInt {{
    out.print(" )");
    indent--;
  }}
  before NodeInt1 {{
    out.print(": NodeInt1  (");
    indent++;
  }}
  after NodeInt1 {{
    out.print(" )");
    indent--;
  }}
  before -> NodeInt1, data, Integer {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<data> ");
    out.print(" : Integer");
    out.print(" \"" + source.get_data() + "\"");
  }}
  before -> NodeInt1, left, BSTInt2 {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<left> ");
  }}
  before -> NodeInt1, right, BSTInt2 {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<right> ");
  }}
  before EmptyInt1 {{
    out.print(": EmptyInt1  (");
    indent++;
  }}
  after EmptyInt1 {{
    out.print(" )");
    indent--;
  }}
  before NodeInt2 {{
    out.print(": NodeInt2  (");
    indent++;
  }}
  after NodeInt2 {{
    out.print(" )");
    indent--;
  }}
  before -> NodeInt2, data, Integer {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<data> ");
    out.print(" : Integer");
    out.print(" \"" + source.get_data() + "\"");
  }}
  before -> NodeInt2, left, BSTInt3 {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<left> ");
  }}
  before -> NodeInt2, right, BSTInt4 {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<right> ");
  }}
  before EmptyInt2 {{
    out.print(": EmptyInt2  (");
    indent++;
  }}
  after EmptyInt2 {{
    out.print(" )");
    indent--;
  }}
  before NodeInt3 {{
    out.print(": NodeInt3  (");
    indent++;
  }}
  after NodeInt3 {{
    out.print(" )");
    indent--;
  }}
  before -> NodeInt3, data, Integer {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<data> ");
    out.print(" : Integer");
    out.print(" \"" + source.get_data() + "\"");
  }}
  before -> NodeInt3, left, BSTInt5 {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<left> ");
  }}
  before -> NodeInt3, right, BSTInt5 {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<right> ");
  }}
  before EmptyInt3 {{
    out.print(": EmptyInt3  (");
    indent++;
  }}
  after EmptyInt3 {{
    out.print(" )");
    indent--;
  }}
  before EmptyInt4 {{
    out.print(": EmptyInt4  (");
    indent++;
  }}
  after EmptyInt4 {{
    out.print(" )");
    indent--;
  }}
  before EmptyInt5 {{
    out.print(": EmptyInt5  (");
    indent++;
  }}
  after EmptyInt5 {{
    out.print(" )");
    indent--;
  }}
  before DiameterPair {{
    out.print(": DiameterPair  (");
    indent++;
  }}
  after DiameterPair {{
    out.print(" )");
    indent--;
  }}
  before -> DiameterPair, height, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<height> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before -> DiameterPair, diameter, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<diameter> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before CheckPair {{
    out.print(": CheckPair  (");
    indent++;
  }}
  after CheckPair {{
    out.print(" )");
    indent--;
  }}
  before -> CheckPair, res, boolean {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<res> ");
    out.print(" : boolean \"" + dest + "\"");
  }}
  before -> CheckPair, data, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<data> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before Down {{
    out.print(": Down  (");
    indent++;
  }}
  after Down {{
    out.print(" )");
    indent--;
  }}
  before -> Down, parent, NodeInt {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<parent> ");
  }}
  before DownHeight {{
    out.print(": DownHeight  (");
    indent++;
  }}
  after DownHeight {{
    out.print(" )");
    indent--;
  }}
  before -> DownHeight, height, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<height> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before BST {{
    out.print(": BST  (");
    indent++;
  }}
  after BST {{
    out.print(" )");
    indent--;
  }}
  before Empty {{
    out.print(": Empty  (");
    indent++;
  }}
  after Empty {{
    out.print(" )");
    indent--;
  }}
  before Node {{
    out.print(": Node  (");
    indent++;
  }}
  after Node {{
    out.print(" )");
    indent--;
  }}
  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 + "\"");
  }}
}