mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
Leonid Shalupovandintellij-monorepo-bot
40795fe787
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
18 lines
588 B
HTML
18 lines
588 B
HTML
<html>
|
|
<body>
|
|
Reports issues in method <code>@Contract</code> annotations. The types of issues that can be reported are:
|
|
<ul>
|
|
<li>Errors in contract syntax</li>
|
|
<li>Contracts that do not conform to the method signature (wrong parameter count)</li>
|
|
<li>Method implementations that contradict the contract (e.g. return <code>true</code> when the contract says <code>false</code>)</li>
|
|
</ul>
|
|
<p>Example:</p>
|
|
<pre><code>
|
|
// method has no parameters, but contract expects 1
|
|
@Contract("_ -> fail")
|
|
<b>void</b> x() {
|
|
<b>throw</b> new AssertionError();
|
|
}
|
|
</code></pre>
|
|
</body>
|
|
</html> |