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 and Description
InstanceFieldKeyWithFilter(IClassHierarchy cha, InstanceKey instance, IField field)

Method Summary

Modifier and Type	Method and 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 Detail

InstanceFieldKeyWithFilter

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

Method Detail

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