On Thu, 5 Sep 2024 21:46:34 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> This fixes some of the recently discovered [issues] with the block variants > of the specification tags. While reviewing, please check the proposed changes > against the actual specifications. Since the specifications for JDK 23 are > not yet available in the HTML format, you can use the specifications for JDK > 22, which are reasonably up-to-date: > > - [JLS] > - [JVMS] > > Note that this PR does NOT address any issues with the inline variants of the > said tags. Those are harder to check. Even flagging suspicious tags requires > a human. If you have some time, consider performing similar checks for inline > `@jls` and `@jvms` tags in your area. Thanks. > > [issues]: https://bugs.openjdk.org/browse/JDK-8339558 > [JLS]: https://docs.oracle.com/javase/specs/jls/se22/html/index.html > [JVMS]: https://docs.oracle.com/javase/specs/jvms/se22/html/index.html This pull request has now been integrated. Changeset: 88cccc14 Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/88cccc14db168876a60b5ea2ae9d0fda7969af9a Stats: 54 lines in 22 files changed: 1 ins; 1 del; 52 mod 8339631: Fix block @jls and @jvms tags Reviewed-by: liach, darcy, jjg ------------- PR: https://git.openjdk.org/jdk/pull/20879
