InstanceKey (API Reference for wala 1.3.9)

All Superinterfaces:

ContextItem

All Known Subinterfaces:

InstanceKeyWithNode

All Known Implementing Classes:

AbstractTypeInNode, AllocationSite, AllocationSiteInNode, ConcreteTypeKey, ConstantKey, GlobalObjectKey, MultiNewArrayInNode, NormalAllocationInNode, ScopeMappingInstanceKeys.ScopeMappingInstanceKey, 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 ... we model all instances of a particular class For 0-1-CFA, an InstanceKey could be , 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;)
`Iterator<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
```
Iterator<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.