Package com.ibm.wala.ipa.callgraph
Class CallGraphTransitiveClosure
- java.lang.Object
-
- com.ibm.wala.ipa.callgraph.CallGraphTransitiveClosure
-
public class CallGraphTransitiveClosure extends Object
Utility class for computing an analysis result for call graph nodes and their transitive callees, given the results for individual nodes.
-
-
Constructor Summary
Constructors Constructor Description CallGraphTransitiveClosure()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <T> Map<CGNode,Collection<T>>
collectNodeResults(CallGraph cg, Function<CGNode,Collection<T>> nodeResultComputer)
static <T> Map<CGNode,OrdinalSet<T>>
transitiveClosure(CallGraph cg, Map<CGNode,Collection<T>> nodeResults)
Compute the transitive closure of an analysis result over all callees.
-
-
-
Method Detail
-
transitiveClosure
public static <T> Map<CGNode,OrdinalSet<T>> transitiveClosure(CallGraph cg, Map<CGNode,Collection<T>> nodeResults)
Compute the transitive closure of an analysis result over all callees.- Parameters:
cg
- the call graphnodeResults
- analysis result for each individual node- Returns:
- a map from each node to the analysis result for the node and its transitive callees
-
collectNodeResults
public static <T> Map<CGNode,Collection<T>> collectNodeResults(CallGraph cg, Function<CGNode,Collection<T>> nodeResultComputer)
-
-