Package jadex.providedservice.annotation
Annotation 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 ElementsModifier and TypeRequired ElementDescriptionint
The argument number with the array or collection or array.
-
Element Details
-
value
int valueThe argument number with the array or collection or array.
-