diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/PartialCallGraph.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/PartialCallGraph.java index 6272a24b3..01b5fe9cd 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/PartialCallGraph.java +++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/PartialCallGraph.java @@ -51,30 +51,35 @@ public class PartialCallGraph extends DelegatingGraph implements CallGra this.partialRoots = partialRoots; } - public static PartialCallGraph make(final CallGraph CG, final Collection partialRoots, final Collection nodes) { - Graph partialGraph = GraphSlicer.prune(CG, new Filter() { + /** + * @param cg the original call graph + * @param partialRoots roots of the new, partial graph + * @param nodes set of nodes that will be included in the new, partial call graph + */ + public static PartialCallGraph make(final CallGraph cg, final Collection partialRoots, final Collection nodes) { + Graph partialGraph = GraphSlicer.prune(cg, new Filter() { public boolean accepts(CGNode o) { return nodes.contains(o); } }); - return new PartialCallGraph(CG, partialRoots, partialGraph); + return new PartialCallGraph(cg, partialRoots, partialGraph); } /** - * @param CG the original call graph + * @param cg the original call graph * @param partialRoots roots of the new, partial graph * the result contains only nodes reachable from the partialRoots in the original call graph. */ - public static PartialCallGraph make(CallGraph CG, Collection partialRoots) { - final Set nodes = DFS.getReachableNodes(CG, partialRoots); - Graph partialGraph = GraphSlicer.prune(CG, new Filter() { + public static PartialCallGraph make(CallGraph cg, Collection partialRoots) { + final Set nodes = DFS.getReachableNodes(cg, partialRoots); + Graph partialGraph = GraphSlicer.prune(cg, new Filter() { public boolean accepts(CGNode o) { return nodes.contains(o); } }); - return new PartialCallGraph(CG, partialRoots, partialGraph); + return new PartialCallGraph(cg, partialRoots, partialGraph); } public CGNode getFakeRootNode() throws UnsupportedOperationException {