Class PropagationCallGraphBuilder.TypedPointerKey
- java.lang.Object
-
- com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.TypedPointerKey
-
- All Implemented Interfaces:
FilteredPointerKey
,PointerKey
- Enclosing class:
- PropagationCallGraphBuilder
public static final class PropagationCallGraphBuilder.TypedPointerKey extends Object implements FilteredPointerKey
A pointer key that delegates to an untyped variant, but adds 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
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object obj)
PointerKey
getBase()
FilteredPointerKey.TypeFilter
getTypeFilter()
int
hashCode()
String
toString()
-
-
-
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
-
getBase
public PointerKey getBase()
-
-