public static class FilteredPointerKey.SingleClassFilter extends Object implements FilteredPointerKey.TypeFilter
ContextItem.Value<T>
Constructor and Description |
---|
SingleClassFilter(IClass concreteType) |
Modifier and Type | Method and 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() |
public SingleClassFilter(IClass concreteType)
public IClass getConcreteType()
public boolean addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
addFiltered
in interface FilteredPointerKey.TypeFilter
public boolean addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
addInverseFiltered
in interface FilteredPointerKey.TypeFilter
public boolean isRootFilter()
isRootFilter
in interface FilteredPointerKey.TypeFilter