Class LocalPointerKeyWithFilter

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.AbstractPointerKey

com.ibm.wala.ipa.callgraph.propagation.AbstractLocalPointerKey

com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey

com.ibm.wala.ipa.callgraph.propagation.LocalPointerKeyWithFilter

All Implemented Interfaces:

FilteredPointerKey, PointerKey

public class LocalPointerKeyWithFilter
extends LocalPointerKey
implements FilteredPointerKey

a local pointer key that carries a type filter

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey

FilteredPointerKey.MultipleClassesFilter, FilteredPointerKey.SingleClassFilter, FilteredPointerKey.SingleInstanceFilter, FilteredPointerKey.TargetMethodFilter, FilteredPointerKey.TypeFilter

Constructor Summary

Constructors

Constructor	Description
LocalPointerKeyWithFilter(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter typeFilter)

Method Summary

Modifier and Type	Method	Description
FilteredPointerKey.TypeFilter	getTypeFilter()

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey

equals, getNode, getValueNumber, hashCode, isParameter, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

LocalPointerKeyWithFilter

public LocalPointerKeyWithFilter(CGNode node,
 int valueNumber,
 FilteredPointerKey.TypeFilter typeFilter)

Method Details

getTypeFilter

public FilteredPointerKey.TypeFilter getTypeFilter()

Specified by:

getTypeFilter in interface FilteredPointerKey

Returns:

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