Package 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 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 Description int
index
-
Fields inherited from interface com.ibm.wala.ipa.callgraph.ContextKey
CALLER, CALLSITE, PARAMETERS, RECEIVER
-
-
Constructor Summary
Constructors Constructor Description ParameterKey(int index)
-