Return value is outside of declared range

Reports numeric values returned from methods that don't conform to the declared method return range. You can declare method return range using a number of annotations:

org.jetbrains.annotations.Range from JetBrains annotations package (specify 'from' and 'to')
org.checkerframework.common.value.qual.IntRange from Checker Framework annotations package (specify 'from' and 'to')
org.checkerframework.checker.index.qual.GTENegativeOne from Checker Framework annotations package (range is '>= -1')
org.checkerframework.checker.index.qual.NonNegative from Checker Framework annotations package (range is '>= 0')
org.checkerframework.checker.index.qual.Positive from Checker Framework annotations package (range is '> 0')
javax.annotation.Nonnegative from JSR 305 annotations package (range is '>= 0')
javax.validation.constraints.Min (specify minimum value)
javax.validation.constraints.Max (specify maximum value)

Example:

  @Range(from = 0, to = Integer.MAX_VALUE) int getValue() {
    // Warning: -1 is outside of declared range
    return -1;
  }

Locating this inspection

By ID

Can be used to locate inspection in e.g. Qodana configuration files, where you can quickly enable or disable it, or adjust its settings.

UnsatisfiedRange

Via Settings dialog

Path to the inspection settings via IntelliJ Platform IDE Settings dialog, when you need to adjust inspection settings directly from your IDE.

Settings or Preferences | Editor | Inspections | Java | Probable bugs

New in 2021.2

Inspection Details
By default bundled with:	IntelliJ IDEA 2024.2, Qodana for JVM 2024.2,
Can be installed with plugin:	Java, 242.22892

Last modified: 11 September 2024