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

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 WebScript (@
    out.print(": WebScript  (");
    indent++;
  @)
  after WebScript (@
    out.print(" )");
    indent--;
  @)
  before -> WebScript, service_list, Service_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<service_list> ");
  @)
  before Url (@
    out.print(": Url  (");
    indent++;
  @)
  after Url (@
    out.print(" )");
    indent--;
  @)
  before -> Url, url, String (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<url> ");
    out.print(" : String");
    out.print(" \"" + source.get_url() + "\" ");
  @)
  before TimeOut (@
    out.print(": TimeOut  (");
    indent++;
  @)
  after TimeOut (@
    out.print(" )");
    indent--;
  @)
  before -> TimeOut, timeout, float (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<timeout> ");
    out.print(" : float \"" + dest + "\"");
  @)
  before -> TimeOut, service, Service (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<service> ");
  @)
  before Repeat (@
    out.print(": Repeat  (");
    indent++;
  @)
  after Repeat (@
    out.print(" )");
    indent--;
  @)
  before -> Repeat, service, Service (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<service> ");
  @)
  before Alternative (@
    out.print(": Alternative  (");
    indent++;
  @)
  after Alternative (@
    out.print(" )");
    indent--;
  @)
  before -> Alternative, main, Service (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<main> ");
  @)
  before -> Alternative, alternate, Service (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<alternate> ");
  @)
  before Concurrent (@
    out.print(": Concurrent  (");
    indent++;
  @)
  after Concurrent (@
    out.print(" )");
    indent--;
  @)
  before -> Concurrent, service1, Service (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<service1> ");
  @)
  before -> Concurrent, service2, Service (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<service2> ");
  @)
  before Main (@
    out.print(": Main  (");
    indent++;
  @)
  after Main (@
    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 Service_List (@
    out.print(": Service_List  {");
    indent++;
  @)
  after Service_List (@
    out.print(" }");
    indent--;
  @)
  before -> Service_List, first, Nonempty_Service_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  @)
  before Nonempty_Service_List (@
    out.print(": Nonempty_Service_List  (");
    indent++;
  @)
  after Nonempty_Service_List (@
    out.print(" )");
    indent--;
  @)
  before -> Nonempty_Service_List, it, Service (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  @)
  before -> Nonempty_Service_List, next, Nonempty_Service_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  @)
}