// 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, programs, PathSpec_PList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<programs> ");
  }}
  before Join {{
    out.print(": Join  (");
    indent++;
  }}
  after Join {{
    out.print(" )");
    indent--;
  }}
  before -> Join, first, PathSpec {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before -> Join, second, PathSpec {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<second> ");
  }}
  before Merge {{
    out.print(": Merge  (");
    indent++;
  }}
  after Merge {{
    out.print(" )");
    indent--;
  }}
  before -> Merge, first, PathSpec {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before -> Merge, second, PathSpec {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<second> ");
  }}
  before Simple {{
    out.print(": Simple  (");
    indent++;
  }}
  after Simple {{
    out.print(" )");
    indent--;
  }}
  before -> Simple, source, Node {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<source> ");
  }}
  before -> Simple, target, Node {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<target> ");
  }}
  before Path {{
    out.print(": Path  (");
    indent++;
  }}
  after Path {{
    out.print(" )");
    indent--;
  }}
  before -> Path, source, Node {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<source> ");
  }}
  before -> Path, middle, Node_PList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<middle> ");
  }}
  before -> Path, target, Node {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<target> ");
  }}
  before ContainsVisitor {{
    out.print(": ContainsVisitor  (");
    indent++;
  }}
  after ContainsVisitor {{
    out.print(" )");
    indent--;
  }}
  before -> ContainsVisitor, n, Node {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<n> ");
  }}
  before WellFormedVis {{
    out.print(": WellFormedVis  (");
    indent++;
  }}
  after WellFormedVis {{
    out.print(" )");
    indent--;
  }}
  before Node {{
    out.print(": Node  (");
    indent++;
  }}
  after Node {{
    out.print(" )");
    indent--;
  }}
  before -> Node, 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 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 PathSpec_PList {{
    out.print(": PathSpec_PList  {");
    indent++;
  }}
  after PathSpec_PList {{
    out.print(" }");
    indent--;
  }}
  before -> PathSpec_PList, first, Nonempty_PathSpec_PList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Node_PList {{
    out.print(": Node_PList  {");
    indent++;
  }}
  after Node_PList {{
    out.print(" }");
    indent--;
  }}
  before -> Node_PList, first, Nonempty_Node_PList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Nonempty_PathSpec_PList {{
    out.print(": Nonempty_PathSpec_PList  (");
    indent++;
  }}
  after Nonempty_PathSpec_PList {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_PathSpec_PList, it, PathSpec {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_PathSpec_PList, next, Nonempty_PathSpec_PList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Node_PList {{
    out.print(": Nonempty_Node_PList  (");
    indent++;
  }}
  after Nonempty_Node_PList {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Node_PList, it, Node {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Node_PList, next, Nonempty_Node_PList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
}