langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/file/FSInfo.java
author jjg
Mon, 07 Dec 2015 14:02:55 -0800
changeset 34560 b6a567b677f7
parent 27852 2e6ad0e4fe20
child 37633 d16d6d59446d
permissions -rw-r--r--
8059976: Convert JavacFileManager to use java.nio.file internally Reviewed-by: jlahoda
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.IOException;
27852
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
     5
import java.nio.file.Files;
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
     6
import java.nio.file.Path;
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
     7
import java.nio.file.Paths;
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     8
import java.util.ArrayList;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
     9
import java.util.Collections;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    10
import java.util.List;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    11
import java.util.StringTokenizer;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    12
import java.util.jar.Attributes;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    13
import java.util.jar.JarFile;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    14
import java.util.jar.Manifest;
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
import com.sun.tools.javac.util.Context;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    17
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    18
/**
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    19
 * 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
    20
 * @see CacheFSInfo
3380
a6c2bcab0fec 6865399: some javac files are missing Sun internal API comment
jjg
parents: 1208
diff changeset
    21
 *
5847
1908176fd6e3 6944312: Potential rebranding issues in openjdk/langtools repository sources
jjg
parents: 3380
diff changeset
    22
 * <p><b>This is NOT part of any supported API.
3380
a6c2bcab0fec 6865399: some javac files are missing Sun internal API comment
jjg
parents: 1208
diff changeset
    23
 * If you write code that depends on this, you do so at your own risk.
a6c2bcab0fec 6865399: some javac files are missing Sun internal API comment
jjg
parents: 1208
diff changeset
    24
 * This code and its internal interfaces are subject to change or
a6c2bcab0fec 6865399: some javac files are missing Sun internal API comment
jjg
parents: 1208
diff changeset
    25
 * deletion without notice.</b>
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    26
 */
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    27
public class FSInfo {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    28
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    29
    /** Get the FSInfo instance for this context.
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    30
     *  @param context the context
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    31
     *  @return the Paths instance for this context
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
    public static FSInfo instance(Context context) {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    34
        FSInfo instance = context.get(FSInfo.class);
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    35
        if (instance == null)
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    36
            instance = new FSInfo();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    37
        return instance;
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
    protected FSInfo() {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    41
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    42
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    43
    protected FSInfo(Context context) {
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    44
        context.put(FSInfo.class, this);
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
27852
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    47
    public Path getCanonicalFile(Path file) {
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    48
        try {
27852
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    49
            return file.toRealPath();
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    50
        } catch (IOException e) {
34560
b6a567b677f7 8059976: Convert JavacFileManager to use java.nio.file internally
jjg
parents: 27852
diff changeset
    51
            return file.toAbsolutePath().normalize();
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    52
        }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    53
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    54
27852
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    55
    public boolean exists(Path file) {
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    56
        return Files.exists(file);
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    57
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    58
27852
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    59
    public boolean isDirectory(Path file) {
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    60
        return Files.isDirectory(file);
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    61
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    62
27852
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    63
    public boolean isFile(Path file) {
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    64
        return Files.isRegularFile(file);
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    65
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    66
27852
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    67
    public List<Path> getJarClassPath(Path file) throws IOException {
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    68
        Path parent = file.getParent();
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    69
        try (JarFile jarFile = new JarFile(file.toFile())) {
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    70
            Manifest man = jarFile.getManifest();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    71
            if (man == null)
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    72
                return Collections.emptyList();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    73
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    74
            Attributes attr = man.getMainAttributes();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    75
            if (attr == null)
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    76
                return Collections.emptyList();
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
            String path = attr.getValue(Attributes.Name.CLASS_PATH);
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    79
            if (path == null)
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    80
                return Collections.emptyList();
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    81
27852
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    82
            List<Path> list = new ArrayList<>();
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    83
22159
682da512ec17 8030253: Update langtools to use strings-in-switch
briangoetz
parents: 5847
diff changeset
    84
            for (StringTokenizer st = new StringTokenizer(path);
682da512ec17 8030253: Update langtools to use strings-in-switch
briangoetz
parents: 5847
diff changeset
    85
                 st.hasMoreTokens(); ) {
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    86
                String elt = st.nextToken();
27852
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    87
                Path f = Paths.get(elt);
26535
24dfa5fd8fe2 8055500: fix for 8030046 is incorrect
pgovereau
parents: 25874
diff changeset
    88
                if (!f.isAbsolute() && parent != null)
27852
2e6ad0e4fe20 8061876: replace java.io.File with java.nio.file.Path (again)
jjg
parents: 27226
diff changeset
    89
                    f = parent.resolve(f).toAbsolutePath();
26535
24dfa5fd8fe2 8055500: fix for 8030046 is incorrect
pgovereau
parents: 25874
diff changeset
    90
                list.add(f);
1208
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    91
            }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    92
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    93
            return list;
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    94
        }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    95
    }
5072b0dd3d52 6743107: clean up use of static caches in file manager
jjg
parents:
diff changeset
    96
}