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

improve error messages for sealed classes

    Details

    • Type: Bug
    • Status: Resolved
    • Priority: P3
    • Resolution: Duplicate
    • Affects Version/s: None
    • Fix Version/s: 15
    • Component/s: tools
    • Labels:

      Description

      rather than:

        class is not allowed to extend sealed class: {0}

      consider:

        class {0} in unnamed module cannot extend a sealed class in a different package

        class {0} in module {1} cannot extend a sealed class in a different module

      reported in amber-dev: https://mail.openjdk.java.net/pipermail/amber-dev/2020-June/006185.html

      also:
      Compiling this program

      public class Main {
          public static void main(String[] args) {
              Shape shape = new Shape() {};
          }
      }

      sealed interface Shape {
      }

      leads to an error:

      error: local classes must not extend sealed classes
              Shape shape = new Shape() {};
                                        ^

      But the class of `shape` is an anonymous class rather than a local class.
      By definition, a local class must have a name (JLS 14.3). I think the error
      message should say " anonymous classes must not extend sealed classes".

      reported at amber-dev: https://mail.openjdk.java.net/pipermail/amber-dev/2020-June/006186.html

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                vromero Vicente Arturo Romero Zaldivar
                Reporter:
                vromero Vicente Arturo Romero Zaldivar
              • Votes:
                0 Vote for this issue
                Watchers:
                2 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: