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

      • index

        public final int index
    • Constructor Detail

      • ParameterKey

        public ParameterKey​(int index)