FilteredPointerKey (API Reference for wala 1.3.9)

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

All Methods Instance Methods Abstract Methods
Modifier and Type Method 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