Top Description Methods
org.checkerframework.common.value.qual

public @Interface MinLen

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
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.

Method Summary

Modifier and TypeMethod and Description
public int
value()

The minimum number of elements in this sequence.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public int value()

The minimum number of elements in this sequence.