org.checkerframework.common.value.qual

Annotation Type ArrayLenRange

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

An expression with this type evaluates to an array whose length is in the given range. The bounds are inclusive; for example, @ArrayLenRange(from=6, to=9) represents an array with four possible values for its length: 6, 7, 8, and 9.

See the Checker Framework Manual:

Constant Value Checker

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
int	from Smallest value in the range, inclusive
int	to Largest value in the range, inclusive

Element Detail

from

public abstract int from

Smallest value in the range, inclusive

Default:

0

to

public abstract int to

Largest value in the range, inclusive

Default:

2147483647