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 CGNodemapCGNode(CGNode orig, CallGraph fromCG, CallGraph toCG)map a call graph node from one call graph to the corresponding node in another.static InstanceKeymapInstKey(InstanceKey ik, CallGraph fromCG, CallGraph toCG, HeapModel heapModel)static PointerKeymapPointerKey(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
nullif 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
-
-