RFR: 8281057: Fix doc references to overriding in JLS

[Pavel Rappo]

On Wed, 2 Feb 2022 12:04:29 GMT, David Holmes <dholmes at openjdk.org> wrote:

>> While looking into guts of javadoc comment inheritance, I noticed that a number of places in JDK seem to confuse JLS 8.4.6.** with JLS 8.4.8.**.
>> 
>> Granted, "8.4.6 Method Throws" tangentially addresses overriding. However, I believe that the real target should be "8.4.8. Inheritance, Overriding, and Hiding" and its subsections.
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/code/Symbol.java line 670:
> 
>> 668:      *  modifier is ignored for this test.
>> 669:      *
>> 670:      *  See JLS 8.4.8.1 (without transitivity) and 8.4.8.4
> 
> Any idea what the "(without transitivity)" is referring to here and elsewhere?

My guess is that "transitivity" here refers to the subclass relationship being the transitive closure of the direct subclass relationship. Could it also be that the "quirk" paragraph starting at com/sun/tools/javac/code/Symbol.java:2057 is relevant here? @mcimadamore?

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

PR: https://git.openjdk.java.net/jdk/pull/7311