import edu.neu.ccs.demeter.dj.*; import java.util.*; import edu.neu.ccs.demeter.*; 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 EqualVisitor() { super(); } public 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_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_adj1(Cd_graph source, AdjList dest) { if (is_equal) { Cd_graph obj = (Cd_graph) history.peek(); Object temp2 = obj.get_adj1(); if(temp2==null) { is_equal = false; return; } history.push(temp2); } } public void after_adj1(Cd_graph source, AdjList dest) { if (is_equal) history.pop(); } public void before_visitor_list(Cd_graph source, VisList dest) { if (is_equal) { Cd_graph obj = (Cd_graph) history.peek(); Object temp3 = obj.get_visitor_list(); if(temp3==null) { is_equal = false; return; } history.push(temp3); } } public void after_visitor_list(Cd_graph source, VisList dest) { if (is_equal) history.pop(); } public void before_adj2(Cd_graph source, AdjList dest) { if (is_equal) { Cd_graph obj = (Cd_graph) history.peek(); Object temp4 = obj.get_adj2(); if(temp4==null) { is_equal = false; return; } history.push(temp4); } } public void after_adj2(Cd_graph source, AdjList 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_adjacency_nlist(AdjList source, Adjacency_Nlist dest) { if (is_equal) { AdjList obj = (AdjList) history.peek(); Object temp5 = obj.get_adjacency_nlist(); if(temp5==null) { is_equal = false; return; } history.push(temp5); } } public void after_adjacency_nlist(AdjList source, Adjacency_Nlist dest) { if (is_equal) history.pop(); } public void before(AdjList host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before_visstart(VisList source, VisStart dest) { if (is_equal) { VisList obj = (VisList) history.peek(); Object temp6 = obj.get_visstart(); if(temp6==null) { is_equal = false; return; } history.push(temp6); } } public void after_visstart(VisList source, VisStart dest) { if (is_equal) history.pop(); } public void before_adjlist(VisList source, AdjList dest) { if (is_equal) { VisList obj = (VisList) history.peek(); Object temp7 = obj.get_adjlist(); if(temp7==null) { is_equal = false; return; } history.push(temp7); } } public void after_adjlist(VisList source, AdjList dest) { if (is_equal) history.pop(); } public void before_visend(VisList source, VisEnd dest) { if (is_equal) { VisList obj = (VisList) history.peek(); Object temp8 = obj.get_visend(); if(temp8==null) { is_equal = false; return; } history.push(temp8); } } public void after_visend(VisList source, VisEnd dest) { if (is_equal) history.pop(); } public void before(VisList host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(VisStart host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(VisEnd host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(VisStart1 host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(VisStart2 host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(VisStart3 host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(VisEnd1 host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(VisEnd2 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 temp9 = obj.get_imports(); if(temp9==null) { is_equal = false; return; } history.push(temp9); } } 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 temp10 = obj.get_packagename(); if(temp10==null) { is_equal = false; return; } history.push(temp10); } } 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 temp11 = obj.get_importallclasses(); if(temp11==null) { is_equal = false; return; } history.push(temp11); } } 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 temp12 = obj.get_first(); if(temp12==null) { is_equal = false; return; } history.push(temp12); } } 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 temp13 = obj.get_source(); if(temp13==null) { is_equal = false; return; } history.push(temp13); } } 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 temp14 = obj.get_parameters(); if(temp14==null) { is_equal = false; return; } history.push(temp14); } } 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 temp15 = obj.get_ns(); if(temp15==null) { is_equal = false; return; } history.push(temp15); } } 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 temp16 = obj.get_construct_ns(); if(temp16==null) { is_equal = false; return; } history.push(temp16); } } 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 temp17 = obj.get_alternat_ns(); if(temp17==null) { is_equal = false; return; } history.push(temp17); } } public void after_alternat_ns(Alternat_ns source, Term_Bar_list dest) { if (is_equal) history.pop(); } public void before_commmon(Alternat_ns source, Common dest) { if (is_equal) { Alternat_ns obj = (Alternat_ns) history.peek(); Object temp18 = obj.get_commmon(); if(temp18==null) { is_equal = false; return; } history.push(temp18); } } public void after_commmon(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(Common1 host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(Common2 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 temp19 = obj.get_sandwiched(); if(temp19==null) { is_equal = false; return; } history.push(temp19); } } 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 temp20 = obj.get_nonempty(); if(temp20==null) { is_equal = false; return; } history.push(temp20); } } 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 temp21 = obj.get_repeated(); if(temp21==null) { is_equal = false; return; } history.push(temp21); } } 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 temp22 = host.get_vertex_name(); Object temp23 = ((Vertex) obj).get_vertex_name(); if(temp22 == null && temp23 == null) {} else if(temp22 == null || temp23 == null || !temp22.equals(temp23)) { 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 temp24 = host.get_string(); Object temp25 = ((Regular_syntax) obj).get_string(); if(temp24 == null && temp25 == null) {} else if(temp24 == null || temp25 == null || !temp24.equals(temp25)) { is_equal = false; return; } } public void before_term(Opt_labeled_term source, Term dest) { if (is_equal) { Opt_labeled_term obj = (Opt_labeled_term) history.peek(); Object temp26 = obj.get_term(); if(temp26==null) { is_equal = false; return; } history.push(temp26); } } public void after_term(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 temp27 = host.get_label_name(); Object temp28 = ((Labeled) obj).get_label_name(); if(temp27 == null && temp28 == null) {} else if(temp27 == null || temp28 == null || !temp27.equals(temp28)) { is_equal = false; return; } } public void before_vertex(Term source, Vertex dest) { if (is_equal) { Term obj = (Term) history.peek(); Object temp29 = obj.get_vertex(); if(temp29==null) { is_equal = false; return; } history.push(temp29); } } 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 temp30 = obj.get_module_name(); if(temp30==null) { is_equal = false; return; } history.push(temp30); } } public void after_module_name(Term source, Module_name dest) { if (is_equal) history.pop(); } public void before_actual_parameters(Term source, ParVertex_Comma_list dest) { if (is_equal) { Term obj = (Term) history.peek(); Object temp31 = obj.get_actual_parameters(); if(temp31==null) { is_equal = false; return; } history.push(temp31); } } public void after_actual_parameters(Term source, ParVertex_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_parvertext(ParVertex source, Vertex dest) { if (is_equal) { ParVertex obj = (ParVertex) history.peek(); Object temp32 = obj.get_parvertext(); if(temp32==null) { is_equal = false; return; } history.push(temp32); } } public void after_parvertext(ParVertex source, Vertex dest) { if (is_equal) history.pop(); } public void before(ParVertex 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 temp33 = host.get_module_name(); Object temp34 = ((Module_name) obj).get_module_name(); if(temp33 == null && temp34 == null) {} else if(temp33 == null || temp34 == null || !temp33.equals(temp34)) { 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 temp35 = obj.get_opt(); if(temp35==null) { is_equal = false; return; } history.push(temp35); } } 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(ClassName host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp36 = host.get_ident(); Object temp37 = ((ClassName) obj).get_ident(); if(temp36 == null && temp37 == null) {} else if(temp36 == null || temp37 == null || !temp36.equals(temp37)) { is_equal = false; return; } } public void before(PartName host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp38 = host.get_ident(); Object temp39 = ((PartName) obj).get_ident(); if(temp38 == null && temp39 == null) {} else if(temp38 == null || temp39 == null || !temp38.equals(temp39)) { is_equal = false; return; } } public void before(ClassType host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_i() == ((ClassType) obj).get_i(); } public void before_classinfo_list(ClassDefList source, ClassInfo_List dest) { if (is_equal) { ClassDefList obj = (ClassDefList) history.peek(); Object temp40 = obj.get_classinfo_list(); if(temp40==null) { is_equal = false; return; } history.push(temp40); } } public void after_classinfo_list(ClassDefList source, ClassInfo_List dest) { if (is_equal) history.pop(); } public void before(ClassDefList host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before_name(ClassInfo source, ClassName dest) { if (is_equal) { ClassInfo obj = (ClassInfo) history.peek(); Object temp41 = obj.get_name(); if(temp41==null) { is_equal = false; return; } history.push(temp41); } } public void after_name(ClassInfo source, ClassName dest) { if (is_equal) history.pop(); } public void before_parent(ClassInfo source, ClassInfo dest) { if (is_equal) { ClassInfo obj = (ClassInfo) history.peek(); Object temp42 = obj.get_parent(); if(temp42==null) { is_equal = false; return; } history.push(temp42); } } public void after_parent(ClassInfo source, ClassInfo dest) { if (is_equal) history.pop(); } public void before_partclass(ClassInfo source, PartInfo_List dest) { if (is_equal) { ClassInfo obj = (ClassInfo) history.peek(); Object temp43 = obj.get_partclass(); if(temp43==null) { is_equal = false; return; } history.push(temp43); } } public void after_partclass(ClassInfo source, PartInfo_List dest) { if (is_equal) history.pop(); } public void before_subclass(ClassInfo source, ClassInfo_List dest) { if (is_equal) { ClassInfo obj = (ClassInfo) history.peek(); Object temp44 = obj.get_subclass(); if(temp44==null) { is_equal = false; return; } history.push(temp44); } } public void after_subclass(ClassInfo source, ClassInfo_List dest) { if (is_equal) history.pop(); } public void before_parameter(ClassInfo source, ClassDefList dest) { if (is_equal) { ClassInfo obj = (ClassInfo) history.peek(); Object temp45 = obj.get_parameter(); if(temp45==null) { is_equal = false; return; } history.push(temp45); } } public void after_parameter(ClassInfo source, ClassDefList dest) { if (is_equal) history.pop(); } public void before(ClassInfo host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before_partname(PartInfo source, PartName dest) { if (is_equal) { PartInfo obj = (PartInfo) history.peek(); Object temp46 = obj.get_partname(); if(temp46==null) { is_equal = false; return; } history.push(temp46); } } public void after_partname(PartInfo source, PartName dest) { if (is_equal) history.pop(); } public void before_classname(PartInfo source, ClassInfo dest) { if (is_equal) { PartInfo obj = (PartInfo) history.peek(); Object temp47 = obj.get_classname(); if(temp47==null) { is_equal = false; return; } history.push(temp47); } } public void after_classname(PartInfo source, ClassInfo dest) { if (is_equal) history.pop(); } public void before(PartInfo host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(FindCVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(FindAdjVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(FindCCVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(FindUCVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp48 = host.get_name(); Object temp49 = ((FindUCVisitor) obj).get_name(); if(temp48 == null && temp49 == null) {} else if(temp48 == null || temp49 == null || !temp48.equals(temp49)) { is_equal = false; return; } } public void before_list(FindPartVisitor source, ClassInfo dest) { if (is_equal) { FindPartVisitor obj = (FindPartVisitor) history.peek(); Object temp50 = obj.get_list(); if(temp50==null) { is_equal = false; return; } history.push(temp50); } } public void after_list(FindPartVisitor source, ClassInfo dest) { if (is_equal) history.pop(); } public void before(FindPartVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(FindParaVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before_list(FindComVisitor source, ClassInfo dest) { if (is_equal) { FindComVisitor obj = (FindComVisitor) history.peek(); Object temp51 = obj.get_list(); if(temp51==null) { is_equal = false; return; } history.push(temp51); } } public void after_list(FindComVisitor source, ClassInfo dest) { if (is_equal) history.pop(); } public void before(FindComVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(CheckUPartVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before_list(FindSubVisitor source, ClassInfo dest) { if (is_equal) { FindSubVisitor obj = (FindSubVisitor) history.peek(); Object temp52 = obj.get_list(); if(temp52==null) { is_equal = false; return; } history.push(temp52); } } public void after_list(FindSubVisitor source, ClassInfo dest) { if (is_equal) history.pop(); } public void before(FindSubVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(FlattingVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before(CheckCircleVisitor host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } 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(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 temp53 = host.get_copy(); Object temp54 = ((CopyVisitor) obj).get_copy(); if(temp53 == null && temp54 == null) {} else if(temp53 == null || temp54 == null || !temp53.equals(temp54)) { 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 temp55 = obj.get_first(); if(temp55==null) { is_equal = false; return; } history.push(temp55); } } 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 temp56 = obj.get_first(); if(temp56==null) { is_equal = false; return; } history.push(temp56); } } 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 temp57 = obj.get_first(); if(temp57==null) { is_equal = false; return; } history.push(temp57); } } 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 temp58 = obj.get_first(); if(temp58==null) { is_equal = false; return; } history.push(temp58); } } 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 temp59 = obj.get_first(); if(temp59==null) { is_equal = false; return; } history.push(temp59); } } 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 temp60 = obj.get_first(); if(temp60==null) { is_equal = false; return; } history.push(temp60); } } 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 temp61 = obj.get_inner(); if(temp61==null) { is_equal = false; return; } history.push(temp61); } } 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 temp62 = obj.get_second(); if(temp62==null) { is_equal = false; return; } history.push(temp62); } } 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 temp63 = obj.get_first(); if(temp63==null) { is_equal = false; return; } history.push(temp63); } } 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 temp64 = obj.get_inner(); if(temp64==null) { is_equal = false; return; } history.push(temp64); } } 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 temp65 = obj.get_second(); if(temp65==null) { is_equal = false; return; } history.push(temp65); } } 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(ParVertex_Comma_list source, Nonempty_ParVertex_Comma_list dest) { if (is_equal) { ParVertex_Comma_list obj = (ParVertex_Comma_list) history.peek(); Object temp66 = obj.get_first(); if(temp66==null) { is_equal = false; return; } history.push(temp66); } } public void after_first(ParVertex_Comma_list source, Nonempty_ParVertex_Comma_list dest) { if (is_equal) history.pop(); } public void before(ParVertex_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 temp67 = obj.get_first(); if(temp67==null) { is_equal = false; return; } history.push(temp67); } } 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 temp68 = obj.get_inner(); if(temp68==null) { is_equal = false; return; } history.push(temp68); } } 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 temp69 = obj.get_second(); if(temp69==null) { is_equal = false; return; } history.push(temp69); } } 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(ClassInfo_List source, Nonempty_ClassInfo_List dest) { if (is_equal) { ClassInfo_List obj = (ClassInfo_List) history.peek(); Object temp70 = obj.get_first(); if(temp70==null) { is_equal = false; return; } history.push(temp70); } } public void after_first(ClassInfo_List source, Nonempty_ClassInfo_List dest) { if (is_equal) history.pop(); } public void before(ClassInfo_List host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before_first(PartInfo_List source, Nonempty_PartInfo_List dest) { if (is_equal) { PartInfo_List obj = (PartInfo_List) history.peek(); Object temp71 = obj.get_first(); if(temp71==null) { is_equal = false; return; } history.push(temp71); } } public void after_first(PartInfo_List source, Nonempty_PartInfo_List dest) { if (is_equal) history.pop(); } public void before(PartInfo_List 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 temp72 = obj.get_first(); if(temp72==null) { is_equal = false; return; } history.push(temp72); } } 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 temp75 = obj.get_next(); if(temp75==null) { is_equal = false; return; } history.push(temp75); } } 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 temp73 = host.get_it(); Object temp74 = ((Nonempty_PackageName) obj).get_it(); if(temp73 == null && temp74 == null) {} else if(temp73 == null || temp74 == null || !temp73.equals(temp74)) { 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 temp76 = obj.get_it(); if(temp76==null) { is_equal = false; return; } history.push(temp76); } } 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 temp77 = obj.get_next(); if(temp77==null) { is_equal = false; return; } history.push(temp77); } } 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 temp78 = obj.get_it(); if(temp78==null) { is_equal = false; return; } history.push(temp78); } } 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 temp79 = obj.get_next(); if(temp79==null) { is_equal = false; return; } history.push(temp79); } } 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 temp80 = obj.get_it(); if(temp80==null) { is_equal = false; return; } history.push(temp80); } } 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 temp81 = obj.get_next(); if(temp81==null) { is_equal = false; return; } history.push(temp81); } } 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 temp82 = obj.get_it(); if(temp82==null) { is_equal = false; return; } history.push(temp82); } } 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 temp83 = obj.get_next(); if(temp83==null) { is_equal = false; return; } history.push(temp83); } } 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 temp84 = obj.get_it(); if(temp84==null) { is_equal = false; return; } history.push(temp84); } } 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 temp85 = obj.get_next(); if(temp85==null) { is_equal = false; return; } history.push(temp85); } } 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_ParVertex_Comma_list source, ParVertex dest) { if (is_equal) { Nonempty_ParVertex_Comma_list obj = (Nonempty_ParVertex_Comma_list) history.peek(); Object temp86 = obj.get_it(); if(temp86==null) { is_equal = false; return; } history.push(temp86); } } public void after_it(Nonempty_ParVertex_Comma_list source, ParVertex dest) { if (is_equal) history.pop(); } public void before_next(Nonempty_ParVertex_Comma_list source, Nonempty_ParVertex_Comma_list dest) { if (is_equal) { Nonempty_ParVertex_Comma_list obj = (Nonempty_ParVertex_Comma_list) history.peek(); Object temp87 = obj.get_next(); if(temp87==null) { is_equal = false; return; } history.push(temp87); } } public void after_next(Nonempty_ParVertex_Comma_list source, Nonempty_ParVertex_Comma_list dest) { if (is_equal) history.pop(); } public void before(Nonempty_ParVertex_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_ClassInfo_List source, ClassInfo dest) { if (is_equal) { Nonempty_ClassInfo_List obj = (Nonempty_ClassInfo_List) history.peek(); Object temp88 = obj.get_it(); if(temp88==null) { is_equal = false; return; } history.push(temp88); } } public void after_it(Nonempty_ClassInfo_List source, ClassInfo dest) { if (is_equal) history.pop(); } public void before_next(Nonempty_ClassInfo_List source, Nonempty_ClassInfo_List dest) { if (is_equal) { Nonempty_ClassInfo_List obj = (Nonempty_ClassInfo_List) history.peek(); Object temp89 = obj.get_next(); if(temp89==null) { is_equal = false; return; } history.push(temp89); } } public void after_next(Nonempty_ClassInfo_List source, Nonempty_ClassInfo_List dest) { if (is_equal) history.pop(); } public void before(Nonempty_ClassInfo_List host) { Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; } public void before_it(Nonempty_PartInfo_List source, PartInfo dest) { if (is_equal) { Nonempty_PartInfo_List obj = (Nonempty_PartInfo_List) history.peek(); Object temp90 = obj.get_it(); if(temp90==null) { is_equal = false; return; } history.push(temp90); } } public void after_it(Nonempty_PartInfo_List source, PartInfo dest) { if (is_equal) history.pop(); } public void before_next(Nonempty_PartInfo_List source, Nonempty_PartInfo_List dest) { if (is_equal) { Nonempty_PartInfo_List obj = (Nonempty_PartInfo_List) history.peek(); Object temp91 = obj.get_next(); if(temp91==null) { is_equal = false; return; } history.push(temp91); } } public void after_next(Nonempty_PartInfo_List source, Nonempty_PartInfo_List dest) { if (is_equal) history.pop(); } public void before(Nonempty_PartInfo_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 temp92 = obj.get_it(); if(temp92==null) { is_equal = false; return; } history.push(temp92); } } 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 temp93 = obj.get_next(); if(temp93==null) { is_equal = false; return; } history.push(temp93); } } 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_); } }