Annotation Interface 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.- See the Checker Framework Manual:
- Constant Value Checker
-
Optional Element Summary
-
Element Details
-
from
int fromSmallest value in the range, inclusive.- Returns:
- the smallest value in the range, inclusive
- Default:
- 0
-
to
int toLargest value in the range, inclusive.- Returns:
- the largest value in the range, inclusive
- Default:
- 2147483647
-