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 booleanaddFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)booleanaddInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)booleanequals(Object o)InstanceKeygetInstance()inthashCode()booleanisRootFilter()StringtoString()
-
-
-
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:
addFilteredin interfaceFilteredPointerKey.TypeFilter
-
addInverseFiltered
public boolean addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
- Specified by:
addInverseFilteredin interfaceFilteredPointerKey.TypeFilter
-
isRootFilter
public boolean isRootFilter()
- Specified by:
isRootFilterin interfaceFilteredPointerKey.TypeFilter
-
-