Package com.ibm.wala.demandpa.util
Class CallGraphMapUtil
- java.lang.Object
-
- com.ibm.wala.demandpa.util.CallGraphMapUtil
-
public class CallGraphMapUtil extends Object
utility methods for mapping various program entities from one call graph to the corresponding entity in another one
-
-
Constructor Summary
Constructors Constructor Description CallGraphMapUtil()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static CGNode
mapCGNode(CGNode orig, CallGraph fromCG, CallGraph toCG)
map a call graph node from one call graph to the corresponding node in another.static InstanceKey
mapInstKey(InstanceKey ik, CallGraph fromCG, CallGraph toCG, HeapModel heapModel)
static PointerKey
mapPointerKey(PointerKey pk, CallGraph fromCG, CallGraph toCG, HeapModel heapModel)
-
-
-
Method Detail
-
mapCGNode
public static CGNode mapCGNode(CGNode orig, CallGraph fromCG, CallGraph toCG) throws IllegalArgumentException
map a call graph node from one call graph to the corresponding node in another. Note that the target call graph must be context-insensitive for the method, i.e., the only context for the method should be Everywhere.EVERYWHERE.- Returns:
- the corresponding node, or
null
if the method is not in the target call graph - Throws:
IllegalArgumentException
- if fromCG == null
-
mapInstKey
public static InstanceKey mapInstKey(InstanceKey ik, CallGraph fromCG, CallGraph toCG, HeapModel heapModel) throws UnimplementedError, NullPointerException
-
mapPointerKey
public static PointerKey mapPointerKey(PointerKey pk, CallGraph fromCG, CallGraph toCG, HeapModel heapModel) throws UnimplementedError
- Throws:
UnimplementedError
-
-