Inspectopedia Help

Contract issues

Reports issues in method @Contract annotations. The types of issues that can be reported are:

  • Errors in contract syntax

  • Contracts that do not conform to the method signature (wrong parameter count)

  • Method implementations that contradict the contract (e.g. return true when the contract says false)


// method has no parameters, but contract expects 1 @Contract("_ -> fail") void x() { throw new AssertionError(); }

Locating this inspection


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

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


By default bundled with

IntelliJ IDEA 2024.1, Qodana for JVM 2024.1,

Can be installed with plugin

Java, 241.18072

Last modified: 18 June 2024