com.ibm.wala.ipa.callgraph.propagation
Class FilteredPointerKey.TargetMethodFilter

java.lang.Object
  com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TargetMethodFilter

All Implemented Interfaces:

ContextItem, FilteredPointerKey.TypeFilter

Enclosing interface:

FilteredPointerKey

public static class FilteredPointerKey.TargetMethodFilter
extends java.lang.Object
implements FilteredPointerKey.TypeFilter

Constructor Summary

FilteredPointerKey.TargetMethodFilter(IMethod targetMethod)

Method Summary

boolean	addFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	addInverseFiltered(PropagationSystem system, PointsToSetVariable L, PointsToSetVariable R)
boolean	equals(java.lang.Object o)
IMethod	getMethod()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FilteredPointerKey.TargetMethodFilter

public FilteredPointerKey.TargetMethodFilter(IMethod targetMethod)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getMethod

public IMethod getMethod()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

addFiltered

public boolean addFiltered(PropagationSystem system,
                           PointsToSetVariable L,
                           PointsToSetVariable R)

Specified by:

addFiltered in interface FilteredPointerKey.TypeFilter

addInverseFiltered

public boolean addInverseFiltered(PropagationSystem system,
                                  PointsToSetVariable L,
                                  PointsToSetVariable R)

Specified by:

addInverseFiltered in interface FilteredPointerKey.TypeFilter