Withdrawn: 8272234: Pass originating elements from Filer to JavaFileManager

duke duke at openjdk.java.net
Wed Oct 6 02:49:11 UTC 2021


On Tue, 10 Aug 2021 20:46:32 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> This is a first prototype of a patch that propagates originating elements from `Filer` (`createSourceFile`/`createClassFile`/`createResource`) to the corresponding methods in `JavaFileManager`. As file managers generally don't know about `Element`s, the `Element`s are first converted to their corresponding `FileObject`s (if any). As the currently existing methods only take one `FileObject` as a sibling of the newly created file, a new set of methods is proposed that take multiple originating files.
> 
> Any feedback on this prototype would be welcome.

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.java.net/jdk/pull/5076


More information about the compiler-dev mailing list