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 this number as its 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