Class ContextKey.ParameterKey

java.lang.Object

com.ibm.wala.ipa.callgraph.ContextKey.ParameterKey

All Implemented Interfaces:

ContextKey

Enclosing interface:

ContextKey

public static class ContextKey.ParameterKey
extends Object
implements ContextKey

context key representing some parameter index, useful, e.g. for CPA-style context-sensitivity policies.

Nested Class Summary

Nested classes/interfaces inherited from interface ContextKey

ContextKey.ParameterKey

Modifier and Type	Interface	Description
static class	ContextKey.ParameterKey	context key representing some parameter index, useful, e.g.

Field Summary

Fields

Modifier and Type	Field	Description
final int	index

Fields inherited from interface ContextKey

CALLER, CALLSITE, NAME, PARAMETERS, RECEIVER, TARGET

Modifier and Type	Field	Description
static final ContextKey	CALLER	A property of contexts that might be generally useful: the "caller" method ...
static final ContextKey	CALLSITE	A property of contexts that might be generally useful: the "call site" method ...
static final ContextKey	NAME	A property of contexts that might be generally useful: the "name".
static final ContextKey[]	PARAMETERS	Generally useful constants for possible parameter indices
static final ContextKey	RECEIVER	A property of contexts that might be generally useful: an identifier for the receiver object ...
static final ContextKey	TARGET	A property of contexts that might be generally useful: the "target" method.

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

index

public final int index

Method Details

toString

public String toString()

Overrides:

toString in class Object