Integrated: 8365898: Specification of java.lang.module.ModuleDescriptor.packages() method can be improved

[Jaikiran Pai]

On Mon, 25 Aug 2025 13:19:29 GMT, Jaikiran Pai <jpai at openjdk.org> wrote:

> Can I please get a review of this trivial change to the `ModuleDescriptor.packages()` method's specification?
> 
> The change here clarifies that this method returns all packages that belong to the module and not just those that are exported or open. This clarification should help avoid any confusion that may have been caused by the second paragraph in that method's specification which talks about exported and open packages.
> 
> This updated specification matches the existing implementation of this method.
> 
> I believe this will require a CSR, which I'll create shortly.

This pull request has now been integrated.

Changeset: b8cdf31a
Author:    Jaikiran Pai <jpai at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/b8cdf31a2e52df857df2badb4f365454443dd89d
Stats:     5 lines in 1 file changed: 0 ins; 4 del; 1 mod

8365898: Specification of java.lang.module.ModuleDescriptor.packages() method can be improved

Reviewed-by: alanb, liach

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

PR: https://git.openjdk.org/jdk/pull/26928