mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-13 23:07:01 +07:00
d47671a183
The functionality was implemented automatically after a combination of earlier commits:9fedf66fand80e63e2
15 lines
282 B
Java
15 lines
282 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 -> x.getN<caret>)
|
|
}
|
|
} |