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 最新变化