core: import edu.neu.ccs.demeter.dj.*; import java.util.*; import java.lang.reflect.*; import edu.neu.ccs.demeter.*; add: class Nonempty_Vertex_Comma_list { protected Vertex it; public Vertex get_it() {{ return it; }} public void set_it(Vertex new_it) {{ it = new_it; }} protected Nonempty_Vertex_Comma_list next; public Nonempty_Vertex_Comma_list get_next() {{ return next; }} public void set_next(Nonempty_Vertex_Comma_list new_next) {{ next = new_next; }} public constructor Nonempty_Vertex_Comma_list() {{ super(); }} public constructor Nonempty_Vertex_Comma_list(Vertex it, Nonempty_Vertex_Comma_list next) {{ super(); set_it(it); set_next(next); }} public static Nonempty_Vertex_Comma_list parse(java.io.Reader in) throws ParseException {{ return new Parser(in)._Nonempty_Vertex_Comma_list(); }} public static Nonempty_Vertex_Comma_list parse(java.io.InputStream in) throws ParseException {{ return new Parser(in)._Nonempty_Vertex_Comma_list(); }} public static Nonempty_Vertex_Comma_list 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_) { ((UniversalVisitor) _v_).before(this); } }} {{ void universal_trv0_aft(UniversalVisitor _v_) { ((UniversalVisitor) _v_).after(this); } }} {{ void universal_trv0(UniversalVisitor _v_) { universal_trv0_bef(_v_); ((UniversalVisitor) _v_).before_it(this, it); it.universal_trv0(_v_); ((UniversalVisitor) _v_).after_it(this, it); if (next != null) { ((UniversalVisitor) _v_).before_next(this, next); next.universal_trv0(_v_); ((UniversalVisitor) _v_).after_next(this, next); } universal_trv0_aft(_v_); } }} {{ void __trav_display_Cd_graph_trv_bef(DisplayVisitor __v0) { ((DisplayVisitor) __v0).before(this); } }} {{ void __trav_display_Cd_graph_trv_aft(DisplayVisitor __v0) { ((DisplayVisitor) __v0).after(this); } }} {{ void __trav_display_Cd_graph_trv(DisplayVisitor __v0) { __trav_display_Cd_graph_trv_bef(__v0); ((DisplayVisitor) __v0).before_it(this, it); it.__trav_display_Cd_graph_trv(__v0); ((UniversalVisitor) __v0).after_it(this, it); if (next != null) { ((DisplayVisitor) __v0).before_next(this, next); next.__trav_display_Cd_graph_trv(__v0); ((UniversalVisitor) __v0).after_next(this, next); } __trav_display_Cd_graph_trv_aft(__v0); } }} }