1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// Test case for issue #870: https://github.com/typetools/checker-framework/issues/870
import java.util.stream.Stream;
import java.util.zip.ZipEntry;
import java.util.zip.ZipFile;
public class Issue870 {
public static Stream<? extends ZipEntry> entries(ZipFile zipFile) {
return zipFile.stream()
.filter(entry -> !entry.isDirectory() && entry.getName().endsWith(".xml"));
}
public static Stream<? extends ZipEntry> entries2(ZipFile zipFile) {
return zipFile.stream()
.filter(
(ZipEntry entry) ->
!entry.isDirectory() && entry.getName().endsWith(".xml"));
}
}
|
