com.ibm.wala.ipa.callgraph
Interface ContextKey

All Known Implementing Classes:

ContextKey.ParameterKey

public interface ContextKey

This just exists to enforce strong typing.

Nested Class Summary

static class

ContextKey.ParameterKey

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[]	PARAMETERS
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

PARAMETERS

static final ContextKey[] PARAMETERS