// 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 Program {{
    out.print(": Program  (");
    indent++;
  }}
  after Program {{
    out.print(" )");
    indent--;
  }}
  before -> Program, e_list, E_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<e_list> ");
  }}
  before T {{
    out.print(": T  (");
    indent++;
  }}
  after T {{
    out.print(" )");
    indent--;
  }}
  before F {{
    out.print(": F  (");
    indent++;
  }}
  after F {{
    out.print(" )");
    indent--;
  }}
  before NL {{
    out.print(": NL  (");
    indent++;
  }}
  after NL {{
    out.print(" )");
    indent--;
  }}
  before -> NL, v, Integer {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : Integer");
    out.print(" \"" + source.get_v() + "\"");
  }}
  before TVar {{
    out.print(": TVar  (");
    indent++;
  }}
  after TVar {{
    out.print(" )");
    indent--;
  }}
  before -> TVar, var, Var {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<var> ");
  }}
  before -> TVar, vart, VarT {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<vart> ");
  }}
  before Var {{
    out.print(": Var  (");
    indent++;
  }}
  after Var {{
    out.print(" )");
    indent--;
  }}
  before -> Var, v, Ident {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_v() + "\"");
  }}
  before Bad {{
    out.print(": Bad  (");
    indent++;
  }}
  after Bad {{
    out.print(" )");
    indent--;
  }}
  before BT {{
    out.print(": BT  (");
    indent++;
  }}
  after BT {{
    out.print(" )");
    indent--;
  }}
  before NT {{
    out.print(": NT  (");
    indent++;
  }}
  after NT {{
    out.print(" )");
    indent--;
  }}
  before -> C, arg1, E {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<arg1> ");
  }}
  before -> C, arg2, E {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<arg2> ");
  }}
  before And {{
    out.print(": And  (");
    indent++;
  }}
  after And {{
    out.print(" )");
    indent--;
  }}
  before Plus {{
    out.print(": Plus  (");
    indent++;
  }}
  after Plus {{
    out.print(" )");
    indent--;
  }}
  before TCheck {{
    out.print(": TCheck  (");
    indent++;
  }}
  after TCheck {{
    out.print(" )");
    indent--;
  }}
  before EvalB {{
    out.print(": EvalB  (");
    indent++;
  }}
  after EvalB {{
    out.print(" )");
    indent--;
  }}
  before EvalI {{
    out.print(": EvalI  (");
    indent++;
  }}
  after EvalI {{
    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 + "\"");
  }}
  before E_List {{
    out.print(": E_List  {");
    indent++;
  }}
  after E_List {{
    out.print(" }");
    indent--;
  }}
  before -> E_List, first, Nonempty_E_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Nonempty_E_List {{
    out.print(": Nonempty_E_List  (");
    indent++;
  }}
  after Nonempty_E_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_E_List, it, E {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_E_List, next, Nonempty_E_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
}