core: import edu.neu.ccs.demeter.*; add: class Width { protected W w; public W get_w() {{ return w; }} public void set_w(W new_w) {{ w = new_w; }} public constructor Width() {{ super(); }} public constructor Width(W w) {{ super(); set_w(w); }} public static Width parse(java.io.Reader in) throws ParseException {{ return new Parser(in)._Width(); }} public static Width parse(java.io.InputStream in) throws ParseException {{ return new Parser(in)._Width(); }} public static Width 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_w(this, w); w.universal_trv0(_v_); ((UniversalVisitor) _v_).after_w(this, w); universal_trv0_aft(_v_); } }} {{ void toAll_ShoeOrder_trv_bef(UniversalVisitor __v0) { ((UniversalVisitor) __v0).before(this); } }} {{ void toAll_ShoeOrder_trv_aft(UniversalVisitor __v0) { ((UniversalVisitor) __v0).after(this); } }} {{ void toAll_ShoeOrder_trv(UniversalVisitor __v0) { toAll_ShoeOrder_trv_bef(__v0); ((UniversalVisitor) __v0).before_w(this, w); w.toAll_ShoeOrder_trv(__v0); ((UniversalVisitor) __v0).after_w(this, w); toAll_ShoeOrder_trv_aft(__v0); } }} }