import edu.neu.ccs.demeter.dj.*; import java.util.*; import edu.neu.ccs.demeter.*; abstract class Neighbors_wc extends Neighbors { protected Any_vertex_List construct_ns; public Any_vertex_List get_construct_ns() { return construct_ns; } public void set_construct_ns(Any_vertex_List new_construct_ns) { construct_ns = new_construct_ns; } public Neighbors_wc() { super(); } public Neighbors_wc(Any_vertex_List construct_ns) { super(); set_construct_ns(construct_ns); } void universal_trv0_bef(UniversalVisitor _v_) { super.universal_trv0_bef(_v_); ((UniversalVisitor) _v_).before(this); } void universal_trv0_aft(UniversalVisitor _v_) { ((UniversalVisitor) _v_).after(this); super.universal_trv0_aft(_v_); } void universal_trv0(UniversalVisitor _v_) { ((UniversalVisitor) _v_).before_construct_ns(this, construct_ns); construct_ns.universal_trv0(_v_); ((UniversalVisitor) _v_).after_construct_ns(this, construct_ns); super.universal_trv0(_v_); } void __trav_display_Cd_graph_trv_bef(DisplayVisitor __v0) { super.__trav_display_Cd_graph_trv_bef(__v0); ((UniversalVisitor) __v0).before(this); } void __trav_display_Cd_graph_trv_aft(DisplayVisitor __v0) { ((UniversalVisitor) __v0).after(this); super.__trav_display_Cd_graph_trv_aft(__v0); } void __trav_display_Cd_graph_trv(DisplayVisitor __v0) { ((DisplayVisitor) __v0).before_construct_ns(this, construct_ns); construct_ns.__trav_display_Cd_graph_trv(__v0); ((UniversalVisitor) __v0).after_construct_ns(this, construct_ns); super.__trav_display_Cd_graph_trv(__v0); } void __trav_checkDefined_Cd_graph_trv_bef(__V_Cd_graph_checkDefined __v0) { super.__trav_checkDefined_Cd_graph_trv_bef(__v0); } void __trav_checkDefined_Cd_graph_trv_aft(__V_Cd_graph_checkDefined __v0) { super.__trav_checkDefined_Cd_graph_trv_aft(__v0); } void __trav_checkDefined_Cd_graph_trv(java.util.BitSet nodes, __V_Cd_graph_checkDefined __v0) { if (nodes.get(0)) nodes.set(1); { java.util.BitSet newnodes = new java.util.BitSet(); newnodes.set(1); newnodes.and(nodes); if (!newnodes.equals(new java.util.BitSet())) { construct_ns.__trav_checkDefined_Cd_graph_trv(newnodes, __v0); } } } void __trav_uniqueparts_Cd_graph_trv_bef(__V_Cd_graph_uniqueparts __v0) { super.__trav_uniqueparts_Cd_graph_trv_bef(__v0); } void __trav_uniqueparts_Cd_graph_trv_aft(__V_Cd_graph_uniqueparts __v0) { super.__trav_uniqueparts_Cd_graph_trv_aft(__v0); } void __trav_uniqueparts_Cd_graph_trv(java.util.BitSet nodes, __V_Cd_graph_uniqueparts __v0) { { java.util.BitSet newnodes = new java.util.BitSet(); newnodes.set(2); newnodes.and(nodes); if (!newnodes.equals(new java.util.BitSet())) { construct_ns.__trav_uniqueparts_Cd_graph_trv(newnodes, __v0); } } } void __trav_check_for_inheritence_Cd_graph_trv_bef(__V_Cd_graph_check_for_inheritence __v0) { super.__trav_check_for_inheritence_Cd_graph_trv_bef(__v0); } void __trav_check_for_inheritence_Cd_graph_trv_aft(__V_Cd_graph_check_for_inheritence __v0) { super.__trav_check_for_inheritence_Cd_graph_trv_aft(__v0); } void __trav_check_for_inheritence_Cd_graph_trv(java.util.BitSet nodes, __V_Cd_graph_check_for_inheritence __v0) { { java.util.BitSet newnodes = new java.util.BitSet(); newnodes.set(2); newnodes.and(nodes); if (!newnodes.equals(new java.util.BitSet())) { construct_ns.__trav_check_for_inheritence_Cd_graph_trv(newnodes, __v0); } } } void __trav_get_SuperClasses_Cd_graph_trv_bef(__V_Cd_graph_get_SuperClasses __v0) { super.__trav_get_SuperClasses_Cd_graph_trv_bef(__v0); } void __trav_get_SuperClasses_Cd_graph_trv_aft(__V_Cd_graph_get_SuperClasses __v0) { super.__trav_get_SuperClasses_Cd_graph_trv_aft(__v0); } void __trav_get_SuperClasses_Cd_graph_trv(java.util.BitSet nodes, __V_Cd_graph_get_SuperClasses __v0) { { java.util.BitSet newnodes = new java.util.BitSet(); newnodes.set(2); newnodes.and(nodes); if (!newnodes.equals(new java.util.BitSet())) { construct_ns.__trav_get_SuperClasses_Cd_graph_trv(newnodes, __v0); } } } void __trav_flatten_Cd_graph_trv_bef(__V_Cd_graph_flatten __v0) { super.__trav_flatten_Cd_graph_trv_bef(__v0); ((__V_Cd_graph_flatten) __v0).before(this); } void __trav_flatten_Cd_graph_trv_aft(__V_Cd_graph_flatten __v0) { super.__trav_flatten_Cd_graph_trv_aft(__v0); } void __trav_flatten_Cd_graph_trv(__V_Cd_graph_flatten __v0) { } }