Class ConstantKey<T>
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.ConstantKey<T>
- All Implemented Interfaces:
ContextItem
,InstanceKey
An instance key which represents a unique, constant object.
-
Nested Class Summary
Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem
ContextItem.Value<T>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
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;)Get the creation sites ofthis
, i.e., the statements that may allocate objects represented bythis
.getValue()
int
hashCode()
toString()
-
Constructor Details
-
ConstantKey
-
-
Method Details
-
equals
-
hashCode
-
toString
-
getConcreteType
Description copied from interface:InstanceKey
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;)- Specified by:
getConcreteType
in interfaceInstanceKey
-
getValue
-
getCreationSites
Description copied from interface:InstanceKey
Get the creation sites ofthis
, i.e., the statements that may allocate objects represented bythis
. A creation site is a pair (n,s), where n is the containingCGNode
in the givenCallGraph
CG
and s is the allocatingNewSiteReference
.- Specified by:
getCreationSites
in interfaceInstanceKey
-