| // 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")); |
| } |
| } |