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 FilteredPointerKey

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

Field Summary

Fields inherited from class AbstractFieldPointerKey

instance

Constructor Summary

Constructors

Constructor	Description
ArrayContentsKey(InstanceKey instance)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
FilteredPointerKey.TypeFilter	getTypeFilter()
int	hashCode()
String	toString()

Methods inherited from class AbstractFieldPointerKey

getInstanceKey

Methods inherited from class Object

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

Constructor Details

ArrayContentsKey

public ArrayContentsKey(InstanceKey instance)

Method Details

equals

public boolean equals(Object obj)

Specified by:

equals in class AbstractPointerKey

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractPointerKey

toString

public String toString()

Overrides:

toString in class 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