org.jetbrains.annotations.Range
(指定 'from' 和 'to')org.checkerframework.common.value.qual.IntRange
(指定 'from' 和 'to')org.checkerframework.checker.index.qual.GTENegativeOne
(范围为 '>= -1')org.checkerframework.checker.index.qual.NonNegative
(范围为 '>= 0')org.checkerframework.checker.index.qual.Positive
(范围为 '> 0')javax.annotation.Nonnegative
(范围为 '>= 0')javax.validation.constraints.Min
(指定最小值)javax.validation.constraints.Max
(指定最大值)示例:
@Range(from = 0, to = Integer.MAX_VALUE) int getValue() { // 警告: -1 超出声明的范围 return -1; }2021.2 的新功能