Integrated: 8272234: Pass originating elements from Filer to JavaFileManager

[Jan Lahoda]

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 now been integrated.

Changeset: 89070032
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/890700320a379c2712fe420017f7b84a8904c0c3
Stats:     728 lines in 7 files changed: 718 ins; 1 del; 9 mod

8272234: Pass originating elements from Filer to JavaFileManager

Reviewed-by: jjg

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

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