Package org.checkerframework.common.value.qual

Annotation Interface MinLen

@Documented @Retention(RUNTIME) @Target({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 Index Checker.

See the Checker Framework Manual:
Constant Value Checker

  • Optional Element Summary

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

  • Element Details

    • value

      int value
      The minimum number of elements in this sequence.
      Default:
      0