core: import edu.neu.ccs.demeter.dj.*; import java.util.*; import edu.neu.ccs.demeter.*; add: class FindSubVisitor extends Visitor { protected ClassInfo list; public ClassInfo get_list() {{ return list; }} public void set_list(ClassInfo new_list) {{ list = new_list; }} public constructor FindSubVisitor() {{ super(); }} public constructor FindSubVisitor(ClassInfo list) {{ super(); set_list(list); }} public static FindSubVisitor parse(java.io.Reader in) throws ParseException {{ return new Parser(in)._FindSubVisitor(); }} public static FindSubVisitor parse(java.io.InputStream in) throws ParseException {{ return new Parser(in)._FindSubVisitor(); }} public static FindSubVisitor parse(String s) {{ try { return parse(new java.io.StringReader(s)); } catch (ParseException e) { throw new RuntimeException(e.toString()); } }} {{ void before (Vertex host){ Ident n = host.get_vertex_name(); if(list.get_subclass() == null) list.set_subclass(new ClassInfo_List()); //System.out.println(" :" + n); ClassInfo result = Cd_graph.check_undefined(n); list.get_subclass().addElement(result); } }} {{ 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_list(this, list); list.universal_trv0(_v_); ((UniversalVisitor) _v_).after_list(this, list); universal_trv0_aft(_v_); } }} }