com.ibm.wala.ipa.callgraph.propagation
Interface InstanceKey
- All Superinterfaces:
- ContextItem
- All Known Subinterfaces:
- InstanceKeyWithNode
- All Known Implementing Classes:
- AbstractTypeInNode, AllocationSite, AllocationSiteInNode, ConcreteTypeKey, ConstantKey, MultiNewArrayInNode, NormalAllocationInNode, ScopeMappingInstanceKeys.ScopeMappingInstanceKey, SmushedAllocationSiteInNode, StringConstantCharArray
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.
|
Method Summary |
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;) |
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;)