On Tue, 22 Sep 2020 10:03:17 GMT, Hannes Wallnöfer <[email protected]> wrote:
>> Jonathan Gibbons has updated the pull request with a new target base due to
>> a merge or a rebase. The pull request now
>> contains four commits:
>> - Merge master
>> - Merge
>> - move doclint to jdk.javadoc module
>> - add DocTrees.getCharacters(EntityTree)
>
> src/jdk.compiler/share/classes/jdk/internal/shellsupport/doc/JavadocFormatter.java
> line 127:
>
>> 125: }
>> 126:
>> 127: enum HtmlTag {
>
> What was the criterion for choosing this subset of HtmlTag values? It seems
> the only ones actually used by this class
> are HTML, TABLE, TH, and LI.
See the `startElement` method, starting at about line269.
The intent is that this enum is minimal, just for the needs of this class.
-------------
PR: https://git.openjdk.java.net/jdk/pull/133
