mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 13:35:58 +07:00
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
21 lines
502 B
HTML
21 lines
502 B
HTML
<html>
|
|
<body>
|
|
Reports type cast operations that can be replaced with existing local or pattern variables with the same value.
|
|
<p>Example:</p>
|
|
<pre><code>
|
|
void foo(Object obj) {
|
|
String s = (String) obj;
|
|
System.out.println(((String) obj).trim());
|
|
}
|
|
</code></pre>
|
|
<p>After the quick-fix is applied:</p>
|
|
<pre><code>
|
|
void foo(Object obj) {
|
|
String s = (String) obj;
|
|
System.out.println(s.trim());
|
|
}
|
|
</code></pre>
|
|
<!-- tooltip end -->
|
|
<p><small>New in 2022.3</small></p>
|
|
</body>
|
|
</html> |