com.ibm.wala.ipa.callgraph.propagation
Interface FilteredPointerKey.TypeFilter

All Superinterfaces:

ContextItem

All Known Implementing Classes:

FilteredPointerKey.SingleClassFilter, FilteredPointerKey.SingleInstanceFilter, FilteredPointerKey.TargetMethodFilter

Enclosing interface:

FilteredPointerKey

public static interface FilteredPointerKey.TypeFilter
extends ContextItem

Method Summary

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

Method Detail

addFiltered

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

addInverseFiltered

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