Class ContextKey.ParameterKey
java.lang.Object
com.ibm.wala.ipa.callgraph.ContextKey.ParameterKey
- All Implemented Interfaces:
ContextKey
- Enclosing interface:
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 inherited from interface com.ibm.wala.ipa.callgraph.ContextKey
CALLER, CALLSITE, NAME, PARAMETERS, RECEIVER, TARGET
-
Method Summary
-
Field Details
-
index
public final int index
-
-
Method Details
-
toString
-