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
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
ConstructorDescriptionInstanceFieldKeyWithFilter
(IClassHierarchy cha, InstanceKey instance, IField field) -
Method Summary
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
-
Constructor Details
-
InstanceFieldKeyWithFilter
-
-
Method Details
-
getTypeFilter
- Specified by:
getTypeFilter
in interfaceFilteredPointerKey
- Returns:
- the class which should govern filtering of instances to which this pointer points, or null if no filtering needed
-