mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-01 09:04:15 +07:00
GitOrigin-RevId: 3aae5c738d48c38144f6a78c36738121831ae5a5
7 lines
195 B
Java
7 lines
195 B
Java
class Test {
|
|
|
|
void foo(Object x) {
|
|
if (x instanceof String) x = ((String)x).substring(1);
|
|
if (x instanceof String) x = <selection>((String)x).substring(1)</selection>;
|
|
}
|
|
} |