Inspectopedia
 
2024.3

Contract issues

Warning
New
Last modified: 03 December 2024

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)

Example: