RFR: JDK-8273244: Improve diagnostic output related to ErroneousTree [v4]

Fri Oct 1 17:00:34 UTC 2021

On Fri, 1 Oct 2021 00:06:22 GMT, Jonathan Gibbons <jjg at openjdk.org> 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