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 の新機能です