com.ibm.wala.ipa.callgraph.propagation
Class ArrayContentsKey

java.lang.Object
  com.ibm.wala.ipa.callgraph.propagation.AbstractPointerKey
      com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey
          com.ibm.wala.ipa.callgraph.propagation.ArrayContentsKey

All Implemented Interfaces:

FilteredPointerKey, InstanceFieldPointerKey, PointerKey

public final class ArrayContentsKey
extends AbstractFieldPointerKey
implements FilteredPointerKey

A PointerKey which represents the contents of an array instance.

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey

FilteredPointerKey.MultipleClassesFilter, FilteredPointerKey.SingleClassFilter, FilteredPointerKey.SingleInstanceFilter, FilteredPointerKey.TargetMethodFilter, FilteredPointerKey.TypeFilter

Field Summary

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey

instance

Constructor Summary

ArrayContentsKey(InstanceKey instance)

Method Summary

boolean	equals(java.lang.Object obj)
FilteredPointerKey.TypeFilter	getTypeFilter()
int	hashCode()
java.lang.String	toString()

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey

getInstanceKey

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ArrayContentsKey

public ArrayContentsKey(InstanceKey instance)

Method Detail

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class AbstractPointerKey

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractPointerKey

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getTypeFilter

public FilteredPointerKey.TypeFilter getTypeFilter()

Specified by:

getTypeFilter in interface FilteredPointerKey

Returns:

the class which should govern filtering of instances to which this pointer points, or null if no filtering needed