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

4.10: Eliminate redundant 'final' checks in verification

XMLWordPrintable

    • Icon: Bug Bug
    • Resolution: Unresolved
    • Icon: P4 P4
    • 25
    • None
    • specification
    • vm

      In JDK-8243582, it was recognized that the invariants associated with ACC_FINAL classes and methods are checked at class derivation time, *not* verification time. The appropriate rules were added to 5.3.5.

      Meanwhile, 4.10 continues to claim that verification performs these checks. These rules should be removed.

      Doing so properly will involve significant changes, as many of the rules defined in 4.10.1 exist solely to identify methods that might override an ACC_FINAL method in a superclass.

            dlsmith Dan Smith
            dlsmith Dan Smith
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated: