Package org.checkerframework.common.value.qual

Annotation Type 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 Detail

      • value

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