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의 새로운 기능