equal
deleted
inserted
replaced
52 import java.util.WeakHashMap; |
52 import java.util.WeakHashMap; |
53 import java.util.stream.Stream; |
53 import java.util.stream.Stream; |
54 import java.util.stream.StreamSupport; |
54 import java.util.stream.StreamSupport; |
55 import jdk.internal.misc.JavaUtilZipFileAccess; |
55 import jdk.internal.misc.JavaUtilZipFileAccess; |
56 import jdk.internal.misc.SharedSecrets; |
56 import jdk.internal.misc.SharedSecrets; |
|
57 import jdk.internal.perf.PerfCounter; |
57 |
58 |
58 import static java.util.zip.ZipConstants.*; |
59 import static java.util.zip.ZipConstants.*; |
59 import static java.util.zip.ZipConstants64.*; |
60 import static java.util.zip.ZipConstants64.*; |
60 import static java.util.zip.ZipUtils.*; |
61 import static java.util.zip.ZipUtils.*; |
61 |
62 |
208 Objects.requireNonNull(charset, "charset"); |
209 Objects.requireNonNull(charset, "charset"); |
209 this.zc = ZipCoder.get(charset); |
210 this.zc = ZipCoder.get(charset); |
210 this.name = name; |
211 this.name = name; |
211 long t0 = System.nanoTime(); |
212 long t0 = System.nanoTime(); |
212 this.zsrc = Source.get(file, (mode & OPEN_DELETE) != 0); |
213 this.zsrc = Source.get(file, (mode & OPEN_DELETE) != 0); |
213 sun.misc.PerfCounter.getZipFileOpenTime().addElapsedTimeFrom(t0); |
214 PerfCounter.getZipFileOpenTime().addElapsedTimeFrom(t0); |
214 sun.misc.PerfCounter.getZipFileCount().increment(); |
215 PerfCounter.getZipFileCount().increment(); |
215 } |
216 } |
216 |
217 |
217 /** |
218 /** |
218 * Opens a zip file for reading. |
219 * Opens a zip file for reading. |
219 * |
220 * |