core: import edu.neu.ccs.demeter.dj.*; import java.util.*; import edu.neu.ccs.demeter.*; add: class EqualVisitor extends UniversalVisitor { protected boolean is_equal = {{ true }}; public boolean get_is_equal() {{ return is_equal; }} public void set_is_equal(boolean new_is_equal) {{ is_equal = new_is_equal; }} public constructor EqualVisitor() {{ super(); }} public constructor EqualVisitor(boolean is_equal) {{ super(); set_is_equal(is_equal); }} {{ private java.util.Stack history = new java.util.Stack(); public EqualVisitor(Object obj) { history.push(obj); } }} public void before(Main host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_globalimports(Cd_graph source, GlobalImports dest) {{ if (is_equal) { Cd_graph obj = (Cd_graph) history.peek(); Object temp1 = obj.get_globalimports(); if(temp1==null) { is_equal = false; return; } history.push(temp1); } }} public void after_globalimports(Cd_graph source, GlobalImports dest) {{ if (is_equal) history.pop(); }} public void before_adjacencies(Cd_graph source, Adjacency_Nlist dest) {{ if (is_equal) { Cd_graph obj = (Cd_graph) history.peek(); Object temp2 = obj.get_adjacencies(); if(temp2==null) { is_equal = false; return; } history.push(temp2); } }} public void after_adjacencies(Cd_graph source, Adjacency_Nlist dest) {{ if (is_equal) history.pop(); }} public void before(Cd_graph host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_imports(GlobalImports source, Import_SList dest) {{ if (is_equal) { GlobalImports obj = (GlobalImports) history.peek(); Object temp3 = obj.get_imports(); if(temp3==null) { is_equal = false; return; } history.push(temp3); } }} public void after_imports(GlobalImports source, Import_SList dest) {{ if (is_equal) history.pop(); }} public void before(GlobalImports host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_packagename(Import source, PackageName dest) {{ if (is_equal) { Import obj = (Import) history.peek(); Object temp4 = obj.get_packagename(); if(temp4==null) { is_equal = false; return; } history.push(temp4); } }} public void after_packagename(Import source, PackageName dest) {{ if (is_equal) history.pop(); }} public void before_importallclasses(Import source, ImportAllClasses dest) {{ if (is_equal) { Import obj = (Import) history.peek(); Object temp5 = obj.get_importallclasses(); if(temp5==null) { is_equal = false; return; } history.push(temp5); } }} public void after_importallclasses(Import source, ImportAllClasses dest) {{ if (is_equal) history.pop(); }} public void before(Import host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(ImportAllClasses host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(PackageName source, Nonempty_PackageName dest) {{ if (is_equal) { PackageName obj = (PackageName) history.peek(); Object temp6 = obj.get_first(); if(temp6==null) { is_equal = false; return; } history.push(temp6); } }} public void after_first(PackageName source, Nonempty_PackageName dest) {{ if (is_equal) history.pop(); }} public void before(PackageName host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_source(Adjacency source, Vertex dest) {{ if (is_equal) { Adjacency obj = (Adjacency) history.peek(); Object temp7 = obj.get_source(); if(temp7==null) { is_equal = false; return; } history.push(temp7); } }} public void after_source(Adjacency source, Vertex dest) {{ if (is_equal) history.pop(); }} public void before_parameters(Adjacency source, Vertex_Comma_list dest) {{ if (is_equal) { Adjacency obj = (Adjacency) history.peek(); Object temp8 = obj.get_parameters(); if(temp8==null) { is_equal = false; return; } history.push(temp8); } }} public void after_parameters(Adjacency source, Vertex_Comma_list dest) {{ if (is_equal) history.pop(); }} public void before_ns(Adjacency source, Neighbors dest) {{ if (is_equal) { Adjacency obj = (Adjacency) history.peek(); Object temp9 = obj.get_ns(); if(temp9==null) { is_equal = false; return; } history.push(temp9); } }} public void after_ns(Adjacency source, Neighbors dest) {{ if (is_equal) history.pop(); }} public void before(Adjacency host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Neighbors host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_construct_ns(Neighbors_wc source, Any_vertex_List dest) {{ if (is_equal) { Neighbors_wc obj = (Neighbors_wc) history.peek(); Object temp10 = obj.get_construct_ns(); if(temp10==null) { is_equal = false; return; } history.push(temp10); } }} public void after_construct_ns(Neighbors_wc source, Any_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before(Neighbors_wc host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Construct_ns host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_alternat_ns(Alternat_ns source, Term_Bar_list dest) {{ if (is_equal) { Alternat_ns obj = (Alternat_ns) history.peek(); Object temp11 = obj.get_alternat_ns(); if(temp11==null) { is_equal = false; return; } history.push(temp11); } }} public void after_alternat_ns(Alternat_ns source, Term_Bar_list dest) {{ if (is_equal) history.pop(); }} public void before_common(Alternat_ns source, Common dest) {{ if (is_equal) { Alternat_ns obj = (Alternat_ns) history.peek(); Object temp12 = obj.get_common(); if(temp12==null) { is_equal = false; return; } history.push(temp12); } }} public void after_common(Alternat_ns source, Common dest) {{ if (is_equal) history.pop(); }} public void before(Alternat_ns host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Common host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_sandwiched(Repetit_n source, Kernel_Sandwich dest) {{ if (is_equal) { Repetit_n obj = (Repetit_n) history.peek(); Object temp13 = obj.get_sandwiched(); if(temp13==null) { is_equal = false; return; } history.push(temp13); } }} public void after_sandwiched(Repetit_n source, Kernel_Sandwich dest) {{ if (is_equal) history.pop(); }} public void before(Repetit_n host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_nonempty(Kernel source, Term dest) {{ if (is_equal) { Kernel obj = (Kernel) history.peek(); Object temp14 = obj.get_nonempty(); if(temp14==null) { is_equal = false; return; } history.push(temp14); } }} public void after_nonempty(Kernel source, Term dest) {{ if (is_equal) history.pop(); }} public void before_repeated(Kernel source, Term_Sandwich dest) {{ if (is_equal) { Kernel obj = (Kernel) history.peek(); Object temp15 = obj.get_repeated(); if(temp15==null) { is_equal = false; return; } history.push(temp15); } }} public void after_repeated(Kernel source, Term_Sandwich dest) {{ if (is_equal) history.pop(); }} public void before(Kernel host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Any_vertex host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Vertex host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp16 = host.get_vertex_name(); Object temp17 = ((Vertex) obj).get_vertex_name(); if(temp16 == null && temp17 == null) {} else if(temp16 == null || temp17 == null || !temp16.equals(temp17)) { is_equal = false; return; } }} public void before(Syntax_vertex host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Print_command host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Print_indent host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Print_unindent host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Print_skip host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Print_space host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Regular_syntax host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp18 = host.get_string(); Object temp19 = ((Regular_syntax) obj).get_string(); if(temp18 == null && temp19 == null) {} else if(temp18 == null || temp19 == null || !temp18.equals(temp19)) { is_equal = false; return; } }} public void before_vertex(Opt_labeled_term source, Term dest) {{ if (is_equal) { Opt_labeled_term obj = (Opt_labeled_term) history.peek(); Object temp20 = obj.get_vertex(); if(temp20==null) { is_equal = false; return; } history.push(temp20); } }} public void after_vertex(Opt_labeled_term source, Term dest) {{ if (is_equal) history.pop(); }} public void before(Opt_labeled_term host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Regular host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Labeled host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp21 = host.get_label_name(); Object temp22 = ((Labeled) obj).get_label_name(); if(temp21 == null && temp22 == null) {} else if(temp21 == null || temp22 == null || !temp21.equals(temp22)) { is_equal = false; return; } }} public void before_vertex(Term source, Vertex dest) {{ if (is_equal) { Term obj = (Term) history.peek(); Object temp23 = obj.get_vertex(); if(temp23==null) { is_equal = false; return; } history.push(temp23); } }} public void after_vertex(Term source, Vertex dest) {{ if (is_equal) history.pop(); }} public void before_module_name(Term source, Module_name dest) {{ if (is_equal) { Term obj = (Term) history.peek(); Object temp24 = obj.get_module_name(); if(temp24==null) { is_equal = false; return; } history.push(temp24); } }} public void after_module_name(Term source, Module_name dest) {{ if (is_equal) history.pop(); }} public void before_actual_parameters(Term source, Term_Comma_list dest) {{ if (is_equal) { Term obj = (Term) history.peek(); Object temp25 = obj.get_actual_parameters(); if(temp25==null) { is_equal = false; return; } history.push(temp25); } }} public void after_actual_parameters(Term source, Term_Comma_list dest) {{ if (is_equal) history.pop(); }} public void before(Term host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(Module_name host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp26 = host.get_module_name(); Object temp27 = ((Module_name) obj).get_module_name(); if(temp26 == null && temp27 == null) {} else if(temp26 == null || temp27 == null || !temp26.equals(temp27)) { is_equal = false; return; } }} public void before(Normal host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_opt(Optional_term source, Opt_labeled_term_Sandwich dest) {{ if (is_equal) { Optional_term obj = (Optional_term) history.peek(); Object temp28 = obj.get_opt(); if(temp28==null) { is_equal = false; return; } history.push(temp28); } }} public void after_opt(Optional_term source, Opt_labeled_term_Sandwich dest) {{ if (is_equal) history.pop(); }} public void before(Optional_term host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before(PrintVisitor host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_indent() == ((PrintVisitor) obj).get_indent(); is_equal = is_equal && host.get_needSpace() == ((PrintVisitor) obj).get_needSpace(); }} public void before(CopyVisitor host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp29 = host.get_copy(); Object temp30 = ((CopyVisitor) obj).get_copy(); if(temp29 == null && temp30 == null) {} else if(temp29 == null || temp30 == null || !temp29.equals(temp30)) { is_equal = false; return; } }} public void before(SubgraphVisitor host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_is_equal() == ((SubgraphVisitor) obj).get_is_equal(); }} public void before(EqualVisitor host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_is_equal() == ((EqualVisitor) obj).get_is_equal(); }} public void before(DisplayVisitor host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_indent() == ((DisplayVisitor) obj).get_indent(); }} public void before(TraceVisitor host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_indent() == ((TraceVisitor) obj).get_indent(); }} public void before(UniversalVisitor host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {{ if (is_equal) { Adjacency_Nlist obj = (Adjacency_Nlist) history.peek(); Object temp31 = obj.get_first(); if(temp31==null) { is_equal = false; return; } history.push(temp31); } }} public void after_first(Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {{ if (is_equal) history.pop(); }} public void before(Adjacency_Nlist host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(Import_SList source, Nonempty_Import_SList dest) {{ if (is_equal) { Import_SList obj = (Import_SList) history.peek(); Object temp32 = obj.get_first(); if(temp32==null) { is_equal = false; return; } history.push(temp32); } }} public void after_first(Import_SList source, Nonempty_Import_SList dest) {{ if (is_equal) history.pop(); }} public void before(Import_SList host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {{ if (is_equal) { Vertex_Comma_list obj = (Vertex_Comma_list) history.peek(); Object temp33 = obj.get_first(); if(temp33==null) { is_equal = false; return; } history.push(temp33); } }} public void after_first(Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {{ if (is_equal) history.pop(); }} public void before(Vertex_Comma_list host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(Any_vertex_List source, Nonempty_Any_vertex_List dest) {{ if (is_equal) { Any_vertex_List obj = (Any_vertex_List) history.peek(); Object temp34 = obj.get_first(); if(temp34==null) { is_equal = false; return; } history.push(temp34); } }} public void after_first(Any_vertex_List source, Nonempty_Any_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before(Any_vertex_List host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(Term_Bar_list source, Nonempty_Term_Bar_list dest) {{ if (is_equal) { Term_Bar_list obj = (Term_Bar_list) history.peek(); Object temp35 = obj.get_first(); if(temp35==null) { is_equal = false; return; } history.push(temp35); } }} public void after_first(Term_Bar_list source, Nonempty_Term_Bar_list dest) {{ if (is_equal) history.pop(); }} public void before(Term_Bar_list host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(Kernel_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) { Kernel_Sandwich obj = (Kernel_Sandwich) history.peek(); Object temp36 = obj.get_first(); if(temp36==null) { is_equal = false; return; } history.push(temp36); } }} public void after_first(Kernel_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before_inner(Kernel_Sandwich source, Kernel dest) {{ if (is_equal) { Kernel_Sandwich obj = (Kernel_Sandwich) history.peek(); Object temp37 = obj.get_inner(); if(temp37==null) { is_equal = false; return; } history.push(temp37); } }} public void after_inner(Kernel_Sandwich source, Kernel dest) {{ if (is_equal) history.pop(); }} public void before_second(Kernel_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) { Kernel_Sandwich obj = (Kernel_Sandwich) history.peek(); Object temp38 = obj.get_second(); if(temp38==null) { is_equal = false; return; } history.push(temp38); } }} public void after_second(Kernel_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before(Kernel_Sandwich host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(Term_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) { Term_Sandwich obj = (Term_Sandwich) history.peek(); Object temp39 = obj.get_first(); if(temp39==null) { is_equal = false; return; } history.push(temp39); } }} public void after_first(Term_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before_inner(Term_Sandwich source, Term dest) {{ if (is_equal) { Term_Sandwich obj = (Term_Sandwich) history.peek(); Object temp40 = obj.get_inner(); if(temp40==null) { is_equal = false; return; } history.push(temp40); } }} public void after_inner(Term_Sandwich source, Term dest) {{ if (is_equal) history.pop(); }} public void before_second(Term_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) { Term_Sandwich obj = (Term_Sandwich) history.peek(); Object temp41 = obj.get_second(); if(temp41==null) { is_equal = false; return; } history.push(temp41); } }} public void after_second(Term_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before(Term_Sandwich host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(Term_Comma_list source, Nonempty_Term_Comma_list dest) {{ if (is_equal) { Term_Comma_list obj = (Term_Comma_list) history.peek(); Object temp42 = obj.get_first(); if(temp42==null) { is_equal = false; return; } history.push(temp42); } }} public void after_first(Term_Comma_list source, Nonempty_Term_Comma_list dest) {{ if (is_equal) history.pop(); }} public void before(Term_Comma_list host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) { Opt_labeled_term_Sandwich obj = (Opt_labeled_term_Sandwich) history.peek(); Object temp43 = obj.get_first(); if(temp43==null) { is_equal = false; return; } history.push(temp43); } }} public void after_first(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before_inner(Opt_labeled_term_Sandwich source, Opt_labeled_term dest) {{ if (is_equal) { Opt_labeled_term_Sandwich obj = (Opt_labeled_term_Sandwich) history.peek(); Object temp44 = obj.get_inner(); if(temp44==null) { is_equal = false; return; } history.push(temp44); } }} public void after_inner(Opt_labeled_term_Sandwich source, Opt_labeled_term dest) {{ if (is_equal) history.pop(); }} public void before_second(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) { Opt_labeled_term_Sandwich obj = (Opt_labeled_term_Sandwich) history.peek(); Object temp45 = obj.get_second(); if(temp45==null) { is_equal = false; return; } history.push(temp45); } }} public void after_second(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before(Opt_labeled_term_Sandwich host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_first(Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {{ if (is_equal) { Syntax_vertex_List obj = (Syntax_vertex_List) history.peek(); Object temp46 = obj.get_first(); if(temp46==null) { is_equal = false; return; } history.push(temp46); } }} public void after_first(Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before(Syntax_vertex_List host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_next(Nonempty_PackageName source, Nonempty_PackageName dest) {{ if (is_equal) { Nonempty_PackageName obj = (Nonempty_PackageName) history.peek(); Object temp49 = obj.get_next(); if(temp49==null) { is_equal = false; return; } history.push(temp49); } }} public void after_next(Nonempty_PackageName source, Nonempty_PackageName dest) {{ if (is_equal) history.pop(); }} public void before(Nonempty_PackageName host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp47 = host.get_it(); Object temp48 = ((Nonempty_PackageName) obj).get_it(); if(temp47 == null && temp48 == null) {} else if(temp47 == null || temp48 == null || !temp47.equals(temp48)) { is_equal = false; return; } }} public void before_it(Nonempty_Adjacency_Nlist source, Adjacency dest) {{ if (is_equal) { Nonempty_Adjacency_Nlist obj = (Nonempty_Adjacency_Nlist) history.peek(); Object temp50 = obj.get_it(); if(temp50==null) { is_equal = false; return; } history.push(temp50); } }} public void after_it(Nonempty_Adjacency_Nlist source, Adjacency dest) {{ if (is_equal) history.pop(); }} public void before_next(Nonempty_Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {{ if (is_equal) { Nonempty_Adjacency_Nlist obj = (Nonempty_Adjacency_Nlist) history.peek(); Object temp51 = obj.get_next(); if(temp51==null) { is_equal = false; return; } history.push(temp51); } }} public void after_next(Nonempty_Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {{ if (is_equal) history.pop(); }} public void before(Nonempty_Adjacency_Nlist host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_it(Nonempty_Import_SList source, Import dest) {{ if (is_equal) { Nonempty_Import_SList obj = (Nonempty_Import_SList) history.peek(); Object temp52 = obj.get_it(); if(temp52==null) { is_equal = false; return; } history.push(temp52); } }} public void after_it(Nonempty_Import_SList source, Import dest) {{ if (is_equal) history.pop(); }} public void before_next(Nonempty_Import_SList source, Nonempty_Import_SList dest) {{ if (is_equal) { Nonempty_Import_SList obj = (Nonempty_Import_SList) history.peek(); Object temp53 = obj.get_next(); if(temp53==null) { is_equal = false; return; } history.push(temp53); } }} public void after_next(Nonempty_Import_SList source, Nonempty_Import_SList dest) {{ if (is_equal) history.pop(); }} public void before(Nonempty_Import_SList host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_it(Nonempty_Vertex_Comma_list source, Vertex dest) {{ if (is_equal) { Nonempty_Vertex_Comma_list obj = (Nonempty_Vertex_Comma_list) history.peek(); Object temp54 = obj.get_it(); if(temp54==null) { is_equal = false; return; } history.push(temp54); } }} public void after_it(Nonempty_Vertex_Comma_list source, Vertex dest) {{ if (is_equal) history.pop(); }} public void before_next(Nonempty_Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {{ if (is_equal) { Nonempty_Vertex_Comma_list obj = (Nonempty_Vertex_Comma_list) history.peek(); Object temp55 = obj.get_next(); if(temp55==null) { is_equal = false; return; } history.push(temp55); } }} public void after_next(Nonempty_Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {{ if (is_equal) history.pop(); }} public void before(Nonempty_Vertex_Comma_list host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_it(Nonempty_Any_vertex_List source, Any_vertex dest) {{ if (is_equal) { Nonempty_Any_vertex_List obj = (Nonempty_Any_vertex_List) history.peek(); Object temp56 = obj.get_it(); if(temp56==null) { is_equal = false; return; } history.push(temp56); } }} public void after_it(Nonempty_Any_vertex_List source, Any_vertex dest) {{ if (is_equal) history.pop(); }} public void before_next(Nonempty_Any_vertex_List source, Nonempty_Any_vertex_List dest) {{ if (is_equal) { Nonempty_Any_vertex_List obj = (Nonempty_Any_vertex_List) history.peek(); Object temp57 = obj.get_next(); if(temp57==null) { is_equal = false; return; } history.push(temp57); } }} public void after_next(Nonempty_Any_vertex_List source, Nonempty_Any_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before(Nonempty_Any_vertex_List host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_it(Nonempty_Term_Bar_list source, Term dest) {{ if (is_equal) { Nonempty_Term_Bar_list obj = (Nonempty_Term_Bar_list) history.peek(); Object temp58 = obj.get_it(); if(temp58==null) { is_equal = false; return; } history.push(temp58); } }} public void after_it(Nonempty_Term_Bar_list source, Term dest) {{ if (is_equal) history.pop(); }} public void before_next(Nonempty_Term_Bar_list source, Nonempty_Term_Bar_list dest) {{ if (is_equal) { Nonempty_Term_Bar_list obj = (Nonempty_Term_Bar_list) history.peek(); Object temp59 = obj.get_next(); if(temp59==null) { is_equal = false; return; } history.push(temp59); } }} public void after_next(Nonempty_Term_Bar_list source, Nonempty_Term_Bar_list dest) {{ if (is_equal) history.pop(); }} public void before(Nonempty_Term_Bar_list host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_it(Nonempty_Term_Comma_list source, Term dest) {{ if (is_equal) { Nonempty_Term_Comma_list obj = (Nonempty_Term_Comma_list) history.peek(); Object temp60 = obj.get_it(); if(temp60==null) { is_equal = false; return; } history.push(temp60); } }} public void after_it(Nonempty_Term_Comma_list source, Term dest) {{ if (is_equal) history.pop(); }} public void before_next(Nonempty_Term_Comma_list source, Nonempty_Term_Comma_list dest) {{ if (is_equal) { Nonempty_Term_Comma_list obj = (Nonempty_Term_Comma_list) history.peek(); Object temp61 = obj.get_next(); if(temp61==null) { is_equal = false; return; } history.push(temp61); } }} public void after_next(Nonempty_Term_Comma_list source, Nonempty_Term_Comma_list dest) {{ if (is_equal) history.pop(); }} public void before(Nonempty_Term_Comma_list host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} public void before_it(Nonempty_Syntax_vertex_List source, Syntax_vertex dest) {{ if (is_equal) { Nonempty_Syntax_vertex_List obj = (Nonempty_Syntax_vertex_List) history.peek(); Object temp62 = obj.get_it(); if(temp62==null) { is_equal = false; return; } history.push(temp62); } }} public void after_it(Nonempty_Syntax_vertex_List source, Syntax_vertex dest) {{ if (is_equal) history.pop(); }} public void before_next(Nonempty_Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {{ if (is_equal) { Nonempty_Syntax_vertex_List obj = (Nonempty_Syntax_vertex_List) history.peek(); Object temp63 = obj.get_next(); if(temp63==null) { is_equal = false; return; } history.push(temp63); } }} public void after_next(Nonempty_Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {{ if (is_equal) history.pop(); }} public void before(Nonempty_Syntax_vertex_List host) {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} boolean get_return_val() {{ return is_equal ; }} {{ 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_); } }} }