com.ibm.wala.ipa.callgraph
Interface ContextKey

public interface ContextKey

This just exists to enforce strong typing.

Field Summary

static ContextKey	CALLER A property of contexts that might be generally useful: the "caller" method ...
static ContextKey	CALLSITE A property of contexts that might be generally useful: the "call site" method ...
static ContextKey	FILTER A property of contexts that might be generally useful: an identifier for the type filters applied to the receiver object ...
static ContextKey	RECEIVER A property of contexts that might be generally useful: an identifier for the receiver object ...

Field Detail

CALLER

static final ContextKey CALLER

A property of contexts that might be generally useful: the "caller" method ... used for call-string context schemes.

CALLSITE

static final ContextKey CALLSITE

A property of contexts that might be generally useful: the "call site" method ... used for call-string context schemes.

RECEIVER

static final ContextKey RECEIVER

A property of contexts that might be generally useful: an identifier for the receiver object ... used for object-sensitivity context policies. Known implementations (ContextItems) for RECEIVER include TypeAbstraction and InstanceKey

FILTER

static final ContextKey FILTER

A property of contexts that might be generally useful: an identifier for the type filters applied to the receiver object ... used for filtering propagation across dynamic dispatched Implementations (ContextItems) for FILTER are to be instances of FilteredContextKey.TypeFilter