Class LocalPointerKeyWithFilter
- java.lang.Object
-
- com.ibm.wala.ipa.callgraph.propagation.AbstractPointerKey
-
- com.ibm.wala.ipa.callgraph.propagation.AbstractLocalPointerKey
-
- com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey
-
- com.ibm.wala.ipa.callgraph.propagation.LocalPointerKeyWithFilter
-
- All Implemented Interfaces:
FilteredPointerKey
,PointerKey
public class LocalPointerKeyWithFilter extends LocalPointerKey implements FilteredPointerKey
a local pointer 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
-
-
Constructor Summary
Constructors Constructor Description LocalPointerKeyWithFilter(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter typeFilter)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description FilteredPointerKey.TypeFilter
getTypeFilter()
-
Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey
equals, getNode, getValueNumber, hashCode, isParameter, toString
-
-
-
-
Constructor Detail
-
LocalPointerKeyWithFilter
public LocalPointerKeyWithFilter(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter typeFilter)
-
-
Method Detail
-
getTypeFilter
public FilteredPointerKey.TypeFilter 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
-
-