import edu.neu.ccs.demeter.dj.*; import java.util.*; import edu.neu.ccs.demeter.*; class Alternat_ns extends Neighbors_wc { protected Term_Bar_list alternat_ns; public Term_Bar_list get_alternat_ns() { return alternat_ns; } public void set_alternat_ns(Term_Bar_list new_alternat_ns) { alternat_ns = new_alternat_ns; } protected Common common; public Common get_common() { return common; } public void set_common(Common new_common) { common = new_common; } public Alternat_ns() { super(); } public Alternat_ns(Any_vertex_List construct_ns, ParentList parents, Term_Bar_list alternat_ns, Common common) { super(construct_ns, parents); set_alternat_ns(alternat_ns); set_common(common); } public static Alternat_ns parse(java.io.Reader in) throws ParseException { return new Parser(in)._Alternat_ns(); } public static Alternat_ns parse(java.io.InputStream in) throws ParseException { return new Parser(in)._Alternat_ns(); } public static Alternat_ns parse(String s) { try { return parse(new java.io.StringReader(s)); } catch (ParseException e) { throw new RuntimeException(e.toString()); } } 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_) { universal_trv0_bef(_v_); ((UniversalVisitor) _v_).before_alternat_ns(this, alternat_ns); alternat_ns.universal_trv0(_v_); ((UniversalVisitor) _v_).after_alternat_ns(this, alternat_ns); if (common != null) { ((UniversalVisitor) _v_).before_common(this, common); common.universal_trv0(_v_); ((UniversalVisitor) _v_).after_common(this, common); } super.universal_trv0(_v_); universal_trv0_aft(_v_); } void __trav_display_Cd_graph_trv_bef(DisplayVisitor __v0) { super.__trav_display_Cd_graph_trv_bef(__v0); ((DisplayVisitor) __v0).before(this); } void __trav_display_Cd_graph_trv_aft(DisplayVisitor __v0) { ((DisplayVisitor) __v0).after(this); super.__trav_display_Cd_graph_trv_aft(__v0); } void __trav_display_Cd_graph_trv(DisplayVisitor __v0) { __trav_display_Cd_graph_trv_bef(__v0); ((DisplayVisitor) __v0).before_alternat_ns(this, alternat_ns); alternat_ns.__trav_display_Cd_graph_trv(__v0); ((UniversalVisitor) __v0).after_alternat_ns(this, alternat_ns); if (common != null) { ((DisplayVisitor) __v0).before_common(this, common); common.__trav_display_Cd_graph_trv(__v0); ((UniversalVisitor) __v0).after_common(this, common); } super.__trav_display_Cd_graph_trv(__v0); __trav_display_Cd_graph_trv_aft(__v0); } }