| <html> | |
| <body> | |
| This inspection reports various method contract (@Contract annotation) well-formedness issues: | |
| <!-- tooltip end --> | |
| <li>Errors in contract syntax</li> | |
| <li>Contracts not conforming to the method signature (wrong parameter count)</li> | |
| <li>Method implementations that contradict the contract (e.g. returning "true" when the contract says "false")</li> | |
| </body> | |
| </html> |