public abstract class AllocationSiteInNode extends AbstractTypeInNode
ContextItem.Value<T>
Constructor and Description |
---|
AllocationSiteInNode(CGNode node,
NewSiteReference allocation,
IClass type) |
Modifier and Type | Method and Description |
---|---|
abstract boolean |
equals(Object obj) |
Iterator<Pair<CGNode,NewSiteReference>> |
getCreationSites(CallGraph CG)
Get the creation sites of
this , i.e., the statements that may
allocate objects represented by this . |
NewSiteReference |
getSite() |
abstract int |
hashCode() |
String |
toString() |
getConcreteType, getNode
public AllocationSiteInNode(CGNode node, NewSiteReference allocation, IClass type)
public abstract boolean equals(Object obj)
equals
in class AbstractTypeInNode
public abstract int hashCode()
hashCode
in class AbstractTypeInNode
public String toString()
toString
in class AbstractTypeInNode
public NewSiteReference getSite()
public Iterator<Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)
InstanceKey
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
.