src/share/classes/javax/tools/JavaFileManager.java

Mon, 10 Jan 2011 15:08:31 -0800

author
jjg
date
Mon, 10 Jan 2011 15:08:31 -0800
changeset 816
7c537f4298fb
parent 582
366a7b9b5627
child 972
694ff82ca68e
permissions
-rw-r--r--

6396503: javac should not require assertions enabled
Reviewed-by: mcimadamore

     1 /*
     2  * Copyright (c) 2005, 2006, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.  Oracle designates this
     8  * particular file as subject to the "Classpath" exception as provided
     9  * by Oracle in the LICENSE file that accompanied this code.
    10  *
    11  * This code is distributed in the hope that it will be useful, but WITHOUT
    12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    14  * version 2 for more details (a copy is included in the LICENSE file that
    15  * accompanied this code).
    16  *
    17  * You should have received a copy of the GNU General Public License version
    18  * 2 along with this work; if not, write to the Free Software Foundation,
    19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
    20  *
    21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
    22  * or visit www.oracle.com if you need additional information or have any
    23  * questions.
    24  */
    26 package javax.tools;
    28 import java.io.Closeable;
    29 import java.io.Flushable;
    30 import java.io.IOException;
    31 import java.util.Iterator;
    32 import java.util.Set;
    33 import static javax.tools.JavaFileObject.Kind;
    35 /**
    36  * File manager for tools operating on Java™ programming language
    37  * source and class files.  In this context, <em>file</em> means an
    38  * abstraction of regular files and other sources of data.
    39  *
    40  * <p>When constructing new JavaFileObjects, the file manager must
    41  * determine where to create them.  For example, if a file manager
    42  * manages regular files on a file system, it would most likely have a
    43  * current/working directory to use as default location when creating
    44  * or finding files.  A number of hints can be provided to a file
    45  * manager as to where to create files.  Any file manager might choose
    46  * to ignore these hints.
    47  *
    48  * <p>Some methods in this interface use class names.  Such class
    49  * names must be given in the Java Virtual Machine internal form of
    50  * fully qualified class and interface names.  For convenience '.'
    51  * and '/' are interchangeable.  The internal form is defined in
    52  * chapter four of the
    53  * <a href="http://java.sun.com/docs/books/vmspec/2nd-edition/jvms-maintenance.html">Java
    54  * Virtual Machine Specification</a>.
    56  * <blockquote><p>
    57  *   <i>Discussion:</i> this means that the names
    58  *   "java/lang.package-info", "java/lang/package-info",
    59  *   "java.lang.package-info", are valid and equivalent.  Compare to
    60  *   binary name as defined in the
    61  *   <a href="http://java.sun.com/docs/books/jls/">Java Language
    62  *   Specification (JLS)</a> section 13.1 "The Form of a Binary".
    63  * </p></blockquote>
    64  *
    65  * <p>The case of names is significant.  All names should be treated
    66  * as case-sensitive.  For example, some file systems have
    67  * case-insensitive, case-aware file names.  File objects representing
    68  * such files should take care to preserve case by using {@link
    69  * java.io.File#getCanonicalFile} or similar means.  If the system is
    70  * not case-aware, file objects must use other means to preserve case.
    71  *
    72  * <p><em><a name="relative_name">Relative names</a>:</em> some
    73  * methods in this interface use relative names.  A relative name is a
    74  * non-null, non-empty sequence of path segments separated by '/'.
    75  * '.' or '..'  are invalid path segments.  A valid relative name must
    76  * match the "path-rootless" rule of <a
    77  * href="http://www.ietf.org/rfc/rfc3986.txt">RFC&nbsp;3986</a>,
    78  * section&nbsp;3.3.  Informally, this should be true:
    79  *
    80  * <!-- URI.create(relativeName).normalize().getPath().equals(relativeName) -->
    81  * <pre>  URI.{@linkplain java.net.URI#create create}(relativeName).{@linkplain java.net.URI#normalize normalize}().{@linkplain java.net.URI#getPath getPath}().equals(relativeName)</pre>
    82  *
    83  * <p>All methods in this interface might throw a SecurityException.
    84  *
    85  * <p>An object of this interface is not required to support
    86  * multi-threaded access, that is, be synchronized.  However, it must
    87  * support concurrent access to different file objects created by this
    88  * object.
    89  *
    90  * <p><em>Implementation note:</em> a consequence of this requirement
    91  * is that a trivial implementation of output to a {@linkplain
    92  * java.util.jar.JarOutputStream} is not a sufficient implementation.
    93  * That is, rather than creating a JavaFileObject that returns the
    94  * JarOutputStream directly, the contents must be cached until closed
    95  * and then written to the JarOutputStream.
    96  *
    97  * <p>Unless explicitly allowed, all methods in this interface might
    98  * throw a NullPointerException if given a {@code null} argument.
    99  *
   100  * @author Peter von der Ah&eacute;
   101  * @author Jonathan Gibbons
   102  * @see JavaFileObject
   103  * @see FileObject
   104  * @since 1.6
   105  */
   106 public interface JavaFileManager extends Closeable, Flushable, OptionChecker {
   108     /**
   109      * Interface for locations of file objects.  Used by file managers
   110      * to determine where to place or search for file objects.
   111      */
   112     interface Location {
   113         /**
   114          * Gets the name of this location.
   115          *
   116          * @return a name
   117          */
   118         String getName();
   120         /**
   121          * Determines if this is an output location.  An output
   122          * location is a location that is conventionally used for
   123          * output.
   124          *
   125          * @return true if this is an output location, false otherwise
   126          */
   127         boolean isOutputLocation();
   128     }
   130     /**
   131      * Gets a class loader for loading plug-ins from the given
   132      * location.  For example, to load annotation processors, a
   133      * compiler will request a class loader for the {@link
   134      * StandardLocation#ANNOTATION_PROCESSOR_PATH
   135      * ANNOTATION_PROCESSOR_PATH} location.
   136      *
   137      * @param location a location
   138      * @return a class loader for the given location; or {@code null}
   139      * if loading plug-ins from the given location is disabled or if
   140      * the location is not known
   141      * @throws SecurityException if a class loader can not be created
   142      * in the current security context
   143      * @throws IllegalStateException if {@link #close} has been called
   144      * and this file manager cannot be reopened
   145      */
   146     ClassLoader getClassLoader(Location location);
   148     /**
   149      * Lists all file objects matching the given criteria in the given
   150      * location.  List file objects in "subpackages" if recurse is
   151      * true.
   152      *
   153      * <p>Note: even if the given location is unknown to this file
   154      * manager, it may not return {@code null}.  Also, an unknown
   155      * location may not cause an exception.
   156      *
   157      * @param location     a location
   158      * @param packageName  a package name
   159      * @param kinds        return objects only of these kinds
   160      * @param recurse      if true include "subpackages"
   161      * @return an Iterable of file objects matching the given criteria
   162      * @throws IOException if an I/O error occurred, or if {@link
   163      * #close} has been called and this file manager cannot be
   164      * reopened
   165      * @throws IllegalStateException if {@link #close} has been called
   166      * and this file manager cannot be reopened
   167      */
   168     Iterable<JavaFileObject> list(Location location,
   169                                   String packageName,
   170                                   Set<Kind> kinds,
   171                                   boolean recurse)
   172         throws IOException;
   174     /**
   175      * Infers a binary name of a file object based on a location.  The
   176      * binary name returned might not be a valid JLS binary name.
   177      *
   178      * @param location a location
   179      * @param file a file object
   180      * @return a binary name or {@code null} the file object is not
   181      * found in the given location
   182      * @throws IllegalStateException if {@link #close} has been called
   183      * and this file manager cannot be reopened
   184      */
   185     String inferBinaryName(Location location, JavaFileObject file);
   187     /**
   188      * Compares two file objects and return true if they represent the
   189      * same underlying object.
   190      *
   191      * @param a a file object
   192      * @param b a file object
   193      * @return true if the given file objects represent the same
   194      * underlying object
   195      *
   196      * @throws IllegalArgumentException if either of the arguments
   197      * were created with another file manager and this file manager
   198      * does not support foreign file objects
   199      */
   200     boolean isSameFile(FileObject a, FileObject b);
   202     /**
   203      * Handles one option.  If {@code current} is an option to this
   204      * file manager it will consume any arguments to that option from
   205      * {@code remaining} and return true, otherwise return false.
   206      *
   207      * @param current current option
   208      * @param remaining remaining options
   209      * @return true if this option was handled by this file manager,
   210      * false otherwise
   211      * @throws IllegalArgumentException if this option to this file
   212      * manager is used incorrectly
   213      * @throws IllegalStateException if {@link #close} has been called
   214      * and this file manager cannot be reopened
   215      */
   216     boolean handleOption(String current, Iterator<String> remaining);
   218     /**
   219      * Determines if a location is known to this file manager.
   220      *
   221      * @param location a location
   222      * @return true if the location is known
   223      */
   224     boolean hasLocation(Location location);
   226     /**
   227      * Gets a {@linkplain JavaFileObject file object} for input
   228      * representing the specified class of the specified kind in the
   229      * given location.
   230      *
   231      * @param location a location
   232      * @param className the name of a class
   233      * @param kind the kind of file, must be one of {@link
   234      * JavaFileObject.Kind#SOURCE SOURCE} or {@link
   235      * JavaFileObject.Kind#CLASS CLASS}
   236      * @return a file object, might return {@code null} if the
   237      * file does not exist
   238      * @throws IllegalArgumentException if the location is not known
   239      * to this file manager and the file manager does not support
   240      * unknown locations, or if the kind is not valid
   241      * @throws IOException if an I/O error occurred, or if {@link
   242      * #close} has been called and this file manager cannot be
   243      * reopened
   244      * @throws IllegalStateException if {@link #close} has been called
   245      * and this file manager cannot be reopened
   246      */
   247     JavaFileObject getJavaFileForInput(Location location,
   248                                        String className,
   249                                        Kind kind)
   250         throws IOException;
   252     /**
   253      * Gets a {@linkplain JavaFileObject file object} for output
   254      * representing the specified class of the specified kind in the
   255      * given location.
   256      *
   257      * <p>Optionally, this file manager might consider the sibling as
   258      * a hint for where to place the output.  The exact semantics of
   259      * this hint is unspecified.  The JDK compiler, javac, for
   260      * example, will place class files in the same directories as
   261      * originating source files unless a class file output directory
   262      * is provided.  To facilitate this behavior, javac might provide
   263      * the originating source file as sibling when calling this
   264      * method.
   265      *
   266      * @param location a location
   267      * @param className the name of a class
   268      * @param kind the kind of file, must be one of {@link
   269      * JavaFileObject.Kind#SOURCE SOURCE} or {@link
   270      * JavaFileObject.Kind#CLASS CLASS}
   271      * @param sibling a file object to be used as hint for placement;
   272      * might be {@code null}
   273      * @return a file object for output
   274      * @throws IllegalArgumentException if sibling is not known to
   275      * this file manager, or if the location is not known to this file
   276      * manager and the file manager does not support unknown
   277      * locations, or if the kind is not valid
   278      * @throws IOException if an I/O error occurred, or if {@link
   279      * #close} has been called and this file manager cannot be
   280      * reopened
   281      * @throws IllegalStateException {@link #close} has been called
   282      * and this file manager cannot be reopened
   283      */
   284     JavaFileObject getJavaFileForOutput(Location location,
   285                                         String className,
   286                                         Kind kind,
   287                                         FileObject sibling)
   288         throws IOException;
   290     /**
   291      * Gets a {@linkplain FileObject file object} for input
   292      * representing the specified <a href="JavaFileManager.html#relative_name">relative
   293      * name</a> in the specified package in the given location.
   294      *
   295      * <p>If the returned object represents a {@linkplain
   296      * JavaFileObject.Kind#SOURCE source} or {@linkplain
   297      * JavaFileObject.Kind#CLASS class} file, it must be an instance
   298      * of {@link JavaFileObject}.
   299      *
   300      * <p>Informally, the file object returned by this method is
   301      * located in the concatenation of the location, package name, and
   302      * relative name.  For example, to locate the properties file
   303      * "resources/compiler.properties" in the package
   304      * "com.sun.tools.javac" in the {@linkplain
   305      * StandardLocation#SOURCE_PATH SOURCE_PATH} location, this method
   306      * might be called like so:
   307      *
   308      * <pre>getFileForInput(SOURCE_PATH, "com.sun.tools.javac", "resources/compiler.properties");</pre>
   309      *
   310      * <p>If the call was executed on Windows, with SOURCE_PATH set to
   311      * <code>"C:\Documents&nbsp;and&nbsp;Settings\UncleBob\src\share\classes"</code>,
   312      * a valid result would be a file object representing the file
   313      * <code>"C:\Documents&nbsp;and&nbsp;Settings\UncleBob\src\share\classes\com\sun\tools\javac\resources\compiler.properties"</code>.
   314      *
   315      * @param location a location
   316      * @param packageName a package name
   317      * @param relativeName a relative name
   318      * @return a file object, might return {@code null} if the file
   319      * does not exist
   320      * @throws IllegalArgumentException if the location is not known
   321      * to this file manager and the file manager does not support
   322      * unknown locations, or if {@code relativeName} is not valid
   323      * @throws IOException if an I/O error occurred, or if {@link
   324      * #close} has been called and this file manager cannot be
   325      * reopened
   326      * @throws IllegalStateException if {@link #close} has been called
   327      * and this file manager cannot be reopened
   328      */
   329     FileObject getFileForInput(Location location,
   330                                String packageName,
   331                                String relativeName)
   332         throws IOException;
   334     /**
   335      * Gets a {@linkplain FileObject file object} for output
   336      * representing the specified <a href="JavaFileManager.html#relative_name">relative
   337      * name</a> in the specified package in the given location.
   338      *
   339      * <p>Optionally, this file manager might consider the sibling as
   340      * a hint for where to place the output.  The exact semantics of
   341      * this hint is unspecified.  The JDK compiler, javac, for
   342      * example, will place class files in the same directories as
   343      * originating source files unless a class file output directory
   344      * is provided.  To facilitate this behavior, javac might provide
   345      * the originating source file as sibling when calling this
   346      * method.
   347      *
   348      * <p>If the returned object represents a {@linkplain
   349      * JavaFileObject.Kind#SOURCE source} or {@linkplain
   350      * JavaFileObject.Kind#CLASS class} file, it must be an instance
   351      * of {@link JavaFileObject}.
   352      *
   353      * <p>Informally, the file object returned by this method is
   354      * located in the concatenation of the location, package name, and
   355      * relative name or next to the sibling argument.  See {@link
   356      * #getFileForInput getFileForInput} for an example.
   357      *
   358      * @param location a location
   359      * @param packageName a package name
   360      * @param relativeName a relative name
   361      * @param sibling a file object to be used as hint for placement;
   362      * might be {@code null}
   363      * @return a file object
   364      * @throws IllegalArgumentException if sibling is not known to
   365      * this file manager, or if the location is not known to this file
   366      * manager and the file manager does not support unknown
   367      * locations, or if {@code relativeName} is not valid
   368      * @throws IOException if an I/O error occurred, or if {@link
   369      * #close} has been called and this file manager cannot be
   370      * reopened
   371      * @throws IllegalStateException if {@link #close} has been called
   372      * and this file manager cannot be reopened
   373      */
   374     FileObject getFileForOutput(Location location,
   375                                 String packageName,
   376                                 String relativeName,
   377                                 FileObject sibling)
   378         throws IOException;
   380     /**
   381      * Flushes any resources opened for output by this file manager
   382      * directly or indirectly.  Flushing a closed file manager has no
   383      * effect.
   384      *
   385      * @throws IOException if an I/O error occurred
   386      * @see #close
   387      */
   388     void flush() throws IOException;
   390     /**
   391      * Releases any resources opened by this file manager directly or
   392      * indirectly.  This might render this file manager useless and
   393      * the effect of subsequent calls to methods on this object or any
   394      * objects obtained through this object is undefined unless
   395      * explicitly allowed.  However, closing a file manager which has
   396      * already been closed has no effect.
   397      *
   398      * @throws IOException if an I/O error occurred
   399      * @see #flush
   400      */
   401     void close() throws IOException;
   402 }

mercurial