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 and Description
static class	FilteredPointerKey.MultipleClassesFilter
static class	FilteredPointerKey.SingleClassFilter
static class	FilteredPointerKey.SingleInstanceFilter
static class	FilteredPointerKey.TargetMethodFilter
static interface	FilteredPointerKey.TypeFilter

Method Summary

Methods

Modifier and Type	Method and Description
FilteredPointerKey.TypeFilter	getTypeFilter()

Method Detail

getTypeFilter

FilteredPointerKey.TypeFilter getTypeFilter()

Returns:

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