com.ibm.wala.ipa.callgraph

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 java.lang.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 com.ibm.wala.ipa.callgraph.ContextKey

ContextKey.ParameterKey

Field Summary

Fields

Modifier and Type	Field and Description
int	index

Fields inherited from interface com.ibm.wala.ipa.callgraph.ContextKey

CALLER, CALLSITE, NAME, PARAMETERS, RECEIVER, TARGET

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

index

public final int index

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object