Parse native in Java bytecode as @Native

scala · Oct 22, 2022 · a3ac05a · a3ac05a
1 parent 5ada87f
commit a3ac05a
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/classfile/ClassfileParser.scala b/compiler/src/dotty/tools/dotc/core/classfile/ClassfileParser.scala
@@ -311,9 +311,10 @@ class ClassfileParser(
       }
 
       val isVarargs = denot.is(Flags.Method) && (jflags & JAVA_ACC_VARARGS) != 0
+      val isNative = (jflags & JAVA_ACC_NATIVE) != 0
       denot.info = sigToType(sig, isVarargs = isVarargs)
       if (isConstructor) normalizeConstructorParams()
-      denot.info = translateTempPoly(attrCompleter.complete(denot.info, isVarargs))
+      denot.info = translateTempPoly(attrCompleter.complete(denot.info, isVarargs, isNative))
       if (isConstructor) normalizeConstructorInfo()
 
       if (ctx.explicitNulls) denot.info = JavaNullInterop.nullifyMember(denot.symbol, denot.info, isEnum)
@@ -687,7 +688,7 @@ class ClassfileParser(
     var exceptions: List[NameOrString] = Nil
     var annotations: List[Annotation] = Nil
     var namedParams: Map[Int, TermName] = Map.empty
-    def complete(tp: Type, isVarargs: Boolean = false)(using Context): Type = {
+    def complete(tp: Type, isVarargs: Boolean = false, isNative: Boolean = false)(using Context): Type = {
       val updatedType =
         if sig == null then tp
         else {
@@ -704,6 +705,8 @@ class ClassfileParser(
         else updatedType
 
       annotations.foreach(annot => sym.addAnnotation(annot))
+      if isNative then
+        sym.addAnnotation(Annotation(defn.NativeAnnot))
 
       exceptions.foreach { ex =>
         val cls = getClassSymbol(ex.name)