Class FilteredPointerKey.SingleInstanceFilter
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.SingleInstanceFilter
- All Implemented Interfaces:
ContextItem
,FilteredPointerKey.TypeFilter
- Enclosing interface:
FilteredPointerKey
public static class FilteredPointerKey.SingleInstanceFilter
extends Object
implements FilteredPointerKey.TypeFilter
-
Nested Class Summary
Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem
ContextItem.Value<T>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
addFiltered
(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R) boolean
boolean
int
hashCode()
boolean
toString()
-
Constructor Details
-
SingleInstanceFilter
-
-
Method Details
-
toString
-
getInstance
-
hashCode
-
equals
-
addFiltered
- Specified by:
addFiltered
in interfaceFilteredPointerKey.TypeFilter
-
addInverseFiltered
public boolean addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R) - Specified by:
addInverseFiltered
in interfaceFilteredPointerKey.TypeFilter
-
isRootFilter
public boolean isRootFilter()- Specified by:
isRootFilter
in interfaceFilteredPointerKey.TypeFilter
-