本文整理汇总了Java中heros.solver.IDESolver类的典型用法代码示例。如果您正苦于以下问题:Java IDESolver类的具体用法?Java IDESolver怎么用?Java IDESolver使用的例子?那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
IDESolver类属于heros.solver包,在下文中一共展示了IDESolver类的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: load
import heros.solver.IDESolver; //导入依赖的package包/类
@Override
public Collection<SootMethod> load(Unit u) throws Exception {
ArrayList<SootMethod> res = null;
//only retain callers that are explicit call sites or Thread.start()
Iterator<Edge> edgeIter = new EdgeFilter().wrap(cg.edgesOutOf(u));
while(edgeIter.hasNext()) {
Edge edge = edgeIter.next();
SootMethod m = edge.getTgt().method();
if(m.hasActiveBody()) {
if (res == null)
res = new ArrayList<SootMethod>();
res.add(m);
}
else if(IDESolver.DEBUG)
System.err.println("Method "+m.getSignature()+" is referenced but has no body!");
}
if (res != null) {
res.trimToSize();
return res;
}
else
return Collections.emptySet();
}