// 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 S (@
    out.print(": S  (");
    indent++;
  @)
  after S (@
    out.print(" )");
    indent--;
  @)
  before -> S, service, Service (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<service> ");
  @)
  before Basic_Service (@
    out.print(": Basic_Service  (");
    indent++;
  @)
  after Basic_Service (@
    out.print(" )");
    indent--;
  @)
  before -> Basic_Service, address, Address (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<address> ");
  @)
  before Sequential_Execution (@
    out.print(": Sequential_Execution  (");
    indent++;
  @)
  after Sequential_Execution (@
    out.print(" )");
    indent--;
  @)
  before -> Sequential_Execution, first, S (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  @)
  before -> Sequential_Execution, second, S (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<second> ");
  @)
  before Address (@
    out.print(": Address  (");
    indent++;
  @)
  after Address (@
    out.print(" )");
    indent--;
  @)
  before -> Address, string, String (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<string> ");
    out.print(" : String");
    out.print(" \"" + source.get_string() + "\" ");
  @)
  before Repeatition (@
    out.print(": Repeatition  (");
    indent++;
  @)
  after Repeatition (@
    out.print(" )");
    indent--;
  @)
  before -> Repeatition, repeat, S (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<repeat> ");
  @)
  before Time_Limit (@
    out.print(": Time_Limit  (");
    indent++;
  @)
  after Time_Limit (@
    out.print(" )");
    indent--;
  @)
  before -> Time_Limit, time, Time (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<time> ");
  @)
  before -> Time_Limit, on, Block (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<on> ");
  @)
  before Time (@
    out.print(": Time  (");
    indent++;
  @)
  after Time (@
    out.print(" )");
    indent--;
  @)
  before -> Time, l, long (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<l> ");
    out.print(" : long \"" + dest + "\"");
  @)
  before Stall (@
    out.print(": Stall  (");
    indent++;
  @)
  after Stall (@
    out.print(" )");
    indent--;
  @)
  before Concurrent_Execution (@
    out.print(": Concurrent_Execution  (");
    indent++;
  @)
  after Concurrent_Execution (@
    out.print(" )");
    indent--;
  @)
  before -> Concurrent_Execution, main, S (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<main> ");
  @)
  before -> Concurrent_Execution, thread, S (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<thread> ");
  @)
  before Visitor (@
    out.print(": Visitor  (");
    indent++;
  @)
  after Visitor (@
    out.print(" )");
    indent--;
  @)
  before -> Visitor, rv, RepeatCheckingVisitor (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<rv> ");
  @)
  before -> Visitor, lv, LimitCheckingVisitor (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<lv> ");
  @)
  before -> Visitor, date, long (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<date> ");
    out.print(" : long \"" + dest + "\"");
  @)
  before -> Visitor, page, StringBuffer (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<page> ");
    out.print(" : StringBuffer");
    out.print(" \"" + source.get_page() + "\"");
  @)
  before -> Visitor, urlConn, URL (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<urlConn> ");
  @)
  before -> Visitor, stream, InputStream (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<stream> ");
  @)
  before -> Visitor, next, int (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
    out.print(" : int \"" + dest + "\"");
  @)
  before -> Visitor, active, boolean (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<active> ");
    out.print(" : boolean \"" + dest + "\"");
  @)
  before -> Visitor, s, Thread (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<s> ");
  @)
  before -> Visitor, concurrent, boolean (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<concurrent> ");
    out.print(" : boolean \"" + dest + "\"");
  @)
  before -> Visitor, sequentialStack, Stack (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<sequentialStack> ");
  @)
  before -> Visitor, concurrentStack, Stack (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<concurrentStack> ");
  @)
  before RepeatCheckingVisitor (@
    out.print(": RepeatCheckingVisitor  (");
    indent++;
  @)
  after RepeatCheckingVisitor (@
    out.print(" )");
    indent--;
  @)
  before -> RepeatCheckingVisitor, date, long (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<date> ");
    out.print(" : long \"" + dest + "\"");
  @)
  before -> RepeatCheckingVisitor, lv, LimitCheckingVisitor (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<lv> ");
  @)
  before -> RepeatCheckingVisitor, v, Visitor (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
  @)
  before LimitCheckingVisitor (@
    out.print(": LimitCheckingVisitor  (");
    indent++;
  @)
  after LimitCheckingVisitor (@
    out.print(" )");
    indent--;
  @)
  before -> LimitCheckingVisitor, limitFlag, boolean (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<limitFlag> ");
    out.print(" : boolean \"" + dest + "\"");
  @)
  before -> LimitCheckingVisitor, limit, long (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<limit> ");
    out.print(" : long \"" + dest + "\"");
  @)
  before -> LimitCheckingVisitor, date, Long (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<date> ");
    out.print(" : Long");
    out.print(" \"" + source.get_date() + "\"");
  @)
  before -> LimitCheckingVisitor, limitStack, Stack (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<limitStack> ");
  @)
  before -> LimitCheckingVisitor, v, Visitor (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<v> ");
  @)
  before TimeCheckingVisitor (@
    out.print(": TimeCheckingVisitor  (");
    indent++;
  @)
  after TimeCheckingVisitor (@
    out.print(" )");
    indent--;
  @)
  before -> TimeCheckingVisitor, flag, int (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<flag> ");
    out.print(" : int \"" + dest + "\"");
  @)
  before -> TimeCheckingVisitor, time, long (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<time> ");
    out.print(" : long \"" + dest + "\"");
  @)
  before -> TimeCheckingVisitor, pretime, long (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<pretime> ");
    out.print(" : long \"" + dest + "\"");
  @)
  before -> TimeCheckingVisitor, condition, boolean (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<condition> ");
    out.print(" : boolean \"" + dest + "\"");
  @)
  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 + "\"");
  @)
}