RFR: 8300517: Refactor VisibleMemberTable (method members)

[Jonathan Gibbons]

On Mon, 6 Mar 2023 19:48:48 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> Please review this explorative refactoring for VisibleMemberTable (VMT).
> 
> This is the first round of refactoring for VMT. This round is about *method members*: declared (overriding and not) and inherited.
> 
> During this work I gained some insight into internal workings of VMT, fixed what was feasible and left TODOs and FIXMEs for everything else. Leaving those comments might look untidy, but leaving them out is wasteful: they clearly mark issues that should be revisited in upcoming rounds of refactoring.
> 
> As I see it today, the main issue with VMT is that implements complex and error-prone computations from Java Language Specification (JLS) by hand. For example, VMT interprets JLS rules for relations such as _inherits_, _overrides_ and _hides_. As one would imagine, sometimes VMT does it incorrectly. It would be better to eventually re-implement VMT using `javax.lang.model` as much as possible. Unlike that of `jdk.javadoc`, the day job of `javax.lang.model` is to provide JLS services.

src/jdk.javadoc/share/classes/jdk/javadoc/doclet/package-info.java line 82:

> 80:  *
> 81:  *   <dt><a id="included"></a>Included</dt>
> 82:  *   <dd>An element is considered to be <em>included</em>, if it is <em>selected</em> and any of the following it true:

typo: following **is** true

src/jdk.javadoc/share/classes/jdk/javadoc/doclet/package-info.java line 85:

> 83:  *     <ul>
> 84:  *       <li>the element is <em>specified</em>, or
> 85:  *       <li>the element contains a <em>specified</em> element, or

for clarification: I presume this is recursive/inductive ... i.e this implies all enclosing elements are specified

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

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