Merge pull request #6629 from dotty-staging/java-enums

Java enums

Author: anatoliykmetyuk

compiler/src/dotty/tools/backend/jvm/BTypesFromSymbols.scala

@@ -224,7 +224,7 @@ class BTypesFromSymbols[I <: BackendInterface](val int: I) extends BTypes {
       if (sym.isVarargsMethod) ACC_VARARGS else 0,
       if (sym.isSynchronized) ACC_SYNCHRONIZED else 0,
       if (sym.isDeprecated) asm.Opcodes.ACC_DEPRECATED else 0,
-      if (sym.isJavaEnum) asm.Opcodes.ACC_ENUM else 0
+      if (sym.isEnum) asm.Opcodes.ACC_ENUM else 0
     )
   }
 

compiler/src/dotty/tools/backend/jvm/BackendInterface.scala

@@ -512,7 +512,7 @@ abstract class BackendInterface extends BackendInterfaceDefinitions {
     def isJavaDefaultMethod: Boolean
     def isClassConstructor: Boolean
     def isSerializable: Boolean
-    def isJavaEnum: Boolean
+    def isEnum: Boolean
 
     /**
      * True for module classes of modules that are top-level or owned only by objects. Module classes

compiler/src/dotty/tools/backend/jvm/DottyBackendInterface.scala

@@ -703,7 +703,7 @@ class DottyBackendInterface(outputDirectory: AbstractFile, val superCallsMap: Ma
     def shouldEmitForwarders: Boolean =
       (sym is Flags.Module) && sym.isStatic
     def isJavaEntryPoint: Boolean = CollectEntryPoints.isJavaEntryPoint(sym)
-    def isJavaEnum = sym.derivesFromJavaEnum
+    def isEnum = sym.is(Flags.Enum)
 
     def isClassConstructor: Boolean = toDenot(sym).isClassConstructor
     def isSerializable: Boolean = toDenot(sym).isSerializable

compiler/src/dotty/tools/dotc/ast/DesugarEnums.scala

@@ -84,13 +84,13 @@ object DesugarEnums {
   /**  The following lists of definitions for an enum type E:
    *
    *   private val $values = new EnumValues[E]
+   *   def values = $values.values.toArray
    *   def valueOf($name: String) =
    *     try $values.fromName($name) catch
    *       {
    *         case ex$:NoSuchElementException =>
    *           throw new IllegalArgumentException("key not found: ".concat(name))
    *       }
-   *   def values = $values.values.toArray
    */
   private def enumScaffolding(implicit ctx: Context): List[Tree] = {
     val valuesDef =
@@ -286,7 +286,7 @@ object DesugarEnums {
       val toStringDef = toStringMethLit(name.toString)
       val impl1 = cpy.Template(impl)(body = List(ordinalDef, toStringDef) ++ registerCall)
         .withAttachment(ExtendsSingletonMirror, ())
-      val vdef = ValDef(name, TypeTree(), New(impl1)).withMods(mods | Final)
+      val vdef = ValDef(name, TypeTree(), New(impl1)).withMods(mods | EnumValue)
       flatTree(scaffolding ::: vdef :: Nil).withSpan(span)
     }
   }
@@ -302,7 +302,7 @@ object DesugarEnums {
     else {
       val (tag, scaffolding) = nextOrdinal(CaseKind.Simple)
       val creator = Apply(Ident(nme.DOLLAR_NEW), List(Literal(Constant(tag)), Literal(Constant(name.toString))))
-      val vdef = ValDef(name, enumClassRef, creator).withMods(mods | Final)
+      val vdef = ValDef(name, enumClassRef, creator).withMods(mods | EnumValue)
       flatTree(scaffolding ::: vdef :: Nil).withSpan(span)
     }
 }

compiler/src/dotty/tools/dotc/core/Flags.scala

@@ -693,6 +693,9 @@ object Flags {
   /** A Java enum value */
   final val JavaEnumValue: FlagConjunction = allOf(StableRealizable, JavaStatic, JavaDefined, Enum)
 
+  /** An enum value */
+  final val EnumValue: FlagConjunction = allOf(StableRealizable, JavaStatic, Enum)
+
   /** Labeled private[this] */
   final val PrivateLocal: FlagConjunction = allOf(Private, Local)
 

compiler/src/dotty/tools/dotc/transform/CompleteJavaEnums.scala

@@ -110,6 +110,13 @@ class CompleteJavaEnums extends MiniPhase with InfoTransformer { thisPhase =>
     else tree
   }
 
+  override def transformValDef(tree: ValDef)(implicit ctx: Context): ValDef = {
+    val sym = tree.symbol
+    if ((sym.is(EnumValue) || sym.name == nme.DOLLAR_VALUES) && sym.owner.linkedClass.derivesFromJavaEnum)
+      sym.addAnnotation(Annotations.Annotation(defn.ScalaStaticAnnot))
+    tree
+  }
+
   /** 1. If this is an enum class, add $name and $ordinal parameters to its
    *     parameter accessors and pass them on to the java.lang.Enum constructor.
    *

compiler/test/dotc/run-test-pickling.blacklist

@@ -17,3 +17,4 @@ mixin-forwarder-overload
 t8905
 t10889
 i5257.scala
+enum-java

docs/docs/reference/enums/desugarEnums.md

@@ -170,8 +170,8 @@ Companion objects of enumerations that contain at least one simple case define i
      ordinal number and name. This method can be thought as being defined as
      follows.
 
-         private def $new(\_$ordinal: Int, $name: String) = new E {
-           def $ordinal = $tag
+         private def $new(_$ordinal: Int, $name: String) = new E {
+           def $ordinal = $_ordinal
            override def toString = $name
            $values.register(this) // register enum value so that `valueOf` and `values` can return it.
          }
@@ -186,6 +186,14 @@ identifiers.
 Even though translated enum cases are located in the enum's companion object, referencing
 this object or its members via `this` or a simple identifier is also illegal. The compiler typechecks enum cases in the scope of the enclosing companion object but flags any such illegal accesses as errors.
 
+### Translation of Java-compatible enums
+A Java-compatible enum is an enum that extends `java.lang.Enum`. The translation rules are the same as above, with the reservations defined in this section.
+
+It is a compile-time error for a Java-compatible enum to have class cases.
+
+Cases such as `case C` expand to a `@static val` as opposed to a `val`. This allows them to be generated as static fields of the enum type, thus ensuring they are represented the same way as Java enums.
+
+
 ### Other Rules
 
 A normal case class which is not produced from an enum case is not allowed to extend

docs/docs/reference/enums/enums.md

@@ -89,13 +89,13 @@ object Planet {
 ```
 
 ### Compatibility with Java Enums
-If you want to use the Scala-defined enums as Java enums, you can do so by extending `compat.JEnum` class as follows:
+If you want to use the Scala-defined enums as Java enums, you can do so by extending `java.lang.Enum` class as follows:
 
 ```scala
-enum Color extends compat.JEnum[Color] { case Red, Green, Blue }
+enum Color extends java.lang.Enum[Color] { case Red, Green, Blue }
 ```
 
-The type parameter comes from the Java enum [definition](https://docs.oracle.com/javase/8/docs/api/index.html?java/lang/Enum.html) and should me the same as the type of the enum. The compiler will transform the definition above so that `Color` extends `java.lang.Enum`.
+The type parameter comes from the Java enum [definition](https://docs.oracle.com/javase/8/docs/api/index.html?java/lang/Enum.html) and should be the same as the type of the enum. There is no need to provide constructor arguments (as defined in the API docs) to `java.lang.Enum` when extending it – the compiler will generate them automatically.
 
 After defining `Color` like that, you can use like you would a Java enum:
 
@@ -104,6 +104,8 @@ scala> Color.Red.compareTo(Color.Green)
 val res15: Int = -1
 ```
 
+For a more in-depth example of using Scala 3 enums from Java, see [this test](https://github.com/lampepfl/dotty/tree/master/tests/run/enum-java). In the test, the enums are defined in the `MainScala.scala` file and used from a Java source, `Test.java`.
+
 ### Implementation
 
 Enums are represented as `sealed` classes that extend the `scala.Enum` trait.

tests/run/enum-java.check

@@ -0,0 +1,44 @@
+API Test A
+compareTo greater:-1
+compareTo lesser: 1
+compareTo self:   0
+equals other:     false
+equals self:      true
+getDeclaringClass:class A
+name:             MONDAY
+ordinal:          0
+toString:         MONDAY
+
+API Test B
+compareTo greater:-1
+compareTo lesser: 1
+compareTo self:   0
+equals other:     false
+equals self:      true
+getDeclaringClass:class B
+name:             EARTH
+ordinal:          0
+toString:         EARTH
+
+Module Test
+Values class: class [LA;
+MONDAY : 0
+TUESDAY : 1
+SATURDAY : 2
+By-name value: MONDAY
+Correctly failed to retrieve illegal name, message: key not found: stuff
+
+Collections Test
+Retrieving Monday: workday
+Contains Tuesday: false
+All days:
+MONDAY
+TUESDAY
+SATURDAY
+
+Switch Test
+Saw tuesday
+Jup
+
+Misc Tests
+Gravity on Earth: 9.8