> 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
Pavel Rappo has updated the pull request incrementally with one additional commit since the last revision: Link to 8.1.3 instead of 8.5.1 8.5.1 was removed in JDK 16. 8.1.3 seems an appropriate substitution. Alternatively, the link can be deleted altogether. ------------- Changes: - all: https://git.openjdk.org/jdk/pull/20879/files - new: https://git.openjdk.org/jdk/pull/20879/files/51ffa5ee..2c3d47aa Webrevs: - full: https://webrevs.openjdk.org/?repo=jdk&pr=20879&range=01 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=20879&range=00-01 Stats: 2 lines in 1 file changed: 1 ins; 1 del; 0 mod Patch: https://git.openjdk.org/jdk/pull/20879.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/20879/head:pull/20879 PR: https://git.openjdk.org/jdk/pull/20879
