Updated specifications

[Dan Heidinga]

I’m still concerned about the sentence in 5.4 that says: “Linking activities may sometimes require the loading of additional classes.” as it can be read to support arbitrary class loads during linking.  David Holmes and I have been having a related discussion in https://bugs.openjdk.org/browse/JDK-8334324 about similar topics and this sentence would change the meaning of the spec and tilt those discussions.

The reason we have LoadableDescriptors is threefold – to give permission for arbitrary loads, to hint which arbitrary loads may be fruitful, and to allow ignoring errors.

If there’s something in that sentence to tie it back to “loading in support of linking activities” then I’d be ok with the sentence.  The original used the wording “because of recursion” so maybe reusing that would be sufficient: “Linking activities may, because of recursion, sometimes require the loading of additional classes.”

Without something like the “recursion” rationale, I think the spec is clearer without the new sentence.

--Dan

From: valhalla-spec-experts <valhalla-spec-experts-retn at openjdk.org> on behalf of Dan Smith <daniel.smith at oracle.com>
Date: Friday, June 21, 2024 at 8:09 PM
To: valhalla-spec-experts <valhalla-spec-experts at openjdk.java.net>
Subject: Re: Updated specifications
> On Jun 3, 2024, at 12:00 PM, Dan Smith <daniel.smith at oracle.com> wrote:
>
> I've posted updated specifications for JEP 401 here:
>
> https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jls.html
> https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jvms.html
>
> These are intended to address all the needs of JEP 401, and I don't expect many further revisions—but as always, happy to hear any feedback.

Refreshed to address the comments in this thread, and to include the revised Flexible Constructor Bodies JLS document.

https://cr.openjdk.org/~dlsmith/jep401/jep401-20240621/specs/value-objects-jls.html
https://cr.openjdk.org/~dlsmith/jep401/jep401-20240621/specs/value-objects-jvms.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/valhalla-spec-observers/attachments/20240624/c9830676/attachment-0001.htm>