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.
  • Field Details

    • index

      public final int index
  • Method Details