/*

 * 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.ByteArrayOutputStream;

import java.io.File;

import java.io.FileInputStream;

import java.io.FileNotFoundException;

import java.io.IOException;

import java.io.InputStream;

import java.io.OutputStreamWriter;

import java.lang.ref.SoftReference;

import java.net.MalformedURLException;

import java.net.URI;

import java.net.URL;

import java.net.URLClassLoader;

import java.nio.ByteBuffer;

import java.nio.CharBuffer;

import java.nio.channels.FileChannel;

import java.nio.charset.Charset;

import java.nio.charset.CharsetDecoder;

import java.nio.charset.CoderResult;

import java.nio.charset.CodingErrorAction;

import java.nio.charset.IllegalCharsetNameException;

import java.nio.charset.UnsupportedCharsetException;

import java.util.ArrayList;

import java.util.Arrays;

import java.util.Collection;

import java.util.Collections;

import java.util.EnumSet;

import java.util.HashMap;

import java.util.Iterator;

import java.util.Map;

import java.util.Set;

import java.util.zip.ZipFile;

import javax.lang.model.SourceVersion;

import javax.tools.FileObject;

import javax.tools.JavaFileManager;

import javax.tools.JavaFileObject;

import javax.tools.StandardJavaFileManager;

import com.sun.tools.javac.code.Source;

import com.sun.tools.javac.file.RelativePath.RelativeFile;

import com.sun.tools.javac.file.RelativePath.RelativeDirectory;

import com.sun.tools.javac.main.JavacOption;

import com.sun.tools.javac.main.OptionName;

import com.sun.tools.javac.main.RecognizedOptions;

import com.sun.tools.javac.util.Context;

import com.sun.tools.javac.util.JCDiagnostic.SimpleDiagnosticPosition;

import com.sun.tools.javac.util.List;

import com.sun.tools.javac.util.ListBuffer;

import com.sun.tools.javac.util.Log;

import com.sun.tools.javac.util.Options;

import static javax.tools.StandardLocation.*;

import static com.sun.tools.javac.main.OptionName.*;

/**

 * This class provides access to the source, class and other files

 * used by the compiler and related tools.

 */

public class JavacFileManager implements StandardJavaFileManager {

    boolean useZipFileIndex;

    public static char[] toArray(CharBuffer buffer) {

        if (buffer.hasArray())

            return ((CharBuffer)buffer.compact().flip()).array();

        else

            return buffer.toString().toCharArray();

    }

    /**

     * The log to be used for error reporting.

     */

    protected Log log;

    /** Encapsulates knowledge of paths

     */

    private Paths paths;

    private Options options;

    private final File uninited = new File("U N I N I T E D");

    private final Set<JavaFileObject.Kind> sourceOrClass =

        EnumSet.of(JavaFileObject.Kind.SOURCE, JavaFileObject.Kind.CLASS);

    /** The standard output directory, primarily used for classes.

     *  Initialized by the "-d" option.

     *  If classOutDir = null, files are written into same directory as the sources

     *  they were generated from.

     */

    private File classOutDir = uninited;

    /** The output directory, used when generating sources while processing annotations.

     *  Initialized by the "-s" option.

     */

    private File sourceOutDir = uninited;

    protected boolean mmappedIO;

    protected boolean ignoreSymbolFile;

    /**

     * User provided charset (through javax.tools).

     */

    protected Charset charset;

    /**

     * Register a Context.Factory to create a JavacFileManager.

     */

    public static void preRegister(final Context context) {

        context.put(JavaFileManager.class, new Context.Factory<JavaFileManager>() {

            public JavaFileManager make() {

                return new JavacFileManager(context, true, null);

            }

        });

    }

    /**

     * Create a JavacFileManager using a given context, optionally registering

     * it as the JavaFileManager for that context.

     */

    public JavacFileManager(Context context, boolean register, Charset charset) {

        if (register)

            context.put(JavaFileManager.class, this);

        byteBufferCache = new ByteBufferCache();

        this.charset = charset;

        setContext(context);

    }

    /**

     * Set the context for JavacFileManager.

     */

    public void setContext(Context context) {

        log = Log.instance(context);

        if (paths == null) {

            paths = Paths.instance(context);

        } else {

            // Reuse the Paths object as it stores the locations that

            // have been set with setLocation, etc.

            paths.setContext(context);

        }

        options = Options.instance(context);

        useZipFileIndex = System.getProperty("useJavaUtilZip") == null;// TODO: options.get("useJavaUtilZip") == null;

        mmappedIO = options.get("mmappedIO") != null;

        ignoreSymbolFile = options.get("ignore.symbol.file") != null;

    }

    public JavaFileObject getFileForInput(String name) {

        return getRegularFile(new File(name));

    }

    public JavaFileObject getRegularFile(File file) {

        return new RegularFileObject(this, file);

    }

    public JavaFileObject getFileForOutput(String classname,

                                           JavaFileObject.Kind kind,

                                           JavaFileObject sibling)

        throws IOException

    {

        return getJavaFileForOutput(CLASS_OUTPUT, classname, kind, sibling);

    }

    public Iterable<? extends JavaFileObject> getJavaFileObjectsFromStrings(Iterable<String> names) {

        ListBuffer<File> files = new ListBuffer<File>();

        for (String name : names)

            files.append(new File(nullCheck(name)));

        return getJavaFileObjectsFromFiles(files.toList());

    }

    public Iterable<? extends JavaFileObject> getJavaFileObjects(String... names) {

        return getJavaFileObjectsFromStrings(Arrays.asList(nullCheck(names)));

    }

    protected JavaFileObject.Kind getKind(String extension) {

        if (extension.equals(JavaFileObject.Kind.CLASS.extension))

            return JavaFileObject.Kind.CLASS;

        else if (extension.equals(JavaFileObject.Kind.SOURCE.extension))

            return JavaFileObject.Kind.SOURCE;

        else if (extension.equals(JavaFileObject.Kind.HTML.extension))

            return JavaFileObject.Kind.HTML;

        else

            return JavaFileObject.Kind.OTHER;

    }

    private static boolean isValidName(String name) {

        // Arguably, isValidName should reject keywords (such as in SourceVersion.isName() ),

        // but the set of keywords depends on the source level, and we don't want

        // impls of JavaFileManager to have to be dependent on the source level.

        // Therefore we simply check that the argument is a sequence of identifiers

        // separated by ".".

        for (String s : name.split("\\.", -1)) {

            if (!SourceVersion.isIdentifier(s))

                return false;

        }

        return true;

    }

    private static void validateClassName(String className) {

        if (!isValidName(className))

            throw new IllegalArgumentException("Invalid class name: " + className);

    }

    private static void validatePackageName(String packageName) {

        if (packageName.length() > 0 && !isValidName(packageName))

            throw new IllegalArgumentException("Invalid packageName name: " + packageName);

    }

    public static void testName(String name,

                                boolean isValidPackageName,

                                boolean isValidClassName)

    {

        try {

            validatePackageName(name);

            if (!isValidPackageName)

                throw new AssertionError("Invalid package name accepted: " + name);

            printAscii("Valid package name: \"%s\"", name);

        } catch (IllegalArgumentException e) {

            if (isValidPackageName)

                throw new AssertionError("Valid package name rejected: " + name);

            printAscii("Invalid package name: \"%s\"", name);

        }

        try {

            validateClassName(name);

            if (!isValidClassName)

                throw new AssertionError("Invalid class name accepted: " + name);

            printAscii("Valid class name: \"%s\"", name);

        } catch (IllegalArgumentException e) {

            if (isValidClassName)

                throw new AssertionError("Valid class name rejected: " + name);

            printAscii("Invalid class name: \"%s\"", name);

        }

    }

    private static void printAscii(String format, Object... args) {

        String message;

        try {

            final String ascii = "US-ASCII";

            message = new String(String.format(null, format, args).getBytes(ascii), ascii);

        } catch (java.io.UnsupportedEncodingException ex) {

            throw new AssertionError(ex);

        }

        System.out.println(message);

    }

    /**

     * Insert all files in subdirectory `subdirectory' of `directory' which end

     * in one of the extensions in `extensions' into packageSym.

     */

    private void listDirectory(File directory,

                               RelativeDirectory subdirectory,

                               Set<JavaFileObject.Kind> fileKinds,

                               boolean recurse,

                               ListBuffer<JavaFileObject> l) {

        Archive archive = archives.get(directory);

        if (archive != null || isFile) {

            if (archive == null) {

                try {

                    archive = openArchive(directory);

                } catch (IOException ex) {

                    log.error("error.reading.file",

                       directory, ex.getLocalizedMessage());

                    return;

                }

            }

            List<String> files = archive.getFiles(subdirectory);

            if (files != null) {

                for (String file; !files.isEmpty(); files = files.tail) {

                    file = files.head;

                    if (isValidFile(file, fileKinds)) {

                        l.append(archive.getFileObject(subdirectory, file));

                    }

                }

            }

            if (recurse) {

                for (RelativeDirectory s: archive.getSubdirectories()) {

                    if (subdirectory.contains(s)) {

                        // Because the archive map is a flat list of directories,

                        // the enclosing loop will pick up all child subdirectories.

                        // Therefore, there is no need to recurse deeper.

                        listDirectory(directory, s, fileKinds, false, l);

                    }

                }

            }

        } else {

            File d = subdirectory.getFile(directory);

            if (!caseMapCheck(d, subdirectory))

                return;

            File[] files = d.listFiles();

            if (files == null)

                return;

            for (File f: files) {

                String fname = f.getName();

                if (f.isDirectory()) {

                    if (recurse && SourceVersion.isIdentifier(fname)) {

                        listDirectory(directory,

                                      new RelativeDirectory(subdirectory, fname),

                                      fileKinds,

                                      recurse,

                                      l);

                    }

                } else {

                    if (isValidFile(fname, fileKinds)) {

                        JavaFileObject fe =

                            new RegularFileObject(this, fname, new File(d, fname));

                        l.append(fe);

                    }

                }

            }

        }

    }

    private boolean isValidFile(String s, Set<JavaFileObject.Kind> fileKinds) {

        int lastDot = s.lastIndexOf(".");

        String extn = (lastDot == -1 ? s : s.substring(lastDot));

        JavaFileObject.Kind kind = getKind(extn);

        return fileKinds.contains(kind);

    }

    private static final boolean fileSystemIsCaseSensitive =

        File.separatorChar == '/';

    /** Hack to make Windows case sensitive. Test whether given path

     *  ends in a string of characters with the same case as given name.

     *  Ignore file separators in both path and name.

     */

    private boolean caseMapCheck(File f, RelativePath name) {

        if (fileSystemIsCaseSensitive) return true;

        // Note that getCanonicalPath() returns the case-sensitive

        // spelled file name.

        String path;

        try {

            path = f.getCanonicalPath();

        } catch (IOException ex) {

            return false;

        }

        char[] pcs = path.toCharArray();

        char[] ncs = name.path.toCharArray();

        int i = pcs.length - 1;

        int j = ncs.length - 1;

        while (i >= 0 && j >= 0) {

            while (i >= 0 && pcs[i] == File.separatorChar) i--;

            while (j >= 0 && ncs[j] == '/') j--;

            if (i >= 0 && j >= 0) {

                if (pcs[i] != ncs[j]) return false;

                i--;

                j--;

            }

        }

        return j < 0;

    }

    /**

     * An archive provides a flat directory structure of a ZipFile by

     * mapping directory names to lists of files (basenames).

     */

    public interface Archive {

        void close() throws IOException;

        boolean contains(RelativePath name);

        JavaFileObject getFileObject(RelativeDirectory subdirectory, String file);

        List<String> getFiles(RelativeDirectory subdirectory);

        Set<RelativeDirectory> getSubdirectories();

    }

    public class MissingArchive implements Archive {

        final File zipFileName;

        public MissingArchive(File name) {

            zipFileName = name;

        }

        public boolean contains(RelativePath name) {

            return false;

        }

        public void close() {

        }

        public JavaFileObject getFileObject(RelativeDirectory subdirectory, String file) {

            return null;

        }

        public List<String> getFiles(RelativeDirectory subdirectory) {

            return List.nil();

        }

        public Set<RelativeDirectory> getSubdirectories() {

            return Collections.emptySet();

        }

        public String toString() {

            return "MissingArchive[" + zipFileName + "]";

        }

    }

    /** A directory of zip files already opened.

     */

    Map<File, Archive> archives = new HashMap<File,Archive>();

    private static final String[] symbolFileLocation = { "lib", "ct.sym" };

    private static final RelativeDirectory symbolFilePrefix

            = new RelativeDirectory("META-INF/sym/rt.jar/");

    /** Open a new zip file directory.

     */

    protected Archive openArchive(File zipFileName) throws IOException {

        Archive archive = archives.get(zipFileName);

        if (archive == null) {

            File origZipFileName = zipFileName;

            if (!ignoreSymbolFile && paths.isBootClassPathRtJar(zipFileName)) {

                File file = zipFileName.getParentFile().getParentFile(); // ${java.home}

                if (new File(file.getName()).equals(new File("jre")))

                    file = file.getParentFile();

                // file == ${jdk.home}

                for (String name : symbolFileLocation)

                    file = new File(file, name);

                // file == ${jdk.home}/lib/ct.sym

                if (file.exists())

                    zipFileName = file;

            }

            try {

                ZipFile zdir = null;

                boolean usePreindexedCache = false;

                String preindexCacheLocation = null;

                if (!useZipFileIndex) {

                    zdir = new ZipFile(zipFileName);

                }

                else {

                    usePreindexedCache = options.get("usezipindex") != null;

                    preindexCacheLocation = options.get("java.io.tmpdir");

                    String optCacheLoc = options.get("cachezipindexdir");

                    if (optCacheLoc != null && optCacheLoc.length() != 0) {

                        if (optCacheLoc.startsWith("\"")) {

                            if (optCacheLoc.endsWith("\"")) {

                                optCacheLoc = optCacheLoc.substring(1, optCacheLoc.length() - 1);

                            }

                           else {

                                optCacheLoc = optCacheLoc.substring(1);

                            }

                        }

                        File cacheDir = new File(optCacheLoc);

                        if (cacheDir.exists() && cacheDir.canWrite()) {

                            preindexCacheLocation = optCacheLoc;

                            if (!preindexCacheLocation.endsWith("/") &&

                                !preindexCacheLocation.endsWith(File.separator)) {

                                preindexCacheLocation += File.separator;

                            }

                        }

                    }

                }

                if (origZipFileName == zipFileName) {

                    if (!useZipFileIndex) {

                        archive = new ZipArchive(this, zdir);

                    } else {

                        archive = new ZipFileIndexArchive(this,

                                ZipFileIndex.getZipFileIndex(zipFileName,

                                    null,

                                    usePreindexedCache,

                                    preindexCacheLocation,

                                    options.get("writezipindexfiles") != null));

                    }

                }

                else {

                    if (!useZipFileIndex) {

                        archive = new SymbolArchive(this, origZipFileName, zdir, symbolFilePrefix);

                    }

                    else {

                        archive = new ZipFileIndexArchive(this,

                                ZipFileIndex.getZipFileIndex(zipFileName,

                                    symbolFilePrefix,

                                    usePreindexedCache,

                                    preindexCacheLocation,

                                    options.get("writezipindexfiles") != null));