mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-05 17:47:53 +07:00
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
27 lines
689 B
HTML
27 lines
689 B
HTML
<html>
|
|
<body>
|
|
Reports type cast expressions that are preceded by an <code>instanceof</code> check for a different type.
|
|
<p>
|
|
Although this might be intended, such a construct is most likely an error, and will
|
|
result in a <code>java.lang.ClassCastException</code> at runtime.
|
|
</p>
|
|
<p><b>Example:</b></p>
|
|
<pre><code>
|
|
class Main {
|
|
int whenCharSequenceCastToNumber(Object o){
|
|
if (o instanceof CharSequence) {
|
|
return ((Number) o).intValue();
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
int earlyReturnWhenNotCharSequence(Object o){
|
|
if (!(o instanceof CharSequence)) return 0;
|
|
return ((Number)o).intValue();
|
|
}
|
|
}
|
|
</code></pre>
|
|
<!-- tooltip end -->
|
|
|
|
</body>
|
|
</html> |