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

All Superinterfaces:

ContextItem

All Known Implementing Classes:

FilteredPointerKey.MultipleClassesFilter, 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)
boolean	isRootFilter()

Method Detail

addFiltered

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

addInverseFiltered

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

isRootFilter

boolean isRootFilter()