com.ibm.wala.ipa.callgraph.propagation

Class AllocationSite

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.AllocationSite

All Implemented Interfaces:

ContextItem, InstanceKey

public class AllocationSite
extends java.lang.Object
implements 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

Constructors

Constructor and Description
AllocationSite(IMethod method, NewSiteReference allocation, IClass type)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.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;)
java.util.Iterator<com.ibm.wala.util.collections.Pair<CGNode,NewSiteReference>>	getCreationSites(CallGraph CG) Get the creation sites of this, i.e., the statements that may allocate objects represented by this.
IMethod	getMethod()
NewSiteReference	getSite()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AllocationSite

public AllocationSite(IMethod method,
                      NewSiteReference allocation,
                      IClass type)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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 interface InstanceKey

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getCreationSites

public java.util.Iterator<com.ibm.wala.util.collections.Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)

Description copied from interface: InstanceKey

Get the creation sites of this, i.e., the statements that may allocate objects represented by this. A creation site is a pair (n,s), where n is the containing CGNode in the given CallGraph CG and s is the allocating NewSiteReference.

Specified by:

getCreationSites in interface InstanceKey