core: import edu.neu.ccs.demeter.dj.*; import java.lang.*; import java.util.*; import edu.neu.ccs.demeter.*; add: class MyClassGraph extends ClassGraph { public constructor MyClassGraph() {{ super(); }} {{ public MyClassGraph(TraversalGraph tg) { super(tg); ClassGraph cg = (ClassGraph) tg.getClassGraph(); java.util.Iterator edges = tg.getEdgeSets().iterator(); while (edges.hasNext()) { edu.neu.ccs.demeter.aplib.EdgeI edge = ((TraversalGraph.EdgeSet) edges.next()).getEdge(); Class cl = cg.getNodeClass(edge.getSource()); namesClasses.put(cl.getName(), cl); } } public MyClassGraph(ClassGraph cg, String s) { this(new TraversalGraph(s, cg)); } }} {{ 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_); universal_trv0_aft(_v_); } }} }