mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-02 14:38:30 +07:00
GitOrigin-RevId: c8f8ebc567da14c2bb17b4b61234f9ca80fcf664
7 lines
180 B
Java
7 lines
180 B
Java
class A {
|
|
void test(Object obj) {
|
|
if (<selection>obj instanceof String s && s.trim().isEmpty()</selection>) {
|
|
System.out.println("Found");
|
|
}
|
|
}
|
|
} |