Class AllocationSite
- java.lang.Object
-
- com.ibm.wala.ipa.callgraph.propagation.AllocationSite
-
- All Implemented Interfaces:
ContextItem
,InstanceKey
public class AllocationSite extends Object implements InstanceKey
AnInstanceKey
which represents aNewSiteReference
in someIMethod
. Note that this differs fromAllocationSiteInNode
, which represents an allocation in aCGNode
that may carry someContext
. This type is useful for a context-insensitive heap abstraction.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem
ContextItem.Value<T>
-
-
Constructor Summary
Constructors Constructor Description AllocationSite(IMethod method, NewSiteReference allocation, IClass type)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object obj)
IClass
getConcreteType()
For now, we assert that each InstanceKey represents a set of classes which are all of the same concrete type (modulo the fact that all arrays of references are considered concrete type []Object;)Iterator<Pair<CGNode,NewSiteReference>>
getCreationSites(CallGraph CG)
Get the creation sites ofthis
, i.e., the statements that may allocate objects represented bythis
.IMethod
getMethod()
NewSiteReference
getSite()
int
hashCode()
String
toString()
-
-
-
Constructor Detail
-
AllocationSite
public AllocationSite(IMethod method, NewSiteReference allocation, IClass type)
-
-
Method Detail
-
getSite
public NewSiteReference getSite()
-
getMethod
public IMethod getMethod()
-
getConcreteType
public IClass getConcreteType()
Description copied from interface:InstanceKey
For now, we assert that each InstanceKey represents a set of classes which are all of the same concrete type (modulo the fact that all arrays of references are considered concrete type []Object;)- Specified by:
getConcreteType
in interfaceInstanceKey
-
getCreationSites
public Iterator<Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)
Description copied from interface:InstanceKey
Get the creation sites ofthis
, i.e., the statements that may allocate objects represented bythis
. A creation site is a pair (n,s), where n is the containingCGNode
in the givenCallGraph
CG
and s is the allocatingNewSiteReference
.- Specified by:
getCreationSites
in interfaceInstanceKey
-
-