com.ibm.wala.ipa.callgraph.propagation

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 and Description
LocalPointerKeyWithFilter(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter typeFilter)

Method Summary

Methods

Modifier and Type	Method and 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 Detail

LocalPointerKeyWithFilter

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

Method Detail

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