Annotation Type 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 && collection.size()>index
    • Required Element Summary

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

      • value

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