org.checkerframework.common.value.qual

Annotation Type ArrayLenRange

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

An expression with this type evaluates to an array or a string whose length is in the given range. The bounds are inclusive; for example, @ArrayLenRange(from=6, to=9) represents an array or a string 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