core: import edu.neu.ccs.demeter.*; add: class JavaType { protected Name type; public Name get_type() {{ return type; }} public void set_type(Name new_type) {{ type = new_type; }} protected ArraySpec_List array; public ArraySpec_List get_array() {{ return array; }} public void set_array(ArraySpec_List new_array) {{ array = new_array; }} public constructor JavaType() {{ super(); }} public constructor JavaType(Name type, ArraySpec_List array) {{ super(); set_type(type); set_array(array); }} public static JavaType parse(java.io.Reader in) throws ParseException {{ return new Parser(in)._JavaType(); }} public static JavaType parse(java.io.InputStream in) throws ParseException {{ return new Parser(in)._JavaType(); }} public static JavaType 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_type(this, type); type.universal_trv0(_v_); ((UniversalVisitor) _v_).after_type(this, type); ((UniversalVisitor) _v_).before_array(this, array); array.universal_trv0(_v_); ((UniversalVisitor) _v_).after_array(this, array); universal_trv0_aft(_v_); } }} {{ void __trav_display_DAJ_trv_bef(DisplayVisitor __v0) { ((DisplayVisitor) __v0).before(this); } }} {{ void __trav_display_DAJ_trv_aft(DisplayVisitor __v0) { ((DisplayVisitor) __v0).after(this); } }} {{ void __trav_display_DAJ_trv(DisplayVisitor __v0) { __trav_display_DAJ_trv_bef(__v0); ((DisplayVisitor) __v0).before_type(this, type); type.__trav_display_DAJ_trv(__v0); ((UniversalVisitor) __v0).after_type(this, type); ((DisplayVisitor) __v0).before_array(this, array); array.__trav_display_DAJ_trv(__v0); ((UniversalVisitor) __v0).after_array(this, array); __trav_display_DAJ_trv_aft(__v0); } }} }