mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
25 lines
563 B
HTML
25 lines
563 B
HTML
<html>
|
|
<body>
|
|
Reports type cast expressions where
|
|
the casted expression has a class/interface type that neither
|
|
extends/implements the cast class/interface type, nor has subclasses that do.
|
|
<p>
|
|
Such a construct is likely erroneous, and will
|
|
throw a <code>java.lang.ClassCastException</code> at runtime.
|
|
</p>
|
|
<p><b>Example:</b></p>
|
|
<pre><code>
|
|
interface A {}
|
|
interface Z {}
|
|
static class C {}
|
|
|
|
void x(C c) {
|
|
if (c instanceof Z) {
|
|
A a = ((A)c); // cast to incompatible interface 'A'
|
|
}
|
|
}
|
|
</code></pre>
|
|
<!-- tooltip end -->
|
|
|
|
</body>
|
|
</html> |