Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8078636

5.4.2: The term "inherited" is not defined

    Details

    • Type: Bug
    • Status: Resolved
    • Priority: P5
    • Resolution: Fixed
    • Affects Version/s: 8
    • Fix Version/s: 11
    • Component/s: specification
    • Labels:
    • Subcomponent:
      vm

      Description

      JVMS rarely talks about inheritance, which is a Java language concept. In a search of the document, all usages appear to be non-normative, with the exception of 5.4.2:

      "If C implements a method m declared in a superinterface <I, L3> of C, but C does not itself declare the method m, then let <D, L2> be the superclass of C that declares the implementation of method m inherited by C."

      This should be phrased by referencing invokeinterface method selection, or defined directly in terms of names, signatures, and superclasses, rather than talking about inheritance. (For example, can the "inherited" method be private? JLS says no, but selection would allow it.)

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                dlsmith Dan Smith
                Reporter:
                dlsmith Dan Smith
              • Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: