On Thu, 8 Aug 2024 18:15:29 GMT, Sonia Zaldana Calles <szald...@openjdk.org> wrote:
> Hi all, > > This PR addresses [8338014](https://bugs.openjdk.org/browse/JDK-8338014) > improving the use of `@jvms` tags by adding `JVMS` prior to the tag. > > Thanks, > Sonia I think we can just make `{@jvms }` inline versions emit JVMS and JLS prefix if there's some other text in the body, like `{@jvms 4.7.20 The {@code RuntimeVisibleTypeAnnotations} attribute}` may render JVMS 4.7.20 The `RuntimeVisibleTypeAnnotations` attribute ------------- PR Comment: https://git.openjdk.org/jdk/pull/20513#issuecomment-2284750345
