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