com.ibm.wala.ipa.callgraph.propagation

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 java.lang.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 and Description
boolean	equals(java.lang.Object obj)
PointerKey	getBase()
FilteredPointerKey.TypeFilter	getTypeFilter()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

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

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getBase

public PointerKey getBase()