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 booleanaddFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)booleanaddInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)booleanequals(Object o)IClassgetConcreteType()inthashCode()booleanisRootFilter()StringtoString()
-
-
-
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:
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
-
-