org.checkerframework.checker.index.qual

Annotation Type MinLen

@DefaultQualifierInHierarchy
 @SubtypeOf(value={})
 @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.

See the Checker Framework Manual:

Index 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