mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-04 17:38:08 +07:00
GitOrigin-RevId: 22a46c15d8900d8a31514846755a013f6a67ad42
11 lines
257 B
Java
11 lines
257 B
Java
// "Avoid mutation using Stream API 'count()' operation" "true-preview"
|
|
|
|
import java.util.*;
|
|
|
|
public class Main {
|
|
void test(List<String> list) {
|
|
int count = (int) list.stream().filter(s -> !s.isEmpty()).count();
|
|
System.out.println(count);
|
|
}
|
|
}
|