This inspection reports various method contract (@Contract annotation) well-formedness issues:
  • Errors in contract syntax
  • Contracts not conforming to the method signature (wrong parameter count)
  • Method implementations that contradict the contract (e.g. returning "true" when the contract says "false")