/*

 * Copyright 2005-2008 Sun Microsystems, Inc.  All Rights Reserved.

 * 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.  Sun designates this

 * particular file as subject to the "Classpath" exception as provided

 * by Sun in the LICENSE file that accompanied this code.

 *

 * 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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,

 * CA 95054 USA or visit www.sun.com if you need additional information or

 * have any questions.

 */

package com.sun.tools.javac.file;

import java.io.IOException;

import java.util.Set;

import javax.tools.JavaFileObject;

import java.io.ByteArrayInputStream;

import java.io.File;

import java.io.InputStream;

import java.io.OutputStream;

import java.io.Writer;

import java.net.URI;

import java.nio.ByteBuffer;

import java.nio.CharBuffer;

import java.nio.charset.CharsetDecoder;

public class ZipFileIndexArchive implements Archive {

    private final ZipFileIndex zfIndex;

    private JavacFileManager fileManager;

    public ZipFileIndexArchive(JavacFileManager fileManager, ZipFileIndex zdir) throws IOException {

        super();

        this.fileManager = fileManager;

        this.zfIndex = zdir;

    }

        return zfIndex.contains(name);

    }

    }

        ZipFileIndex.Entry entry = zfIndex.getZipIndexEntry(fullZipFileName);

        JavaFileObject ret = new ZipFileIndexFileObject(fileManager, zfIndex, entry, zfIndex.getZipFile().getPath());

        return ret;

    }

        return zfIndex.getAllDirectories();

    }

    public void close() throws IOException {

        zfIndex.close();

    }

    /**

     * A subclass of JavaFileObject representing zip entries using the com.sun.tools.javac.file.ZipFileIndex implementation.

     */

    public static class ZipFileIndexFileObject extends BaseFileObject {

        /** The entry's name.

         */

        private String name;

        /** The zipfile containing the entry.

         */

        ZipFileIndex zfIndex;

        /** The underlying zip entry object.

         */

        ZipFileIndex.Entry entry;

        /** The InputStream for this zip entry (file.)

         */

        InputStream inputStream = null;

        /** The name of the zip file where this entry resides.

         */

        String zipName;

        ZipFileIndexFileObject(JavacFileManager fileManager, ZipFileIndex zfIndex, ZipFileIndex.Entry entry, String zipFileName) {

            super(fileManager);

            this.name = entry.getFileName();

            this.zfIndex = zfIndex;

            this.entry = entry;

            this.zipName = zipFileName;

        }

        public InputStream openInputStream() throws IOException {

            if (inputStream == null) {

                inputStream = new ByteArrayInputStream(read());

            }

            return inputStream;

        }

        protected CharsetDecoder getDecoder(boolean ignoreEncodingErrors) {

            return fileManager.getDecoder(fileManager.getEncodingName(), ignoreEncodingErrors);

        }

        public OutputStream openOutputStream() throws IOException {

            throw new UnsupportedOperationException();

        }

        public Writer openWriter() throws IOException {

            throw new UnsupportedOperationException();

        }

        /** @deprecated see bug 6410637 */

        @Deprecated

        public String getName() {

            return name;

        }

        public boolean isNameCompatible(String cn, JavaFileObject.Kind k) {

            cn.getClass(); // null check

            if (k == Kind.OTHER && getKind() != k)

                return false;

            return name.equals(cn + k.extension);

        }

        /** @deprecated see bug 6410637 */

        @Deprecated

        public String getPath() {

            return zipName + "(" + entry.getName() + ")";

        }

        public long getLastModified() {

            return entry.getLastModified();

        }

        public boolean delete() {

            throw new UnsupportedOperationException();

        }

        @Override

        public boolean equals(Object other) {

            if (!(other instanceof ZipFileIndexFileObject))

                return false;

            ZipFileIndexFileObject o = (ZipFileIndexFileObject) other;

            return entry.equals(o.entry);

        }

        @Override

        public int hashCode() {

            return zipName.hashCode() + (name.hashCode() << 10);

        }

        public String getZipName() {

            return zipName;

        }

        public String getZipEntryName() {

            return entry.getName();

        }

        public URI toUri() {

            String zipName = new File(getZipName()).toURI().normalize().getPath();

            String entryName = getZipEntryName();

            return URI.create("jar:" + zipName + "!" + entryName);

        }

        private byte[] read() throws IOException {

            return zfIndex.read(entry);

        }

        public CharBuffer getCharContent(boolean ignoreEncodingErrors) throws IOException {

            CharBuffer cb = fileManager.getCachedContent(this);

            if (cb == null) {

                InputStream in = new ByteArrayInputStream(zfIndex.read(entry));

                try {

                    ByteBuffer bb = fileManager.makeByteBuffer(in);

                    JavaFileObject prev = fileManager.log.useSource(this);

                    try {

                        cb = fileManager.decode(bb, ignoreEncodingErrors);

                    } finally {

                        fileManager.log.useSource(prev);

                    }

                    fileManager.recycleByteBuffer(bb); // save for next time

                    if (!ignoreEncodingErrors)

                        fileManager.cache(this, cb);

                } finally {

                    in.close();

                }

            }

            return cb;

        }

        @Override

        protected String inferBinaryName(Iterable<? extends File> path) {

            String entryName = getZipEntryName();

            if (zfIndex.symbolFilePrefix != null) {

                if (entryName.startsWith(prefix))

                    entryName = entryName.substring(prefix.length());

            }

        }

    }

}