/*

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 */

/* @test

   @bug 4241361 4842702 4985614 6646605 5032358 6923692

   @summary Make sure we can read a zip file.

 */

import java.io.*;

import java.nio.file.Files;

import java.nio.file.Paths;

import java.nio.file.StandardCopyOption;

import java.nio.file.StandardOpenOption;

import java.util.zip.*;

public class ReadZip {

    private static void unreached (Object o)

        throws Exception

    {

        // Should never get here

        throw new Exception ("Expected exception was not thrown");

    }

    public static void main(String args[]) throws Exception {

        try (ZipFile zf = new ZipFile(new File(System.getProperty("test.src", "."),

                                               "input.zip"))) {

            // Make sure we throw NPE on null objects

            try { unreached (zf.getEntry(null)); }

            catch (NullPointerException e) {}

            try { unreached (zf.getInputStream(null)); }

            catch (NullPointerException e) {}

            ZipEntry ze = zf.getEntry("ReadZip.java");

            if (ze == null) {

                throw new Exception("cannot read from zip file");

            }

        }

        // Make sure we can read the zip file that has some garbage

        // bytes padded at the end.

        File newZip = new File(System.getProperty("test.dir", "."), "input2.zip");

        Files.copy(Paths.get(System.getProperty("test.src", ""), "input.zip"),

                   newZip.toPath(), StandardCopyOption.REPLACE_EXISTING);

        // pad some bytes

        try (OutputStream os = Files.newOutputStream(newZip.toPath(),

                                                     StandardOpenOption.APPEND)) {

            os.write(1); os.write(3); os.write(5); os.write(7);

        }

        try (ZipFile zf = new ZipFile(newZip)) {

            ZipEntry ze = zf.getEntry("ReadZip.java");

            if (ze == null) {

                throw new Exception("cannot read from zip file");

            }

        } finally {

            newZip.delete();

        }

        // Read zip file comment

        try {

            try (FileOutputStream fos = new FileOutputStream(newZip);

                 ZipOutputStream zos = new ZipOutputStream(fos))

            {

                ZipEntry ze = new ZipEntry("ZipEntry");

                zos.putNextEntry(ze);

                zos.write(1); zos.write(2); zos.write(3); zos.write(4);

                zos.closeEntry();

                zos.setComment("This is the comment for testing");

            }

            try (ZipFile zf = new ZipFile(newZip)) {

                ZipEntry ze = zf.getEntry("ZipEntry");

                if (ze == null)

                    throw new Exception("cannot read entry from zip file");

                if (!"This is the comment for testing".equals(zf.getComment()))

                    throw new Exception("cannot read comment from zip file");

            }

        } finally {

            newZip.delete();

        }

        // Throw a FNF exception when read a non-existing zip file

        try { unreached (new ZipFile(

                             new File(System.getProperty("test.src", "."),

                                     "input"

                                      + String.valueOf(new java.util.Random().nextInt())

                                      + ".zip")));

        } catch (FileNotFoundException fnfe) {}

    }

}