InstanceKey (core 1.6.5 API)

All Superinterfaces:

ContextItem

All Known Subinterfaces:

InstanceKeyWithNode

All Known Implementing Classes:

AbstractTypeInNode, AllocationSite, AllocationSiteInNode, ConcreteTypeKey, ConstantKey, MultiNewArrayInNode, NormalAllocationInNode, SmushedAllocationSiteInNode, StringConstantCharArray, ZeroLengthArrayInNode
```
public interface InstanceKey
extends ContextItem
```
An InstanceKey serves as the representative for an equivalence class of objects in the heap, that can be pointed to.
For example, for 0-CFA, an InstanceKey would embody an <IClass>... we model all instances of a particular class
For 0-1-CFA, an InstanceKey could be <IMethod,statement #>, representing a particular allocation statement in a particular method.

Nested Class Summary
- Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem
  ContextItem.Value<T>

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	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;)
`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`.

- Method Detail
  - getConcreteType
```
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;)
  - getCreationSites
```
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. 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.