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
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