equal
deleted
inserted
replaced
32 import java.util.Objects; |
32 import java.util.Objects; |
33 import java.util.jar.JarFile; |
33 import java.util.jar.JarFile; |
34 import java.util.stream.Stream; |
34 import java.util.stream.Stream; |
35 import java.util.zip.ZipEntry; |
35 import java.util.zip.ZipEntry; |
36 import java.util.zip.ZipFile; |
36 import java.util.zip.ZipFile; |
37 import jdk.internal.util.jar.VersionedStream; |
|
38 import jdk.tools.jlink.internal.Archive.Entry.EntryType; |
37 import jdk.tools.jlink.internal.Archive.Entry.EntryType; |
39 |
38 |
40 /** |
39 /** |
41 * An Archive backed by a jar file. |
40 * An Archive backed by a jar file. |
42 */ |
41 */ |
103 open(); |
102 open(); |
104 } |
103 } |
105 } catch (IOException ioe) { |
104 } catch (IOException ioe) { |
106 throw new UncheckedIOException(ioe); |
105 throw new UncheckedIOException(ioe); |
107 } |
106 } |
108 return VersionedStream.stream(jarFile) |
107 return jarFile.versionedStream() |
109 .filter(je -> !je.isDirectory()) |
108 .filter(je -> !je.isDirectory()) |
110 .map(this::toEntry); |
109 .map(this::toEntry); |
111 } |
110 } |
112 |
111 |
113 abstract EntryType toEntryType(String entryName); |
112 abstract EntryType toEntryType(String entryName); |