Filer.java revision 3815:a079b797c83d
1/*
2 * Copyright (c) 2005, 2016, 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 */
25
26package javax.annotation.processing;
27
28import javax.tools.JavaFileManager;
29import javax.tools.*;
30import javax.lang.model.element.Element;
31import java.io.IOException;
32
33/**
34 * This interface supports the creation of new files by an annotation
35 * processor.  Files created in this way will be known to the
36 * annotation processing tool implementing this interface, better
37 * enabling the tool to manage them.  Source and class files so
38 * created will be {@linkplain RoundEnvironment#getRootElements
39 * considered for processing} by the tool in a subsequent {@linkplain
40 * RoundEnvironment round of processing} after the {@code close}
41 * method has been called on the {@code Writer} or {@code
42 * OutputStream} used to write the contents of the file.
43 *
44 * Three kinds of files are distinguished: source files, class files,
45 * and auxiliary resource files.
46 *
47 * <p> There are two distinguished supported locations (subtrees
48 * within the logical file system) where newly created files are
49 * placed: one for {@linkplain
50 * javax.tools.StandardLocation#SOURCE_OUTPUT new source files}, and
51 * one for {@linkplain javax.tools.StandardLocation#CLASS_OUTPUT new
52 * class files}.  (These might be specified on a tool's command line,
53 * for example, using flags such as {@code -s} and {@code -d}.)  The
54 * actual locations for new source files and new class files may or
55 * may not be distinct on a particular run of the tool.  Resource
56 * files may be created in either location.  The methods for reading
57 * and writing resources take a relative name argument.  A relative
58 * name is a non-null, non-empty sequence of path segments separated
59 * by {@code '/'}; {@code '.'} and {@code '..'} are invalid path
60 * segments.  A valid relative name must match the
61 * &quot;path-rootless&quot; rule of <a
62 * href="http://www.ietf.org/rfc/rfc3986.txt">RFC 3986</a>, section
63 * 3.3.
64 *
65 * <p>The file creation methods take a variable number of arguments to
66 * allow the <em>originating elements</em> to be provided as hints to
67 * the tool infrastructure to better manage dependencies.  The
68 * originating elements are the types or packages (representing {@code
69 * package-info} files) or modules (representing {@code
70 * module-info} files) which caused an annotation processor to
71 * attempt to create a new file.  For example, if an annotation
72 * processor tries to create a source file, {@code
73 * GeneratedFromUserSource}, in response to processing
74 *
75 * <blockquote><pre>
76 *  &#64;Generate
77 *  public class UserSource {}
78 * </pre></blockquote>
79 *
80 * the type element for {@code UserSource} should be passed as part of
81 * the creation method call as in:
82 *
83 * <blockquote><pre>
84 *      filer.createSourceFile("GeneratedFromUserSource",
85 *                             eltUtils.getTypeElement("UserSource"));
86 * </pre></blockquote>
87 *
88 * If there are no originating elements, none need to be passed.  This
89 * information may be used in an incremental environment to determine
90 * the need to rerun processors or remove generated files.
91 * Non-incremental environments may ignore the originating element
92 * information.
93 *
94 * <p> During each run of an annotation processing tool, a file with a
95 * given pathname may be created only once.  If that file already
96 * exists before the first attempt to create it, the old contents will
97 * be deleted.  Any subsequent attempt to create the same file during
98 * a run will throw a {@link FilerException}, as will attempting to
99 * create both a class file and source file for the same type name or
100 * same package name.  The {@linkplain Processor initial inputs} to
101 * the tool are considered to be created by the zeroth round;
102 * therefore, attempting to create a source or class file
103 * corresponding to one of those inputs will result in a {@link
104 * FilerException}.
105 *
106 * <p> In general, processors must not knowingly attempt to overwrite
107 * existing files that were not generated by some processor.  A {@code
108 * Filer} may reject attempts to open a file corresponding to an
109 * existing type, like {@code java.lang.Object}.  Likewise, the
110 * invoker of the annotation processing tool must not knowingly
111 * configure the tool such that the discovered processors will attempt
112 * to overwrite existing files that were not generated.
113 *
114 * <p> Processors can indicate a source or class file is generated by
115 * including a {@code javax.annotation.Generated} annotation if the
116 * environment is configured so that that type is accessible.
117 *
118 * @apiNote Some of the effect of overwriting a file can be
119 * achieved by using a <i>decorator</i>-style pattern.  Instead of
120 * modifying a class directly, the class is designed so that either
121 * its superclass is generated by annotation processing or subclasses
122 * of the class are generated by annotation processing.  If the
123 * subclasses are generated, the parent class may be designed to use
124 * factories instead of public constructors so that only subclass
125 * instances would be presented to clients of the parent class.
126 *
127 * @author Joseph D. Darcy
128 * @author Scott Seligman
129 * @author Peter von der Ah&eacute;
130 * @since 1.6
131 */
132public interface Filer {
133    /**
134     * Creates a new source file and returns an object to allow
135     * writing to it. A source file for a type, or a package can
136     * be created.
137     *
138     * The file's name and path (relative to the {@linkplain
139     * StandardLocation#SOURCE_OUTPUT root output location for source
140     * files}) are based on the name of the item to be declared in
141     * that file as well as the specified module for the item (if
142     * any).
143     *
144     * If more than one type is being declared in a single file (that
145     * is, a single compilation unit), the name of the file should
146     * correspond to the name of the principal top-level type (the
147     * public one, for example).
148     *
149     * <p>A source file can also be created to hold information about
150     * a package, including package annotations.  To create a source
151     * file for a named package, have the {@code name} argument be the
152     * package's name followed by {@code ".package-info"}; to create a
153     * source file for an unnamed package, use {@code "package-info"}.
154     *
155     * <p>The optional module name is prefixed to the type name or
156     * package name and separated using a "{@code /}" character. For
157     * example, to create a source file for type {@code a.B} in module
158     * {@code foo}, use a {@code name} argument of {@code "foo/a.B"}.
159     *
160     * <p>Creating a source file in or for an unnamed package in a named
161     * module is <em>not</em> supported.
162     *
163     * @apiNote To use a particular {@linkplain
164     * java.nio.charset.Charset charset} to encode the contents of the
165     * file, an {@code OutputStreamWriter} with the chosen charset can
166     * be created from the {@code OutputStream} from the returned
167     * object. If the {@code Writer} from the returned object is
168     * directly used for writing, its charset is determined by the
169     * implementation.  An annotation processing tool may have an
170     * {@code -encoding} flag or analogous option for specifying this;
171     * otherwise, it will typically be the platform's default
172     * encoding.
173     *
174     * <p>To avoid subsequent errors, the contents of the source file
175     * should be compatible with the {@linkplain
176     * ProcessingEnvironment#getSourceVersion source version} being used
177     * for this run.
178     *
179     * @param name  canonical (fully qualified) name of the principal type
180     *          being declared in this file or a package name followed by
181     *          {@code ".package-info"} for a package information file
182     * @param originatingElements type or package or module elements causally
183     * associated with the creation of this file, may be elided or
184     * {@code null}
185     * @return a {@code JavaFileObject} to write the new source file
186     * @throws FilerException if the same pathname has already been
187     * created, the same type has already been created, or the name is
188     * otherwise not valid for the entity requested to being created
189     * @throws IOException if the file cannot be created
190     * @jls 7.3 Compilation Units
191     */
192    JavaFileObject createSourceFile(CharSequence name,
193                                    Element... originatingElements) throws IOException;
194
195    /**
196     * Creates a new class file, and returns an object to allow
197     * writing to it. A class file for a type, or a package can
198     * be created.
199     *
200     * The file's name and path (relative to the {@linkplain
201     * StandardLocation#CLASS_OUTPUT root output location for class
202     * files}) are based on the name of the item to be declared as
203     * well as the specified module for the item (if any).
204     *
205     * <p>A class file can also be created to hold information about a
206     * package, including package annotations. To create a class file
207     * for a named package, have the {@code name} argument be the
208     * package's name followed by {@code ".package-info"}; creating a
209     * class file for an unnamed package is not supported.
210     *
211     * <p>The optional module name is prefixed to the type name or
212     * package name and separated using a "{@code /}" character. For
213     * example, to create a class file for type {@code a.B} in module
214     * {@code foo}, use a {@code name} argument of {@code "foo/a.B"}.
215     *
216     * <p>Creating a class file in or for an unnamed package in a named
217     * module is <em>not</em> supported.
218     *
219     * @apiNote To avoid subsequent errors, the contents of the class
220     * file should be compatible with the {@linkplain
221     * ProcessingEnvironment#getSourceVersion source version} being
222     * used for this run.
223     *
224     * @param name binary name of the type being written or a package name followed by
225     *          {@code ".package-info"} for a package information file
226     * @param originatingElements type or package or module elements causally
227     * associated with the creation of this file, may be elided or
228     * {@code null}
229     * @return a {@code JavaFileObject} to write the new class file
230     * @throws FilerException if the same pathname has already been
231     * created, the same type has already been created, or the name is
232     * not valid for a type
233     * @throws IOException if the file cannot be created
234     */
235    JavaFileObject createClassFile(CharSequence name,
236                                   Element... originatingElements) throws IOException;
237
238    /**
239     * Creates a new auxiliary resource file for writing and returns a
240     * file object for it.  The file may be located along with the
241     * newly created source files, newly created binary files, or
242     * other supported location.  The locations {@link
243     * StandardLocation#CLASS_OUTPUT CLASS_OUTPUT} and {@link
244     * StandardLocation#SOURCE_OUTPUT SOURCE_OUTPUT} must be
245     * supported. The resource may be named relative to some module
246     * and/or package (as are source and class files), and from there
247     * by a relative pathname.  In a loose sense, the full pathname of
248     * the new file will be the concatenation of {@code location},
249     * {@code moduleAndPkg}, and {@code relativeName}.
250     *
251     * If {@code moduleAndPkg} contains a "{@code /}" character, the
252     * prefix before the "{@code /}" character is the module name and
253     * the suffix after the "{@code /}" character is the package
254     * name. The package suffix may be empty. If {@code moduleAndPkg}
255     * does not contain a "{@code /}" character, the entire argument
256     * is interpreted as a package name.
257     *
258     * <p>Files created via this method are <em>not</em> registered for
259     * annotation processing, even if the full pathname of the file
260     * would correspond to the full pathname of a new source file
261     * or new class file.
262     *
263     * @param location location of the new file
264     * @param moduleAndPkg module and/or package relative to which the file
265     *           should be named, or the empty string if none
266     * @param relativeName final pathname components of the file
267     * @param originatingElements type or package elements causally
268     * associated with the creation of this file, may be elided or
269     * {@code null}
270     * @return a {@code FileObject} to write the new resource
271     * @throws IOException if the file cannot be created
272     * @throws FilerException if the same pathname has already been
273     * created
274     * @throws IllegalArgumentException for an unsupported location
275     * @throws IllegalArgumentException if {@code moduleAndPkg} is ill-formed
276     * @throws IllegalArgumentException if {@code relativeName} is not relative
277     */
278   FileObject createResource(JavaFileManager.Location location,
279                             CharSequence moduleAndPkg,
280                             CharSequence relativeName,
281                             Element... originatingElements) throws IOException;
282
283    /**
284     * Returns an object for reading an existing resource.  The
285     * locations {@link StandardLocation#CLASS_OUTPUT CLASS_OUTPUT}
286     * and {@link StandardLocation#SOURCE_OUTPUT SOURCE_OUTPUT} must
287     * be supported.
288     *
289     * <p>If {@code moduleAndPkg} contains a "{@code /}" character, the
290     * prefix before the "{@code /}" character is the module name and
291     * the suffix after the "{@code /}" character is the package
292     * name. The package suffix may be empty; however, if a module
293     * name is present, it must be nonempty. If {@code moduleAndPkg}
294     * does not contain a "{@code /}" character, the entire argument
295     * is interpreted as a package name.
296     *
297     * @param location location of the file
298     * @param moduleAndPkg module and/or package relative to which the file
299     *          should be searched for, or the empty string if none
300     * @param relativeName final pathname components of the file
301     * @return an object to read the file
302     * @throws FilerException if the same pathname has already been
303     * opened for writing
304     * @throws IOException if the file cannot be opened
305     * @throws IllegalArgumentException for an unsupported location
306     * @throws IllegalArgumentException if {@code moduleAndPkg} is ill-formed
307     * @throws IllegalArgumentException if {@code relativeName} is not relative
308     */
309    FileObject getResource(JavaFileManager.Location location,
310                           CharSequence moduleAndPkg,
311                           CharSequence relativeName) throws IOException;
312}
313