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

Author:

Manu Sridharan

Constructor Summary

Constructors

Constructor	Description
CallGraphMapUtil()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CallGraphMapUtil

public CallGraphMapUtil()

Method Details

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

Throws:

UnimplementedError

NullPointerException

mapPointerKey

public static PointerKey mapPointerKey(PointerKey pk,
 CallGraph fromCG,
 CallGraph toCG,
 HeapModel heapModel)
                                throws UnimplementedError

Throws:

UnimplementedError