org.checkerframework.common.value.qual

Annotation Type ArrayLen

@SubtypeOf(value=UnknownVal.class)
 @Retention(value=RUNTIME)
 @Target(value={TYPE_PARAMETER,TYPE_USE})
public @interface ArrayLen

An annotation indicating the length of an array. If an expression's type has this annotation, then at run time, the expression evaluates to an array whose length is one of the annotation's arguments.

For example, String @ArrayLen(2) [] is the type for an array of two strings.

See the Checker Framework Manual:

Constant Value Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
int[]	value

Element Detail

value

public abstract int[] value