mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
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> |