Package org.checkerframework.common.value.qual

Annotation Type ArrayLenRange

@Documented
@Retention(RUNTIME)
@Target({TYPE_PARAMETER,TYPE_USE})
@SubtypeOf(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.

Optional Element Summary

Optional Elements

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

Element Detail

from

int from

Smallest value in the range, inclusive.

Default:

0

to

int to

Largest value in the range, inclusive.

Default:

2147483647