Package com.ibm.wala.ipa.callgraph.propagation

Interface FilteredPointerKey

All Superinterfaces:

PointerKey

All Known Implementing Classes:

ArrayContentsKey, InstanceFieldKeyWithFilter, LocalPointerKeyWithFilter, PropagationCallGraphBuilder.TypedPointerKey, ReturnValueKeyWithFilter

public interface FilteredPointerKey
extends PointerKey

A PointerKey which carries a type filter, used during pointer analysis

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	FilteredPointerKey.MultipleClassesFilter
static class	FilteredPointerKey.SingleClassFilter
static class	FilteredPointerKey.SingleInstanceFilter
static class	FilteredPointerKey.TargetMethodFilter
static interface	FilteredPointerKey.TypeFilter

Method Summary

Modifier and Type	Method	Description
FilteredPointerKey.TypeFilter	getTypeFilter()

Method Details

getTypeFilter

FilteredPointerKey.TypeFilter getTypeFilter()

Returns:

the class which should govern filtering of instances to which this pointer points, or null if no filtering needed