mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-27 04:22:42 +07:00
Leonid Shalupovandintellij-monorepo-bot
40795fe787
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
11 lines
502 B
HTML
11 lines
502 B
HTML
<html>
|
|
<body>
|
|
Reports conditions that become redundant as they are completely covered by a subsequent condition.
|
|
<p>For example, in the <code>value != -1 && value > 0</code> condition, the first part is redundant:
|
|
if it's false, then the second part is also false.
|
|
Or in a condition like <code>obj != null && obj instanceof String</code>,
|
|
the null-check is redundant as <code>instanceof</code> operator implies non-nullity.</p>
|
|
<!-- tooltip end -->
|
|
<p><small>New in 2018.3</small></p>
|
|
</body>
|
|
</html> |