src/jdk.jlink/share/classes/jdk/tools/jlink/internal/JarArchive.java
changeset 47987 85ea7e83af30
parent 47737 acfedb75dd51
equal deleted inserted replaced
47986:45c5d7817e9e 47987:85ea7e83af30
    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);