jadex.bridge.service.annotation

Annotation Type CheckIndex

@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.

Element Detail

value

public abstract int value

The argument number with the array or collection or array.