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