mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
The functionality was implemented automatically after a combination of earlier commits:9fedf66fand80e63e2
15 lines
288 B
Java
15 lines
288 B
Java
import java.util.List;
|
|
import java.util.Set;
|
|
|
|
class Boo {
|
|
}
|
|
|
|
class Foo extends Boo {
|
|
String getName() { return "_name_"; }
|
|
}
|
|
|
|
class Test {
|
|
Set<String> getAllNames(List<Boo> items) {
|
|
return items.stream().filter(x -> x instanceof Foo).map(x -> ((Foo) x).getName())
|
|
}
|
|
} |