Package com.ibm.wala.ipa.callgraph.propagation

Class InstanceFieldKeyWithFilter

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.AbstractPointerKey

com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey

com.ibm.wala.ipa.callgraph.propagation.InstanceFieldKey

com.ibm.wala.ipa.callgraph.propagation.InstanceFieldKeyWithFilter

All Implemented Interfaces:

FilteredPointerKey, InstanceFieldPointerKey, PointerKey

public class InstanceFieldKeyWithFilter
extends InstanceFieldKey
implements FilteredPointerKey

an instance field pointer key key that carries a type filter

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

Constructors

Constructor	Description
InstanceFieldKeyWithFilter(IClassHierarchy cha, InstanceKey instance, IField field)

Method Summary

Modifier and Type	Method	Description
FilteredPointerKey.TypeFilter	getTypeFilter()

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

equals, getField, hashCode, 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 Details

InstanceFieldKeyWithFilter

public InstanceFieldKeyWithFilter(IClassHierarchy cha,
 InstanceKey instance,
 IField field)

Method Details

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