public static class FilteredPointerKey.TargetMethodFilter extends Object implements FilteredPointerKey.TypeFilter
ContextItem.Value<T>
Constructor and Description |
---|
TargetMethodFilter(IMethod targetMethod) |
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) |
IMethod |
getMethod() |
int |
hashCode() |
boolean |
isRootFilter() |
String |
toString() |
public TargetMethodFilter(IMethod targetMethod)
public IMethod getMethod()
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