@SubtypeOf(value=UnknownVal.class)
@Retention(value=RUNTIME)
@Target(value={TYPE_PARAMETER,TYPE_USE})
public @interface ArrayLen
An annotation indicating the length of an array type.
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.
- See the Checker Framework Manual:
- Constant Value Checker