RFR: JDK-8252712: move doclint to jdk.javadoc module [v2]

[Jonathan Gibbons]

On Tue, 22 Sep 2020 10:03:17 GMT, Hannes Wallnöfer <hannesw at openjdk.org> 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