Also parse transient/volatile & test

Author: dwijnand

compiler/src/dotty/tools/dotc/core/classfile/ClassfileParser.scala

@@ -276,6 +276,8 @@ class ClassfileParser(
       val sym = denot.symbol
       val isEnum = (jflags & JAVA_ACC_ENUM) != 0
       val isNative = (jflags & JAVA_ACC_NATIVE) != 0
+      val isTransient = (jflags & JAVA_ACC_TRANSIENT) != 0
+      val isVolatile = (jflags & JAVA_ACC_VOLATILE) != 0
       val isConstructor = name eq nme.CONSTRUCTOR
 
       /** Strip leading outer param from constructor and trailing access tag for
@@ -315,9 +317,11 @@ class ClassfileParser(
       denot.info = sigToType(sig, isVarargs = isVarargs)
       if (isConstructor) normalizeConstructorParams()
       if isNative then
-        attrCompleter.annotations ::= Annotation.deferredSymAndTree(defn.NativeAnnot) {
-          New(defn.NativeAnnot.typeRef, Nil)
-        }
+        attrCompleter.annotations ::= Annotation.deferredSymAndTree(defn.NativeAnnot)(New(defn.NativeAnnot.typeRef, Nil))
+      if isTransient then
+        attrCompleter.annotations ::= Annotation.deferredSymAndTree(defn.TransientAnnot)(New(defn.TransientAnnot.typeRef, Nil))
+      if isVolatile then
+        attrCompleter.annotations ::= Annotation.deferredSymAndTree(defn.VolatileAnnot)(New(defn.VolatileAnnot.typeRef, Nil))
       denot.info = translateTempPoly(attrCompleter.complete(denot.info, isVarargs))
       if (isConstructor) normalizeConstructorInfo()
 

compiler/test/dotty/tools/AnnotationsTests.scala

@@ -89,3 +89,9 @@ class AnnotationsTest:
           s"A missing annotation while parsing a Java class should be silently ignored but: ${ctx.reporter.summary}")
       }
     }
+
+  @Test def hasNativeAnnot: Unit =
+    inCompilerContext(TestConfiguration.basicClasspath) {
+      val term: TermSymbol = requiredClass("java.lang.invoke.MethodHandle").requiredMethod("invokeExact")
+      assert(term.hasAnnotation(defn.NativeAnnot), i"${term.annotations}")
+    }