org.checkerframework.common.value.qual

Annotation Type MinLen

@Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface MinLen

The value of the annotated expression is a sequence containing at least the given number of elements. An alias for an ArrayLenRange annotation with a from field and the maximum possible value for an array length (Integer.MAX_VALUE) as its to field.

This annotation is used extensively by the IndexChecker.

See the Checker Framework Manual:

Constant Value Checker

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
int	value The minimum number of elements in this sequence.

Element Detail

value

public abstract int value

The minimum number of elements in this sequence.

Default:

0