langtools/src/share/classes/com/sun/tools/javac/file/FSInfo.java
author jjg
Wed, 03 Sep 2008 10:46:25 -0700
changeset 1208 5072b0dd3d52
child 3380 a6c2bcab0fec
permissions -rw-r--r--
6743107: clean up use of static caches in file manager Reviewed-by: mcimadamore
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     1
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     2
package com.sun.tools.javac.file;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     3
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     4
import java.io.File;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     5
import java.io.IOException;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     6
import java.util.ArrayList;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     7
import java.util.Collections;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     8
import java.util.List;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     9
import java.util.StringTokenizer;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    10
import java.util.jar.Attributes;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    11
import java.util.jar.JarFile;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    12
import java.util.jar.Manifest;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    13
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    14
import com.sun.tools.javac.util.Context;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    15
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    16
/**
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    17
 * Get meta-info about files. Default direct (non-caching) implementation.
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    18
 * @see CacheFSInfo
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    19
 */
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    20
public class FSInfo {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    21
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    22
    /** Get the FSInfo instance for this context.
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    23
     *  @param context the context
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    24
     *  @return the Paths instance for this context
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    25
     */
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    26
    public static FSInfo instance(Context context) {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    27
        FSInfo instance = context.get(FSInfo.class);
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    28
        if (instance == null)
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    29
            instance = new FSInfo();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    30
        return instance;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    31
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    32
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    33
    protected FSInfo() {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    34
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    35
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    36
    protected FSInfo(Context context) {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    37
        context.put(FSInfo.class, this);
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    38
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    39
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    40
    public File getCanonicalFile(File file) {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    41
        try {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    42
            return file.getCanonicalFile();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    43
        } catch (IOException e) {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    44
            return file.getAbsoluteFile();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    45
        }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    46
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    47
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    48
    public boolean exists(File file) {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    49
        return file.exists();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    50
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    51
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    52
    public boolean isDirectory(File file) {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    53
        return file.isDirectory();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    54
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    55
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    56
    public boolean isFile(File file) {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    57
        return file.isFile();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    58
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    59
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    60
    public List<File> getJarClassPath(File file) throws IOException {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    61
        String parent = file.getParent();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    62
        JarFile jarFile = new JarFile(file);
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    63
        try {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    64
            Manifest man = jarFile.getManifest();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    65
            if (man == null)
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    66
                return Collections.emptyList();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    67
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    68
            Attributes attr = man.getMainAttributes();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    69
            if (attr == null)
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    70
                return Collections.emptyList();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    71
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    72
            String path = attr.getValue(Attributes.Name.CLASS_PATH);
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    73
            if (path == null)
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    74
                return Collections.emptyList();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    75
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    76
            List<File> list = new ArrayList<File>();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    77
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    78
            for (StringTokenizer st = new StringTokenizer(path); st.hasMoreTokens(); ) {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    79
                String elt = st.nextToken();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    80
                File f = (parent == null ? new File(elt) : new File(parent, elt));
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    81
                list.add(f);
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    82
            }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    83
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    84
            return list;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    85
        } finally {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    86
            jarFile.close();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    87
        }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    88
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    89
}