// 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(" "); @) 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(" "); out.print(" : String"); out.print(" \"" + source.get_url() + "\" "); @) before TimeOut (@ out.print(": TimeOut ("); indent++; @) after TimeOut (@ out.print(" )"); indent--; @) before -> TimeOut, timeout, Real (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before -> TimeOut, service, Service (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before Limit (@ out.print(": Limit ("); indent++; @) after Limit (@ out.print(" )"); indent--; @) before -> Limit, start_time, Real (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before -> Limit, rate, Real (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before -> Limit, service, Service (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) 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(" "); @) before Stall (@ out.print(": Stall ("); indent++; @) after Stall (@ out.print(" )"); indent--; @) before Fail (@ out.print(": Fail ("); indent++; @) after Fail (@ out.print(" )"); indent--; @) before Execution (@ out.print(": Execution ("); indent++; @) after Execution (@ out.print(" )"); indent--; @) before -> Execution, service1, Service (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before -> Execution, op, ExecutionOp (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before -> Execution, service2, Service (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before SequenceOp (@ out.print(": SequenceOp ("); indent++; @) after SequenceOp (@ out.print(" )"); indent--; @) before ConcurrentOp (@ out.print(": ConcurrentOp ("); indent++; @) after ConcurrentOp (@ out.print(" )"); indent--; @) before Post (@ out.print(": Post ("); indent++; @) after Post (@ out.print(" )"); indent--; @) before -> Post, cgi, String (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_cgi() + "\" "); @) before -> Post, data, Condition_List (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before Get (@ out.print(": Get ("); indent++; @) after Get (@ out.print(" )"); indent--; @) before -> Get, cgi, String (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_cgi() + "\" "); @) before -> Get, data, Condition_List (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before Condition (@ out.print(": Condition ("); indent++; @) after Condition (@ out.print(" )"); indent--; @) before -> Condition, id, Ident (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_id() + "\""); @) before -> Condition, content, String (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_content() + "\" "); @) before Real (@ out.print(": Real ("); indent++; @) after Real (@ out.print(" )"); indent--; @) before -> Real, value, float (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : float \"" + dest + "\""); @) before RunServiceVisitor (@ out.print(": RunServiceVisitor ("); indent++; @) after RunServiceVisitor (@ out.print(" )"); indent--; @) before StopServiceVisitor (@ out.print(": StopServiceVisitor ("); indent++; @) after StopServiceVisitor (@ out.print(" )"); indent--; @) 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(" "); out.print(" : int \"" + dest + "\""); @) before -> PrintVisitor, needSpace, boolean (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); 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(" "); @) 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(" "); 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(" "); 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(" "); 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(" "); 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(" "); @) before Condition_List (@ out.print(": Condition_List {"); indent++; @) after Condition_List (@ out.print(" }"); indent--; @) before -> Condition_List, first, Nonempty_Condition_List (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) 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(" "); @) before -> Nonempty_Service_List, next, Nonempty_Service_List (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before Nonempty_Condition_List (@ out.print(": Nonempty_Condition_List ("); indent++; @) after Nonempty_Condition_List (@ out.print(" )"); indent--; @) before -> Nonempty_Condition_List, it, Condition (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before -> Nonempty_Condition_List, next, Nonempty_Condition_List (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) }