RFR: 8272234: Pass originating elements from Filer to JavaFileManager [v5]

Wed Nov 24 07:41:01 UTC 2021

On Tue, 23 Nov 2021 13:36:41 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

>> src/java.compiler/share/classes/javax/tools/JavaFileManager.java line 381:
>> 
>>> 379:                                         String className,
>>> 380:                                         Kind kind,
>>> 381:                                         FileObject... originatingFiles)
>> 
>> Perhaps explicitly state that null originatingFile or empty originatingFiles are no-ops.
>
> Thanks - how about the following?
> https://github.com/openjdk/jdk/pull/5076/commits/7c11f10d9c2bce6a5841fcfc4580edc12692dde5

Spec update looks fine.

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

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