RFR: 8285488: Improve DocFinder [v8]

Tue Nov 15 19:04:15 UTC 2022

On Mon, 14 Nov 2022 17:21:50 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> I removed 8295800 ("When searching documentation for an exception, don't jump over methods that don't mention that exception") from this PR because fixing it here would be too disruptive. It should better be fixed in the context of 8285368 ("Overhaul doc-comment inheritance"), which proposes changes to the documentation search algorithm.

It will be interesting to see the list of affected places, when we have away to address this issue.

-------------

PR: https://git.openjdk.org/jdk/pull/10746