org.checkerframework.common.value.qual

public @Interface ArrayLenRange

Annotations

@Documented
@Retention:RUNTIME
@Target:TYPE_PARAMETER, TYPE_USE
@SubtypeOf:UnknownVal

Imports

java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf

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.

Method Summary

Modifier and Type	Method and Description
public int	Returns: the smallest value in the range, inclusive from() Smallest value in the range, inclusive.
public int	Returns: the largest value in the range, inclusive to() Largest value in the range, inclusive.

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString

Method Detail

from	back to summary
public int from() Smallest value in the range, inclusive. Returns:int the smallest value in the range, inclusive

from

back to summary

public int from()

Smallest value in the range, inclusive.

Returns:int: the smallest value in the range, inclusive

to	back to summary
public int to() Largest value in the range, inclusive. Returns:int the largest value in the range, inclusive

back to summary

public int to()

Largest value in the range, inclusive.

Returns:int: the largest value in the range, inclusive