public class GlobalObjectKey extends Object implements InstanceKey
JSSSAPropagationCallGraphBuilderContextItem.Value<T>| Constructor and Description |
|---|
GlobalObjectKey(IClass concreteType) |
| Modifier and Type | Method and Description |
|---|---|
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 of
this, i.e., the statements that may
allocate objects represented by this. |
String |
toString() |
public GlobalObjectKey(IClass concreteType)
public IClass getConcreteType()
InstanceKeygetConcreteType in interface InstanceKeypublic Iterator<Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)
InstanceKeythis, 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.getCreationSites in interface InstanceKey