Class PropagationCallGraphBuilder.TypedPointerKey

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.TypedPointerKey

All Implemented Interfaces:

FilteredPointerKey, PointerKey

Enclosing class:

PropagationCallGraphBuilder

public static final class PropagationCallGraphBuilder.TypedPointerKey
extends Object
implements FilteredPointerKey

A pointer key that delegates to an untyped variant, but adds 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

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
PointerKey	getBase()
FilteredPointerKey.TypeFilter	getTypeFilter()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

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

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

getBase

public PointerKey getBase()