core: import edu.neu.ccs.demeter.dj.*; import java.util.*; import java.lang.reflect.*; import edu.neu.ccs.demeter.*; add: class Kernel_Sandwich { protected Syntax_vertex_List first; public Syntax_vertex_List get_first() {{ return first; }} public void set_first(Syntax_vertex_List new_first) {{ first = new_first; }} protected Kernel inner; public Kernel get_inner() {{ return inner; }} public void set_inner(Kernel new_inner) {{ inner = new_inner; }} protected Syntax_vertex_List second; public Syntax_vertex_List get_second() {{ return second; }} public void set_second(Syntax_vertex_List new_second) {{ second = new_second; }} public constructor Kernel_Sandwich() {{ super(); }} public constructor Kernel_Sandwich(Syntax_vertex_List first, Kernel inner, Syntax_vertex_List second) {{ super(); set_first(first); set_inner(inner); set_second(second); }} public static Kernel_Sandwich parse(java.io.Reader in) throws ParseException {{ return new Parser(in)._Kernel_Sandwich(); }} public static Kernel_Sandwich parse(java.io.InputStream in) throws ParseException {{ return new Parser(in)._Kernel_Sandwich(); }} public static Kernel_Sandwich 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_first(this, first); first.universal_trv0(_v_); ((UniversalVisitor) _v_).after_first(this, first); ((UniversalVisitor) _v_).before_inner(this, inner); inner.universal_trv0(_v_); ((UniversalVisitor) _v_).after_inner(this, inner); ((UniversalVisitor) _v_).before_second(this, second); second.universal_trv0(_v_); ((UniversalVisitor) _v_).after_second(this, second); 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_first(this, first); first.__trav_display_Cd_graph_trv(__v0); ((UniversalVisitor) __v0).after_first(this, first); ((DisplayVisitor) __v0).before_inner(this, inner); inner.__trav_display_Cd_graph_trv(__v0); ((UniversalVisitor) __v0).after_inner(this, inner); ((DisplayVisitor) __v0).before_second(this, second); second.__trav_display_Cd_graph_trv(__v0); ((UniversalVisitor) __v0).after_second(this, second); __trav_display_Cd_graph_trv_aft(__v0); } }} }