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
Constructors Constructor Description SingleInstanceFilter(InstanceKey concreteType)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean
addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean
equals(Object o)
InstanceKey
getInstance()
int
hashCode()
boolean
isRootFilter()
String
toString()
-
-
-
Constructor Detail
-
SingleInstanceFilter
public SingleInstanceFilter(InstanceKey concreteType)
-
-
Method Detail
-
getInstance
public InstanceKey getInstance()
-
addFiltered
public boolean addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
- 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
-
-