[jdk17] Integrated: 8266631: StandardJavaFileManager: getJavaFileObjects() impl violates the spec

[Jan Lahoda]

On Tue, 15 Jun 2021 14:26:46 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> [a copy of https://github.com/openjdk/jdk/pull/4360 for openjdk/jdk17]
> 
> This improves javadoc/specification of several StandardJavaFileManager methods, as requested in these bugs:
> https://bugs.openjdk.java.net/browse/JDK-8266631
> https://bugs.openjdk.java.net/browse/JDK-8266596
> https://bugs.openjdk.java.net/browse/JDK-8266591
> https://bugs.openjdk.java.net/browse/JDK-8266590
> 
> The CSR is here:
> https://bugs.openjdk.java.net/browse/JDK-8268260

This pull request has now been integrated.

Changeset: 01f12fba
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.java.net/jdk17/commit/01f12fba648b8c0cb64870b00e6f0f3a7f0ba4c9
Stats:     21 lines in 1 file changed: 6 ins; 0 del; 15 mod

8266631: StandardJavaFileManager: getJavaFileObjects() impl violates the spec
8266596: StandardJavaFileManager: default impls of setLocationFromPaths(), getJavaFileObjectsFromPaths() methods don't throw IllegalArgumentException as specified
8266591: StandardJavaFileManager::getJavaFileObjectsFromPaths() methods contain a typo in their spec
8266590: StandardJavaFileManager::setLocationFromPaths() spec contains an error

Reviewed-by: vromero, jjg

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

PR: https://git.openjdk.java.net/jdk17/pull/56