Class AllocationSite
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.AllocationSite
- All Implemented Interfaces:
ContextItem
,InstanceKey
An
InstanceKey
which represents a NewSiteReference
in some IMethod
. Note
that this differs from AllocationSiteInNode
, which represents an allocation in a CGNode
that may carry some Context
. 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
-
Method Summary
Modifier and TypeMethodDescriptionboolean
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;)Get the creation sites ofthis
, i.e., the statements that may allocate objects represented bythis
.getSite()
int
hashCode()
toString()
-
Constructor Details
-
AllocationSite
-
-
Method Details
-
toString
-
getSite
-
getMethod
-
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
-
hashCode
-
equals
-
getCreationSites
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
-