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.
  • Constructor Details

    • ConstantKey

      public ConstantKey(T value, IClass valueClass)
  • Method Details

    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • getConcreteType

      public IClass 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 interface InstanceKey
    • getValue

      public T getValue()
    • getCreationSites

      public Iterator<Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)
      Description copied from interface: InstanceKey
      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.
      Specified by:
      getCreationSites in interface InstanceKey