Class FilteredPointerKey.SingleClassFilter
- java.lang.Object
-
- com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.SingleClassFilter
-
- All Implemented Interfaces:
ContextItem
,FilteredPointerKey.TypeFilter
- Enclosing interface:
- FilteredPointerKey
public static class FilteredPointerKey.SingleClassFilter 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 SingleClassFilter(IClass 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)
IClass
getConcreteType()
int
hashCode()
boolean
isRootFilter()
String
toString()
-
-
-
Constructor Detail
-
SingleClassFilter
public SingleClassFilter(IClass concreteType)
-
-
Method Detail
-
getConcreteType
public IClass getConcreteType()
-
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
-
-