Class ConstantKey<T>
- java.lang.Object
-
- com.ibm.wala.ipa.callgraph.propagation.ConstantKey<T>
-
- All Implemented Interfaces:
ContextItem,InstanceKey
public final class ConstantKey<T> extends Object implements 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
Constructors Constructor Description ConstantKey(T value, IClass valueClass)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object obj)IClassgetConcreteType()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 ofthis, i.e., the statements that may allocate objects represented bythis.TgetValue()inthashCode()StringtoString()
-
-
-
Method Detail
-
getConcreteType
public IClass getConcreteType()
Description copied from interface:InstanceKeyFor 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:
getConcreteTypein interfaceInstanceKey
-
getValue
public T getValue()
-
getCreationSites
public Iterator<Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)
Description copied from interface:InstanceKeyGet 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 containingCGNodein the givenCallGraphCGand s is the allocatingNewSiteReference.- Specified by:
getCreationSitesin interfaceInstanceKey
-
-