Class AllocationSite
- java.lang.Object
-
- com.ibm.wala.ipa.callgraph.propagation.AllocationSite
-
- All Implemented Interfaces:
ContextItem,InstanceKey
public class AllocationSite extends Object implements InstanceKey
AnInstanceKeywhich represents aNewSiteReferencein someIMethod. Note that this differs fromAllocationSiteInNode, which represents an allocation in aCGNodethat 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 booleanequals(Object obj)IClassgetConcreteType()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.IMethodgetMethod()NewSiteReferencegetSite()inthashCode()StringtoString()
-
-
-
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:InstanceKeyFor 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:
getConcreteTypein interfaceInstanceKey
-
getCreationSites
public Iterator<Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)
Description copied from interface:InstanceKeyGet 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 containingCGNodein the givenCallGraphCGand s is the allocatingNewSiteReference.- Specified by:
getCreationSitesin interfaceInstanceKey
-
-