Package jadex.bridge.service.annotation

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.