On Fri, 1 Oct 2021 00:06:22 GMT, Jonathan Gibbons <[email protected]> wrote:
>> Jonathan Gibbons has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> fix handling of PROVIDES and USES
>> add new StartEndPosChecker for DocCommentTester
>> add new CoverageTest, to ensure DocCommentTester tests provide full
>> coverage
>
> test/langtools/tools/javac/doctree/CoverageTest.java line 129:
>
>> 127:
>> 128: List<DocTree.Kind> notFound = Stream.of(DocTree.Kind.values())
>> 129: .filter(k -> switch (k) { case DOC_TYPE, OTHER ->
>> false; default -> true; })
>
> DOC_TYPE only appears in HTML files, and only then processing the entire file
> (i.e. not just the `<body>` element, as in `package.html` etc. So, it cannot
> be generated by `.java` files.
>
> OTHER is a special kind that can be used to help provide compatible evolution
> of visitors/etc. It does not appear in any standard tree nodes.
Added this explanation as comments in the file.
-------------
PR: https://git.openjdk.java.net/jdk/pull/5510
