core: import edu.neu.ccs.demeter.dj.*; import java.util.*; import edu.neu.ccs.demeter.*; add: class TraceVisitor extends UniversalVisitor { protected int indent; public int get_indent() {{ return indent; }} public void set_indent(int new_indent) {{ indent = new_indent; }} public constructor TraceVisitor() {{ super(); }} public constructor TraceVisitor(int indent) {{ super(); set_indent(indent); }} {{ 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; } TraceVisitor(java.io.PrintWriter out) { set_out(out); } TraceVisitor(java.io.PrintStream out) { set_out(new java.io.PrintWriter(out, true)); } }} public void finish() {{ out.flush(); }} public void before(Main host) {{ out.println("before Main"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Main host) {{ out.println("after Main"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Cd_graph host) {{ out.println("before Cd_graph"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Cd_graph host) {{ out.println("after Cd_graph"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_adjacencies(Cd_graph source, Adjacency_Nlist dest) {{ out.println("before -> Cd_graph, adjacencies, Adjacency_Nlist "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_adjacencies(Cd_graph source, Adjacency_Nlist dest) {{ out.println("after -> Cd_graph, adjacencies, Adjacency_Nlist "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Adjacency host) {{ out.println("before Adjacency"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Adjacency host) {{ out.println("after Adjacency"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_source(Adjacency source, Vertex dest) {{ out.println("before -> Adjacency, source, Vertex "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_source(Adjacency source, Vertex dest) {{ out.println("after -> Adjacency, source, Vertex "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_ns(Adjacency source, Neighbors dest) {{ out.println("before -> Adjacency, ns, Neighbors "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_ns(Adjacency source, Neighbors dest) {{ out.println("after -> Adjacency, ns, Neighbors "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_supers(Adjacency source, SuperClasses dest) {{ out.println("before -> Adjacency, supers, SuperClasses "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_supers(Adjacency source, SuperClasses dest) {{ out.println("after -> Adjacency, supers, SuperClasses "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(SuperClasses host) {{ out.println("before SuperClasses"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(SuperClasses host) {{ out.println("after SuperClasses"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_superclass_comma_list(SuperClasses source, SuperClass_Comma_list dest) {{ out.println("before -> SuperClasses, superclass_comma_list, SuperClass_Comma_list "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_superclass_comma_list(SuperClasses source, SuperClass_Comma_list dest) {{ out.println("after -> SuperClasses, superclass_comma_list, SuperClass_Comma_list "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(SuperClass host) {{ out.println("before SuperClass"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(SuperClass host) {{ out.println("after SuperClass"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_super_name(SuperClass source, Ident dest) {{ out.println("before -> SuperClass, super_name, Ident "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_super_name(SuperClass source, Ident dest) {{ out.println("after -> SuperClass, super_name, Ident "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Neighbors host) {{ out.println("before Neighbors"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Neighbors host) {{ out.println("after Neighbors"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Neighbors_wc host) {{ out.println("before Neighbors_wc"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Neighbors_wc host) {{ out.println("after Neighbors_wc"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_construct_ns(Neighbors_wc source, Any_vertex_List dest) {{ out.println("before -> Neighbors_wc, construct_ns, Any_vertex_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_construct_ns(Neighbors_wc source, Any_vertex_List dest) {{ out.println("after -> Neighbors_wc, construct_ns, Any_vertex_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Construct_ns host) {{ out.println("before Construct_ns"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Construct_ns host) {{ out.println("after Construct_ns"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Alternat_ns host) {{ out.println("before Alternat_ns"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Alternat_ns host) {{ out.println("after Alternat_ns"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_alternat_ns(Alternat_ns source, Term_Bar_list dest) {{ out.println("before -> Alternat_ns, alternat_ns, Term_Bar_list "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_alternat_ns(Alternat_ns source, Term_Bar_list dest) {{ out.println("after -> Alternat_ns, alternat_ns, Term_Bar_list "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_common(Alternat_ns source, Common dest) {{ out.println("before -> Alternat_ns, common, Common "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_common(Alternat_ns source, Common dest) {{ out.println("after -> Alternat_ns, common, Common "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Common host) {{ out.println("before Common"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Common host) {{ out.println("after Common"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Any_vertex host) {{ out.println("before Any_vertex"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Any_vertex host) {{ out.println("after Any_vertex"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Vertex host) {{ out.println("before Vertex"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Vertex host) {{ out.println("after Vertex"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_vertex_name(Vertex source, Ident dest) {{ out.println("before -> Vertex, vertex_name, Ident "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_vertex_name(Vertex source, Ident dest) {{ out.println("after -> Vertex, vertex_name, Ident "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Syntax_vertex host) {{ out.println("before Syntax_vertex"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Syntax_vertex host) {{ out.println("after Syntax_vertex"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Regular_syntax host) {{ out.println("before Regular_syntax"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Regular_syntax host) {{ out.println("after Regular_syntax"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_string(Regular_syntax source, String dest) {{ out.println("before -> Regular_syntax, string, String "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_string(Regular_syntax source, String dest) {{ out.println("after -> Regular_syntax, string, String "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Opt_labeled_term host) {{ out.println("before Opt_labeled_term"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Opt_labeled_term host) {{ out.println("after Opt_labeled_term"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_vertex(Opt_labeled_term source, Term dest) {{ out.println("before -> Opt_labeled_term, vertex, Term "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_vertex(Opt_labeled_term source, Term dest) {{ out.println("after -> Opt_labeled_term, vertex, Term "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Regular host) {{ out.println("before Regular"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Regular host) {{ out.println("after Regular"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Labeled host) {{ out.println("before Labeled"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Labeled host) {{ out.println("after Labeled"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_label_name(Labeled source, Ident dest) {{ out.println("before -> Labeled, label_name, Ident "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_label_name(Labeled source, Ident dest) {{ out.println("after -> Labeled, label_name, Ident "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Term host) {{ out.println("before Term"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Term host) {{ out.println("after Term"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_vertex(Term source, Vertex dest) {{ out.println("before -> Term, vertex, Vertex "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_vertex(Term source, Vertex dest) {{ out.println("after -> Term, vertex, Vertex "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Normal host) {{ out.println("before Normal"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Normal host) {{ out.println("after Normal"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Optional_term host) {{ out.println("before Optional_term"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Optional_term host) {{ out.println("after Optional_term"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_opt(Optional_term source, Opt_labeled_term_Sandwich dest) {{ out.println("before -> Optional_term, opt, Opt_labeled_term_Sandwich "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_opt(Optional_term source, Opt_labeled_term_Sandwich dest) {{ out.println("after -> Optional_term, opt, Opt_labeled_term_Sandwich "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(PrintVisitor host) {{ out.println("before PrintVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(PrintVisitor host) {{ out.println("after PrintVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_indent(PrintVisitor source, int dest) {{ out.println("before -> PrintVisitor, indent, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_indent(PrintVisitor source, int dest) {{ out.println("after -> PrintVisitor, indent, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_needSpace(PrintVisitor source, boolean dest) {{ out.println("before -> PrintVisitor, needSpace, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_needSpace(PrintVisitor source, boolean dest) {{ out.println("after -> PrintVisitor, needSpace, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(CopyVisitor host) {{ out.println("before CopyVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(CopyVisitor host) {{ out.println("after CopyVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_copy(CopyVisitor source, Object dest) {{ out.println("before -> CopyVisitor, copy, Object "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_copy(CopyVisitor source, Object dest) {{ out.println("after -> CopyVisitor, copy, Object "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(SubgraphVisitor host) {{ out.println("before SubgraphVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(SubgraphVisitor host) {{ out.println("after SubgraphVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_is_equal(SubgraphVisitor source, boolean dest) {{ out.println("before -> SubgraphVisitor, is_equal, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_is_equal(SubgraphVisitor source, boolean dest) {{ out.println("after -> SubgraphVisitor, is_equal, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(EqualVisitor host) {{ out.println("before EqualVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(EqualVisitor host) {{ out.println("after EqualVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_is_equal(EqualVisitor source, boolean dest) {{ out.println("before -> EqualVisitor, is_equal, boolean "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_is_equal(EqualVisitor source, boolean dest) {{ out.println("after -> EqualVisitor, is_equal, boolean "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(DisplayVisitor host) {{ out.println("before DisplayVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(DisplayVisitor host) {{ out.println("after DisplayVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_indent(DisplayVisitor source, int dest) {{ out.println("before -> DisplayVisitor, indent, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_indent(DisplayVisitor source, int dest) {{ out.println("after -> DisplayVisitor, indent, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(TraceVisitor host) {{ out.println("before TraceVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(TraceVisitor host) {{ out.println("after TraceVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_indent(TraceVisitor source, int dest) {{ out.println("before -> TraceVisitor, indent, int "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_indent(TraceVisitor source, int dest) {{ out.println("after -> TraceVisitor, indent, int "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(UniversalVisitor host) {{ out.println("before UniversalVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(UniversalVisitor host) {{ out.println("after UniversalVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Adjacency_Nlist host) {{ out.println("before Adjacency_Nlist"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Adjacency_Nlist host) {{ out.println("after Adjacency_Nlist"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_first(Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {{ out.println("before -> Adjacency_Nlist, first, Nonempty_Adjacency_Nlist "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_first(Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {{ out.println("after -> Adjacency_Nlist, first, Nonempty_Adjacency_Nlist "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(SuperClass_Comma_list host) {{ out.println("before SuperClass_Comma_list"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(SuperClass_Comma_list host) {{ out.println("after SuperClass_Comma_list"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_first(SuperClass_Comma_list source, Nonempty_SuperClass_Comma_list dest) {{ out.println("before -> SuperClass_Comma_list, first, Nonempty_SuperClass_Comma_list "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_first(SuperClass_Comma_list source, Nonempty_SuperClass_Comma_list dest) {{ out.println("after -> SuperClass_Comma_list, first, Nonempty_SuperClass_Comma_list "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Any_vertex_List host) {{ out.println("before Any_vertex_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Any_vertex_List host) {{ out.println("after Any_vertex_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_first(Any_vertex_List source, Nonempty_Any_vertex_List dest) {{ out.println("before -> Any_vertex_List, first, Nonempty_Any_vertex_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_first(Any_vertex_List source, Nonempty_Any_vertex_List dest) {{ out.println("after -> Any_vertex_List, first, Nonempty_Any_vertex_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Term_Bar_list host) {{ out.println("before Term_Bar_list"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Term_Bar_list host) {{ out.println("after Term_Bar_list"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_first(Term_Bar_list source, Nonempty_Term_Bar_list dest) {{ out.println("before -> Term_Bar_list, first, Nonempty_Term_Bar_list "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_first(Term_Bar_list source, Nonempty_Term_Bar_list dest) {{ out.println("after -> Term_Bar_list, first, Nonempty_Term_Bar_list "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Opt_labeled_term_Sandwich host) {{ out.println("before Opt_labeled_term_Sandwich"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Opt_labeled_term_Sandwich host) {{ out.println("after Opt_labeled_term_Sandwich"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_first(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {{ out.println("before -> Opt_labeled_term_Sandwich, first, Syntax_vertex_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_first(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {{ out.println("after -> Opt_labeled_term_Sandwich, first, Syntax_vertex_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_inner(Opt_labeled_term_Sandwich source, Opt_labeled_term dest) {{ out.println("before -> Opt_labeled_term_Sandwich, inner, Opt_labeled_term "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_inner(Opt_labeled_term_Sandwich source, Opt_labeled_term dest) {{ out.println("after -> Opt_labeled_term_Sandwich, inner, Opt_labeled_term "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_second(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {{ out.println("before -> Opt_labeled_term_Sandwich, second, Syntax_vertex_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_second(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {{ out.println("after -> Opt_labeled_term_Sandwich, second, Syntax_vertex_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Syntax_vertex_List host) {{ out.println("before Syntax_vertex_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Syntax_vertex_List host) {{ out.println("after Syntax_vertex_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_first(Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {{ out.println("before -> Syntax_vertex_List, first, Nonempty_Syntax_vertex_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_first(Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {{ out.println("after -> Syntax_vertex_List, first, Nonempty_Syntax_vertex_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Nonempty_Adjacency_Nlist host) {{ out.println("before Nonempty_Adjacency_Nlist"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Nonempty_Adjacency_Nlist host) {{ out.println("after Nonempty_Adjacency_Nlist"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_it(Nonempty_Adjacency_Nlist source, Adjacency dest) {{ out.println("before -> Nonempty_Adjacency_Nlist, it, Adjacency "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_it(Nonempty_Adjacency_Nlist source, Adjacency dest) {{ out.println("after -> Nonempty_Adjacency_Nlist, it, Adjacency "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_next(Nonempty_Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {{ out.println("before -> Nonempty_Adjacency_Nlist, next, Nonempty_Adjacency_Nlist "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_next(Nonempty_Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {{ out.println("after -> Nonempty_Adjacency_Nlist, next, Nonempty_Adjacency_Nlist "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Nonempty_SuperClass_Comma_list host) {{ out.println("before Nonempty_SuperClass_Comma_list"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Nonempty_SuperClass_Comma_list host) {{ out.println("after Nonempty_SuperClass_Comma_list"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_it(Nonempty_SuperClass_Comma_list source, SuperClass dest) {{ out.println("before -> Nonempty_SuperClass_Comma_list, it, SuperClass "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_it(Nonempty_SuperClass_Comma_list source, SuperClass dest) {{ out.println("after -> Nonempty_SuperClass_Comma_list, it, SuperClass "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_next(Nonempty_SuperClass_Comma_list source, Nonempty_SuperClass_Comma_list dest) {{ out.println("before -> Nonempty_SuperClass_Comma_list, next, Nonempty_SuperClass_Comma_list "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_next(Nonempty_SuperClass_Comma_list source, Nonempty_SuperClass_Comma_list dest) {{ out.println("after -> Nonempty_SuperClass_Comma_list, next, Nonempty_SuperClass_Comma_list "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Nonempty_Any_vertex_List host) {{ out.println("before Nonempty_Any_vertex_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Nonempty_Any_vertex_List host) {{ out.println("after Nonempty_Any_vertex_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_it(Nonempty_Any_vertex_List source, Any_vertex dest) {{ out.println("before -> Nonempty_Any_vertex_List, it, Any_vertex "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_it(Nonempty_Any_vertex_List source, Any_vertex dest) {{ out.println("after -> Nonempty_Any_vertex_List, it, Any_vertex "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_next(Nonempty_Any_vertex_List source, Nonempty_Any_vertex_List dest) {{ out.println("before -> Nonempty_Any_vertex_List, next, Nonempty_Any_vertex_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_next(Nonempty_Any_vertex_List source, Nonempty_Any_vertex_List dest) {{ out.println("after -> Nonempty_Any_vertex_List, next, Nonempty_Any_vertex_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Nonempty_Term_Bar_list host) {{ out.println("before Nonempty_Term_Bar_list"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Nonempty_Term_Bar_list host) {{ out.println("after Nonempty_Term_Bar_list"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_it(Nonempty_Term_Bar_list source, Term dest) {{ out.println("before -> Nonempty_Term_Bar_list, it, Term "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_it(Nonempty_Term_Bar_list source, Term dest) {{ out.println("after -> Nonempty_Term_Bar_list, it, Term "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_next(Nonempty_Term_Bar_list source, Nonempty_Term_Bar_list dest) {{ out.println("before -> Nonempty_Term_Bar_list, next, Nonempty_Term_Bar_list "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_next(Nonempty_Term_Bar_list source, Nonempty_Term_Bar_list dest) {{ out.println("after -> Nonempty_Term_Bar_list, next, Nonempty_Term_Bar_list "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before(Nonempty_Syntax_vertex_List host) {{ out.println("before Nonempty_Syntax_vertex_List"); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after(Nonempty_Syntax_vertex_List host) {{ out.println("after Nonempty_Syntax_vertex_List"); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_it(Nonempty_Syntax_vertex_List source, Syntax_vertex dest) {{ out.println("before -> Nonempty_Syntax_vertex_List, it, Syntax_vertex "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_it(Nonempty_Syntax_vertex_List source, Syntax_vertex dest) {{ out.println("after -> Nonempty_Syntax_vertex_List, it, Syntax_vertex "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} public void before_next(Nonempty_Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {{ out.println("before -> Nonempty_Syntax_vertex_List, next, Nonempty_Syntax_vertex_List "); indent++; for (int i = 0; i < indent; i++) out.print(" "); }} public void after_next(Nonempty_Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {{ out.println("after -> Nonempty_Syntax_vertex_List, next, Nonempty_Syntax_vertex_List "); indent--; for (int i = 0; i < indent; i++) out.print(" "); }} {{ void universal_trv0_bef(UniversalVisitor _v_) { super.universal_trv0_bef(_v_); } }} {{ void universal_trv0_aft(UniversalVisitor _v_) { super.universal_trv0_aft(_v_); } }} {{ void universal_trv0(UniversalVisitor _v_) { universal_trv0_bef(_v_); super.universal_trv0(_v_); universal_trv0_aft(_v_); } }} }