On Fri, 3 Dec 2021 00:18:09 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review a patch to convert an example in the `jdk.javadoc`
> documentation to use snippets instead of raw HTML and/or `{@code }`. There
> are some minor tweaks to the text of the example, but no changes to the
> normative specification of the package.
>
> Given that the example is in `package-info.java`, a minor change is required
> in `JavacElements` to ensure that the package symbol is completed (i.e. the
> `package-info.java` file has been read) when accessing the `PackageElement`.
src/jdk.javadoc/share/classes/jdk/javadoc/doclet/package-info.java line 54:
> 52: * -- the {@link jdk.javadoc.doclet.Doclet#run(DocletEnvironment) run}
> interface
> 53: * method, defines the entry point.
> 54: * {@snippet id="entry-point" type=java :
What does the `type` attribute do? It's not mentioned in the JEP.
-------------
PR: https://git.openjdk.java.net/jdk/pull/6685
