com.ibm.wala.ipa.callgraph.propagation

Class ReturnValueKeyWithFilter

java.lang.Object

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

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

com.ibm.wala.ipa.callgraph.propagation.NodeKey

com.ibm.wala.ipa.callgraph.propagation.ReturnValueKey

com.ibm.wala.ipa.callgraph.propagation.ReturnValueKeyWithFilter

All Implemented Interfaces:

FilteredPointerKey, PointerKey

public class ReturnValueKeyWithFilter
extends ReturnValueKey
implements FilteredPointerKey

a helper class which can modify a PropagationCallGraphBuilder to deal with reflective factory methods.

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
ReturnValueKeyWithFilter(CGNode node, FilteredPointerKey.TypeFilter typeFilter)

Method Summary

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

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

equals, hashCode, toString

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

getNode, internalEquals, internalHashCode

Methods inherited from class java.lang.Object

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

Constructor Detail

ReturnValueKeyWithFilter

public ReturnValueKeyWithFilter(CGNode node,
                                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