public static class FilteredPointerKey.SingleInstanceFilter extends Object implements FilteredPointerKey.TypeFilter
ContextItem.Value<T>
Constructor and Description |
---|
SingleInstanceFilter(InstanceKey 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) |
InstanceKey |
getInstance() |
int |
hashCode() |
boolean |
isRootFilter() |
String |
toString() |
public SingleInstanceFilter(InstanceKey concreteType)
public InstanceKey getInstance()
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