Annotation Interface CheckIndex


@Retention(RUNTIME) @Target(PARAMETER) public @interface CheckIndex
Precondition for checking if the argument is a valid index. The value of this precondition is used to determine the argument number with the collection or array to check the index against. The check tests index>=0 invalid input: '&'invalid input: '&' collection.size()>index
  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    int
    The argument number with the array or collection or array.
  • Element Details

    • value

      int value
      The argument number with the array or collection or array.