-
@Retention(value=RUNTIME)
@Target(value=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 && index
-
-
Required Element Summary
Required Elements
Modifier and Type |
Required Element and Description |
int |
value
The argument number with the array or collection or array.
|
Copyright © 2015. All Rights Reserved.