("helloWorld")
+ |possible cause: maybe a wrong Dynamic method signature?
+ | lit.helloWorld
+ | ^
+ """
+
+ // applyDynamicNamed with wrong method name
+ expr"""
+ lit.helloWorld(a = "a")
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: js.Dynamic.literal does not have a method named helloWorld
+ | lit.helloWorld(a = "a")
+ | ^
+ """
+
+ // applyDynamic with wrong method name
+ expr"""
+ lit.helloWorld("a" -> "a")
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: js.Dynamic.literal does not have a method named helloWorld
+ | lit.helloWorld("a" -> "a")
+ | ^
+ """
+
+ }
+
+ @Test
+ def goodTypesOnly(): Unit = {
+
+ // Bad value type (applyDynamic)
+ """
+ class A {
+ val x = new Object()
+ def foo = lit("a" -> x)
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: type mismatch;
+ | found : Object
+ | required: scala.scalajs.js.Any
+ | def foo = lit("a" -> x)
+ | ^
+ """
+
+ // Bad key type (applyDynamic)
+ """
+ class A {
+ val x = Seq()
+ def foo = lit(x -> "a")
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: type mismatch;
+ | found : (Seq[Nothing], String)
+ | required: (String, scala.scalajs.js.Any)
+ | def foo = lit(x -> "a")
+ | ^
+ """
+
+ // Bad value type (applyDynamicNamed)
+ """
+ class A {
+ val x = new Object()
+ def foo = lit(a = x)
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: type mismatch;
+ | found : Object
+ | required: scala.scalajs.js.Any
+ |error after rewriting to scala.scalajs.js.Dynamic.literal.applyDynamicNamed("apply")(scala.Tuple2("a", x))
+ |possible cause: maybe a wrong Dynamic method signature?
+ | def foo = lit(a = x)
+ | ^
+ """
+
+ }
+
+ @Test
+ def noNonLiteralMethodName(): Unit = {
+
+ // applyDynamicNamed
+ """
+ class A {
+ val x = "string"
+ def foo = lit.applyDynamicNamed(x)()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: js.Dynamic.literal.applyDynamicNamed may not be called directly
+ | def foo = lit.applyDynamicNamed(x)()
+ | ^
+ """
+
+ // applyDynamic
+ """
+ class A {
+ val x = "string"
+ def foo = lit.applyDynamic(x)()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: js.Dynamic.literal.applyDynamic may not be called directly
+ | def foo = lit.applyDynamic(x)()
+ | ^
+ """
+
+ }
+
+ @Test
+ def keyDuplicationWarning(): Unit = {
+ // detects duplicate named keys
+ expr"""
+ lit(a = "1", b = "2", a = "3")
+ """ hasWarns
+ """
+ |newSource1.scala:3: warning: Duplicate property "a" shadows a previously defined one
+ | lit(a = "1", b = "2", a = "3")
+ | ^
+ """
+
+ // detects duplicate named keys
+ expr"""
+ lit(aaa = "1", b = "2", aaa = "3")
+ """ hasWarns
+ """
+ |newSource1.scala:3: warning: Duplicate property "aaa" shadows a previously defined one
+ | lit(aaa = "1", b = "2", aaa = "3")
+ | ^
+ """
+
+ // detects duplicate named keys
+ expr"""
+ lit(aaa = "1",
+ bb = "2",
+ bb = "3")
+ """ hasWarns
+ """
+ |newSource1.scala:5: warning: Duplicate property "bb" shadows a previously defined one
+ | bb = "3")
+ | ^
+ """
+
+ // detects duplicate named keys
+ expr"""
+ lit(aaa = "1",
+ b = "2",
+ aaa = "3")
+ """ hasWarns
+ """
+ |newSource1.scala:5: warning: Duplicate property "aaa" shadows a previously defined one
+ | aaa = "3")
+ | ^
+ """
+
+ // detects triplicated named keys
+ expr"""
+ lit(a = "1", a = "2", a = "3")
+ """ hasWarns
+ """
+ |newSource1.scala:3: warning: Duplicate property "a" shadows a previously defined one
+ | lit(a = "1", a = "2", a = "3")
+ | ^
+ |newSource1.scala:3: warning: Duplicate property "a" shadows a previously defined one
+ | lit(a = "1", a = "2", a = "3")
+ | ^
+ """
+
+ // detects two different duplicates named keys
+ expr"""
+ lit(a = "1", b = "2", a = "3", b = "4", c = "5", c = "6", c = "7")
+ """ hasWarns
+ """
+ |newSource1.scala:3: warning: Duplicate property "a" shadows a previously defined one
+ | lit(a = "1", b = "2", a = "3", b = "4", c = "5", c = "6", c = "7")
+ | ^
+ |newSource1.scala:3: warning: Duplicate property "b" shadows a previously defined one
+ | lit(a = "1", b = "2", a = "3", b = "4", c = "5", c = "6", c = "7")
+ | ^
+ |newSource1.scala:3: warning: Duplicate property "c" shadows a previously defined one
+ | lit(a = "1", b = "2", a = "3", b = "4", c = "5", c = "6", c = "7")
+ | ^
+ |newSource1.scala:3: warning: Duplicate property "c" shadows a previously defined one
+ | lit(a = "1", b = "2", a = "3", b = "4", c = "5", c = "6", c = "7")
+ | ^
+ """
+
+ // detects duplicate keys when represented with arrows
+ expr"""
+ lit("a" -> "1", "b" -> "2", "a" -> "3")
+ """ hasWarns
+ """
+ |newSource1.scala:3: warning: Duplicate property "a" shadows a previously defined one
+ | lit("a" -> "1", "b" -> "2", "a" -> "3")
+ | ^
+ """
+
+ // detects duplicate keys when represented with tuples
+ expr"""
+ lit(("a", "1"), ("b", "2"), ("a", "3"))
+ """ hasWarns
+ """
+ |newSource1.scala:3: warning: Duplicate property "a" shadows a previously defined one
+ | lit(("a", "1"), ("b", "2"), ("a", "3"))
+ | ^
+ """
+
+ // detects duplicate keys when represented with mixed tuples and arrows
+ expr"""
+ lit("a" -> "1", ("b", "2"), ("a", "3"))
+ """ hasWarns
+ """
+ |newSource1.scala:3: warning: Duplicate property "a" shadows a previously defined one
+ | lit("a" -> "1", ("b", "2"), ("a", "3"))
+ | ^
+ """
+
+ // should not warn if the key is not literal
+ expr"""
+ val a = "x"
+ lit("a" -> "1", a -> "2", a -> "3")
+ """.hasNoWarns()
+
+ // should not warn if the key/value pairs are not literal
+ """
+ class A {
+ val tup = "x" -> lit()
+ def foo = lit(tup, tup)
+ }
+ """.hasNoWarns()
+
+ // should warn only for the literal keys when in
+ // the presence of non literal keys
+ """
+ class A {
+ val b = "b"
+ val tup = b -> lit()
+ lit("a" -> "2", tup, ("a", "3"), b -> "5", tup, b -> "6")
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:6: warning: Duplicate property "a" shadows a previously defined one
+ | lit("a" -> "2", tup, ("a", "3"), b -> "5", tup, b -> "6")
+ | ^
+ """
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/core/compiler/test/JSExportASTTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSExportASTTest.scala
similarity index 78%
rename from compiler/src/test/scala/org/scalajs/core/compiler/test/JSExportASTTest.scala
rename to compiler/src/test/scala/org/scalajs/nscplugin/test/JSExportASTTest.scala
index 5b356970e2..01fe141a4a 100644
--- a/compiler/src/test/scala/org/scalajs/core/compiler/test/JSExportASTTest.scala
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSExportASTTest.scala
@@ -10,19 +10,19 @@
* additional information regarding copyright ownership.
*/
-package org.scalajs.core.compiler.test
+package org.scalajs.nscplugin.test
import util._
import org.junit.Test
import org.junit.Assert._
-import org.scalajs.core.ir.{Trees => js}
+import org.scalajs.ir.{Trees => js}
class JSExportASTTest extends JSASTTest {
@Test
- def inheritExportMethods: Unit = {
+ def inheritExportMethods(): Unit = {
"""
import scala.scalajs.js.annotation.JSExport
@@ -36,7 +36,7 @@ class JSExportASTTest extends JSASTTest {
override def foo = 2
}
""".hasExactly(1, "definitions of property `foo`") {
- case js.PropertyDef(_, js.StringLiteral("foo"), _, _) =>
+ case js.JSPropertyDef(_, js.StringLiteral("foo"), _, _) =>
}
}
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/JSExportTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSExportTest.scala
new file mode 100644
index 0000000000..790edb15b6
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSExportTest.scala
@@ -0,0 +1,1926 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import org.scalajs.nscplugin.test.util._
+import org.scalajs.nscplugin.test.util.VersionDependentUtils.methodSig
+
+import org.junit.Assume._
+import org.junit.Test
+
+// scalastyle:off line.size.limit
+
+class JSExportTest extends DirectTest with TestHelpers {
+
+ override def extraArgs: List[String] =
+ super.extraArgs ::: List("-deprecation")
+
+ override def preamble: String =
+ """import scala.scalajs.js, js.annotation._
+ """
+
+ @Test
+ def warnOnDuplicateExport(): Unit = {
+ """
+ class A {
+ @JSExport
+ @JSExport
+ def a = 1
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:6: warning: Found duplicate @JSExport
+ | def a = 1
+ | ^
+ """
+
+ """
+ class A {
+ @JSExport
+ @JSExport("a")
+ def a = 1
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:6: warning: Found duplicate @JSExport
+ | def a = 1
+ | ^
+ """
+
+ """
+ class A {
+ @JSExport("a")
+ @JSExport("a")
+ def a = 1
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:6: warning: Found duplicate @JSExport
+ | def a = 1
+ | ^
+ """
+
+ // special case for @JSExportAll and 2 or more @JSExport("apply")
+ // since @JSExportAll and single @JSExport("apply") should not be warned (see other tests)
+ """
+ @JSExportAll
+ class A {
+ @JSExport("apply")
+ @JSExport("apply")
+ def apply(): Int = 1
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:7: warning: Found duplicate @JSExport
+ | def apply(): Int = 1
+ | ^
+ """
+
+ """
+ @JSExportAll
+ class A {
+ @JSExport
+ def a = 1
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:6: warning: Found duplicate @JSExport
+ | def a = 1
+ | ^
+ """
+ }
+
+ @Test
+ def noWarnOnUniqueExplicitName(): Unit = {
+ """
+ class A {
+ @JSExport("a")
+ @JSExport("b")
+ def c = 1
+ }
+ """.hasNoWarns()
+ }
+
+ @Test
+ def noJSExportClass(): Unit = {
+ """
+ @JSExport
+ class A
+
+ @JSExport("Foo")
+ class B
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ |newSource1.scala:6: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport("Foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noJSExportObject(): Unit = {
+ """
+ @JSExport
+ object A
+
+ @JSExport("Foo")
+ object B
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ |newSource1.scala:6: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport("Foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noDoubleUnderscoreExport(): Unit = {
+ """
+ class A {
+ @JSExport(name = "__")
+ def foo = 1
+
+ @JSExport
+ def bar__(x: Int) = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: An exported name may not contain a double underscore (`__`)
+ | @JSExport(name = "__")
+ | ^
+ |newSource1.scala:8: error: An exported name may not contain a double underscore (`__`)
+ | def bar__(x: Int) = x
+ | ^
+ """
+ }
+
+ @Test
+ def doubleUnderscoreOKInTopLevelExport(): Unit = {
+ """
+ @JSExportTopLevel("__A")
+ class A
+
+ @JSExportTopLevel("__B")
+ object B
+
+ object Container {
+ @JSExportTopLevel("__c")
+ def c(): Int = 4
+
+ @JSExportTopLevel("__d")
+ val d: Boolean = true
+ }
+ """.hasNoWarns()
+ }
+
+ @Test
+ def noConflictingExport(): Unit = {
+ """
+ class Confl {
+ @JSExport("value")
+ def hello = "foo"
+
+ @JSExport("value")
+ def world = "bar"
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: double definition:
+ |def $js$exported$prop$value: Any at line 4 and
+ |def $js$exported$prop$value: Any at line 7
+ |have same type
+ | @JSExport("value")
+ | ^
+ """
+
+ """
+ class Confl {
+ class Box[T](val x: T)
+
+ @JSExport
+ def ub(x: Box[String]): String = x.x
+ @JSExport
+ def ub(x: Box[Int]): Int = x.x
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:8: error: double definition:
+ |def ${"$js$exported$meth$ub"}(x: Confl.this.Box[String]): Any at line 6 and
+ |def ${"$js$exported$meth$ub"}(x: Confl.this.Box[Int]): Any at line 8
+ |have same type after erasure: ${methodSig("(x: Confl#Box)", "Object")}
+ | @JSExport
+ | ^
+ """
+
+ """
+ class Confl {
+ @JSExport
+ def rtType(x: js.Any) = x
+
+ @JSExport
+ def rtType(x: js.Dynamic) = x
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:7: error: Cannot disambiguate overloads for exported method rtType with types
+ | ${methodSig("(x: scala.scalajs.js.Any)", "Object")}
+ | ${methodSig("(x: scala.scalajs.js.Dynamic)", "Object")}
+ | @JSExport
+ | ^
+ """
+
+ """
+ class Confl {
+ @JSExport
+ def foo(x: Int)(ys: Int*) = x
+
+ @JSExport
+ def foo(x: Int*) = x
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:7: error: Cannot disambiguate overloads for exported method foo with types
+ | ${methodSig("(x: Int, ys: Seq)", "Object")}
+ | ${methodSig("(x: Seq)", "Object")}
+ | @JSExport
+ | ^
+ """
+
+ """
+ class Confl {
+ @JSExport
+ def foo(x: Int = 1) = x
+ @JSExport
+ def foo(x: String*) = x
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:6: error: Cannot disambiguate overloads for exported method foo with types
+ | ${methodSig("(x: Int)", "Object")}
+ | ${methodSig("(x: Seq)", "Object")}
+ | @JSExport
+ | ^
+ """
+
+ """
+ class Confl {
+ @JSExport
+ def foo(x: Double, y: String)(z: Int = 1) = x
+ @JSExport
+ def foo(x: Double, y: String)(z: String*) = x
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:6: error: Cannot disambiguate overloads for exported method foo with types
+ | ${methodSig("(x: Double, y: String, z: Int)", "Object")}
+ | ${methodSig("(x: Double, y: String, z: Seq)", "Object")}
+ | @JSExport
+ | ^
+ """
+
+ """
+ class A {
+ @JSExport
+ def a(x: scala.scalajs.js.Any) = 1
+
+ @JSExport
+ def a(x: Any) = 2
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:7: error: Cannot disambiguate overloads for exported method a with types
+ | ${methodSig("(x: Object)", "Object")}
+ | ${methodSig("(x: scala.scalajs.js.Any)", "Object")}
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noExportLocal(): Unit = {
+ // Local class
+ """
+ class A {
+ def method = {
+ @JSExport
+ class A
+
+ @JSExport
+ class B extends js.Object
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ |newSource1.scala:8: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ """
+
+ // Local object
+ """
+ class A {
+ def method = {
+ @JSExport
+ object A
+
+ @JSExport
+ object B extends js.Object
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ |newSource1.scala:8: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ """
+
+ // Local method
+ """
+ class A {
+ def method = {
+ @JSExport
+ def foo = 1
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a local definition
+ | @JSExport
+ | ^
+ """
+
+ // Local val
+ """
+ class A {
+ def method = {
+ @JSExport
+ val x = 1
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a local definition
+ | @JSExport
+ | ^
+ """
+
+ // Local var
+ """
+ class A {
+ def method = {
+ @JSExport
+ var x = 1
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a local definition
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noMiddleVarArg(): Unit = {
+
+ """
+ class A {
+ @JSExport
+ def method(xs: Int*)(ys: String) = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: In an exported method, a *-parameter must come last (through all parameter lists)
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noMiddleDefaultParam(): Unit = {
+
+ """
+ class A {
+ @JSExport
+ def method(x: Int = 1)(y: String) = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: In an exported method, all parameters with defaults must be at the end
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noExportAbstractClass(): Unit = {
+
+ """
+ @JSExportTopLevel("A")
+ abstract class A
+
+ abstract class B(x: Int) {
+ @JSExportTopLevel("B")
+ def this() = this(5)
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: You may not export an abstract class
+ | @JSExportTopLevel("A")
+ | ^
+ |newSource1.scala:7: error: You may not export an abstract class
+ | @JSExportTopLevel("B")
+ | ^
+ """
+
+ }
+
+ @Test
+ def noJSExportOnTrait(): Unit = {
+
+ """
+ @JSExport
+ trait Test
+
+ @JSExport
+ trait Test2 extends js.Object
+
+ @JSExport
+ @js.native
+ trait Test3 extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: You may not export a trait
+ | @JSExport
+ | ^
+ |newSource1.scala:6: error: You may not export a trait
+ | @JSExport
+ | ^
+ |newSource1.scala:9: error: You may not export a trait
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noExportNonPublicClassOrObject(): Unit = {
+
+ """
+ @JSExportTopLevel("A")
+ private class A
+
+ @JSExportTopLevel("B")
+ protected[this] class B
+
+ @JSExportTopLevel("C")
+ private class C extends js.Object
+
+ @JSExportTopLevel("D")
+ protected[this] class D extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: You may only export public and protected classes
+ | @JSExportTopLevel("A")
+ | ^
+ |newSource1.scala:6: error: You may only export public and protected classes
+ | @JSExportTopLevel("B")
+ | ^
+ |newSource1.scala:9: error: You may only export public and protected classes
+ | @JSExportTopLevel("C")
+ | ^
+ |newSource1.scala:12: error: You may only export public and protected classes
+ | @JSExportTopLevel("D")
+ | ^
+ """
+
+ """
+ @JSExportTopLevel("A")
+ private object A
+
+ @JSExportTopLevel("B")
+ protected[this] object B
+
+ @JSExportTopLevel("C")
+ private object C extends js.Object
+
+ @JSExportTopLevel("D")
+ protected[this] object D extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: You may only export public and protected objects
+ | @JSExportTopLevel("A")
+ | ^
+ |newSource1.scala:6: error: You may only export public and protected objects
+ | @JSExportTopLevel("B")
+ | ^
+ |newSource1.scala:9: error: You may only export public and protected objects
+ | @JSExportTopLevel("C")
+ | ^
+ |newSource1.scala:12: error: You may only export public and protected objects
+ | @JSExportTopLevel("D")
+ | ^
+ """
+
+ }
+
+ @Test
+ def noExportNonPublicMember(): Unit = {
+
+ """
+ class A {
+ @JSExport
+ private def foo = 1
+
+ @JSExport
+ protected[this] def bar = 2
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may only export public and protected methods
+ | @JSExport
+ | ^
+ |newSource1.scala:7: error: You may only export public and protected methods
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noExportNestedClass(): Unit = {
+
+ """
+ class A {
+ @JSExport
+ class Nested {
+ @JSExport
+ def this(x: Int) = this()
+ }
+
+ @JSExport
+ class Nested2 extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ |newSource1.scala:6: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ |newSource1.scala:10: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noNestedExportClass: Unit = {
+
+ """
+ object A {
+ @JSExport
+ class Nested {
+ @JSExport
+ def this(x: Int) = this
+ }
+
+ @JSExport
+ class Nested2 extends js.Object
+ }
+ """ hasErrors
+ """
+
+ |newSource1.scala:4: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ |newSource1.scala:6: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ |newSource1.scala:10: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noNestedExportObject(): Unit = {
+
+ """
+ object A {
+ @JSExport
+ object Nested
+
+ @JSExport
+ object Nested2 extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ |newSource1.scala:7: error: @JSExport is forbidden on objects and classes. Use @JSExportTopLevel instead.
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noExportTopLevelNestedObject(): Unit = {
+
+ """
+ class A {
+ @JSExportTopLevel("Nested")
+ object Nested
+
+ @JSExportTopLevel("Nested2")
+ object Nested2 extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a nested object
+ | @JSExportTopLevel("Nested")
+ | ^
+ |newSource1.scala:7: error: You may not export a nested object
+ | @JSExportTopLevel("Nested2")
+ | ^
+ """
+
+ }
+
+ @Test
+ def noExportJSNative(): Unit = {
+
+ """
+ import scala.scalajs.js
+
+ @JSExportTopLevel("A")
+ @js.native
+ @JSGlobal("Dummy")
+ object A extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a native JS object
+ | @JSExportTopLevel("A")
+ | ^
+ """
+
+ """
+ import scala.scalajs.js
+
+ @JSExportTopLevel("A")
+ @js.native
+ trait A extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a trait
+ | @JSExportTopLevel("A")
+ | ^
+ """
+
+ """
+ import scala.scalajs.js
+
+ @JSExportTopLevel("A")
+ @js.native
+ @JSGlobal("Dummy")
+ class A extends js.Object {
+ @JSExportTopLevel("A")
+ def this(x: Int) = this()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a native JS class
+ | @JSExportTopLevel("A")
+ | ^
+ |newSource1.scala:9: error: You may not export a constructor of a subclass of js.Any
+ | @JSExportTopLevel("A")
+ | ^
+ """
+
+ }
+
+ @Test
+ def noExportJSMember(): Unit = {
+
+ """
+ import scala.scalajs.js
+
+ @js.native
+ @JSGlobal("Dummy")
+ class A extends js.Object {
+ @JSExport
+ def foo: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: You may not export a method of a subclass of js.Any
+ | @JSExport
+ | ^
+ """
+
+ """
+ import scala.scalajs.js
+
+ class A extends js.Object {
+ @JSExport
+ def foo: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: You may not export a method of a subclass of js.Any
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noBadSetterType(): Unit = {
+
+ // Bad param list
+ """
+ class A {
+ @JSExport
+ def foo_=(x: Int, y: Int) = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: Exported setters must have exactly one argument
+ | @JSExport
+ | ^
+ """
+
+ // Bad return type
+ """
+ class A {
+ @JSExport
+ def foo_=(x: Int) = "string"
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: Exported setters must return Unit
+ | @JSExport
+ | ^
+ """
+
+ // Varargs
+ """
+ class A {
+ @JSExport
+ def foo_=(x: Int*) = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: Exported setters may not have repeated params
+ | @JSExport
+ | ^
+ """
+
+ // Default arguments
+ """
+ class A {
+ @JSExport
+ def foo_=(x: Int = 1) = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: Exported setters may not have default params
+ | @JSExport
+ | ^
+ """
+
+ }
+
+ @Test
+ def noBadToStringExport(): Unit = {
+
+ """
+ class A {
+ @JSExport("toString")
+ def a(): Int = 5
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a zero-argument method named other than 'toString' under the name 'toString'
+ | @JSExport("toString")
+ | ^
+ """
+
+ }
+
+ @Test
+ def noBadNameExportAll(): Unit = {
+
+ """
+ @JSExportAll
+ class A {
+ val __f = 1
+ def a_= = 2
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: An exported name may not contain a double underscore (`__`)
+ | val __f = 1
+ | ^
+ |newSource1.scala:3: error: Exported setters must return Unit
+ | @JSExportAll
+ | ^
+ """
+
+ }
+
+ @Test
+ def noConflictingMethodAndProperty(): Unit = {
+
+ // Basic case
+ """
+ class A {
+ @JSExport("a")
+ def bar() = 2
+
+ @JSExport("a")
+ val foo = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: Exported property a conflicts with A.$js$exported$meth$a
+ | @JSExport("a")
+ | ^
+ |newSource1.scala:7: error: Exported method a conflicts with A.$js$exported$prop$a
+ | @JSExport("a")
+ | ^
+ """
+
+ // Inherited case
+ """
+ class A {
+ @JSExport("a")
+ def bar() = 2
+ }
+
+ class B extends A {
+ @JSExport("a")
+ def foo_=(x: Int): Unit = ()
+
+ @JSExport("a")
+ val foo = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: Exported property a conflicts with A.$js$exported$meth$a
+ | @JSExport("a")
+ | ^
+ """
+
+ }
+
+ @Test
+ def gracefulDoubleDefaultFail(): Unit = {
+ // This used to blow up (i.e. not just fail), because PrepJSExports asked
+ // for the symbol of the default parameter getter of [[y]], and asserted its
+ // not overloaded. Since the Scala compiler only fails later on this, the
+ // assert got triggered and made the compiler crash
+ """
+ class A {
+ @JSExport
+ def foo(x: String, y: String = "hello") = x
+ def foo(x: Int, y: String = "bar") = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: in class A, multiple overloaded alternatives of method foo define default arguments.
+ | class A {
+ | ^
+ """
+ }
+
+ @Test
+ def noNonLiteralExportNames(): Unit = {
+
+ """
+ object A {
+ val a = "Hello"
+ final val b = "World"
+ }
+
+ class B {
+ @JSExport(A.a)
+ def foo = 1
+ @JSExport(A.b)
+ def bar = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: The argument to JSExport must be a literal string
+ | @JSExport(A.a)
+ | ^
+ """
+
+ }
+
+ @Test
+ def noNonLiteralModuleID(): Unit = {
+
+ """
+ object A {
+ val a = "Hello"
+ final val b = "World"
+ }
+
+ object B {
+ @JSExportTopLevel("foo", A.a)
+ def foo() = 1
+ @JSExportTopLevel("foo", A.b)
+ def bar() = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: moduleID must be a literal string
+ | @JSExportTopLevel("foo", A.a)
+ | ^
+ """
+
+ }
+
+ @Test
+ def noExportImplicitApply(): Unit = {
+
+ """
+ class A {
+ @JSExport
+ def apply(): Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: A member cannot be exported to function application. Add @JSExport("apply") to export under the name apply.
+ | @JSExport
+ | ^
+ """
+
+ """
+ @JSExportAll
+ class A {
+ def apply(): Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: A member cannot be exported to function application. Add @JSExport("apply") to export under the name apply.
+ | def apply(): Int = 1
+ | ^
+ """
+
+ """
+ @JSExportAll
+ class A {
+ @JSExport("foo")
+ def apply(): Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: A member cannot be exported to function application. Add @JSExport("apply") to export under the name apply.
+ | def apply(): Int = 1
+ | ^
+ """
+
+ """
+ @JSExportAll
+ class A {
+ @JSExport("apply")
+ def apply(): Int = 1
+ }
+ """.hasNoWarns()
+
+ }
+
+ @Test
+ def exportObjectAsToString(): Unit = {
+
+ """
+ @JSExportTopLevel("toString")
+ object ExportAsToString
+ """.succeeds()
+
+ }
+
+ @Test
+ def noExportTopLevelTrait(): Unit = {
+ """
+ @JSExportTopLevel("foo")
+ trait A
+
+ @JSExportTopLevel("bar")
+ trait B extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: You may not export a trait
+ | @JSExportTopLevel("foo")
+ | ^
+ |newSource1.scala:6: error: You may not export a trait
+ | @JSExportTopLevel("bar")
+ | ^
+ """
+
+ """
+ object Container {
+ @JSExportTopLevel("foo")
+ trait A
+
+ @JSExportTopLevel("bar")
+ trait B extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a trait
+ | @JSExportTopLevel("foo")
+ | ^
+ |newSource1.scala:7: error: You may not export a trait
+ | @JSExportTopLevel("bar")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportTopLevelLazyVal(): Unit = {
+ """
+ object A {
+ @JSExportTopLevel("foo")
+ lazy val a: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a lazy val to the top level
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportTopLevelInvalidJSIdentifier(): Unit = {
+ """
+ @JSExportTopLevel("not-a-valid-JS-identifier-1")
+ object A
+
+ @JSExportTopLevel("not-a-valid-JS-identifier-2")
+ class B
+
+ object C {
+ @JSExportTopLevel("not-a-valid-JS-identifier-3")
+ val a: Int = 1
+
+ @JSExportTopLevel("not-a-valid-JS-identifier-4")
+ var b: Int = 1
+
+ @JSExportTopLevel("not-a-valid-JS-identifier-5")
+ def c(): Int = 1
+ }
+
+ @JSExportTopLevel("")
+ object D
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("not-a-valid-JS-identifier-1")
+ | ^
+ |newSource1.scala:6: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("not-a-valid-JS-identifier-2")
+ | ^
+ |newSource1.scala:10: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("not-a-valid-JS-identifier-3")
+ | ^
+ |newSource1.scala:13: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("not-a-valid-JS-identifier-4")
+ | ^
+ |newSource1.scala:16: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("not-a-valid-JS-identifier-5")
+ | ^
+ |newSource1.scala:20: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportTopLevelNamespaced(): Unit = {
+ """
+ @JSExportTopLevel("namespaced.export1")
+ object A
+ @JSExportTopLevel("namespaced.export2")
+ class B
+ object C {
+ @JSExportTopLevel("namespaced.export3")
+ val a: Int = 1
+ @JSExportTopLevel("namespaced.export4")
+ var b: Int = 1
+ @JSExportTopLevel("namespaced.export5")
+ def c(): Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:3: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("namespaced.export1")
+ | ^
+ |newSource1.scala:5: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("namespaced.export2")
+ | ^
+ |newSource1.scala:8: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("namespaced.export3")
+ | ^
+ |newSource1.scala:10: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("namespaced.export4")
+ | ^
+ |newSource1.scala:12: error: The top-level export name must be a valid JavaScript identifier name
+ | @JSExportTopLevel("namespaced.export5")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportTopLevelGetter(): Unit = {
+ """
+ object A {
+ @JSExportTopLevel("foo")
+ def a: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a getter or a setter to the top level
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportTopLevelSetter(): Unit = {
+ """
+ object A {
+ @JSExportTopLevel("foo")
+ def a_=(x: Int): Unit = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a getter or a setter to the top level
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportTopLevelFieldsWithSameName(): Unit = {
+ """
+ object A {
+ @JSExportTopLevel("foo")
+ val a: Int = 1
+
+ @JSExportTopLevel("foo")
+ var b: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: export overload conflicts with export of variable b: a field may not share its exported name with another export
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportTopLevelFieldsAndMethodsWithSameName(): Unit = {
+ """
+ object A {
+ @JSExportTopLevel("foo")
+ val a: Int = 1
+
+ @JSExportTopLevel("foo")
+ def b(x: Int): Int = x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: export overload conflicts with export of method b: they are of different types (Field / Method)
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+
+ """
+ object A {
+ @JSExportTopLevel("foo")
+ def a(x: Int): Int = x + 1
+
+ @JSExportTopLevel("foo")
+ val b: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: export overload conflicts with export of value b: they are of different types (Method / Field)
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportTopLevelNonStatic(): Unit = {
+ """
+ class A {
+ @JSExportTopLevel("foo")
+ def a(): Unit = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: Only static objects may export their members to the top level
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+
+ """
+ class A {
+ object B {
+ @JSExportTopLevel("foo")
+ def a(): Unit = ()
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: Only static objects may export their members to the top level
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+
+ """
+ class A {
+ @JSExportTopLevel("Foo")
+ object B
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a nested object
+ | @JSExportTopLevel("Foo")
+ | ^
+ """
+
+ """
+ class A {
+ @JSExportTopLevel("Foo")
+ object B extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a nested object
+ | @JSExportTopLevel("Foo")
+ | ^
+ """
+
+ """
+ class A {
+ @JSExportTopLevel("Foo")
+ class B extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a nested class. Create an exported factory method in the outer class to work around this limitation.
+ | @JSExportTopLevel("Foo")
+ | ^
+ """
+
+ """
+ class A {
+ @JSExportTopLevel("Foo")
+ class B
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a nested class. Create an exported factory method in the outer class to work around this limitation.
+ | @JSExportTopLevel("Foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportTopLevelLocal(): Unit = {
+ // Local class
+ """
+ class A {
+ def method = {
+ @JSExportTopLevel("A")
+ class A
+
+ @JSExportTopLevel("B")
+ class B extends js.Object
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a local class
+ | @JSExportTopLevel("A")
+ | ^
+ |newSource1.scala:8: error: You may not export a local class
+ | @JSExportTopLevel("B")
+ | ^
+ """
+
+ // Local object
+ """
+ class A {
+ def method = {
+ @JSExportTopLevel("A")
+ object A
+
+ @JSExportTopLevel("B")
+ object B extends js.Object
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a local object
+ | @JSExportTopLevel("A")
+ | ^
+ |newSource1.scala:8: error: You may not export a local object
+ | @JSExportTopLevel("B")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportTopLevelJSModule(): Unit = {
+ """
+ object A extends js.Object {
+ @JSExportTopLevel("foo")
+ def a(): Unit = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: You may not export a method of a subclass of js.Any
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticModule(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ object A
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Implementation restriction: cannot export a class or object as static
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticTrait(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ trait A
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: You may not export a trait as static.
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticClass(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ class A
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Implementation restriction: cannot export a class or object as static
+ | @JSExportStatic
+ | ^
+ """
+
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ class A {
+ @JSExportStatic
+ def this(x: Int) = this()
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Implementation restriction: cannot export a class or object as static
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticValTwice(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ @JSExportStatic("b")
+ val a: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Fields (val or var) cannot be exported as static more than once
+ | @JSExportStatic("b")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticVarTwice(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ @JSExportStatic("b")
+ var a: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Fields (val or var) cannot be exported as static more than once
+ | @JSExportStatic("b")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticLazyVal(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ lazy val a: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: You may not export a lazy val as static
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportValAsStaticAndTopLevel(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ @JSExportTopLevel("foo")
+ val a: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Fields (val or var) cannot be exported both as static and at the top-level
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportVarAsStaticAndTopLevel(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ @JSExportTopLevel("foo")
+ var a: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Fields (val or var) cannot be exported both as static and at the top-level
+ | @JSExportTopLevel("foo")
+ | ^
+ """
+ }
+
+ @Test
+ def noExportSetterWithBadSetterType(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def a_=(x: Int, y: Int): Unit = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Exported setters must have exactly one argument
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticCollapsingMethods(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def foo(x: Int): Int = x
+
+ @JSExportStatic("foo")
+ def bar(x: Int): Int = x + 1
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:10: error: Cannot disambiguate overloads for exported method foo with types
+ | ${methodSig("(x: Int)", "Int")}
+ | ${methodSig("(x: Int)", "Int")}
+ | def bar(x: Int): Int = x + 1
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticCollapsingGetters(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def foo: Int = 1
+
+ @JSExportStatic("foo")
+ def bar: Int = 2
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:10: error: Cannot disambiguate overloads for exported getter foo with types
+ | ${methodSig("()", "Int")}
+ | ${methodSig("()", "Int")}
+ | def bar: Int = 2
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticCollapsingSetters(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def foo_=(v: Int): Unit = ()
+
+ @JSExportStatic("foo")
+ def bar_=(v: Int): Unit = ()
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:10: error: Cannot disambiguate overloads for exported setter foo with types
+ | ${methodSig("(v: Int)", "Unit")}
+ | ${methodSig("(v: Int)", "Unit")}
+ | def bar_=(v: Int): Unit = ()
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticFieldsWithSameName(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ val a: Int = 1
+
+ @JSExportStatic("a")
+ var b: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: export overload conflicts with export of variable b: a field may not share its exported name with another export
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticFieldsAndMethodsWithSameName(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ val a: Int = 1
+
+ @JSExportStatic("a")
+ def b(x: Int): Int = x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: export overload conflicts with export of method b: they are of different types (Field / Method)
+ | @JSExportStatic
+ | ^
+ """
+
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def a(x: Int): Int = x + 1
+
+ @JSExportStatic("a")
+ val b: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: export overload conflicts with export of value b: they are of different types (Method / Field)
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticFieldsAndPropertiesWithSameName(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ val a: Int = 1
+
+ @JSExportStatic("a")
+ def b: Int = 2
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: export overload conflicts with export of method b: they are of different types (Field / Property)
+ | @JSExportStatic
+ | ^
+ """
+
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def a: Int = 1
+
+ @JSExportStatic("a")
+ val b: Int = 2
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: export overload conflicts with export of value b: they are of different types (Property / Field)
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticPropertiesAndMethodsWithSameName(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def a: Int = 1
+
+ @JSExportStatic("a")
+ def b(x: Int): Int = x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: export overload conflicts with export of method b: they are of different types (Property / Method)
+ | @JSExportStatic
+ | ^
+ """
+
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def a(x: Int): Int = x + 1
+
+ @JSExportStatic("a")
+ def b: Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: export overload conflicts with export of method b: they are of different types (Method / Property)
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticNonStatic(): Unit = {
+ """
+ class A {
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def a(): Unit = ()
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Only a static object whose companion class is a non-native JS class may export its members as static.
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticInJSModule(): Unit = {
+ """
+ class StaticContainer extends js.Object
+
+ object StaticContainer extends js.Object {
+ @JSExportStatic
+ def a(): Unit = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: You may not export a method of a subclass of js.Any
+ | @JSExportStatic
+ | ^
+ """
+
+ """
+ class StaticContainer extends js.Object
+
+ @js.native
+ @JSGlobal("Dummy")
+ object StaticContainer extends js.Object {
+ @JSExportStatic
+ def a(): Unit = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: You may not export a method of a subclass of js.Any
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticIfWrongCompanionType(): Unit = {
+ """
+ class StaticContainer
+
+ object StaticContainer {
+ @JSExportStatic
+ def a(): Unit = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Only a static object whose companion class is a non-native JS class may export its members as static.
+ | @JSExportStatic
+ | ^
+ """
+
+ """
+ trait StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def a(): Unit = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Only a static object whose companion class is a non-native JS class may export its members as static.
+ | @JSExportStatic
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal("Dummy")
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ @JSExportStatic
+ def a(): Unit = ()
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: Only a static object whose companion class is a non-native JS class may export its members as static.
+ | @JSExportStatic
+ | ^
+ """
+ }
+
+ @Test
+ def noExportStaticFieldAfterStatOrNonStaticField(): Unit = {
+ for {
+ offendingDecl <- Seq(
+ "val a: Int = 1",
+ "var a: Int = 1",
+ """println("foo")"""
+ )
+ }
+ s"""
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ $offendingDecl
+
+ @JSExportStatic
+ val b: Int = 1
+
+ @JSExportStatic
+ var c: Int = 1
+
+ @JSExportStatic
+ def d: Int = 1
+
+ @JSExportStatic
+ def d_=(v: Int): Unit = ()
+
+ @JSExportStatic
+ def e(): Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSExportStatic vals and vars must be defined before any other val/var, and before any constructor statement.
+ | val b: Int = 1
+ | ^
+ |newSource1.scala:12: error: @JSExportStatic vals and vars must be defined before any other val/var, and before any constructor statement.
+ | var c: Int = 1
+ | ^
+ """
+
+ for {
+ validDecl <- Seq(
+ "@JSExportStatic val a: Int = 1",
+ "@JSExportStatic var a: Int = 1",
+ "lazy val a: Int = 1",
+ "def a: Int = 1",
+ "def a_=(v: Int): Unit = ()",
+ "def a(): Int = 1",
+ "@JSExportStatic def a: Int = 1",
+ "@JSExportStatic def a_=(v: Int): Unit = ()",
+ "@JSExportStatic def a(): Int = 1",
+ "class A",
+ "object A",
+ "trait A",
+ "type A = Int"
+ )
+ }
+ s"""
+ class StaticContainer extends js.Object
+
+ object StaticContainer {
+ $validDecl
+
+ @JSExportStatic
+ val b: Int = 1
+
+ @JSExportStatic
+ var c: Int = 1
+ }
+ """.succeeds()
+ }
+}
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/JSGlobalScopeTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSGlobalScopeTest.scala
new file mode 100644
index 0000000000..a00d6a2909
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSGlobalScopeTest.scala
@@ -0,0 +1,500 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import org.scalajs.nscplugin.test.util._
+import org.scalajs.nscplugin.test.util.VersionDependentUtils.scalaSupportsNoWarn
+
+import org.junit.Test
+import org.junit.Ignore
+import org.junit.Assume._
+
+// scalastyle:off line.size.limit
+
+class JSGlobalScopeTest extends DirectTest with TestHelpers {
+
+ override def extraArgs: List[String] =
+ super.extraArgs :+ "-deprecation"
+
+ override def preamble: String = {
+ """
+ import scala.scalajs.js
+ import scala.scalajs.js.annotation._
+
+ object Symbols {
+ val sym: js.Symbol = js.Symbol()
+ }
+
+ @js.native
+ @JSGlobalScope
+ object SomeGlobalScope extends js.Any {
+ var validVar: Int = js.native
+ def validDef(): Int = js.native
+
+ var `not-a-valid-identifier-var`: Int = js.native
+ def `not-a-valid-identifier-def`(): Int = js.native
+
+ @JSOperator def +(that: Int): Int = js.native
+
+ def apply(x: Int): Int = js.native
+
+ @JSBracketAccess
+ def bracketSelect(name: String): Int = js.native
+ @JSBracketAccess
+ def bracketUpdate(name: String, v: Int): Unit = js.native
+
+ @JSBracketCall
+ def bracketCall(name: String)(arg: Int): Int = js.native
+
+ @JSName(Symbols.sym)
+ var symbolVar: Int = js.native
+ @JSName(Symbols.sym)
+ def symbolDef(): Int = js.native
+
+ var arguments: js.Array[Any] = js.native
+ @JSName("arguments") def arguments2(x: Int): Int = js.native
+ }
+ """
+ }
+
+ @Test
+ def canAccessLegitMembers(): Unit = {
+ s"""
+ object Main {
+ def main(): Unit = {
+ val a = js.Dynamic.global.validVar
+ js.Dynamic.global.validVar = 3
+ val b = js.Dynamic.global.validDef()
+
+ val c = SomeGlobalScope.validVar
+ SomeGlobalScope.validVar = 3
+ val d = SomeGlobalScope.validDef()
+
+ val e = SomeGlobalScope.bracketSelect("validVar")
+ SomeGlobalScope.bracketUpdate("validVar", 3)
+ val f = SomeGlobalScope.bracketCall("validDef")(4)
+ }
+ }
+ """.hasNoWarns()
+ }
+
+ @Test
+ def noLoadGlobalValue(): Unit = {
+ s"""
+ object Main {
+ def main(): Unit = {
+ val g1 = js.Dynamic.global
+ val g2 = SomeGlobalScope
+ }
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:41: error: Loading the global scope as a value (anywhere but as the left-hand-side of a `.`-selection) is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val g1 = js.Dynamic.global
+ | ^
+ |newSource1.scala:42: error: Loading the global scope as a value (anywhere but as the left-hand-side of a `.`-selection) is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val g2 = SomeGlobalScope
+ | ^
+ """
+ }
+
+ @Test
+ def rejectInvalidJSIdentifiers(): Unit = {
+ s"""
+ object Main {
+ def main(): Unit = {
+ val a = js.Dynamic.global.`not-a-valid-identifier-var`
+ js.Dynamic.global.`not-a-valid-identifier-var` = 3
+ val b = js.Dynamic.global.`not-a-valid-identifier-def`()
+
+ val c = SomeGlobalScope.`not-a-valid-identifier-var`
+ SomeGlobalScope.`not-a-valid-identifier-var` = 3
+ val d = SomeGlobalScope.`not-a-valid-identifier-def`()
+
+ val e = SomeGlobalScope.bracketSelect("not-a-valid-identifier-var")
+ SomeGlobalScope.bracketUpdate("not-a-valid-identifier-var", 3)
+ val f = SomeGlobalScope.bracketCall("not-a-valid-identifier-def")(4)
+ }
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:41: error: Selecting a field of the global scope whose name is not a valid JavaScript identifier is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val a = js.Dynamic.global.`not-a-valid-identifier-var`
+ | ^
+ |newSource1.scala:42: error: Selecting a field of the global scope whose name is not a valid JavaScript identifier is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | js.Dynamic.global.`not-a-valid-identifier-var` = 3
+ | ^
+ |newSource1.scala:43: error: Calling a method of the global scope whose name is not a valid JavaScript identifier is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val b = js.Dynamic.global.`not-a-valid-identifier-def`()
+ | ^
+ |newSource1.scala:45: error: Selecting a field of the global scope whose name is not a valid JavaScript identifier is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val c = SomeGlobalScope.`not-a-valid-identifier-var`
+ | ^
+ |newSource1.scala:46: error: Selecting a field of the global scope whose name is not a valid JavaScript identifier is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | SomeGlobalScope.`not-a-valid-identifier-var` = 3
+ | ^
+ |newSource1.scala:47: error: Calling a method of the global scope whose name is not a valid JavaScript identifier is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val d = SomeGlobalScope.`not-a-valid-identifier-def`()
+ | ^
+ |newSource1.scala:49: error: Selecting a field of the global scope whose name is not a valid JavaScript identifier is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val e = SomeGlobalScope.bracketSelect("not-a-valid-identifier-var")
+ | ^
+ |newSource1.scala:50: error: Selecting a field of the global scope whose name is not a valid JavaScript identifier is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | SomeGlobalScope.bracketUpdate("not-a-valid-identifier-var", 3)
+ | ^
+ |newSource1.scala:51: error: Calling a method of the global scope whose name is not a valid JavaScript identifier is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val f = SomeGlobalScope.bracketCall("not-a-valid-identifier-def")(4)
+ | ^
+ """
+ }
+
+ @Test
+ def rejectInvalidJSIdentifiersInNestedObjectClass(): Unit = {
+ """
+ @js.native
+ @JSGlobalScope
+ object EnclosingGlobalScope extends js.Any {
+ @js.native
+ class `not-a-valid-JS-identifier` extends js.Object
+
+ @js.native
+ @JSName("not-a-valid-JS-identifier")
+ object A extends js.Object
+
+ @js.native
+ @JSName("foo.bar")
+ object B extends js.Object
+
+ @js.native
+ @JSName("")
+ object C extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:43: error: The name of a JS global variable must be a valid JS identifier (got 'not-a-valid-JS-identifier')
+ | class `not-a-valid-JS-identifier` extends js.Object
+ | ^
+ |newSource1.scala:47: error: The name of a JS global variable must be a valid JS identifier (got 'not-a-valid-JS-identifier')
+ | object A extends js.Object
+ | ^
+ |newSource1.scala:51: error: The name of a JS global variable must be a valid JS identifier (got 'foo.bar')
+ | object B extends js.Object
+ | ^
+ |newSource1.scala:55: error: The name of a JS global variable must be a valid JS identifier (got '')
+ | object C extends js.Object
+ | ^
+ """
+ }
+
+ @Test
+ def rejectJSOperators(): Unit = {
+ """
+ object Main {
+ def main(): Unit = {
+ val a = js.Dynamic.global + 3.asInstanceOf[js.Dynamic]
+ }
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:41: error: type mismatch;
+ | found : scala.scalajs.js.Dynamic
+ | required: String
+ | val a = js.Dynamic.global + 3.asInstanceOf[js.Dynamic]
+ | ^
+ """
+
+ """
+ object Main {
+ def main(): Unit = {
+ val a = SomeGlobalScope + 3
+ }
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:41: error: Loading the global scope as a value (anywhere but as the left-hand-side of a `.`-selection) is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val a = SomeGlobalScope + 3
+ | ^
+ """
+ }
+
+ @Test
+ def rejectApply(): Unit = {
+ """
+ object Main {
+ def main(): Unit = {
+ val a = js.Dynamic.global(3)
+ }
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:41: warning: method apply in object global is deprecated${since("forever")}: The global scope cannot be called as function.
+ | val a = js.Dynamic.global(3)
+ | ^
+ |newSource1.scala:41: error: Loading the global scope as a value (anywhere but as the left-hand-side of a `.`-selection) is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val a = js.Dynamic.global(3)
+ | ^
+ """
+
+ """
+ object Main {
+ def main(): Unit = {
+ val a = SomeGlobalScope(3)
+ }
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:41: error: Loading the global scope as a value (anywhere but as the left-hand-side of a `.`-selection) is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val a = SomeGlobalScope(3)
+ | ^
+ """
+ }
+
+ @Test
+ def rejectDynamicNames(): Unit = {
+ s"""
+ object Main {
+ def dynName: String = "foo"
+
+ def main(): Unit = {
+ val a = js.Dynamic.global.selectDynamic(dynName)
+ js.Dynamic.global.updateDynamic(dynName)(3)
+ val b = js.Dynamic.global.applyDynamic(dynName)(3)
+
+ val e = SomeGlobalScope.bracketSelect(dynName)
+ SomeGlobalScope.bracketUpdate(dynName, 3)
+ val f = SomeGlobalScope.bracketCall(dynName)(4)
+
+ val i = SomeGlobalScope.symbolVar
+ SomeGlobalScope.symbolVar = 3
+ val k = SomeGlobalScope.symbolDef()
+ }
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:43: error: Selecting a field of the global scope with a dynamic name is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val a = js.Dynamic.global.selectDynamic(dynName)
+ | ^
+ |newSource1.scala:44: error: Selecting a field of the global scope with a dynamic name is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | js.Dynamic.global.updateDynamic(dynName)(3)
+ | ^
+ |newSource1.scala:45: error: Calling a method of the global scope with a dynamic name is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val b = js.Dynamic.global.applyDynamic(dynName)(3)
+ | ^
+ |newSource1.scala:47: error: Selecting a field of the global scope with a dynamic name is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val e = SomeGlobalScope.bracketSelect(dynName)
+ | ^
+ |newSource1.scala:48: error: Selecting a field of the global scope with a dynamic name is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | SomeGlobalScope.bracketUpdate(dynName, 3)
+ | ^
+ |newSource1.scala:49: error: Calling a method of the global scope with a dynamic name is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val f = SomeGlobalScope.bracketCall(dynName)(4)
+ | ^
+ |newSource1.scala:51: error: Selecting a field of the global scope with a dynamic name is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val i = SomeGlobalScope.symbolVar
+ | ^
+ |newSource1.scala:52: error: Selecting a field of the global scope with a dynamic name is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | SomeGlobalScope.symbolVar = 3
+ | ^
+ |newSource1.scala:53: error: Calling a method of the global scope with a dynamic name is not allowed.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val k = SomeGlobalScope.symbolDef()
+ | ^
+ """
+ }
+
+ @Test
+ def rejectAllReservedIdentifiers(): Unit = {
+ val reservedIdentifiers = List(
+ "arguments", "break", "case", "catch", "class", "const", "continue",
+ "debugger", "default", "delete", "do", "else", "enum", "export",
+ "extends", "false", "finally", "for", "function", "if", "implements",
+ "import", "in", "instanceof", "interface", "let", "new", "null",
+ "package", "private", "protected", "public", "return", "static",
+ "super", "switch", "this", "throw", "true", "try", "typeof", "var",
+ "void", "while", "with", "yield")
+
+ for (reservedIdentifier <- reservedIdentifiers) {
+ val spaces = " " * reservedIdentifier.length()
+
+ s"""
+ @js.native
+ @JSGlobalScope
+ object CustomGlobalScope extends js.Any {
+ var `$reservedIdentifier`: Int = js.native
+ @JSName("$reservedIdentifier")
+ def `${reservedIdentifier}2`(x: Int): Int = js.native
+ }
+
+ object Main {
+ def main(): Unit = {
+ val a = js.Dynamic.global.`$reservedIdentifier`
+ js.Dynamic.global.`$reservedIdentifier` = 5
+ val b = js.Dynamic.global.`$reservedIdentifier`(5)
+
+ val c = CustomGlobalScope.`$reservedIdentifier`
+ CustomGlobalScope.`$reservedIdentifier` = 5
+ val d = CustomGlobalScope.`${reservedIdentifier}2`(5)
+ }
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:49: error: Invalid selection in the global scope of the reserved identifier name `$reservedIdentifier`.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val a = js.Dynamic.global.`$reservedIdentifier`
+ | ^
+ |newSource1.scala:50: error: Invalid selection in the global scope of the reserved identifier name `$reservedIdentifier`.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | js.Dynamic.global.`$reservedIdentifier` = 5
+ | ^
+ |newSource1.scala:51: error: Invalid call in the global scope of the reserved identifier name `$reservedIdentifier`.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val b = js.Dynamic.global.`$reservedIdentifier`(5)
+ | $spaces^
+ |newSource1.scala:53: error: Invalid selection in the global scope of the reserved identifier name `$reservedIdentifier`.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val c = CustomGlobalScope.`$reservedIdentifier`
+ | ^
+ |newSource1.scala:54: error: Invalid selection in the global scope of the reserved identifier name `$reservedIdentifier`.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | CustomGlobalScope.`$reservedIdentifier` = 5
+ | $spaces^
+ |newSource1.scala:55: error: Invalid call in the global scope of the reserved identifier name `$reservedIdentifier`.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val d = CustomGlobalScope.`${reservedIdentifier}2`(5)
+ | $spaces^
+ """
+ }
+ }
+
+ @Test
+ def warnAboutAwaitReservedWord_Issue4705(): Unit = {
+ val reservedIdentifiers = List("await")
+
+ for (reservedIdentifier <- reservedIdentifiers) {
+ val spaces = " " * reservedIdentifier.length()
+
+ s"""
+ @js.native
+ @JSGlobalScope
+ object CustomGlobalScope extends js.Any {
+ var `$reservedIdentifier`: Int = js.native
+ @JSName("$reservedIdentifier")
+ def `${reservedIdentifier}2`(x: Int): Int = js.native
+ }
+
+ object Main {
+ def main(): Unit = {
+ val a = js.Dynamic.global.`$reservedIdentifier`
+ js.Dynamic.global.`$reservedIdentifier` = 5
+ val b = js.Dynamic.global.`$reservedIdentifier`(5)
+
+ val c = CustomGlobalScope.`$reservedIdentifier`
+ CustomGlobalScope.`$reservedIdentifier` = 5
+ val d = CustomGlobalScope.`${reservedIdentifier}2`(5)
+ }
+ }
+ """ hasWarns
+ s"""
+ |newSource1.scala:49: warning: Selecting a field of the global scope with the name '$reservedIdentifier' is deprecated.
+ | It may produce invalid JavaScript code causing a SyntaxError in some environments.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val a = js.Dynamic.global.`$reservedIdentifier`
+ | ^
+ |newSource1.scala:50: warning: Selecting a field of the global scope with the name '$reservedIdentifier' is deprecated.
+ | It may produce invalid JavaScript code causing a SyntaxError in some environments.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | js.Dynamic.global.`$reservedIdentifier` = 5
+ | ^
+ |newSource1.scala:51: warning: Calling a method of the global scope with the name '$reservedIdentifier' is deprecated.
+ | It may produce invalid JavaScript code causing a SyntaxError in some environments.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val b = js.Dynamic.global.`$reservedIdentifier`(5)
+ | $spaces^
+ |newSource1.scala:53: warning: Selecting a field of the global scope with the name '$reservedIdentifier' is deprecated.
+ | It may produce invalid JavaScript code causing a SyntaxError in some environments.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val c = CustomGlobalScope.`$reservedIdentifier`
+ | ^
+ |newSource1.scala:54: warning: Selecting a field of the global scope with the name '$reservedIdentifier' is deprecated.
+ | It may produce invalid JavaScript code causing a SyntaxError in some environments.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | CustomGlobalScope.`$reservedIdentifier` = 5
+ | $spaces^
+ |newSource1.scala:55: warning: Calling a method of the global scope with the name '$reservedIdentifier' is deprecated.
+ | It may produce invalid JavaScript code causing a SyntaxError in some environments.
+ | See https://www.scala-js.org/doc/interoperability/global-scope.html for further information.
+ | val d = CustomGlobalScope.`${reservedIdentifier}2`(5)
+ | $spaces^
+ """
+ }
+ }
+
+ @Test
+ def noWarnAboutAwaitReservedWordIfSelectivelyDisabled(): Unit = {
+ assumeTrue(scalaSupportsNoWarn)
+
+ val reservedIdentifiers = List("await")
+
+ for (reservedIdentifier <- reservedIdentifiers) {
+ val spaces = " " * reservedIdentifier.length()
+
+ s"""
+ import scala.annotation.nowarn
+
+ @js.native
+ @JSGlobalScope
+ object CustomGlobalScope extends js.Any {
+ var `$reservedIdentifier`: Int = js.native
+ @JSName("$reservedIdentifier")
+ def `${reservedIdentifier}2`(x: Int): Int = js.native
+ }
+
+ object Main {
+ @nowarn("cat=deprecation")
+ def main(): Unit = {
+ val a = js.Dynamic.global.`$reservedIdentifier`
+ js.Dynamic.global.`$reservedIdentifier` = 5
+ val b = js.Dynamic.global.`$reservedIdentifier`(5)
+
+ val c = CustomGlobalScope.`$reservedIdentifier`
+ CustomGlobalScope.`$reservedIdentifier` = 5
+ val d = CustomGlobalScope.`${reservedIdentifier}2`(5)
+ }
+ }
+ """.hasNoWarns()
+ }
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/JSInteropTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSInteropTest.scala
new file mode 100644
index 0000000000..1c3f0e4330
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSInteropTest.scala
@@ -0,0 +1,4679 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import org.scalajs.nscplugin.test.util._
+
+import org.junit.Test
+import org.junit.Ignore
+
+// scalastyle:off line.size.limit
+
+class JSInteropTest extends DirectTest with TestHelpers {
+
+ override def preamble: String =
+ """
+ import scala.scalajs.js
+ import scala.scalajs.js.annotation._
+ """
+
+ private val JSNativeLoadSpecAnnots = Seq(
+ "JSGlobal" -> "@JSGlobal",
+ "JSGlobal" -> "@JSGlobal(\"foo\")",
+ "JSImport" -> "@JSImport(\"foo\", \"bar\")",
+ "JSImport" -> "@JSImport(\"foo\", \"bar\", globalFallback = \"baz\")",
+ "JSGlobalScope" -> "@JSGlobalScope"
+ )
+
+ private def version = scala.util.Properties.versionNumberString
+
+ private def ifHasNewRefChecks(msg: String): String = {
+ if (version.startsWith("2.11.") ||
+ version.startsWith("2.12.")) {
+ ""
+ } else {
+ msg.stripMargin.trim()
+ }
+ }
+
+ @Test def warnJSPackageObjectDeprecated: Unit = {
+
+ s"""
+ package object jspackage extends js.Object
+ """ hasErrors
+ s"""
+ |newSource1.scala:5: error: Package objects may not extend js.Any.
+ | package object jspackage extends js.Object
+ | ^
+ """
+
+ }
+
+ @Test def noJSNameAnnotOnNonJSNative: Unit = {
+
+ for {
+ obj <- Seq("class", "trait", "object")
+ } yield {
+ s"""
+ @JSName("foo")
+ $obj A extends js.Object
+
+ object Sym {
+ val sym = js.Symbol()
+ }
+
+ @JSName(Sym.sym)
+ $obj B extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSName can only be used on members of JS types.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:12: error: @JSName can only be used on members of JS types.
+ | @JSName(Sym.sym)
+ | ^
+ """
+ }
+
+ for {
+ obj <- Seq("class", "trait", "object")
+ } yield {
+ s"""
+ @JSName("foo")
+ $obj A
+
+ object Sym {
+ val sym = js.Symbol()
+ }
+
+ @JSName(Sym.sym)
+ $obj B
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSName can only be used on members of JS types.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:12: error: @JSName can only be used on members of JS types.
+ | @JSName(Sym.sym)
+ | ^
+ """
+ }
+
+ """
+ object Container {
+ @JSName("foo")
+ val a: Int = 1
+
+ @JSName("foo")
+ var b: Int = 2
+
+ @JSName("foo")
+ def c: Int = 3
+
+ @JSName("foo")
+ def d_=(v: Int): Unit = ()
+
+ @JSName("foo")
+ def e(x: Int): Int = x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: @JSName can only be used on members of JS types.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:9: error: @JSName can only be used on members of JS types.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:12: error: @JSName can only be used on members of JS types.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:15: error: @JSName can only be used on members of JS types.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:18: error: @JSName can only be used on members of JS types.
+ | @JSName("foo")
+ | ^
+ """
+
+ }
+
+ @Test def okJSNameOnNestedObjects: Unit = {
+
+ """
+ class A extends js.Object {
+ @JSName("foo")
+ object toto
+
+ @JSName("bar")
+ object tata extends js.Object
+ }
+ """.hasNoWarns()
+
+ """
+ class A extends js.Object {
+ @JSName("foo")
+ private object toto
+
+ @JSName("bar")
+ private object tata extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: @JSName cannot be used on private members.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:9: error: @JSName cannot be used on private members.
+ | @JSName("bar")
+ | ^
+ """
+
+ }
+
+ @Test def noJSGlobalAnnotOnNonJSNative: Unit = {
+
+ for {
+ obj <- Seq("class", "trait", "object")
+ } yield {
+ s"""
+ @JSGlobal
+ $obj A extends js.Object
+
+ @JSGlobal("Foo")
+ $obj B extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal
+ | ^
+ |newSource1.scala:8: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal("Foo")
+ | ^
+ """
+ }
+
+ for {
+ obj <- Seq("class", "trait", "object")
+ } yield {
+ s"""
+ @JSGlobal
+ $obj A
+
+ @JSGlobal("Foo")
+ $obj B
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal
+ | ^
+ |newSource1.scala:8: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal("Foo")
+ | ^
+ """
+ }
+
+ """
+ object Container {
+ @JSGlobal
+ val a: Int = 1
+
+ @JSGlobal
+ var b: Int = 2
+
+ @JSGlobal
+ def c: Int = 3
+
+ @JSGlobal
+ def d_=(v: Int): Unit = ()
+
+ @JSGlobal
+ def e(x: Int): Int = x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal
+ | ^
+ |newSource1.scala:9: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal
+ | ^
+ |newSource1.scala:12: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal
+ | ^
+ |newSource1.scala:15: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal
+ | ^
+ |newSource1.scala:18: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal
+ | ^
+ """
+
+ }
+
+ @Test def noJSImportAnnotOnNonJSNative: Unit = {
+
+ for {
+ obj <- Seq("class", "trait", "object")
+ } yield {
+ s"""
+ @JSImport("foo", JSImport.Namespace)
+ $obj A extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", JSImport.Namespace)
+ | ^
+ """
+ }
+
+ for {
+ obj <- Seq("class", "trait", "object")
+ } yield {
+ s"""
+ @JSImport("foo", JSImport.Namespace)
+ $obj A
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", JSImport.Namespace)
+ | ^
+ """
+ }
+
+ """
+ object Container {
+ @JSImport("foo", "bar")
+ val a: Int = 1
+
+ @JSImport("foo", "bar")
+ var b: Int = 2
+
+ @JSImport("foo", "bar")
+ def c: Int = 3
+
+ @JSImport("foo", "bar")
+ def d_=(v: Int): Unit = ()
+
+ @JSImport("foo", "bar")
+ def e(x: Int): Int = x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", "bar")
+ | ^
+ |newSource1.scala:9: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", "bar")
+ | ^
+ |newSource1.scala:12: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", "bar")
+ | ^
+ |newSource1.scala:15: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", "bar")
+ | ^
+ |newSource1.scala:18: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", "bar")
+ | ^
+ """
+
+ for {
+ obj <- Seq("class", "trait", "object")
+ } yield {
+ s"""
+ @JSImport("foo", JSImport.Namespace, globalFallback = "Foo")
+ $obj A extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", JSImport.Namespace, globalFallback = "Foo")
+ | ^
+ """
+ }
+
+ for {
+ obj <- Seq("class", "trait", "object")
+ } yield {
+ s"""
+ @JSImport("foo", JSImport.Namespace, globalFallback = "Foo")
+ $obj A
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", JSImport.Namespace, globalFallback = "Foo")
+ | ^
+ """
+ }
+
+ """
+ object Container {
+ @JSImport("foo", "bar", globalFallback = "Foo")
+ val a: Int = 1
+
+ @JSImport("foo", "bar", globalFallback = "Foo")
+ var b: Int = 2
+
+ @JSImport("foo", "bar", globalFallback = "Foo")
+ def c: Int = 3
+
+ @JSImport("foo", "bar", globalFallback = "Foo")
+ def d_=(v: Int): Unit = ()
+
+ @JSImport("foo", "bar", globalFallback = "Foo")
+ def e(x: Int): Int = x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", "bar", globalFallback = "Foo")
+ | ^
+ |newSource1.scala:9: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", "bar", globalFallback = "Foo")
+ | ^
+ |newSource1.scala:12: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", "bar", globalFallback = "Foo")
+ | ^
+ |newSource1.scala:15: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", "bar", globalFallback = "Foo")
+ | ^
+ |newSource1.scala:18: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("foo", "bar", globalFallback = "Foo")
+ | ^
+ """
+
+ }
+
+ @Test def noJSGlobalScopeAnnotOnNonJSNative: Unit = {
+
+ """
+ @JSGlobalScope
+ object A extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSGlobalScope can only be used on native JS objects (with @js.native).
+ | @JSGlobalScope
+ | ^
+ """
+
+ """
+ @JSGlobalScope
+ object A
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSGlobalScope can only be used on native JS objects (with @js.native).
+ | @JSGlobalScope
+ | ^
+ """
+
+ }
+ @Test def noJSNameAnnotOnClass: Unit = {
+ """
+ @js.native
+ @JSName("Foo")
+ class A extends js.Object
+
+ @js.native
+ @JSName("Foo")
+ abstract class B extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: @JSName can only be used on members of JS types.
+ | @JSName("Foo")
+ | ^
+ |newSource1.scala:7: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | class A extends js.Object
+ | ^
+ |newSource1.scala:10: error: @JSName can only be used on members of JS types.
+ | @JSName("Foo")
+ | ^
+ |newSource1.scala:11: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | abstract class B extends js.Object
+ | ^
+ """
+ }
+
+ @Test def noJSNameAnnotOnObject: Unit = {
+ """
+ @js.native
+ @JSName("Foo")
+ object A extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: @JSName can only be used on members of JS types.
+ | @JSName("Foo")
+ | ^
+ |newSource1.scala:7: error: Native JS objects must have exactly one annotation among @JSGlobal, @JSImport and @JSGlobalScope.
+ | object A extends js.Object
+ | ^
+ """
+ }
+
+ @Test def noJSNameAnnotOnTrait: Unit = {
+
+ s"""
+ object Sym {
+ val sym = js.Symbol()
+ }
+
+ @js.native @JSGlobal
+ object Container extends js.Object {
+ @js.native
+ @JSName("foo")
+ trait A extends js.Object
+
+ @js.native
+ @JSName(Sym.sym)
+ trait B extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:12: error: @JSName cannot be used on traits.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:16: error: @JSName cannot be used on traits.
+ | @JSName(Sym.sym)
+ | ^
+ """
+
+ }
+
+ @Test def noJSNameAnnotOnNativeValDef: Unit = {
+
+ s"""
+ object Sym {
+ val sym = js.Symbol()
+ }
+
+ object Container {
+ @js.native
+ @JSName("foo")
+ val a: Int = js.native
+
+ @js.native
+ @JSName("foo")
+ def b: Int = js.native
+
+ @js.native
+ @JSName("foo")
+ def c(x: Int): Int = js.native
+
+ @js.native
+ @JSName(Sym.sym)
+ val d: Int = js.native
+
+ @js.native
+ @JSName(Sym.sym)
+ def e: Int = js.native
+
+ @js.native
+ @JSName(Sym.sym)
+ def f(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:11: error: @JSName can only be used on members of JS types.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:12: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | val a: Int = js.native
+ | ^
+ |newSource1.scala:15: error: @JSName can only be used on members of JS types.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:16: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | def b: Int = js.native
+ | ^
+ |newSource1.scala:19: error: @JSName can only be used on members of JS types.
+ | @JSName("foo")
+ | ^
+ |newSource1.scala:20: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | def c(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:23: error: @JSName can only be used on members of JS types.
+ | @JSName(Sym.sym)
+ | ^
+ |newSource1.scala:24: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | val d: Int = js.native
+ | ^
+ |newSource1.scala:27: error: @JSName can only be used on members of JS types.
+ | @JSName(Sym.sym)
+ | ^
+ |newSource1.scala:28: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | def e: Int = js.native
+ | ^
+ |newSource1.scala:31: error: @JSName can only be used on members of JS types.
+ | @JSName(Sym.sym)
+ | ^
+ |newSource1.scala:32: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | def f(x: Int): Int = js.native
+ | ^
+ """
+
+ }
+
+ @Test def noJSGlobalAnnotOnTrait: Unit = {
+
+ s"""
+ @js.native
+ @JSGlobal
+ trait A extends js.Object
+ """ hasErrors
+ s"""
+ |newSource1.scala:6: error: Traits may not have an @JSGlobal annotation.
+ | @JSGlobal
+ | ^
+ """
+
+ s"""
+ @js.native
+ @JSGlobal("Foo")
+ trait A extends js.Object
+ """ hasErrors
+ s"""
+ |newSource1.scala:6: error: Traits may not have an @JSGlobal annotation.
+ | @JSGlobal("Foo")
+ | ^
+ """
+
+ }
+
+ @Test def noJSImportAnnotOnTrait: Unit = {
+
+ s"""
+ @js.native
+ @JSImport("foo", JSImport.Namespace)
+ trait A extends js.Object
+ """ hasErrors
+ s"""
+ |newSource1.scala:6: error: Traits may not have an @JSImport annotation.
+ | @JSImport("foo", JSImport.Namespace)
+ | ^
+ """
+
+ s"""
+ @js.native
+ @JSImport("foo", JSImport.Namespace, globalFallback = "Foo")
+ trait A extends js.Object
+ """ hasErrors
+ s"""
+ |newSource1.scala:6: error: Traits may not have an @JSImport annotation.
+ | @JSImport("foo", JSImport.Namespace, globalFallback = "Foo")
+ | ^
+ """
+
+ }
+
+ @Test def noJSGlobalScopeExceptOnObjects: Unit = {
+ """
+ @js.native @JSGlobalScope
+ class A extends js.Any
+
+ @js.native @JSGlobalScope
+ trait B extends js.Any
+
+ object Container {
+ @js.native @JSGlobalScope
+ class C extends js.Any
+
+ @js.native @JSGlobalScope
+ trait D extends js.Any
+
+ @js.native @JSGlobalScope
+ val a: Int = js.native
+
+ @js.native @JSGlobalScope
+ def b: Int = js.native
+
+ @js.native @JSGlobalScope
+ def c(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSGlobalScope can only be used on native JS objects (with @js.native).
+ | @js.native @JSGlobalScope
+ | ^
+ |newSource1.scala:8: error: Traits may not have an @JSGlobalScope annotation.
+ | @js.native @JSGlobalScope
+ | ^
+ |newSource1.scala:12: error: @JSGlobalScope can only be used on native JS objects (with @js.native).
+ | @js.native @JSGlobalScope
+ | ^
+ |newSource1.scala:15: error: Traits may not have an @JSGlobalScope annotation.
+ | @js.native @JSGlobalScope
+ | ^
+ |newSource1.scala:18: error: @JSGlobalScope can only be used on native JS objects (with @js.native).
+ | @js.native @JSGlobalScope
+ | ^
+ |newSource1.scala:19: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | val a: Int = js.native
+ | ^
+ |newSource1.scala:21: error: @JSGlobalScope can only be used on native JS objects (with @js.native).
+ | @js.native @JSGlobalScope
+ | ^
+ |newSource1.scala:24: error: @JSGlobalScope can only be used on native JS objects (with @js.native).
+ | @js.native @JSGlobalScope
+ | ^
+ """
+ }
+
+ @Test def noTwoJSNativeLoadSpecAnnots: Unit = {
+ for {
+ (firstAnnotName, firstAnnot) <- JSNativeLoadSpecAnnots
+ (secondAnnotName, secondAnnot) <- JSNativeLoadSpecAnnots
+ } {
+ if (firstAnnotName == "JSGlobalScope" || secondAnnotName == "JSGlobalScope") {
+ s"""
+ |@js.native
+ |$firstAnnot
+ |$secondAnnot
+ |object A extends js.Object
+ """.stripMargin hasErrors s"""
+ |newSource1.scala:7: error: Native JS objects must have exactly one annotation among @JSGlobal, @JSImport and @JSGlobalScope.
+ |$secondAnnot
+ | ^
+ """
+ } else {
+ s"""
+ |@js.native
+ |$firstAnnot
+ |$secondAnnot
+ |object A extends js.Object
+ |
+ |@js.native
+ |$firstAnnot
+ |$secondAnnot
+ |class A extends js.Object
+ """.stripMargin hasErrors s"""
+ |newSource1.scala:7: error: Native JS objects must have exactly one annotation among @JSGlobal, @JSImport and @JSGlobalScope.
+ |$secondAnnot
+ | ^
+ |newSource1.scala:12: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ |$secondAnnot
+ | ^
+ """
+
+ if (firstAnnot != "@JSGlobal" && secondAnnot != "@JSGlobal") {
+ s"""
+ |object Container {
+ | @js.native
+ | $firstAnnot
+ | $secondAnnot
+ | val a: Int = js.native
+ |
+ | @js.native
+ | $firstAnnot
+ | $secondAnnot
+ | def b: Int = js.native
+ |
+ | @js.native
+ | $firstAnnot
+ | $secondAnnot
+ | def c(x: Int): Int = js.native
+ |}
+ """.stripMargin hasErrors s"""
+ |newSource1.scala:8: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | $secondAnnot
+ | ^
+ |newSource1.scala:13: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | $secondAnnot
+ | ^
+ |newSource1.scala:18: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | $secondAnnot
+ | ^
+ """
+ }
+ }
+ }
+ }
+
+ @Test def noJSNativeAnnotWithoutJSAny: Unit = {
+
+ // With the correct amount of native load spec annotations
+ """
+ @js.native @JSGlobal
+ class A
+
+ @js.native
+ trait B
+
+ @js.native @JSGlobal
+ object C
+
+ @js.native @JSGlobal
+ class D extends Enumeration
+
+ @js.native @JSGlobal
+ object E extends Enumeration
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Classes, traits and objects not extending js.Any may not have an @js.native annotation
+ | class A
+ | ^
+ |newSource1.scala:9: error: Classes, traits and objects not extending js.Any may not have an @js.native annotation
+ | trait B
+ | ^
+ |newSource1.scala:12: error: Classes, traits and objects not extending js.Any may not have an @js.native annotation
+ | object C
+ | ^
+ |newSource1.scala:15: error: Classes, traits and objects not extending js.Any may not have an @js.native annotation
+ | class D extends Enumeration
+ | ^
+ |newSource1.scala:18: error: Classes, traits and objects not extending js.Any may not have an @js.native annotation
+ | object E extends Enumeration
+ | ^
+ """
+
+ // With an incorrect amount of native load spec annotations
+ """
+ @js.native
+ class A
+
+ @js.native @JSGlobal
+ trait B
+
+ @js.native
+ object C
+
+ @js.native
+ class D extends Enumeration
+
+ @js.native
+ object E extends Enumeration
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Classes, traits and objects not extending js.Any may not have an @js.native annotation
+ | class A
+ | ^
+ |newSource1.scala:9: error: Classes, traits and objects not extending js.Any may not have an @js.native annotation
+ | trait B
+ | ^
+ |newSource1.scala:12: error: Classes, traits and objects not extending js.Any may not have an @js.native annotation
+ | object C
+ | ^
+ |newSource1.scala:15: error: Classes, traits and objects not extending js.Any may not have an @js.native annotation
+ | class D extends Enumeration
+ | ^
+ |newSource1.scala:18: error: Classes, traits and objects not extending js.Any may not have an @js.native annotation
+ | object E extends Enumeration
+ | ^
+ """
+
+ }
+
+ @Test def noInnerScalaClassTraitObjectInJSNative: Unit = {
+
+ for {
+ outer <- Seq("class", "trait")
+ inner <- Seq("class", "trait", "object")
+ } yield {
+ val jsGlobalAnnot =
+ if (outer == "trait") ""
+ else "@JSGlobal"
+ s"""
+ @js.native $jsGlobalAnnot
+ $outer A extends js.Object {
+ $inner A
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:7: error: Native JS traits, classes and objects cannot contain inner Scala traits, classes or objects (i.e., not extending js.Any)
+ | $inner A
+ | ${" " * inner.length} ^
+ """
+ }
+
+ }
+
+ @Test def noInnerNonNativeJSClassTraitObjectInJSNative: Unit = {
+
+ for {
+ outer <- Seq("class", "trait")
+ inner <- Seq("class", "trait", "object")
+ } yield {
+ val jsGlobalAnnot =
+ if (outer == "trait") ""
+ else "@JSGlobal"
+ s"""
+ @js.native $jsGlobalAnnot
+ $outer A extends js.Object {
+ $inner A extends js.Object
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:7: error: Native JS classes and traits cannot contain non-native JS classes, traits or objects
+ | $inner A extends js.Object
+ | ${" " * inner.length} ^
+ """
+ }
+
+ }
+
+ @Test def noScalaStuffInsideNativeJSObject: Unit = {
+
+ for {
+ inner <- Seq("class", "trait", "object")
+ } yield {
+ s"""
+ @js.native
+ @JSGlobal
+ object A extends js.Object {
+ $inner A
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:8: error: Native JS traits, classes and objects cannot contain inner Scala traits, classes or objects (i.e., not extending js.Any)
+ | $inner A
+ | ${" " * inner.length} ^
+ """
+ }
+
+ }
+
+ @Test def noNonSyntheticCompanionInsideNativeJSObject: Unit = {
+
+ // See #1891: The default parameter generates a synthetic companion object
+ // The synthetic companion should be allowed, but it may not be explicit
+
+ """
+ @js.native @JSGlobal object A extends js.Object {
+ @js.native class B(x: Int = ???) extends js.Object
+ object B
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS traits, classes and objects cannot contain inner Scala traits, classes or objects (i.e., not extending js.Any)
+ | object B
+ | ^
+ """
+
+ """
+ @js.native @JSGlobal object A extends js.Object {
+ @js.native class B(x: Int = ???) extends js.Object
+ }
+ """.succeeds()
+
+ }
+
+ @Test def noNonNativeJSTypesInsideNativeJSObject: Unit = {
+
+ for {
+ inner <- Seq("class", "object")
+ } yield {
+ s"""
+ @js.native
+ @JSGlobal
+ object A extends js.Object {
+ $inner A extends js.Object
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:8: error: Native JS objects cannot contain inner non-native JS classes or objects
+ | $inner A extends js.Object
+ | ${" " * inner.length} ^
+ """
+ }
+
+ }
+
+ @Test def jsNativeValDefsHaveJSNativeRHS: Unit = {
+ """
+ object Container {
+ @js.native @JSGlobal("a")
+ val a: Int = 1
+
+ @js.native @JSGlobal("b")
+ def b: Int = 3
+
+ @js.native @JSGlobal("c")
+ def c(x: Int): Int = x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @js.native members may only call js.native.
+ | val a: Int = 1
+ | ^
+ |newSource1.scala:10: error: @js.native members may only call js.native.
+ | def b: Int = 3
+ | ^
+ |newSource1.scala:13: error: @js.native members may only call js.native.
+ | def c(x: Int): Int = x + 1
+ | ^
+ """
+ }
+
+ @Test def noJSBracketAccessOnJSNativeValDefs: Unit = {
+ """
+ object Container {
+ @js.native @JSGlobal("a")
+ @JSBracketAccess
+ val a: Int = js.native
+
+ @js.native @JSGlobal("b")
+ @JSBracketAccess
+ def b: Int = js.native
+
+ @js.native @JSGlobal("c")
+ @JSBracketAccess
+ def c(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @JSBracketAccess can only be used on members of JS types.
+ | @JSBracketAccess
+ | ^
+ |newSource1.scala:11: error: @JSBracketAccess can only be used on members of JS types.
+ | @JSBracketAccess
+ | ^
+ |newSource1.scala:15: error: @JSBracketAccess can only be used on members of JS types.
+ | @JSBracketAccess
+ | ^
+ """
+ }
+
+ @Test def noJSBracketCallOnJSNativeValDefs: Unit = {
+ """
+ object Container {
+ @js.native @JSGlobal("a")
+ @JSBracketCall
+ val a: Int = js.native
+
+ @js.native @JSGlobal("b")
+ @JSBracketCall
+ def b: Int = js.native
+
+ @js.native @JSGlobal("c")
+ @JSBracketCall
+ def c(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @JSBracketCall can only be used on members of JS types.
+ | @JSBracketCall
+ | ^
+ |newSource1.scala:11: error: @JSBracketCall can only be used on members of JS types.
+ | @JSBracketCall
+ | ^
+ |newSource1.scala:15: error: @JSBracketCall can only be used on members of JS types.
+ | @JSBracketCall
+ | ^
+ """
+ }
+
+ @Test def noJSNativeValDefsInJSObjects: Unit = {
+ """
+ object A {
+ val sym = js.Symbol("foo")
+ }
+
+ object NonNativeContainer extends js.Object {
+ @js.native @JSGlobal("a")
+ val a: Int = js.native
+
+ @js.native @JSGlobal("b")
+ def b: Int = js.native
+
+ @js.native @JSGlobal("c")
+ def c(x: Int): Int = js.native
+
+ @js.native @JSName("foo")
+ val d: Int = js.native
+
+ @js.native @JSName("bar")
+ def e(x: Int): Int = js.native
+
+ @js.native @JSName(A.sym)
+ val f: Int = js.native
+
+ @js.native @JSName(A.sym)
+ def g(x: Int): Int = js.native
+ }
+
+ @js.native @JSGlobal
+ object NativeContainer extends js.Object {
+ @js.native @JSGlobal("a")
+ val a: Int = js.native
+
+ @js.native @JSGlobal("b")
+ def b: Int = js.native
+
+ @js.native @JSGlobal("c")
+ def c(x: Int): Int = js.native
+
+ @js.native @JSName("foo")
+ val d: Int = js.native
+
+ @js.native @JSName("bar")
+ def e(x: Int): Int = js.native
+
+ @js.native @JSName(A.sym)
+ val f: Int = js.native
+
+ @js.native @JSName(A.sym)
+ def g(x: Int): Int = js.native
+ }
+
+ @js.native @JSGlobal
+ object NativeContainer2 extends js.Object {
+ @js.native
+ val a: Int = js.native
+
+ @js.native
+ def b: Int = js.native
+
+ @js.native
+ def c(x: Int): Int = js.native
+
+ @js.native
+ val d: Int = js.native
+
+ @js.native
+ def e(x: Int): Int = js.native
+
+ @js.native @JSName(A.sym)
+ val f: Int = js.native
+
+ @js.native @JSName(A.sym)
+ def g(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:11: error: @js.native vals and defs can only appear in static Scala objects
+ | val a: Int = js.native
+ | ^
+ |newSource1.scala:14: error: @js.native vals and defs can only appear in static Scala objects
+ | def b: Int = js.native
+ | ^
+ |newSource1.scala:17: error: @js.native vals and defs can only appear in static Scala objects
+ | def c(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:20: error: @js.native vals and defs can only appear in static Scala objects
+ | val d: Int = js.native
+ | ^
+ |newSource1.scala:23: error: @js.native vals and defs can only appear in static Scala objects
+ | def e(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:26: error: @js.native vals and defs can only appear in static Scala objects
+ | val f: Int = js.native
+ | ^
+ |newSource1.scala:29: error: @js.native vals and defs can only appear in static Scala objects
+ | def g(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:35: error: @js.native vals and defs can only appear in static Scala objects
+ | val a: Int = js.native
+ | ^
+ |newSource1.scala:38: error: @js.native vals and defs can only appear in static Scala objects
+ | def b: Int = js.native
+ | ^
+ |newSource1.scala:41: error: @js.native vals and defs can only appear in static Scala objects
+ | def c(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:44: error: @js.native vals and defs can only appear in static Scala objects
+ | val d: Int = js.native
+ | ^
+ |newSource1.scala:47: error: @js.native vals and defs can only appear in static Scala objects
+ | def e(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:50: error: @js.native vals and defs can only appear in static Scala objects
+ | val f: Int = js.native
+ | ^
+ |newSource1.scala:53: error: @js.native vals and defs can only appear in static Scala objects
+ | def g(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:59: error: @js.native vals and defs can only appear in static Scala objects
+ | val a: Int = js.native
+ | ^
+ |newSource1.scala:62: error: @js.native vals and defs can only appear in static Scala objects
+ | def b: Int = js.native
+ | ^
+ |newSource1.scala:65: error: @js.native vals and defs can only appear in static Scala objects
+ | def c(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:68: error: @js.native vals and defs can only appear in static Scala objects
+ | val d: Int = js.native
+ | ^
+ |newSource1.scala:71: error: @js.native vals and defs can only appear in static Scala objects
+ | def e(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:74: error: @js.native vals and defs can only appear in static Scala objects
+ | val f: Int = js.native
+ | ^
+ |newSource1.scala:77: error: @js.native vals and defs can only appear in static Scala objects
+ | def g(x: Int): Int = js.native
+ | ^
+ """
+ }
+
+ @Test def noJSNativeSetters: Unit = {
+ """
+ object Container {
+ @js.native @JSGlobal("foo")
+ def foo_=(x: Int): Int = js.native
+ @js.native @JSGlobal("bar")
+ def bar_=(x: Int, y: Int): Unit = js.native
+ @js.native @JSGlobal("goo")
+ def goo_=(x: Int*): Unit = js.native
+ @js.native @JSGlobal("hoo")
+ def hoo_=(x: Int = 1): Unit = js.native
+
+ @js.native @JSImport("module.js", "foo")
+ def foo2_=(x: Int): Int = js.native
+ @js.native @JSImport("module.js", "bar")
+ def bar2_=(x: Int, y: Int): Unit = js.native
+ @js.native @JSImport("module.js", "goo")
+ def goo2_=(x: Int*): Unit = js.native
+ @js.native @JSImport("module.js", "hoo")
+ def hoo2_=(x: Int = 1): Unit = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def foo_=(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:9: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def bar_=(x: Int, y: Int): Unit = js.native
+ | ^
+ |newSource1.scala:11: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def goo_=(x: Int*): Unit = js.native
+ | ^
+ |newSource1.scala:13: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def hoo_=(x: Int = 1): Unit = js.native
+ | ^
+ |newSource1.scala:16: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def foo2_=(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:18: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def bar2_=(x: Int, y: Int): Unit = js.native
+ | ^
+ |newSource1.scala:20: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def goo2_=(x: Int*): Unit = js.native
+ | ^
+ |newSource1.scala:22: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def hoo2_=(x: Int = 1): Unit = js.native
+ | ^
+ """
+
+ // containsErrors because some versions of the compiler use `_=` and some use `_=' (notice the quotes)
+ """
+ object Container {
+ @js.native @JSGlobal("foo")
+ val foo_= : Int = js.native
+ }
+ """ containsErrors
+ """
+ |newSource1.scala:7: error: Names of vals or vars may not end in `_=
+ """
+
+ // containsErrors because some versions of the compiler use `_=` and some use `_=' (notice the quotes)
+ """
+ object Container {
+ @js.native @JSImport("module.js")
+ val foo_= : Int = js.native
+ }
+ """ containsErrors
+ """
+ |newSource1.scala:7: error: Names of vals or vars may not end in `_=
+ """
+ }
+
+ @Test def noJSNativeVars: Unit = {
+ """
+ object Container {
+ @js.native @JSGlobal("foo")
+ var foo: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | var foo: Int = js.native
+ | ^
+ """
+ }
+
+ @Test def noJSNativeLazyVals: Unit = {
+ """
+ object Container {
+ @js.native @JSGlobal("foo")
+ lazy val foo: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | lazy val foo: Int = js.native
+ | ^
+ """
+ }
+
+ @Test def jsNativeValDefsCannotImplementAbstractMethod: Unit = {
+ """
+ abstract class Parent {
+ val a: Int
+ def b: Int
+ def c(x: Int): Int
+ }
+
+ object Container extends Parent {
+ @js.native @JSGlobal("a")
+ val a: Int = js.native
+
+ @js.native @JSGlobal("b")
+ def b: Int = js.native
+
+ @js.native @JSGlobal("c")
+ def c(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:13: error: An @js.native member cannot implement the inherited member Parent.a
+ | val a: Int = js.native
+ | ^
+ |newSource1.scala:16: error: An @js.native member cannot implement the inherited member Parent.b
+ | def b: Int = js.native
+ | ^
+ |newSource1.scala:19: error: An @js.native member cannot implement the inherited member Parent.c
+ | def c(x: Int): Int = js.native
+ | ^
+ """
+ }
+
+ @Test def jsNativeValDefsCannotOverrideConcreteMethod: Unit = {
+ """
+ class Parent {
+ val a: Int = 1
+ def b: Int = 2
+ def c(x: Int): Int = x + 1
+ }
+
+ object Container extends Parent {
+ @js.native @JSGlobal("a")
+ override val a: Int = js.native
+
+ @js.native @JSGlobal("b")
+ override def b: Int = js.native
+
+ @js.native @JSGlobal("c")
+ override def c(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:13: error: An @js.native member cannot override the inherited member Parent.a
+ | override val a: Int = js.native
+ | ^
+ |newSource1.scala:16: error: An @js.native member cannot override the inherited member Parent.b
+ | override def b: Int = js.native
+ | ^
+ |newSource1.scala:19: error: An @js.native member cannot override the inherited member Parent.c
+ | override def c(x: Int): Int = js.native
+ | ^
+ """
+ }
+
+ @Test def noBadSetters: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ def foo_=(x: Int): Int = js.native
+ def bar_=(x: Int, y: Int): Unit = js.native
+ def goo_=(x: Int*): Unit = js.native
+ def hoo_=(x: Int = 1): Unit = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: JS setters must return Unit
+ | def foo_=(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:9: error: JS setters must have exactly one argument
+ | def bar_=(x: Int, y: Int): Unit = js.native
+ | ^
+ |newSource1.scala:10: error: JS setters may not have repeated params
+ | def goo_=(x: Int*): Unit = js.native
+ | ^
+ |newSource1.scala:11: error: JS setters may not have default params
+ | def hoo_=(x: Int = 1): Unit = js.native
+ | ^
+ """
+
+ }
+
+ @Test def noBadBracketAccess: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @js.annotation.JSBracketAccess
+ def foo(): Int = js.native
+
+ @js.annotation.JSBracketAccess
+ def bar(x: Int, y: Int, z: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSBracketAccess methods must have one or two parameters
+ | def foo(): Int = js.native
+ | ^
+ |newSource1.scala:12: error: @JSBracketAccess methods must have one or two parameters
+ | def bar(x: Int, y: Int, z: Int): Int = js.native
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @js.annotation.JSBracketAccess
+ def foo(x: Int, y: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSBracketAccess methods with two parameters must return Unit
+ | def foo(x: Int, y: Int): Int = js.native
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @js.annotation.JSBracketAccess
+ def bar(x: Int*): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSBracketAccess methods may not have repeated parameters
+ | def bar(x: Int*): Int = js.native
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @js.annotation.JSBracketAccess
+ def bar(x: Int = 1): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSBracketAccess methods may not have default parameters
+ | def bar(x: Int = 1): Int = js.native
+ | ^
+ """
+
+ }
+
+ @Test def noBadBracketCall: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @js.annotation.JSBracketCall
+ def foo(): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSBracketCall methods must have at least one non-repeated parameter
+ | def foo(): Int = js.native
+ | ^
+ """
+
+ }
+
+ @Test
+ def noJSOperatorAndJSName: Unit = {
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSOperator
+ @JSName("bar")
+ def +(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: A member can have at most one annotation among @JSName, @JSOperator, @JSBracketAccess and @JSBracketCall.
+ | @JSName("bar")
+ | ^
+ """
+ }
+
+ @Test // #4284
+ def noBracketAccessAndJSName: Unit = {
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSBracketAccess
+ @JSName("bar")
+ def bar(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: A member can have at most one annotation among @JSName, @JSOperator, @JSBracketAccess and @JSBracketCall.
+ | @JSName("bar")
+ | ^
+ """
+ }
+
+ // #4284
+ @Test def noBracketCallAndJSName: Unit = {
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSBracketCall
+ @JSName("bar")
+ def bar(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: A member can have at most one annotation among @JSName, @JSOperator, @JSBracketAccess and @JSBracketCall.
+ | @JSName("bar")
+ | ^
+ """
+ }
+
+ // #4284
+ @Test def noBracketAccessAndBracketCall: Unit = {
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSBracketAccess
+ @JSBracketCall
+ def bar(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: A member can have at most one annotation among @JSName, @JSOperator, @JSBracketAccess and @JSBracketCall.
+ | @JSBracketCall
+ | ^
+ """
+ }
+
+ @Test def noBadUnaryOp: Unit = {
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSOperator
+ def unary_!(x: Int*): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSOperator methods with the name 'unary_!' may not have any parameters
+ | def unary_!(x: Int*): Int = js.native
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSOperator
+ def unary_-(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSOperator methods with the name 'unary_-' may not have any parameters
+ | def unary_-(x: Int): Int = js.native
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSOperator
+ def unary_%(): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSOperator cannot be used on a method with the name 'unary_%' because it is not one of the JavaScript operators
+ | def unary_%(): Int = js.native
+ | ^
+ """
+ }
+
+ @Test def noBadBinaryOp: Unit = {
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ def +(x: Int*): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: warning: Method '+' should have an explicit @JSName or @JSOperator annotation because its name is one of the JavaScript operators
+ | def +(x: Int*): Int = js.native
+ | ^
+ |newSource1.scala:8: error: methods representing binary operations may not have repeated parameters
+ | def +(x: Int*): Int = js.native
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSOperator
+ def +(x: Int*): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: methods representing binary operations may not have repeated parameters
+ | def +(x: Int*): Int = js.native
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSOperator
+ def +(x: Int, y: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSOperator methods with the name '+' must have exactly one parameter
+ | def +(x: Int, y: Int): Int = js.native
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSOperator
+ def %%(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: @JSOperator cannot be used on a method with the name '%%' because it is not one of the JavaScript operators
+ | def %%(x: Int): Int = js.native
+ | ^
+ """
+ }
+
+ @Test def onlyJSTraits: Unit = {
+
+ """
+ trait A
+
+ @js.native
+ @JSGlobal
+ class B extends js.Object with A
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: B extends A which does not extend js.Any.
+ | class B extends js.Object with A
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class B extends js.Object with java.io.Serializable
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: B extends java.io.Serializable which does not extend js.Any.
+ | class B extends js.Object with java.io.Serializable
+ | ^
+ """
+
+ }
+
+ @Test def noCaseClassObject: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ case class A(x: Int) extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Classes and objects extending js.Any may not have a case modifier
+ | case class A(x: Int) extends js.Object
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ case object B extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Classes and objects extending js.Any may not have a case modifier
+ | case object B extends js.Object
+ | ^
+ """
+
+ """
+ case class A(x: Int) extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: Classes and objects extending js.Any may not have a case modifier
+ | case class A(x: Int) extends js.Object
+ | ^
+ """
+
+ """
+ case object B extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: Classes and objects extending js.Any may not have a case modifier
+ | case object B extends js.Object
+ | ^
+ """
+
+ }
+
+ @Test def noNativeJSNestedInScalaClassTrait: Unit = {
+
+ val outers = List("class", "trait")
+ val inners = List("trait", "class", "object")
+
+ for {
+ outer <- outers
+ inner <- inners
+ } yield {
+ val jsGlobalAnnot =
+ if (inner == "trait") ""
+ else "@JSGlobal"
+
+ val errTrg = if (inner == "object") "objects" else "classes"
+
+ s"""
+ $outer A {
+ @js.native $jsGlobalAnnot
+ $inner Inner extends js.Object
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:7: error: Scala traits and classes may not have native JS members
+ | $inner Inner extends js.Object
+ | ${" " * inner.length}^
+ """
+ }
+
+ }
+
+ @Test def noNativeJSNestedInNonNativeJS: Unit = {
+
+ val outers = List("class", "trait", "object")
+ val inners = List("class", "trait", "object")
+
+ for {
+ outer <- outers
+ inner <- inners
+ } yield {
+ val jsGlobalAnnot =
+ if (inner == "trait") ""
+ else "@JSGlobal"
+
+ val errTrg = if (inner == "object") "objects" else "classes"
+
+ s"""
+ $outer A extends js.Object {
+ @js.native $jsGlobalAnnot
+ $inner Inner extends js.Object
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:7: error: non-native JS classes, traits and objects may not have native JS members
+ | $inner Inner extends js.Object
+ | ${" " * inner.length}^
+ """
+ }
+
+ }
+
+ @Test def noLocalJSNative: Unit = {
+ """
+ object A {
+ def a = {
+ @js.native @JSGlobal
+ class B extends js.Object
+
+ @js.native @JSGlobal
+ object C extends js.Object
+
+ @js.native @JSGlobal
+ val d: Int = js.native
+
+ @js.native @JSGlobal
+ var e: Int = js.native
+
+ @js.native @JSGlobal
+ def f: Int = js.native
+
+ @js.native @JSGlobal
+ def f_=(v: Int): Unit = js.native
+
+ @js.native @JSGlobal
+ def g(x: Int): Int = js.native
+
+ @js.native @JSGlobal
+ lazy val h: Int = js.native
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: @js.native is not allowed on local definitions
+ | class B extends js.Object
+ | ^
+ |newSource1.scala:11: error: @js.native is not allowed on local definitions
+ | object C extends js.Object
+ | ^
+ |newSource1.scala:14: error: @js.native is not allowed on local definitions
+ | val d: Int = js.native
+ | ^
+ |newSource1.scala:17: error: @js.native is not allowed on local definitions
+ | var e: Int = js.native
+ | ^
+ |newSource1.scala:20: error: @js.native is not allowed on local definitions
+ | def f: Int = js.native
+ | ^
+ |newSource1.scala:23: error: @js.native is not allowed on local definitions
+ | def f_=(v: Int): Unit = js.native
+ | ^
+ |newSource1.scala:26: error: @js.native is not allowed on local definitions
+ | def g(x: Int): Int = js.native
+ | ^
+ |newSource1.scala:29: error: @js.native is not allowed on local definitions
+ | lazy val h: Int = js.native
+ | ^
+ """
+ }
+
+ @Test def noNativeInJSAny: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @native
+ def value: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: Methods in a js.Any may not be @native
+ | def value: Int = js.native
+ | ^
+ """
+
+ }
+
+ @Test def checkJSAnyBody: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ def value: Int = ???
+ val x: Int = ???
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: Concrete members of JS native types may only call js.native.
+ | def value: Int = ???
+ | ^
+ |newSource1.scala:9: error: Concrete members of JS native types may only call js.native.
+ | val x: Int = ???
+ | ^
+ """
+
+ }
+
+ @Test def noWarnJSAnyDeferred: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ abstract class A extends js.Object {
+ def value: Int
+ val x: Int
+ }
+ """.hasNoWarns()
+
+ """
+ @js.native
+ trait A extends js.Object {
+ def value: Int
+ val x: Int
+ }
+ """.hasNoWarns()
+
+ }
+
+ @Test def noCallSecondaryCtor: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class A(x: Int, y: Int) extends js.Object {
+ def this(x: Int) = this(x, 5)
+ def this() = this(7)
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: A secondary constructor of a class extending js.Any may only call the primary constructor
+ | def this() = this(7)
+ | ^
+ """
+
+ }
+
+ @Test def noPrivateMemberInNative: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ private[this] val a: Int = js.native
+ private val b: Int = js.native
+ private[A] val c: Int = js.native
+
+ private[this] var d: Int = js.native
+ private var e: Int = js.native
+ private[A] var f: Int = js.native
+
+ private[this] def g(): Int = js.native
+ private def h(): Int = js.native
+ private[A] def i(): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: Native JS classes may not have private members. Use a public member in a private facade instead.
+ | private[this] val a: Int = js.native
+ | ^
+ |newSource1.scala:9: error: Native JS classes may not have private members. Use a public member in a private facade instead.
+ | private val b: Int = js.native
+ | ^
+ |newSource1.scala:10: error: Native JS classes may not have private members. Use a public member in a private facade instead.
+ | private[A] val c: Int = js.native
+ | ^
+ |newSource1.scala:12: error: Native JS classes may not have private members. Use a public member in a private facade instead.
+ | private[this] var d: Int = js.native
+ | ^
+ |newSource1.scala:13: error: Native JS classes may not have private members. Use a public member in a private facade instead.
+ | private var e: Int = js.native
+ | ^
+ |newSource1.scala:14: error: Native JS classes may not have private members. Use a public member in a private facade instead.
+ | private[A] var f: Int = js.native
+ | ^
+ |newSource1.scala:16: error: Native JS classes may not have private members. Use a public member in a private facade instead.
+ | private[this] def g(): Int = js.native
+ | ^
+ |newSource1.scala:17: error: Native JS classes may not have private members. Use a public member in a private facade instead.
+ | private def h(): Int = js.native
+ | ^
+ |newSource1.scala:18: error: Native JS classes may not have private members. Use a public member in a private facade instead.
+ | private[A] def i(): Int = js.native
+ | ^
+ """
+
+ }
+
+ @Test def noPrivateConstructorInNative: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class A private () extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS classes may not have private constructors. Use `private[this]` to declare an internal constructor.
+ | class A private () extends js.Object
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A private[A] () extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS classes may not have private constructors. Use `private[this]` to declare an internal constructor.
+ | class A private[A] () extends js.Object
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A private[this] () extends js.Object
+ """.hasNoWarns()
+
+ }
+
+ @Test def noUseJsNative: Unit = {
+
+ """
+ class A {
+ def foo = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: js.native may only be used as stub implementation in facade types
+ | def foo = js.native
+ | ^
+ """
+
+ }
+
+ @Test def warnNothingInNativeJS: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ def foo = js.native
+ val bar = js.native
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:8: warning: The type of foo got inferred as Nothing. To suppress this warning, explicitly ascribe the type.
+ | def foo = js.native
+ | ^
+ |newSource1.scala:9: warning: The type of bar got inferred as Nothing. To suppress this warning, explicitly ascribe the type.
+ | val bar = js.native
+ | ^
+ """
+
+ }
+
+ @Test def nativeClassHasLoadingSpec: Unit = {
+ """
+ @js.native
+ class A extends js.Object
+
+ @js.native
+ abstract class B extends js.Object
+
+ object Container {
+ @js.native
+ class C extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | class A extends js.Object
+ | ^
+ |newSource1.scala:9: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | abstract class B extends js.Object
+ | ^
+ |newSource1.scala:13: error: Native JS classes, vals and defs must have exactly one annotation among @JSGlobal and @JSImport.
+ | class C extends js.Object
+ | ^
+ """
+ }
+
+ @Test def nativeObjectHasLoadingSpec: Unit = {
+ """
+ @js.native
+ object A extends js.Object
+
+ object Container {
+ @js.native
+ object B extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Native JS objects must have exactly one annotation among @JSGlobal, @JSImport and @JSGlobalScope.
+ | object A extends js.Object
+ | ^
+ |newSource1.scala:10: error: Native JS objects must have exactly one annotation among @JSGlobal, @JSImport and @JSGlobalScope.
+ | object B extends js.Object
+ | ^
+ """
+ }
+
+ @Test def noNativeDefinitionNamedApplyWithoutExplicitName: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class apply extends js.Object
+
+ @js.native
+ @JSGlobal
+ object apply extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Native JS definitions named 'apply' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ |newSource1.scala:10: error: Native JS definitions named 'apply' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ """
+
+ """
+ @js.native
+ @JSImport("foo.js")
+ class apply extends js.Object
+
+ @js.native
+ @JSImport("foo.js")
+ object apply extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Native JS definitions named 'apply' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ |newSource1.scala:10: error: Native JS definitions named 'apply' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSGlobal
+ class apply extends js.Object
+
+ @js.native
+ @JSGlobal
+ object apply extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions named 'apply' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ |newSource1.scala:11: error: Native JS definitions named 'apply' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSImport("foo.js")
+ class apply extends js.Object
+
+ @js.native
+ @JSImport("foo.js")
+ object apply extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions named 'apply' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ |newSource1.scala:11: error: Native JS definitions named 'apply' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ """
+
+ """
+ package object A {
+ @js.native
+ @JSGlobal
+ class apply extends js.Object
+
+ @js.native
+ @JSGlobal
+ object apply extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions named 'apply' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ |newSource1.scala:11: error: Native JS definitions named 'apply' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ """
+
+ """
+ package object A {
+ @js.native
+ @JSImport("foo.js")
+ class apply extends js.Object
+
+ @js.native
+ @JSImport("foo.js")
+ object apply extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions named 'apply' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ |newSource1.scala:11: error: Native JS definitions named 'apply' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSGlobal
+ val apply: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions named 'apply' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSImport("foo.js")
+ val apply: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions named 'apply' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSGlobal
+ def apply: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions named 'apply' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSImport("foo.js")
+ def apply: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions named 'apply' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSGlobal
+ def apply(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions named 'apply' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSImport("foo.js")
+ def apply(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions named 'apply' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ """
+
+ """
+ @JSGlobal("apply")
+ @js.native
+ class apply extends js.Object
+
+ @JSGlobal("apply")
+ @js.native
+ object apply extends js.Object
+
+ object A {
+ @JSGlobal("apply")
+ @js.native
+ class apply extends js.Object
+
+ @JSGlobal("apply")
+ @js.native
+ object apply extends js.Object
+ }
+
+ object B {
+ @JSGlobal("apply")
+ @js.native
+ val apply: Int = js.native
+ }
+
+ object C {
+ @JSGlobal("apply")
+ @js.native
+ def apply: Int = js.native
+ }
+
+ object D {
+ @JSGlobal("apply")
+ @js.native
+ def apply(x: Int): Int = js.native
+ }
+ """.hasNoWarns()
+
+ """
+ @JSImport("foo.js", "apply")
+ @js.native
+ class apply extends js.Object
+
+ @JSImport("foo.js", "apply")
+ @js.native
+ object apply extends js.Object
+
+ object A {
+ @JSImport("foo.js", "apply")
+ @js.native
+ class apply extends js.Object
+
+ @JSImport("foo.js", "apply")
+ @js.native
+ object apply extends js.Object
+ }
+
+ object B {
+ @JSImport("foo.js", "apply")
+ @js.native
+ val apply: Int = js.native
+ }
+
+ object C {
+ @JSImport("foo.js", "apply")
+ @js.native
+ def apply: Int = js.native
+ }
+
+ object D {
+ @JSImport("foo.js", "apply")
+ @js.native
+ def apply(x: Int): Int = js.native
+ }
+ """.hasNoWarns()
+
+ """
+ @JSImport("foo.js", "apply", globalFallback = "apply")
+ @js.native
+ class apply extends js.Object
+
+ @JSImport("foo.js", "apply", globalFallback = "apply")
+ @js.native
+ object apply extends js.Object
+
+ object A {
+ @JSImport("foo.js", "apply", globalFallback = "apply")
+ @js.native
+ class apply extends js.Object
+
+ @JSImport("foo.js", "apply", globalFallback = "apply")
+ @js.native
+ object apply extends js.Object
+ }
+ """.hasNoWarns()
+
+ }
+
+ @Test def noNativeDefinitionWithSetterNameWithoutExplicitName: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class foo_= extends js.Object
+
+ @js.native
+ @JSGlobal
+ object foo_= extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ |newSource1.scala:10: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ """
+
+ """
+ @js.native
+ @JSImport("foo.js")
+ class foo_= extends js.Object
+
+ @js.native
+ @JSImport("foo.js")
+ object foo_= extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ |newSource1.scala:10: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSGlobal
+ class foo_= extends js.Object
+
+ @js.native
+ @JSGlobal
+ object foo_= extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ |newSource1.scala:11: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSImport("foo.js")
+ class foo_= extends js.Object
+
+ @js.native
+ @JSImport("foo.js")
+ object foo_= extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ |newSource1.scala:11: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ """
+
+ """
+ package object A {
+ @js.native
+ @JSGlobal
+ class foo_= extends js.Object
+
+ @js.native
+ @JSGlobal
+ object foo_= extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ |newSource1.scala:11: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ """
+
+ """
+ package object A {
+ @js.native
+ @JSImport("foo.js")
+ class foo_= extends js.Object
+
+ @js.native
+ @JSImport("foo.js")
+ object foo_= extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ |newSource1.scala:11: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ """
+
+ // containsErrors because some versions of the compiler use `_=` and some use `_=' (notice the quotes)
+ """
+ object A {
+ @js.native
+ @JSGlobal
+ val foo_= : Int = js.native
+ }
+ """ containsErrors
+ """
+ |newSource1.scala:8: error: Names of vals or vars may not end in `_=
+ """
+
+ // containsErrors because some versions of the compiler use `_=` and some use `_=' (notice the quotes)
+ """
+ object A {
+ @js.native
+ @JSImport("foo.js")
+ val foo_= : Int = js.native
+ }
+ """ containsErrors
+ """
+ |newSource1.scala:8: error: Names of vals or vars may not end in `_=
+ """
+
+ // containsErrors because some versions of the compiler use `_=` and some use `_=' (notice the quotes)
+ """
+ object A {
+ @js.native
+ @JSGlobal
+ var foo_= : Int = js.native
+ }
+ """ containsErrors
+ """
+ |newSource1.scala:8: error: Names of vals or vars may not end in `_=
+ """
+
+ """
+ object A {
+ @js.native
+ @JSGlobal
+ def foo_= : Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ |newSource1.scala:8: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def foo_= : Int = js.native
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSGlobal("foo")
+ def foo_= : Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def foo_= : Int = js.native
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSImport("foo.js")
+ def foo_= : Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ |newSource1.scala:8: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def foo_= : Int = js.native
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSImport("foo.js", "foo")
+ def foo_= : Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def foo_= : Int = js.native
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSGlobal
+ def foo_=(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSGlobal
+ | @JSGlobal
+ | ^
+ |newSource1.scala:8: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def foo_=(x: Int): Int = js.native
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSGlobal("foo")
+ def foo_=(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def foo_=(x: Int): Int = js.native
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSImport("foo.js")
+ def foo_=(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Native JS definitions with a name ending in '_=' must have an explicit name in @JSImport
+ | @JSImport("foo.js")
+ | ^
+ |newSource1.scala:8: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def foo_=(x: Int): Int = js.native
+ | ^
+ """
+
+ """
+ object A {
+ @js.native
+ @JSImport("foo.js", "foo")
+ def foo_=(x: Int): Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: @js.native is not allowed on vars, lazy vals and setter defs
+ | def foo_=(x: Int): Int = js.native
+ | ^
+ """
+
+ """
+ @JSGlobal("foo")
+ @js.native
+ class foo_= extends js.Object
+
+ @JSGlobal("foo")
+ @js.native
+ object foo_= extends js.Object
+
+ object A {
+ @JSGlobal("foo")
+ @js.native
+ class foo_= extends js.Object
+
+ @JSGlobal("foo")
+ @js.native
+ object foo_= extends js.Object
+ }
+ """.hasNoWarns()
+
+ """
+ @JSImport("foo.js", "foo_=")
+ @js.native
+ class foo_= extends js.Object
+
+ @JSImport("foo.js", "foo_=")
+ @js.native
+ object foo_= extends js.Object
+
+ object A {
+ @JSImport("foo.js", "foo_=")
+ @js.native
+ class foo_= extends js.Object
+
+ @JSImport("foo.js", "foo_=")
+ @js.native
+ object foo_= extends js.Object
+ }
+ """.hasNoWarns()
+
+ """
+ @JSImport("foo.js", "foo_=", globalFallback = "foo")
+ @js.native
+ class foo_= extends js.Object
+
+ @JSImport("foo.js", "foo_=", globalFallback = "foo")
+ @js.native
+ object foo_= extends js.Object
+
+ object A {
+ @JSImport("foo.js", "foo_=", globalFallback = "foo")
+ @js.native
+ class foo_= extends js.Object
+
+ @JSImport("foo.js", "foo_=", globalFallback = "foo")
+ @js.native
+ object foo_= extends js.Object
+ }
+ """.hasNoWarns()
+
+ }
+
+ @Test def noNonLiteralJSName: Unit = {
+
+ """
+ import js.annotation.JSName
+
+ object A {
+ val a = "Hello"
+ final val b = "World"
+ }
+
+ @js.native
+ @JSGlobal
+ class B extends js.Object {
+ @JSName(A.a)
+ def foo: Int = js.native
+ @JSName(A.b)
+ def bar: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:15: error: A string argument to JSName must be a literal string
+ | @JSName(A.a)
+ | ^
+ """
+
+ }
+
+ @Test def noNonStaticStableJSNameSymbol: Unit = {
+
+ """
+ import js.annotation.JSName
+
+ class A {
+ val a = js.Symbol("foo")
+ }
+
+ @js.native
+ @JSGlobal
+ class B extends js.Object {
+ @JSName(js.Symbol())
+ def foo: Int = js.native
+ @JSName(new A().a)
+ def bar: Int = js.native
+ }
+
+ class C extends js.Object {
+ @JSName(js.Symbol())
+ def foo: Int = js.native
+ @JSName(new A().a)
+ def bar: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:14: error: A js.Symbol argument to JSName must be a static, stable identifier
+ | @JSName(js.Symbol())
+ | ^
+ |newSource1.scala:16: error: A js.Symbol argument to JSName must be a static, stable identifier
+ | @JSName(new A().a)
+ | ^
+ |newSource1.scala:21: error: A js.Symbol argument to JSName must be a static, stable identifier
+ | @JSName(js.Symbol())
+ | ^
+ |newSource1.scala:23: error: A js.Symbol argument to JSName must be a static, stable identifier
+ | @JSName(new A().a)
+ | ^
+ """
+
+ }
+
+ @Test def noSelfReferenceJSNameSymbol: Unit = {
+
+ """
+ object A extends js.Object {
+ val a = js.Symbol("foo")
+
+ @JSName(a)
+ def foo: Int = 1
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:8: warning: This symbol is defined in the same object as the annotation's target. This will cause a stackoverflow at runtime
+ | @JSName(a)
+ | ^
+ """
+
+ // Native objects are OK, since we do not control definition order.
+ """
+ @JSGlobal
+ @js.native
+ object A extends js.Object {
+ val a: js.Symbol = js.native
+
+ @JSName(a)
+ def foo: Int = js.native
+ }
+ """.succeeds()
+
+ }
+
+ @Test def noJSGlobalOnMembersOfClassesAndTraits: Unit = {
+
+ for (outer <- Seq("class", "trait")) {
+ s"""
+ @js.native ${if (outer == "trait") "" else "@JSGlobal"}
+ $outer Foo extends js.Object {
+ @JSGlobal("bar1")
+ val bar1: Int = js.native
+ @JSGlobal("bar2")
+ var bar2: Int = js.native
+ @JSGlobal("bar3")
+ def bar3: Int = js.native
+
+ @js.native
+ @JSGlobal("Inner")
+ class Inner extends js.Object
+
+ @js.native
+ @JSGlobal("Inner")
+ object Inner extends js.Object
+
+ @js.native
+ @JSGlobal
+ class InnerImplied extends js.Object
+
+ @js.native
+ @JSGlobal
+ object InnerImplied extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal("bar1")
+ | ^
+ |newSource1.scala:9: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal("bar2")
+ | ^
+ |newSource1.scala:11: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal("bar3")
+ | ^
+ |newSource1.scala:15: error: Nested JS classes and objects cannot have an @JSGlobal annotation.
+ | @JSGlobal("Inner")
+ | ^
+ |newSource1.scala:19: error: Nested JS classes and objects cannot have an @JSGlobal annotation.
+ | @JSGlobal("Inner")
+ | ^
+ |newSource1.scala:23: error: Nested JS classes and objects cannot have an @JSGlobal annotation.
+ | @JSGlobal
+ | ^
+ |newSource1.scala:27: error: Nested JS classes and objects cannot have an @JSGlobal annotation.
+ | @JSGlobal
+ | ^
+ """
+ }
+
+ }
+
+ @Test def noJSGlobalOnMembersOfObjects: Unit = {
+
+ s"""
+ @js.native @JSGlobal
+ object Foo extends js.Object {
+ @JSGlobal("bar1")
+ val bar1: Int = js.native
+ @JSGlobal("bar2")
+ var bar2: Int = js.native
+ @JSGlobal("bar3")
+ def bar3: Int = js.native
+
+ @js.native
+ @JSGlobal("Inner")
+ class Inner extends js.Object
+
+ @js.native
+ @JSGlobal("Inner")
+ object Inner extends js.Object
+
+ @js.native
+ @JSGlobal
+ class InnerImplied extends js.Object
+
+ @js.native
+ @JSGlobal
+ object InnerImplied extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal("bar1")
+ | ^
+ |newSource1.scala:9: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal("bar2")
+ | ^
+ |newSource1.scala:11: error: @JSGlobal can only be used on native JS definitions (with @js.native).
+ | @JSGlobal("bar3")
+ | ^
+ |newSource1.scala:15: error: Nested JS classes and objects cannot have an @JSGlobal annotation.
+ | @JSGlobal("Inner")
+ | ^
+ |newSource1.scala:19: error: Nested JS classes and objects cannot have an @JSGlobal annotation.
+ | @JSGlobal("Inner")
+ | ^
+ |newSource1.scala:23: error: Nested JS classes and objects cannot have an @JSGlobal annotation.
+ | @JSGlobal
+ | ^
+ |newSource1.scala:27: error: Nested JS classes and objects cannot have an @JSGlobal annotation.
+ | @JSGlobal
+ | ^
+ """
+
+ }
+
+ @Test def noJSImportOnMembersOfClassesAndTraits: Unit = {
+
+ for {
+ outer <- Seq("class", "trait")
+ fallbackStr <- Seq("", ", globalFallback = \"Foo\"")
+ } {
+ s"""
+ @js.native ${if (outer == "trait") "" else "@JSGlobal"}
+ $outer Foo extends js.Object {
+ @JSImport("bar1", JSImport.Namespace$fallbackStr)
+ val bar1: Int = js.native
+ @JSImport("bar2", JSImport.Namespace$fallbackStr)
+ var bar2: Int = js.native
+ @JSImport("bar3", JSImport.Namespace$fallbackStr)
+ def bar3: Int = js.native
+
+ @js.native
+ @JSImport("Inner", JSImport.Namespace$fallbackStr)
+ class Inner extends js.Object
+
+ @js.native
+ @JSImport("Inner", JSImport.Namespace$fallbackStr)
+ object Inner extends js.Object
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:7: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("bar1", JSImport.Namespace$fallbackStr)
+ | ^
+ |newSource1.scala:9: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("bar2", JSImport.Namespace$fallbackStr)
+ | ^
+ |newSource1.scala:11: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("bar3", JSImport.Namespace$fallbackStr)
+ | ^
+ |newSource1.scala:15: error: Nested JS classes and objects cannot have an @JSImport annotation.
+ | @JSImport("Inner", JSImport.Namespace$fallbackStr)
+ | ^
+ |newSource1.scala:19: error: Nested JS classes and objects cannot have an @JSImport annotation.
+ | @JSImport("Inner", JSImport.Namespace$fallbackStr)
+ | ^
+ """
+ }
+
+ }
+
+ @Test def noJSImportOnMembersOfObjects: Unit = {
+
+ for {
+ fallbackStr <- Seq("", ", globalFallback = \"Foo\"")
+ } {
+ s"""
+ @js.native @JSGlobal
+ object Foo extends js.Object {
+ @JSImport("bar1", JSImport.Namespace$fallbackStr)
+ val bar1: Int = js.native
+ @JSImport("bar2", JSImport.Namespace$fallbackStr)
+ var bar2: Int = js.native
+ @JSImport("bar3", JSImport.Namespace$fallbackStr)
+ def bar3: Int = js.native
+
+ @js.native
+ @JSImport("Inner", JSImport.Namespace$fallbackStr)
+ class Inner extends js.Object
+
+ @js.native
+ @JSImport("Inner", JSImport.Namespace$fallbackStr)
+ object Inner extends js.Object
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:7: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("bar1", JSImport.Namespace$fallbackStr)
+ | ^
+ |newSource1.scala:9: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("bar2", JSImport.Namespace$fallbackStr)
+ | ^
+ |newSource1.scala:11: error: @JSImport can only be used on native JS definitions (with @js.native).
+ | @JSImport("bar3", JSImport.Namespace$fallbackStr)
+ | ^
+ |newSource1.scala:15: error: Nested JS classes and objects cannot have an @JSImport annotation.
+ | @JSImport("Inner", JSImport.Namespace$fallbackStr)
+ | ^
+ |newSource1.scala:19: error: Nested JS classes and objects cannot have an @JSImport annotation.
+ | @JSImport("Inner", JSImport.Namespace$fallbackStr)
+ | ^
+ """
+ }
+
+ }
+
+ @Test def noNonLiteralJSGlobal: Unit = {
+
+ """
+ object A {
+ val a = "Hello"
+ }
+
+ @JSGlobal(A.a)
+ @js.native
+ object B extends js.Object
+
+ @JSGlobal(A.a)
+ @js.native
+ class C extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: The argument to @JSGlobal must be a literal string.
+ | @JSGlobal(A.a)
+ | ^
+ |newSource1.scala:13: error: The argument to @JSGlobal must be a literal string.
+ | @JSGlobal(A.a)
+ | ^
+ """
+
+ }
+
+ @Test def noNonJSIdentifierJSGlobal: Unit = {
+
+ """
+ @js.native
+ @JSGlobal
+ class `not-a-valid-JS-identifier` extends js.Object
+
+ @js.native
+ @JSGlobal("not-a-valid-JS-identifier")
+ object A extends js.Object
+
+ @js.native
+ @JSGlobal("not-a-valid-JS-identifier.further")
+ object B extends js.Object
+
+ @js.native
+ @JSGlobal("TopLevel.not-a-valid-JS-identifier") // valid
+ object C extends js.Object
+
+ @js.native
+ @JSGlobal("")
+ object D extends js.Object
+
+ @js.native
+ @JSGlobal(".tricky")
+ object E extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: The name of a JS global variable must be a valid JS identifier (got 'not-a-valid-JS-identifier')
+ | class `not-a-valid-JS-identifier` extends js.Object
+ | ^
+ |newSource1.scala:11: error: The name of a JS global variable must be a valid JS identifier (got 'not-a-valid-JS-identifier')
+ | object A extends js.Object
+ | ^
+ |newSource1.scala:15: error: The name of a JS global variable must be a valid JS identifier (got 'not-a-valid-JS-identifier')
+ | object B extends js.Object
+ | ^
+ |newSource1.scala:23: error: The name of a JS global variable must be a valid JS identifier (got '')
+ | object D extends js.Object
+ | ^
+ |newSource1.scala:27: error: The name of a JS global variable must be a valid JS identifier (got '')
+ | object E extends js.Object
+ | ^
+ """
+
+ """
+ @js.native
+ @JSImport("foo.js", "foo", globalFallback = "not-a-valid-JS-identifier")
+ object A extends js.Object
+
+ @js.native
+ @JSImport("foo.js", "foo", globalFallback = "not-a-valid-JS-identifier.further")
+ object B extends js.Object
+
+ @js.native
+ @JSImport("foo.js", "foo", globalFallback = "TopLevel.not-a-valid-JS-identifier") // valid
+ object C extends js.Object
+
+ @js.native
+ @JSImport("foo.js", "foo", globalFallback = "")
+ object D extends js.Object
+
+ @js.native
+ @JSImport("foo.js", "foo", globalFallback = ".tricky")
+ object E extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: The name of a JS global variable must be a valid JS identifier (got 'not-a-valid-JS-identifier')
+ | object A extends js.Object
+ | ^
+ |newSource1.scala:11: error: The name of a JS global variable must be a valid JS identifier (got 'not-a-valid-JS-identifier')
+ | object B extends js.Object
+ | ^
+ |newSource1.scala:19: error: The name of a JS global variable must be a valid JS identifier (got '')
+ | object D extends js.Object
+ | ^
+ |newSource1.scala:23: error: The name of a JS global variable must be a valid JS identifier (got '')
+ | object E extends js.Object
+ | ^
+ """
+
+ }
+
+ @Test def noNonLiteralJSImport: Unit = {
+
+ // Without global fallback
+
+ """
+ object A {
+ val a = "Hello"
+ }
+
+ @JSImport(A.a, JSImport.Namespace)
+ @js.native
+ object B1 extends js.Object
+
+ @JSImport(A.a, "B2")
+ @js.native
+ object B2 extends js.Object
+
+ @JSImport("B3", A.a)
+ @js.native
+ object B3 extends js.Object
+
+ @JSImport(A.a, JSImport.Namespace)
+ @js.native
+ object C1 extends js.Object
+
+ @JSImport(A.a, "C2")
+ @js.native
+ object C2 extends js.Object
+
+ @JSImport("C3", A.a)
+ @js.native
+ object C3 extends js.Object
+
+ @JSImport(A.a, A.a)
+ @js.native
+ object D extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, JSImport.Namespace)
+ | ^
+ |newSource1.scala:13: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, "B2")
+ | ^
+ |newSource1.scala:17: error: The second argument to @JSImport must be literal string or the JSImport.Namespace object.
+ | @JSImport("B3", A.a)
+ | ^
+ |newSource1.scala:21: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, JSImport.Namespace)
+ | ^
+ |newSource1.scala:25: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, "C2")
+ | ^
+ |newSource1.scala:29: error: The second argument to @JSImport must be literal string or the JSImport.Namespace object.
+ | @JSImport("C3", A.a)
+ | ^
+ |newSource1.scala:33: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, A.a)
+ | ^
+ |newSource1.scala:33: error: The second argument to @JSImport must be literal string or the JSImport.Namespace object.
+ | @JSImport(A.a, A.a)
+ | ^
+ """
+
+ // With constant (valid) global fallback
+
+ """
+ object A {
+ val a = "Hello"
+ }
+
+ @JSImport(A.a, JSImport.Namespace, globalFallback = "GlobB1")
+ @js.native
+ object B1 extends js.Object
+
+ @JSImport(A.a, "B2", globalFallback = "GlobB2")
+ @js.native
+ object B2 extends js.Object
+
+ @JSImport("B3", A.a, globalFallback = "GlobB3")
+ @js.native
+ object B3 extends js.Object
+
+ @JSImport(A.a, JSImport.Namespace, globalFallback = "GlobC1")
+ @js.native
+ object C1 extends js.Object
+
+ @JSImport(A.a, "C2", globalFallback = "GlobC2")
+ @js.native
+ object C2 extends js.Object
+
+ @JSImport("C3", A.a, globalFallback = "GlobC3")
+ @js.native
+ object C3 extends js.Object
+
+ @JSImport(A.a, A.a, globalFallback = "GlobD")
+ @js.native
+ object D extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, JSImport.Namespace, globalFallback = "GlobB1")
+ | ^
+ |newSource1.scala:13: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, "B2", globalFallback = "GlobB2")
+ | ^
+ |newSource1.scala:17: error: The second argument to @JSImport must be literal string or the JSImport.Namespace object.
+ | @JSImport("B3", A.a, globalFallback = "GlobB3")
+ | ^
+ |newSource1.scala:21: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, JSImport.Namespace, globalFallback = "GlobC1")
+ | ^
+ |newSource1.scala:25: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, "C2", globalFallback = "GlobC2")
+ | ^
+ |newSource1.scala:29: error: The second argument to @JSImport must be literal string or the JSImport.Namespace object.
+ | @JSImport("C3", A.a, globalFallback = "GlobC3")
+ | ^
+ |newSource1.scala:33: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, A.a, globalFallback = "GlobD")
+ | ^
+ |newSource1.scala:33: error: The second argument to @JSImport must be literal string or the JSImport.Namespace object.
+ | @JSImport(A.a, A.a, globalFallback = "GlobD")
+ | ^
+ """
+
+ // With variable (invalid) global fallback
+
+ """
+ object A {
+ val a = "Hello"
+ }
+
+ @JSImport(A.a, JSImport.Namespace, globalFallback = A.a)
+ @js.native
+ object B1 extends js.Object
+
+ @JSImport(A.a, "B2", globalFallback = A.a)
+ @js.native
+ object B2 extends js.Object
+
+ @JSImport("B3", A.a, globalFallback = A.a)
+ @js.native
+ object B3 extends js.Object
+
+ @JSImport(A.a, JSImport.Namespace, globalFallback = A.a)
+ @js.native
+ object C1 extends js.Object
+
+ @JSImport(A.a, "C2", globalFallback = A.a)
+ @js.native
+ object C2 extends js.Object
+
+ @JSImport("C3", A.a, globalFallback = A.a)
+ @js.native
+ object C3 extends js.Object
+
+ @JSImport(A.a, A.a, globalFallback = A.a)
+ @js.native
+ object D extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:9: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, JSImport.Namespace, globalFallback = A.a)
+ | ^
+ |newSource1.scala:9: error: The third argument to @JSImport, when present, must be a literal string.
+ | @JSImport(A.a, JSImport.Namespace, globalFallback = A.a)
+ | ^
+ |newSource1.scala:13: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, "B2", globalFallback = A.a)
+ | ^
+ |newSource1.scala:13: error: The third argument to @JSImport, when present, must be a literal string.
+ | @JSImport(A.a, "B2", globalFallback = A.a)
+ | ^
+ |newSource1.scala:17: error: The second argument to @JSImport must be literal string or the JSImport.Namespace object.
+ | @JSImport("B3", A.a, globalFallback = A.a)
+ | ^
+ |newSource1.scala:17: error: The third argument to @JSImport, when present, must be a literal string.
+ | @JSImport("B3", A.a, globalFallback = A.a)
+ | ^
+ |newSource1.scala:21: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, JSImport.Namespace, globalFallback = A.a)
+ | ^
+ |newSource1.scala:21: error: The third argument to @JSImport, when present, must be a literal string.
+ | @JSImport(A.a, JSImport.Namespace, globalFallback = A.a)
+ | ^
+ |newSource1.scala:25: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, "C2", globalFallback = A.a)
+ | ^
+ |newSource1.scala:25: error: The third argument to @JSImport, when present, must be a literal string.
+ | @JSImport(A.a, "C2", globalFallback = A.a)
+ | ^
+ |newSource1.scala:29: error: The second argument to @JSImport must be literal string or the JSImport.Namespace object.
+ | @JSImport("C3", A.a, globalFallback = A.a)
+ | ^
+ |newSource1.scala:29: error: The third argument to @JSImport, when present, must be a literal string.
+ | @JSImport("C3", A.a, globalFallback = A.a)
+ | ^
+ |newSource1.scala:33: error: The first argument to @JSImport must be a literal string.
+ | @JSImport(A.a, A.a, globalFallback = A.a)
+ | ^
+ |newSource1.scala:33: error: The second argument to @JSImport must be literal string or the JSImport.Namespace object.
+ | @JSImport(A.a, A.a, globalFallback = A.a)
+ | ^
+ |newSource1.scala:33: error: The third argument to @JSImport, when present, must be a literal string.
+ | @JSImport(A.a, A.a, globalFallback = A.a)
+ | ^
+ """
+
+ }
+
+ @Test def noApplyProperty: Unit = {
+
+ // def apply
+
+ """
+ @js.native
+ trait A extends js.Object {
+ def apply: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: A member named apply represents function application in JavaScript. A parameterless member should be exported as a property. You must add @JSName("apply")
+ | def apply: Int = js.native
+ | ^
+ """
+
+ """
+ import js.annotation.JSName
+
+ @js.native
+ trait A extends js.Object {
+ @JSName("apply")
+ def apply: Int = js.native
+ }
+ """.succeeds()
+
+ // val apply
+
+ """
+ @js.native
+ trait A extends js.Object {
+ val apply: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: A member named apply represents function application in JavaScript. A parameterless member should be exported as a property. You must add @JSName("apply")
+ | val apply: Int = js.native
+ | ^
+ """
+
+ """
+ import js.annotation.JSName
+
+ @js.native
+ trait A extends js.Object {
+ @JSName("apply")
+ val apply: Int = js.native
+ }
+ """.succeeds()
+
+ // var apply
+
+ """
+ @js.native
+ trait A extends js.Object {
+ var apply: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: A member named apply represents function application in JavaScript. A parameterless member should be exported as a property. You must add @JSName("apply")
+ | var apply: Int = js.native
+ | ^
+ """
+
+ """
+ import js.annotation.JSName
+
+ @js.native
+ trait A extends js.Object {
+ @JSName("apply")
+ var apply: Int = js.native
+ }
+ """.succeeds()
+
+ }
+
+ @Test def noAbstractLocalJSClass: Unit = {
+ """
+ object Enclosing {
+ def method(): Unit = {
+ abstract class AbstractLocalJSClass extends js.Object
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Implementation restriction: local JS classes cannot be abstract
+ | abstract class AbstractLocalJSClass extends js.Object
+ | ^
+ """
+ }
+
+ @Test def noLoadJSConstructorOfUnstableRef: Unit = {
+ """
+ class Enclosing {
+ class InnerJSClass extends js.Object
+ }
+
+ object A {
+ def method(): Any =
+ js.constructorOf[Enclosing#InnerJSClass]
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:11: error: stable reference to a JS class required but Enclosing#InnerJSClass found
+ | js.constructorOf[Enclosing#InnerJSClass]
+ | ^
+ """
+
+ // version-dependent error message due to https://github.com/scala/bug/issues/10619
+ """
+ class Enclosing {
+ class InnerJSClass extends js.Object
+ }
+
+ object A {
+ def newEnclosing: Enclosing = new Enclosing
+
+ def method(): Any =
+ js.constructorOf[newEnclosing.InnerJSClass]
+ }
+ """.fails()
+
+ """
+ class Enclosing {
+ class InnerJSClass extends js.Object
+ }
+
+ object A {
+ def method(a: Any): Boolean =
+ a.isInstanceOf[Enclosing#InnerJSClass]
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:11: error: stable reference to a JS class required but Enclosing#InnerJSClass found
+ | a.isInstanceOf[Enclosing#InnerJSClass]
+ | ^
+ """
+
+ // version-dependent error message due to https://github.com/scala/bug/issues/10619
+ """
+ class Enclosing {
+ class InnerJSClass extends js.Object
+ }
+
+ object A {
+ def newEnclosing: Enclosing = new Enclosing
+
+ def method(a: Any): Boolean =
+ a.isInstanceOf[newEnclosing.InnerJSClass]
+ }
+ """.fails()
+ }
+
+ @Test def noJSSymbolNameOnNestedNativeClassesAndObjects: Unit = {
+ for {
+ kind <- Seq("class", "object")
+ } {
+ s"""
+ object Sym {
+ val sym = js.Symbol()
+ }
+
+ @js.native
+ @JSGlobal
+ object Enclosing extends js.Object {
+ @JSName(Sym.sym)
+ @js.native
+ $kind A extends js.Object
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:12: error: Implementation restriction: @JSName with a js.Symbol is not supported on nested native classes and objects
+ | @JSName(Sym.sym)
+ | ^
+ """
+ }
+ }
+
+ @Test def noBracketCallOrBracketAccessOnJSClasses: Unit = {
+ // native
+ """
+ @js.native
+ @JSGlobal
+ @JSBracketCall
+ class A extends js.Object
+
+ @js.native
+ @JSGlobal
+ @JSBracketAccess
+ object B extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @JSBracketCall can only be used on members of JS types.
+ | @JSBracketCall
+ | ^
+ |newSource1.scala:12: error: @JSBracketAccess can only be used on members of JS types.
+ | @JSBracketAccess
+ | ^
+ """
+
+ // Non-native
+ """
+ @JSBracketCall
+ class A extends js.Object
+
+ @JSBracketAccess
+ object B extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: @JSBracketCall can only be used on members of JS types.
+ | @JSBracketCall
+ | ^
+ |newSource1.scala:8: error: @JSBracketAccess can only be used on members of JS types.
+ | @JSBracketAccess
+ | ^
+ """
+
+ // Nested native
+ """
+ @js.native
+ @JSGlobal
+ object Enclosing extends js.Object {
+ @JSBracketCall
+ @js.native
+ class A extends js.Object
+
+ @JSBracketAccess
+ @js.native
+ object B extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: @JSBracketCall can only be used on methods.
+ | @JSBracketCall
+ | ^
+ |newSource1.scala:12: error: @JSBracketAccess can only be used on methods.
+ | @JSBracketAccess
+ | ^
+ """
+
+ // Nested non-native
+ """
+ object Enclosing extends js.Object {
+ @JSBracketCall
+ object A extends js.Object
+
+ @JSBracketAccess
+ class B extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: @JSBracketCall can only be used on methods.
+ | @JSBracketCall
+ | ^
+ |newSource1.scala:9: error: @JSBracketAccess can only be used on methods.
+ | @JSBracketAccess
+ | ^
+ """
+ }
+
+ @Test def noDuplicateJSNameAnnotOnMember: Unit = {
+ for {
+ kind <- Seq("class", "object", "trait")
+ } {
+ """
+ object A {
+ val a = js.Symbol()
+ }
+
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSName(A.a)
+ @JSName("foo")
+ def a: Int = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:13: error: A member can have at most one annotation among @JSName, @JSOperator, @JSBracketAccess and @JSBracketCall.
+ | @JSName("foo")
+ | ^
+ """
+ }
+ }
+
+ @Test def nonNativeJSTypesNameOverrideErrors: Unit = {
+ """
+ abstract class A extends js.Object {
+ def bar(): Int
+ }
+ class B extends A {
+ override def bar() = 1
+ }
+ """.hasNoWarns()
+
+ """
+ trait A extends js.Object {
+ @JSName("foo")
+ def bar(): Int
+ }
+ class B extends A {
+ @JSName("foo")
+ override def bar() = 1
+ }
+ """.hasNoWarns()
+
+ """
+ abstract class A extends js.Object {
+ @JSName("foo")
+ def bar(): Int
+ }
+ class B extends A {
+ @JSName("foo")
+ override def bar() = 1
+ }
+ """.hasNoWarns()
+
+ // #4375
+ """
+ abstract class Parent extends js.Object {
+ type TypeMember <: CharSequence
+ type JSTypeMember <: js.Object
+
+ type Foo = Int
+ @JSName("Babar") def Bar: Int = 5
+ }
+
+ class Child extends Parent {
+ type TypeMember = String
+ override type JSTypeMember = js.Date // the override keyword makes no difference
+
+ @JSName("Foobar") def Foo: Int = 5
+ type Bar = Int
+ }
+ """.hasNoWarns()
+
+ """
+ abstract class A extends js.Object {
+ @JSName("foo")
+ def bar(): Int
+ }
+ class B extends A {
+ @JSName("baz")
+ override def bar() = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:11: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): Int in class B called from JS as method 'baz'
+ | is conflicting with
+ |def bar(): Int in class A called from JS as method 'foo'
+ |
+ | override def bar() = 1
+ | ^
+ """
+
+ """
+ abstract class A extends js.Object {
+ @JSName("foo")
+ def bar(): Int
+ }
+ class B extends A {
+ override def bar() = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:10: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): Int in class B called from JS as method 'bar'
+ | is conflicting with
+ |def bar(): Int in class A called from JS as method 'foo'
+ |
+ | override def bar() = 1
+ | ^
+ """
+
+ """
+ abstract class A extends js.Object {
+ @JSName("foo")
+ def bar(): Object
+ }
+ abstract class B extends A {
+ override def bar(): String
+ }
+ class C extends B {
+ override def bar() = "1"
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:10: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): String in class B called from JS as method 'bar'
+ | is conflicting with
+ |def bar(): Object in class A called from JS as method 'foo'
+ |
+ | override def bar(): String
+ | ^
+ |newSource1.scala:13: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): String in class C called from JS as method 'bar'
+ | is conflicting with
+ |def bar(): Object in class A called from JS as method 'foo'
+ |
+ | override def bar() = "1"
+ | ^
+ """
+
+ """
+ abstract class A extends js.Object {
+ def bar(): Object
+ }
+ abstract class B extends A {
+ @JSName("foo")
+ override def bar(): String
+ }
+ class C extends B {
+ override def bar() = "1"
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:10: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): String in class B called from JS as method 'foo'
+ | is conflicting with
+ |def bar(): Object in class A called from JS as method 'bar'
+ |
+ | override def bar(): String
+ | ^
+ |newSource1.scala:13: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): String in class C called from JS as method 'bar'
+ | is conflicting with
+ |override def bar(): String in class B called from JS as method 'foo'
+ |
+ | override def bar() = "1"
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ def foo: Int = 5
+ }
+ trait B extends A {
+ @JSName("bar")
+ def foo: Int
+ }
+ class C extends B
+ """ hasErrors
+ s"""
+ |newSource1.scala:10: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in class A called from JS as property 'foo'
+ | is conflicting with
+ |def foo: Int in trait B called from JS as property 'bar'
+ |
+ | def foo: Int
+ | ^
+ |${ifHasNewRefChecks("""
+ |newSource1.scala:12: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in class A called from JS as property 'foo'
+ | is conflicting with
+ |def foo: Int in trait B called from JS as property 'bar'
+ |
+ | class C extends B
+ | ^
+ """)}
+ """
+
+ """
+ class A extends js.Object {
+ @JSName("bar")
+ def foo: Int = 5
+ }
+ trait B extends A {
+ def foo: Int
+ }
+ class C extends B
+ """ hasErrors
+ s"""
+ |newSource1.scala:10: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in class A called from JS as property 'bar'
+ | is conflicting with
+ |def foo: Int in trait B called from JS as property 'foo'
+ |
+ | def foo: Int
+ | ^
+ |${ifHasNewRefChecks("""
+ |newSource1.scala:12: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in class A called from JS as property 'bar'
+ | is conflicting with
+ |def foo: Int in trait B called from JS as property 'foo'
+ |
+ | class C extends B
+ | ^
+ """)}
+ """
+
+ """
+ class A[T] extends js.Object {
+ @JSName("bar")
+ def foo(x: T): T = x
+ }
+ class B extends A[Int] {
+ override def foo(x: Int): Int = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:10: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def foo(x: Int): Int in class B called from JS as method 'foo'
+ | is conflicting with
+ |def foo(x: Int): Int in class A called from JS as method 'bar'
+ |
+ | override def foo(x: Int): Int = x
+ | ^
+ """
+
+ """
+ trait A[T] extends js.Object {
+ @JSName("bar")
+ def foo(x: T): T
+ }
+ class B extends A[Int] {
+ override def foo(x: Int): Int = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:10: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def foo(x: Int): Int in class B called from JS as method 'foo'
+ | is conflicting with
+ |def foo(x: Int): Int in trait A called from JS as method 'bar'
+ |
+ | override def foo(x: Int): Int = x
+ | ^
+ """
+
+ """
+ class A[T] extends js.Object {
+ @JSName("bar")
+ def foo(x: T): T = x
+ }
+ trait B extends A[Int] {
+ def foo(x: Int): Int
+ }
+ class C extends B {
+ override def foo(x: Int): Int = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:10: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo(x: Int): Int in class A called from JS as method 'bar'
+ | is conflicting with
+ |def foo(x: Int): Int in trait B called from JS as method 'foo'
+ |
+ | def foo(x: Int): Int
+ | ^
+ |newSource1.scala:13: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def foo(x: Int): Int in class C called from JS as method 'foo'
+ | is conflicting with
+ |def foo(x: Int): Int in class A called from JS as method 'bar'
+ |
+ | override def foo(x: Int): Int = x
+ | ^
+ """
+
+ """
+ class A[T] extends js.Object {
+ def foo(x: T): T = x
+ }
+ trait B extends A[Int] {
+ @JSName("bar")
+ def foo(x: Int): Int
+ }
+ class C extends B {
+ override def foo(x: Int): Int = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:10: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo(x: Int): Int in class A called from JS as method 'foo'
+ | is conflicting with
+ |def foo(x: Int): Int in trait B called from JS as method 'bar'
+ |
+ | def foo(x: Int): Int
+ | ^
+ |newSource1.scala:13: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def foo(x: Int): Int in class C called from JS as method 'foo'
+ | is conflicting with
+ |def foo(x: Int): Int in trait B called from JS as method 'bar'
+ |
+ | override def foo(x: Int): Int = x
+ | ^
+ """
+
+ """
+ trait A extends js.Object {
+ def foo: Int
+ }
+ trait B extends js.Object {
+ @JSName("bar")
+ def foo: Int
+ }
+ trait C extends A with B
+ """ hasErrors
+ """
+ |newSource1.scala:12: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in trait B called from JS as property 'bar'
+ | is conflicting with
+ |def foo: Int in trait A called from JS as property 'foo'
+ |
+ | trait C extends A with B
+ | ^
+ """
+
+ """
+ trait A extends js.Object {
+ def foo: Int
+ }
+ trait B extends js.Object {
+ @JSName("bar")
+ def foo: Int
+ }
+ abstract class C extends A with B
+ """ hasErrors
+ """
+ |newSource1.scala:12: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in trait B called from JS as property 'bar'
+ | is conflicting with
+ |def foo: Int in trait A called from JS as property 'foo'
+ |
+ | abstract class C extends A with B
+ | ^
+ """
+ }
+
+ @Test def nonNativeJSTypesJSNameWithSymbolOverrideErrors: Unit = {
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ trait A extends js.Object {
+ @JSName(Syms.sym1)
+ def bar(): Int
+ }
+ class B extends A {
+ @JSName(Syms.sym1)
+ override def bar() = 1
+ }
+ """.hasNoWarns()
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ abstract class A extends js.Object {
+ @JSName(Syms.sym1)
+ def bar(): Int
+ }
+ class B extends A {
+ @JSName(Syms.sym1)
+ override def bar() = 1
+ }
+ """.hasNoWarns()
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ val sym2 = js.Symbol()
+ }
+
+ abstract class A extends js.Object {
+ @JSName(Syms.sym1)
+ def bar(): Int
+ }
+ class B extends A {
+ @JSName(Syms.sym2)
+ override def bar() = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:16: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): Int in class B called from JS as method 'Syms.sym2'
+ | is conflicting with
+ |def bar(): Int in class A called from JS as method 'Syms.sym1'
+ |
+ | override def bar() = 1
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ abstract class A extends js.Object {
+ @JSName(Syms.sym1)
+ def bar(): Int
+ }
+ class B extends A {
+ @JSName("baz")
+ override def bar() = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:15: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): Int in class B called from JS as method 'baz'
+ | is conflicting with
+ |def bar(): Int in class A called from JS as method 'Syms.sym1'
+ |
+ | override def bar() = 1
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ abstract class A extends js.Object {
+ @JSName("foo")
+ def bar(): Int
+ }
+ class B extends A {
+ @JSName(Syms.sym1)
+ override def bar() = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:15: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): Int in class B called from JS as method 'Syms.sym1'
+ | is conflicting with
+ |def bar(): Int in class A called from JS as method 'foo'
+ |
+ | override def bar() = 1
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ abstract class A extends js.Object {
+ @JSName(Syms.sym1)
+ def bar(): Int
+ }
+ class B extends A {
+ override def bar() = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): Int in class B called from JS as method 'bar'
+ | is conflicting with
+ |def bar(): Int in class A called from JS as method 'Syms.sym1'
+ |
+ | override def bar() = 1
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ abstract class A extends js.Object {
+ @JSName(Syms.sym1)
+ def bar(): Object
+ }
+ abstract class B extends A {
+ override def bar(): String
+ }
+ class C extends B {
+ override def bar() = "1"
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): String in class B called from JS as method 'bar'
+ | is conflicting with
+ |def bar(): Object in class A called from JS as method 'Syms.sym1'
+ |
+ | override def bar(): String
+ | ^
+ |newSource1.scala:17: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): String in class C called from JS as method 'bar'
+ | is conflicting with
+ |def bar(): Object in class A called from JS as method 'Syms.sym1'
+ |
+ | override def bar() = "1"
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ abstract class A extends js.Object {
+ def bar(): Object
+ }
+ abstract class B extends A {
+ @JSName(Syms.sym1)
+ override def bar(): String
+ }
+ class C extends B {
+ override def bar() = "1"
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): String in class B called from JS as method 'Syms.sym1'
+ | is conflicting with
+ |def bar(): Object in class A called from JS as method 'bar'
+ |
+ | override def bar(): String
+ | ^
+ |newSource1.scala:17: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def bar(): String in class C called from JS as method 'bar'
+ | is conflicting with
+ |override def bar(): String in class B called from JS as method 'Syms.sym1'
+ |
+ | override def bar() = "1"
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ class A extends js.Object {
+ def foo: Int = 5
+ }
+ trait B extends A {
+ @JSName(Syms.sym1)
+ def foo: Int
+ }
+ class C extends B
+ """ hasErrors
+ s"""
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in class A called from JS as property 'foo'
+ | is conflicting with
+ |def foo: Int in trait B called from JS as property 'Syms.sym1'
+ |
+ | def foo: Int
+ | ^
+ |${ifHasNewRefChecks("""
+ |newSource1.scala:16: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in class A called from JS as property 'foo'
+ | is conflicting with
+ |def foo: Int in trait B called from JS as property 'Syms.sym1'
+ |
+ | class C extends B
+ | ^
+ """)}
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ class A extends js.Object {
+ @JSName(Syms.sym1)
+ def foo: Int = 5
+ }
+ trait B extends A {
+ def foo: Int
+ }
+ class C extends B
+ """ hasErrors
+ s"""
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in class A called from JS as property 'Syms.sym1'
+ | is conflicting with
+ |def foo: Int in trait B called from JS as property 'foo'
+ |
+ | def foo: Int
+ | ^
+ |${ifHasNewRefChecks("""
+ |newSource1.scala:16: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in class A called from JS as property 'Syms.sym1'
+ | is conflicting with
+ |def foo: Int in trait B called from JS as property 'foo'
+ |
+ | class C extends B
+ | ^
+ """)}
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ class A[T] extends js.Object {
+ @JSName(Syms.sym1)
+ def foo(x: T): T = x
+ }
+ class B extends A[Int] {
+ override def foo(x: Int): Int = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def foo(x: Int): Int in class B called from JS as method 'foo'
+ | is conflicting with
+ |def foo(x: Int): Int in class A called from JS as method 'Syms.sym1'
+ |
+ | override def foo(x: Int): Int = x
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ trait A[T] extends js.Object {
+ @JSName(Syms.sym1)
+ def foo(x: T): T
+ }
+ class B extends A[Int] {
+ override def foo(x: Int): Int = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def foo(x: Int): Int in class B called from JS as method 'foo'
+ | is conflicting with
+ |def foo(x: Int): Int in trait A called from JS as method 'Syms.sym1'
+ |
+ | override def foo(x: Int): Int = x
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ class A[T] extends js.Object {
+ @JSName(Syms.sym1)
+ def foo(x: T): T = x
+ }
+ trait B extends A[Int] {
+ def foo(x: Int): Int
+ }
+ class C extends B {
+ override def foo(x: Int): Int = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo(x: Int): Int in class A called from JS as method 'Syms.sym1'
+ | is conflicting with
+ |def foo(x: Int): Int in trait B called from JS as method 'foo'
+ |
+ | def foo(x: Int): Int
+ | ^
+ |newSource1.scala:17: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def foo(x: Int): Int in class C called from JS as method 'foo'
+ | is conflicting with
+ |def foo(x: Int): Int in class A called from JS as method 'Syms.sym1'
+ |
+ | override def foo(x: Int): Int = x
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ class A[T] extends js.Object {
+ def foo(x: T): T = x
+ }
+ trait B extends A[Int] {
+ @JSName(Syms.sym1)
+ def foo(x: Int): Int
+ }
+ class C extends B {
+ override def foo(x: Int): Int = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo(x: Int): Int in class A called from JS as method 'foo'
+ | is conflicting with
+ |def foo(x: Int): Int in trait B called from JS as method 'Syms.sym1'
+ |
+ | def foo(x: Int): Int
+ | ^
+ |newSource1.scala:17: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |override def foo(x: Int): Int in class C called from JS as method 'foo'
+ | is conflicting with
+ |def foo(x: Int): Int in trait B called from JS as method 'Syms.sym1'
+ |
+ | override def foo(x: Int): Int = x
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ trait A extends js.Object {
+ def foo: Int
+ }
+ trait B extends js.Object {
+ @JSName(Syms.sym1)
+ def foo: Int
+ }
+ trait C extends A with B
+ """ hasErrors
+ """
+ |newSource1.scala:16: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in trait B called from JS as property 'Syms.sym1'
+ | is conflicting with
+ |def foo: Int in trait A called from JS as property 'foo'
+ |
+ | trait C extends A with B
+ | ^
+ """
+
+ """
+ object Syms {
+ val sym1 = js.Symbol()
+ }
+
+ trait A extends js.Object {
+ def foo: Int
+ }
+ trait B extends js.Object {
+ @JSName(Syms.sym1)
+ def foo: Int
+ }
+ abstract class C extends A with B
+ """ hasErrors
+ """
+ |newSource1.scala:16: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def foo: Int in trait B called from JS as property 'Syms.sym1'
+ | is conflicting with
+ |def foo: Int in trait A called from JS as property 'foo'
+ |
+ | abstract class C extends A with B
+ | ^
+ """
+ }
+
+ // #4282
+ @Test def jsTypesSpecialCallingConventionOverrideErrors: Unit = {
+ // name "apply" vs function application
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ def apply(): Int
+ }
+
+ class B extends A {
+ @JSName("apply")
+ def apply(): Int
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:13: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def apply(): Int in class B called from JS as method 'apply'
+ | is conflicting with
+ |def apply(): Int in class A called from JS as function application
+ |
+ | def apply(): Int
+ | ^
+ """
+
+ // property vs method
+ """
+ class A extends js.Object {
+ def a: Int
+ }
+
+ class B extends A {
+ def a(): Int
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:10: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def a(): Int in class B called from JS as method 'a'
+ | is conflicting with
+ |def a: Int in class A called from JS as property 'a'
+ |
+ | def a(): Int
+ | ^
+ """
+
+ val postUnarySpace = {
+ val hasNoSpace = {
+ version.startsWith("2.11.") ||
+ version == "2.12.1" ||
+ version == "2.12.2" ||
+ version == "2.12.3" ||
+ version == "2.12.4" ||
+ version == "2.12.5" ||
+ version == "2.12.6" ||
+ version == "2.12.7" ||
+ version == "2.12.8" ||
+ version == "2.12.9" ||
+ version == "2.12.10" ||
+ version == "2.13.0" ||
+ version == "2.13.1"
+ }
+ if (hasNoSpace) ""
+ else " "
+ }
+
+ // unary op vs thing named like it
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSOperator
+ def unary_+ : Int
+ }
+
+ class B extends A {
+ @JSName("unary_+")
+ def unary_+ : Int
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def unary_+$postUnarySpace: Int in class B called from JS as property 'unary_+'
+ | is conflicting with
+ |def unary_+$postUnarySpace: Int in class A called from JS as unary operator
+ |
+ | def unary_+ : Int
+ | ^
+ """
+
+ // non-zero arg is OK
+ """
+ class A extends js.Object {
+ def unary_+(x: String): Int = 1
+ }
+
+ class B extends A {
+ @JSName("unary_+")
+ override def unary_+(x: String): Int = 2
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:6: warning: Method 'unary_+' should have an explicit @JSName or @JSOperator annotation because its name is one of the JavaScript operators
+ | def unary_+(x: String): Int = 1
+ | ^
+ """
+
+ // binary op vs thing named like it
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSOperator
+ def ||(x: Int): Int
+ }
+
+ class B extends A {
+ @JSName("||")
+ def ||(x: Int): Int
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:14: error: A member of a JS class is overriding another member with a different JS calling convention.
+ |
+ |def ||(x: Int): Int in class B called from JS as method '||'
+ | is conflicting with
+ |def ||(x: Int): Int in class A called from JS as binary operator
+ |
+ | def ||(x: Int): Int
+ | ^
+ """
+
+ // non-single arg is OK
+ """
+ class A extends js.Object {
+ def ||(): Int = 1
+ }
+
+ class B extends A {
+ @JSName("||")
+ override def ||(): Int = 2
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:6: warning: Method '||' should have an explicit @JSName or @JSOperator annotation because its name is one of the JavaScript operators
+ | def ||(): Int = 1
+ | ^
+ """
+ }
+
+ @Test def noDefaultConstructorArgsIfModuleIsJSNative: Unit = {
+ """
+ class A(x: Int = 1) extends js.Object
+
+ @js.native
+ @JSGlobal
+ object A extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: Implementation restriction: constructors of non-native JS classes cannot have default parameters if their companion module is JS native.
+ | class A(x: Int = 1) extends js.Object
+ | ^
+ """
+
+ """
+ class A(x: Int = 1)
+
+ @js.native
+ @JSGlobal
+ object A extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: Implementation restriction: constructors of Scala classes cannot have default parameters if their companion module is JS native.
+ | class A(x: Int = 1)
+ | ^
+ """
+ }
+
+ // #2547
+ @Test def noDefaultOverrideCrash: Unit = {
+ """
+ @js.native
+ @JSGlobal
+ class NativeBase extends js.Object {
+ def add(option: js.Any = js.native): js.Any = js.native
+ }
+ class Derived extends NativeBase {
+ override def add(option: js.Any): js.Any = super.add(option)
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:11: error: When overriding a native method with default arguments, the overriding method must explicitly repeat the default arguments.
+ | override def add(option: js.Any): js.Any = super.add(option)
+ | ^
+ """
+
+ """
+ @js.native
+ trait NativeTrait extends js.Object {
+ def add(option: js.Any = js.native): js.Any = js.native
+ }
+
+ @js.native
+ @JSGlobal
+ class NativeBase extends NativeTrait
+
+ class Derived extends NativeBase {
+ override def add(option: js.Any): js.Any = super.add(option)
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:15: error: When overriding a native method with default arguments, the overriding method must explicitly repeat the default arguments.
+ | override def add(option: js.Any): js.Any = super.add(option)
+ | ^
+ """
+ }
+
+ // # 3969
+ @Test def overrideEqualsHashCode: Unit = {
+ for {
+ obj <- List("class", "object")
+ } {
+ s"""
+ $obj A extends js.Object {
+ override def hashCode(): Int = 1
+ override def equals(obj: Any): Boolean = false
+
+ // this one works as expected (so allowed)
+ override def toString(): String = "frobber"
+
+ /* these are allowed, since they are protected in jl.Object.
+ * as a result, only the overrides can be called. So the fact that they
+ * do not truly override the methods in jl.Object is not observable.
+ */
+ override def clone(): Object = null
+ override def finalize(): Unit = ()
+
+ // other methods in jl.Object are final.
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:6: warning: Overriding hashCode in a JS class does not change its hash code. To silence this warning, change the name of the method and optionally add @JSName("hashCode").
+ | override def hashCode(): Int = 1
+ | ^
+ |newSource1.scala:7: warning: Overriding equals in a JS class does not change how it is compared. To silence this warning, change the name of the method and optionally add @JSName("equals").
+ | override def equals(obj: Any): Boolean = false
+ | ^
+ """
+ }
+
+ for {
+ obj <- List("class", "object")
+ } {
+ s"""
+ @js.native
+ @JSGlobal
+ $obj A extends js.Object {
+ override def hashCode(): Int = js.native
+ override def equals(obj: Any): Boolean = js.native
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:8: warning: Overriding hashCode in a JS class does not change its hash code. To silence this warning, change the name of the method and optionally add @JSName("hashCode").
+ | override def hashCode(): Int = js.native
+ | ^
+ |newSource1.scala:9: warning: Overriding equals in a JS class does not change how it is compared. To silence this warning, change the name of the method and optionally add @JSName("equals").
+ | override def equals(obj: Any): Boolean = js.native
+ | ^
+ """
+ }
+
+ """
+ @js.native
+ trait A extends js.Any {
+ override def hashCode(): Int = js.native
+ override def equals(obj: Any): Boolean = js.native
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:7: warning: Overriding hashCode in a JS class does not change its hash code. To silence this warning, change the name of the method and optionally add @JSName("hashCode").
+ | override def hashCode(): Int = js.native
+ | ^
+ |newSource1.scala:8: warning: Overriding equals in a JS class does not change how it is compared. To silence this warning, change the name of the method and optionally add @JSName("equals").
+ | override def equals(obj: Any): Boolean = js.native
+ | ^
+ """
+
+ """
+ trait A extends js.Any {
+ override def hashCode(): Int
+ override def equals(obj: Any): Boolean
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:6: warning: Overriding hashCode in a JS class does not change its hash code. To silence this warning, change the name of the method and optionally add @JSName("hashCode").
+ | override def hashCode(): Int
+ | ^
+ |newSource1.scala:7: warning: Overriding equals in a JS class does not change how it is compared. To silence this warning, change the name of the method and optionally add @JSName("equals").
+ | override def equals(obj: Any): Boolean
+ | ^
+ """
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/JSNewTargetTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSNewTargetTest.scala
new file mode 100644
index 0000000000..edfa1afd01
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSNewTargetTest.scala
@@ -0,0 +1,149 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import org.scalajs.nscplugin.test.util._
+import org.junit.Test
+
+// scalastyle:off line.size.limit
+
+class JSNewTargetTest extends DirectTest with TestHelpers {
+
+ override def preamble: String =
+ """import scala.scalajs.js
+ """
+
+ @Test
+ def illegalInScalaClass(): Unit = {
+
+ """
+ class A {
+ js.`new`.target
+
+ def this(x: Int) = {
+ this()
+ js.`new`.target
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | js.`new`.target
+ | ^
+ |newSource1.scala:8: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | js.`new`.target
+ | ^
+ """
+
+ """
+ class A {
+ def foo(x: Int): Unit =
+ js.`new`.target
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | js.`new`.target
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ class B {
+ js.`new`.target
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | js.`new`.target
+ | ^
+ """
+
+ }
+
+ @Test
+ def illegalInDefOrLazyVal(): Unit = {
+
+ """
+ class A extends js.Object {
+ lazy val x = js.`new`.target
+ def y: js.Dynamic = js.`new`.target
+ def z(x: Int): Any = js.`new`.target
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | lazy val x = js.`new`.target
+ | ^
+ |newSource1.scala:5: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | def y: js.Dynamic = js.`new`.target
+ | ^
+ |newSource1.scala:6: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | def z(x: Int): Any = js.`new`.target
+ | ^
+ """
+
+ }
+
+ @Test
+ def illegalInLambdaOrByName(): Unit = {
+
+ """
+ class A extends js.Object {
+ val x = () => js.`new`.target
+ val y = Option(null).getOrElse(js.`new`.target)
+ val z: js.Function1[Int, Any] = (x: Int) => js.`new`.target
+ val w: js.ThisFunction0[Any, Any] = (x: Any) => js.`new`.target
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:4: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | val x = () => js.`new`.target
+ | ^
+ |newSource1.scala:5: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | val y = Option(null).getOrElse(js.`new`.target)
+ | ^
+ |newSource1.scala:6: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | val z: js.Function1[Int, Any] = (x: Int) => js.`new`.target
+ | ^
+ |newSource1.scala:7: error: Illegal use of js.`new`.target.
+ |It can only be used in the constructor of a JS class, as a statement or in the rhs of a val or var.
+ |It cannot be used inside a lambda or by-name parameter, nor in any other location.
+ | val w: js.ThisFunction0[Any, Any] = (x: Any) => js.`new`.target
+ | ^
+ """
+
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/JSOptionalTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSOptionalTest.scala
new file mode 100644
index 0000000000..2fa4d0b6e9
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSOptionalTest.scala
@@ -0,0 +1,213 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import org.scalajs.nscplugin.test.util._
+
+import org.junit.Test
+import org.junit.Ignore
+
+// scalastyle:off line.size.limit
+
+class JSOptionalTest extends DirectTest with TestHelpers {
+
+ override def preamble: String = {
+ """
+ import scala.scalajs.js
+ import scala.scalajs.js.annotation._
+ """
+ }
+
+ @Test
+ def optionalRequiresUndefinedRHS: Unit = {
+ s"""
+ trait A extends js.Object {
+ val a1: js.UndefOr[Int] = 5
+ val a2: Int = 5
+
+ def b1: js.UndefOr[Int] = 5
+ def b2: Int = 5
+
+ var c1: js.UndefOr[Int] = 5
+ var c2: Int = 5
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:6: error: Members of non-native JS traits must either be abstract, or their right-hand-side must be `js.undefined`.
+ | val a1: js.UndefOr[Int] = 5
+ | ^
+ |newSource1.scala:7: error: Members of non-native JS traits must either be abstract, or their right-hand-side must be `js.undefined`.
+ | val a2: Int = 5
+ | ^
+ |newSource1.scala:9: error: Members of non-native JS traits must either be abstract, or their right-hand-side must be `js.undefined`.
+ | def b1: js.UndefOr[Int] = 5
+ | ^
+ |newSource1.scala:10: error: Members of non-native JS traits must either be abstract, or their right-hand-side must be `js.undefined`.
+ | def b2: Int = 5
+ | ^
+ |newSource1.scala:12: error: Members of non-native JS traits must either be abstract, or their right-hand-side must be `js.undefined`.
+ | var c1: js.UndefOr[Int] = 5
+ | ^
+ |newSource1.scala:13: error: Members of non-native JS traits must either be abstract, or their right-hand-side must be `js.undefined`.
+ | var c2: Int = 5
+ | ^
+ """
+ }
+
+ @Test // #4319
+ def optionalDefaultParamRequiresUndefinedRHS: Unit = {
+ s"""
+ trait A extends js.Object {
+ def a(x: js.UndefOr[Int] = 1): Int
+ def b(x: String = "foo"): Unit
+ def c(x: js.UndefOr[Int] = js.undefined): Int // ok
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Members of non-native JS traits may not have default parameters unless their default is `js.undefined`.
+ | def a(x: js.UndefOr[Int] = 1): Int
+ | ^
+ |newSource1.scala:7: error: Members of non-native JS traits may not have default parameters unless their default is `js.undefined`.
+ | def b(x: String = "foo"): Unit
+ | ^
+ """
+
+ // Also for custom JS function types (2.11 has more errors than expected here)
+ s"""
+ trait A extends js.Function {
+ def apply(x: js.UndefOr[Int] = 1): Int
+ }
+ """ containsErrors
+ """
+ |newSource1.scala:6: error: Members of non-native JS traits may not have default parameters unless their default is `js.undefined`.
+ | def apply(x: js.UndefOr[Int] = 1): Int
+ | ^
+ """
+ }
+
+ @Test
+ def noOptionalLazyVal: Unit = {
+ s"""
+ trait A extends js.Object {
+ lazy val a1: js.UndefOr[Int] = js.undefined
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:6: error: A non-native JS trait cannot contain lazy vals
+ | lazy val a1: js.UndefOr[Int] = js.undefined
+ | ^
+ """
+ }
+
+ @Test
+ def noOverrideConcreteNonOptionalWithOptional: Unit = {
+ s"""
+ abstract class A extends js.Object {
+ val a1: js.UndefOr[Int] = 5
+ val a2: js.UndefOr[Int]
+
+ def b1: js.UndefOr[Int] = 5
+ def b2: js.UndefOr[Int]
+ }
+
+ trait B extends A {
+ override val a1: js.UndefOr[Int] = js.undefined
+ override val a2: js.UndefOr[Int] = js.undefined
+
+ override def b1: js.UndefOr[Int] = js.undefined
+ override def b2: js.UndefOr[Int] = js.undefined
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:14: error: Cannot override concrete val a1: scala.scalajs.js.UndefOr[Int] from A in a non-native JS trait.
+ | override val a1: js.UndefOr[Int] = js.undefined
+ | ^
+ |newSource1.scala:17: error: Cannot override concrete def b1: scala.scalajs.js.UndefOr[Int] from A in a non-native JS trait.
+ | override def b1: js.UndefOr[Int] = js.undefined
+ | ^
+ """
+
+ s"""
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ val a: js.UndefOr[Int] = js.native
+ def b: js.UndefOr[Int] = js.native
+ }
+
+ trait B extends A {
+ override val a: js.UndefOr[Int] = js.undefined
+ override def b: js.UndefOr[Int] = js.undefined
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:13: error: Cannot override concrete val a: scala.scalajs.js.UndefOr[Int] from A in a non-native JS trait.
+ | override val a: js.UndefOr[Int] = js.undefined
+ | ^
+ |newSource1.scala:14: error: Cannot override concrete def b: scala.scalajs.js.UndefOr[Int] from A in a non-native JS trait.
+ | override def b: js.UndefOr[Int] = js.undefined
+ | ^
+ """
+
+ s"""
+ @js.native
+ trait A extends js.Object {
+ val a: js.UndefOr[Int] = js.native
+ def b: js.UndefOr[Int] = js.native
+ }
+
+ @js.native
+ @JSGlobal
+ class B extends A
+
+ trait C extends B {
+ override val a: js.UndefOr[Int] = js.undefined
+ override def b: js.UndefOr[Int] = js.undefined
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:16: error: Cannot override concrete val a: scala.scalajs.js.UndefOr[Int] from A in a non-native JS trait.
+ | override val a: js.UndefOr[Int] = js.undefined
+ | ^
+ |newSource1.scala:17: error: Cannot override concrete def b: scala.scalajs.js.UndefOr[Int] from A in a non-native JS trait.
+ | override def b: js.UndefOr[Int] = js.undefined
+ | ^
+ """
+ }
+
+ @Test
+ def noOptionalDefWithParens: Unit = {
+ s"""
+ trait A extends js.Object {
+ def a(): js.UndefOr[Int] = js.undefined
+ def b(x: Int): js.UndefOr[Int] = js.undefined
+ def c_=(v: Int): js.UndefOr[Int] = js.undefined
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:6: error: In non-native JS traits, defs with parentheses must be abstract.
+ | def a(): js.UndefOr[Int] = js.undefined
+ | ^
+ |newSource1.scala:7: error: In non-native JS traits, defs with parentheses must be abstract.
+ | def b(x: Int): js.UndefOr[Int] = js.undefined
+ | ^
+ |newSource1.scala:8: error: JS setters must return Unit
+ | def c_=(v: Int): js.UndefOr[Int] = js.undefined
+ | ^
+ |newSource1.scala:8: error: In non-native JS traits, defs with parentheses must be abstract.
+ | def c_=(v: Int): js.UndefOr[Int] = js.undefined
+ | ^
+ """
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/JSSAMTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSSAMTest.scala
new file mode 100644
index 0000000000..157a38156a
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSSAMTest.scala
@@ -0,0 +1,272 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import org.scalajs.nscplugin.test.util._
+import org.scalajs.nscplugin.test.util.VersionDependentUtils.scalaVersion
+
+import org.junit.Assume._
+import org.junit.Test
+
+// scalastyle:off line.size.limit
+
+class JSSAMTest extends DirectTest with TestHelpers {
+
+ override def extraArgs: List[String] = {
+ if (scalaVersion.startsWith("2.11."))
+ super.extraArgs :+ "-Xexperimental"
+ else
+ super.extraArgs
+ }
+
+ override def preamble: String =
+ """
+ import scala.scalajs.js
+ import scala.scalajs.js.annotation._
+ """
+
+ @Test
+ def noSAMAsJSType211: Unit = {
+ assumeTrue(scalaVersion.startsWith("2.11."))
+
+ """
+ @js.native
+ trait Foo extends js.Object {
+ def foo(x: Int): Int
+ }
+
+ trait Bar extends js.Object {
+ def bar(x: Int): Int
+ }
+
+ class Foobar extends js.Function {
+ def foobar(x: Int): Int
+ }
+
+ class A {
+ val foo: Foo = x => x + 1
+ val bar: Bar = x => x + 1
+ val foobar: Foobar = x => x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:19: error: Non-native JS types cannot directly extend native JS traits.
+ | val foo: Foo = x => x + 1
+ | ^
+ |newSource1.scala:20: error: $anonfun extends scala.Serializable which does not extend js.Any.
+ | val bar: Bar = x => x + 1
+ | ^
+ |newSource1.scala:21: error: $anonfun extends scala.Serializable which does not extend js.Any.
+ | val foobar: Foobar = x => x + 1
+ | ^
+ """
+ }
+
+ @Test
+ def noSAMAsJSType212Plus: Unit = {
+ assumeTrue(!scalaVersion.startsWith("2.11."))
+
+ """
+ @js.native
+ trait Foo extends js.Object {
+ def foo(x: Int): Int
+ }
+
+ trait Bar extends js.Object {
+ def bar(x: Int): Int
+ }
+
+ class Foobar extends js.Function {
+ def foobar(x: Int): Int
+ }
+
+ class A {
+ val foo: Foo = x => x + 1
+ val bar: Bar = x => x + 1
+ val foobar: Foobar = x => x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:19: error: Using an anonymous function as a SAM for the JavaScript type Foo is not allowed because it is not a trait extending js.Function. Use an anonymous class instead.
+ | val foo: Foo = x => x + 1
+ | ^
+ |newSource1.scala:20: error: Using an anonymous function as a SAM for the JavaScript type Bar is not allowed because it is not a trait extending js.Function. Use an anonymous class instead.
+ | val bar: Bar = x => x + 1
+ | ^
+ |newSource1.scala:21: error: Using an anonymous function as a SAM for the JavaScript type Foobar is not allowed because it is not a trait extending js.Function. Use an anonymous class instead.
+ | val foobar: Foobar = x => x + 1
+ | ^
+ """
+ }
+
+ @Test
+ def noSAMOfNativeJSFunctionType211: Unit = {
+ assumeTrue(scalaVersion.startsWith("2.11."))
+
+ """
+ @js.native
+ trait Foo extends js.Function {
+ def apply(x: Int): Int
+ }
+
+ @js.native
+ trait Bar extends js.Function {
+ def bar(x: Int = 5): Int
+ }
+
+ class A {
+ val foo: Foo = x => x + 1
+ val bar: Bar = x => x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:16: error: Non-native JS types cannot directly extend native JS traits.
+ | val foo: Foo = x => x + 1
+ | ^
+ |newSource1.scala:17: error: Non-native JS types cannot directly extend native JS traits.
+ | val bar: Bar = x => x + 1
+ | ^
+ """
+ }
+
+ @Test
+ def noSAMOfNativeJSFunctionType212Plus: Unit = {
+ assumeTrue(!scalaVersion.startsWith("2.11."))
+
+ """
+ @js.native
+ trait Foo extends js.Function {
+ def apply(x: Int): Int
+ }
+
+ @js.native
+ trait Bar extends js.Function {
+ def bar(x: Int = 5): Int
+ }
+
+ class A {
+ val foo: Foo = x => x + 1
+ val bar: Bar = x => x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:16: error: Using an anonymous function as a SAM for the JavaScript type Foo is not allowed because it is a native JS type. It is not possible to directly implement it.
+ | val foo: Foo = x => x + 1
+ | ^
+ |newSource1.scala:17: error: Using an anonymous function as a SAM for the JavaScript type Bar is not allowed because it is a native JS type. It is not possible to directly implement it.
+ | val bar: Bar = x => x + 1
+ | ^
+ """
+ }
+
+ @Test
+ def noSAMOfNonApplyJSType: Unit = {
+ """
+ trait Foo extends js.Function {
+ def foo(x: Int): Int
+ }
+
+ class A {
+ val foo: Foo = x => x + 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:10: error: Using an anonymous function as a SAM for the JavaScript type Foo is not allowed because its single abstract method is not named `apply`. Use an anonymous class instead.
+ | val foo: Foo = x => x + 1
+ | ^
+ """
+ }
+
+ @Test
+ def missingThisArgForJSThisFunction: Unit = {
+ """
+ trait BadThisFunction1 extends js.ThisFunction {
+ def apply(): Int
+ }
+
+ trait BadThisFunction2 extends js.ThisFunction {
+ def apply(args: Int*): Int
+ }
+
+ class A {
+ val badThisFunction1: BadThisFunction1 = () => 42
+ val badThisFunction2: BadThisFunction2 = args => args.size
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:14: error: The SAM or apply method for a js.ThisFunction must have a leading non-varargs parameter
+ | val badThisFunction1: BadThisFunction1 = () => 42
+ | ^
+ |newSource1.scala:15: error: The SAM or apply method for a js.ThisFunction must have a leading non-varargs parameter
+ | val badThisFunction2: BadThisFunction2 = args => args.size
+ | ^
+ """
+ }
+
+ @Test
+ def noNonsensicalJSFunctionTypes: Unit = {
+ """
+ class BadFunctionIsClass extends js.Function {
+ def apply(x: Int): Int
+ }
+
+ trait BadFunctionExtendsNonFunction extends js.Object {
+ def apply(x: Int): Int
+ }
+
+ class SubclassOfFunction extends js.Function
+
+ trait BadFunctionExtendsSubclassOfFunction extends SubclassOfFunction {
+ def apply(x: Int): Int
+ }
+
+ trait BadFunctionParametricMethod extends js.Function {
+ def apply[A](x: A): A
+ }
+
+ trait BadFunctionOverloaded extends js.Function {
+ def apply(x: Int): Int
+ def apply(x: String): String
+ }
+
+ trait BadFunctionMultipleAbstract extends js.Function {
+ def apply(x: Int): Int
+ def foo(x: Int): Int
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: A non-native JS type can only declare an abstract method named `apply` without `@JSName` if it is the SAM of a trait that extends js.Function
+ | def apply(x: Int): Int
+ | ^
+ |newSource1.scala:10: error: A non-native JS type can only declare an abstract method named `apply` without `@JSName` if it is the SAM of a trait that extends js.Function
+ | def apply(x: Int): Int
+ | ^
+ |newSource1.scala:16: error: A non-native JS type can only declare an abstract method named `apply` without `@JSName` if it is the SAM of a trait that extends js.Function
+ | def apply(x: Int): Int
+ | ^
+ |newSource1.scala:20: error: A non-native JS type can only declare an abstract method named `apply` without `@JSName` if it is the SAM of a trait that extends js.Function
+ | def apply[A](x: A): A
+ | ^
+ |newSource1.scala:24: error: A non-native JS type can only declare an abstract method named `apply` without `@JSName` if it is the SAM of a trait that extends js.Function
+ | def apply(x: Int): Int
+ | ^
+ |newSource1.scala:25: error: A non-native JS type can only declare an abstract method named `apply` without `@JSName` if it is the SAM of a trait that extends js.Function
+ | def apply(x: String): String
+ | ^
+ |newSource1.scala:29: error: A non-native JS type can only declare an abstract method named `apply` without `@JSName` if it is the SAM of a trait that extends js.Function
+ | def apply(x: Int): Int
+ | ^
+ """
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/core/compiler/test/JSUndefinedParamTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSUndefinedParamTest.scala
similarity index 97%
rename from compiler/src/test/scala/org/scalajs/core/compiler/test/JSUndefinedParamTest.scala
rename to compiler/src/test/scala/org/scalajs/nscplugin/test/JSUndefinedParamTest.scala
index 5f7e02587b..a4eb2d9850 100644
--- a/compiler/src/test/scala/org/scalajs/core/compiler/test/JSUndefinedParamTest.scala
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/JSUndefinedParamTest.scala
@@ -10,9 +10,9 @@
* additional information regarding copyright ownership.
*/
-package org.scalajs.core.compiler.test
+package org.scalajs.nscplugin.test
-import org.scalajs.core.compiler.test.util._
+import org.scalajs.nscplugin.test.util._
import org.junit.Test
// scalastyle:off line.size.limit
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/MatchASTTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/MatchASTTest.scala
new file mode 100644
index 0000000000..fa8faf6071
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/MatchASTTest.scala
@@ -0,0 +1,83 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import util._
+
+import org.junit.Test
+import org.junit.Assert._
+
+import org.scalajs.ir.{Trees => js}
+
+class MatchASTTest extends JSASTTest {
+
+ @Test
+ def stripIdentityMatchEndNonUnitResult: Unit = {
+ """
+ object A {
+ def aString: String = "a"
+ def foo = aString match {
+ case "a" => true
+ case "b" => false
+ }
+ }
+ """.hasExactly(1, "local variable") {
+ case js.VarDef(_, _, _, _, _) =>
+ }
+ }
+
+ @Test
+ def stripIdentityMatchEndUnitResult: Unit = {
+ """
+ object A {
+ def aString: String = "a"
+ def foo = aString match {
+ case "a" =>
+ case "b" =>
+ }
+ }
+ """.hasExactly(1, "local variable") {
+ case js.VarDef(_, _, _, _, _) =>
+ }
+ }
+
+ @Test
+ def matchWithZeroAlternativeInSwitch: Unit = {
+ """
+ object A {
+ def foo(x: Int): Int = (x: @scala.annotation.switch) match {
+ case n if n > 5 => n
+ case n if n >= 0 => 0
+ case n => -n
+ }
+ }
+ """.hasNot("any match") {
+ case js.Match(_, _, _) =>
+ }
+ }
+
+ @Test
+ def matchWithOneAlternativeInSwitch: Unit = {
+ """
+ object A {
+ def foo(x: Int): Int = (x: @scala.annotation.switch) match {
+ case -1 => 10
+ case n => n
+ }
+ }
+ """.hasNot("any match") {
+ case js.Match(_, _, _) =>
+ }
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/NonNativeJSTypeTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/NonNativeJSTypeTest.scala
new file mode 100644
index 0000000000..a6d37efc1f
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/NonNativeJSTypeTest.scala
@@ -0,0 +1,901 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import org.scalajs.nscplugin.test.util._
+import org.scalajs.nscplugin.test.util.VersionDependentUtils.methodSig
+
+import org.junit.Test
+import org.junit.Ignore
+
+// scalastyle:off line.size.limit
+
+class NonNativeJSTypeTest extends DirectTest with TestHelpers {
+
+ override def preamble: String =
+ """
+ import scala.scalajs.js
+ import scala.scalajs.js.annotation._
+ """
+
+ @Test
+ def noExtendAnyRef: Unit = {
+ """
+ class A extends js.Any
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: Non-native JS classes and objects cannot directly extend AnyRef. They must extend a JS class (native or not).
+ | class A extends js.Any
+ | ^
+ """
+
+ """
+ object A extends js.Any
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: Non-native JS classes and objects cannot directly extend AnyRef. They must extend a JS class (native or not).
+ | object A extends js.Any
+ | ^
+ """
+ }
+
+ @Test
+ def noExtendNativeTrait: Unit = {
+ """
+ @js.native
+ trait NativeTrait extends js.Object
+
+ class A extends NativeTrait
+
+ trait B extends NativeTrait
+
+ object C extends NativeTrait
+
+ object Container {
+ val x = new NativeTrait {}
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:8: error: Non-native JS types cannot directly extend native JS traits.
+ | class A extends NativeTrait
+ | ^
+ |newSource1.scala:10: error: Non-native JS types cannot directly extend native JS traits.
+ | trait B extends NativeTrait
+ | ^
+ |newSource1.scala:12: error: Non-native JS types cannot directly extend native JS traits.
+ | object C extends NativeTrait
+ | ^
+ |newSource1.scala:15: error: Non-native JS types cannot directly extend native JS traits.
+ | val x = new NativeTrait {}
+ | ^
+ """
+ }
+
+ @Test
+ def noConcreteApplyMethod: Unit = {
+ """
+ class A extends js.Object {
+ def apply(arg: Int): Int = arg
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: A non-native JS class cannot declare a concrete method named `apply` without `@JSName`
+ | def apply(arg: Int): Int = arg
+ | ^
+ """
+
+ """
+ trait B extends js.Object {
+ def apply(arg: Int): Int
+ }
+
+ class A extends B {
+ def apply(arg: Int): Int = arg
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: A non-native JS type can only declare an abstract method named `apply` without `@JSName` if it is the SAM of a trait that extends js.Function
+ | def apply(arg: Int): Int
+ | ^
+ |newSource1.scala:10: error: A non-native JS class cannot declare a concrete method named `apply` without `@JSName`
+ | def apply(arg: Int): Int = arg
+ | ^
+ """
+
+ """
+ abstract class B extends js.Object {
+ def apply(arg: Int): Int
+ }
+
+ class A extends B {
+ def apply(arg: Int): Int = arg
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: A non-native JS type can only declare an abstract method named `apply` without `@JSName` if it is the SAM of a trait that extends js.Function
+ | def apply(arg: Int): Int
+ | ^
+ |newSource1.scala:10: error: A non-native JS class cannot declare a concrete method named `apply` without `@JSName`
+ | def apply(arg: Int): Int = arg
+ | ^
+ """
+
+ """
+ object Enclosing {
+ val f = new js.Object {
+ def apply(arg: Int): Int = arg
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: A non-native JS class cannot declare a concrete method named `apply` without `@JSName`
+ | def apply(arg: Int): Int = arg
+ | ^
+ """
+
+ """
+ object Enclosing {
+ val f = new js.Function {
+ def apply(arg: Int): Int = arg
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: A non-native JS class cannot declare a concrete method named `apply` without `@JSName`
+ | def apply(arg: Int): Int = arg
+ | ^
+ """
+
+ """
+ object Enclosing {
+ val f = new js.Function1[Int, Int] {
+ def apply(arg: Int): Int = arg
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: A non-native JS class cannot declare a concrete method named `apply` without `@JSName`
+ | def apply(arg: Int): Int = arg
+ | ^
+ """
+ }
+
+ @Test
+ def noUnaryOp: Unit = {
+ """
+ class A extends js.Object {
+ def unary_+ : Int = 1
+ def unary_-() : Int = 1
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: warning: Method 'unary_+' should have an explicit @JSName or @JSOperator annotation because its name is one of the JavaScript operators
+ | def unary_+ : Int = 1
+ | ^
+ |newSource1.scala:6: error: A non-native JS class cannot declare a method named like a unary operation without `@JSName`
+ | def unary_+ : Int = 1
+ | ^
+ |newSource1.scala:7: warning: Method 'unary_-' should have an explicit @JSName or @JSOperator annotation because its name is one of the JavaScript operators
+ | def unary_-() : Int = 1
+ | ^
+ |newSource1.scala:7: error: A non-native JS class cannot declare a method named like a unary operation without `@JSName`
+ | def unary_-() : Int = 1
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ def unary_+(x: Int): Int = 2
+
+ @JSName("unary_-")
+ def unary_-() : Int = 1
+ }
+ """.succeeds()
+ }
+
+ @Test
+ def noBinaryOp: Unit = {
+ """
+ class A extends js.Object {
+ def +(x: Int): Int = x
+ def &&(x: String): String = x
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: warning: Method '+' should have an explicit @JSName or @JSOperator annotation because its name is one of the JavaScript operators
+ | def +(x: Int): Int = x
+ | ^
+ |newSource1.scala:6: error: A non-native JS class cannot declare a method named like a binary operation without `@JSName`
+ | def +(x: Int): Int = x
+ | ^
+ |newSource1.scala:7: warning: Method '&&' should have an explicit @JSName or @JSOperator annotation because its name is one of the JavaScript operators
+ | def &&(x: String): String = x
+ | ^
+ |newSource1.scala:7: error: A non-native JS class cannot declare a method named like a binary operation without `@JSName`
+ | def &&(x: String): String = x
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ def + : Int = 2
+
+ def -(x: Int, y: Int): Int = 7
+
+ @JSName("&&")
+ def &&(x: String): String = x
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:6: warning: Method '+' should have an explicit @JSName or @JSOperator annotation because its name is one of the JavaScript operators
+ | def + : Int = 2
+ | ^
+ |newSource1.scala:8: warning: Method '-' should have an explicit @JSName or @JSOperator annotation because its name is one of the JavaScript operators
+ | def -(x: Int, y: Int): Int = 7
+ | ^
+ """
+ }
+
+ @Test // #4281
+ def noExtendJSFunctionAnon: Unit = {
+ """
+ @js.native
+ @JSGlobal("bad")
+ abstract class BadFunction extends js.Function1[Int, String]
+
+ object Test {
+ new BadFunction {
+ def apply(x: Int): String = "f"
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:11: error: A non-native JS class cannot declare a concrete method named `apply` without `@JSName`
+ | def apply(x: Int): String = "f"
+ | ^
+ """
+
+ """
+ class $anonfun extends js.Function1[Int, String] {
+ def apply(x: Int): String = "f"
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: A non-native JS class cannot declare a concrete method named `apply` without `@JSName`
+ | def apply(x: Int): String = "f"
+ | ^
+ """
+ }
+
+ @Test
+ def noBracketAccess: Unit = {
+ """
+ class A extends js.Object {
+ @JSBracketAccess
+ def foo(index: Int, arg: Int): Int = arg
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @JSBracketAccess is not allowed in non-native JS classes
+ | def foo(index: Int, arg: Int): Int = arg
+ | ^
+ """
+ }
+
+ @Test
+ def noBracketCall: Unit = {
+ """
+ class A extends js.Object {
+ @JSBracketCall
+ def foo(m: String, arg: Int): Int = arg
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: @JSBracketCall is not allowed in non-native JS classes
+ | def foo(m: String, arg: Int): Int = arg
+ | ^
+ """
+ }
+
+ @Test
+ def noCollapseOverloadsOnJSName: Unit = {
+ """
+ class A extends js.Object {
+ @JSName("bar")
+ def foo(): Int = 42
+
+ def bar(): Int = 24
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:9: error: Cannot disambiguate overloads for method bar with types
+ | ${methodSig("()", "Int")}
+ | ${methodSig("()", "Int")}
+ | def bar(): Int = 24
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ def bar(): Int = 24
+
+ @JSName("bar")
+ def foo(): Int = 42
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:9: error: Cannot disambiguate overloads for method bar with types
+ | ${methodSig("()", "Int")}
+ | ${methodSig("()", "Int")}
+ | def foo(): Int = 42
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ @JSName("bar")
+ def foo(): Int = 42
+ }
+
+ class B extends A {
+ def bar(): Int = 24
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:11: error: Cannot disambiguate overloads for method bar with types
+ | ${methodSig("()", "Int")}
+ | ${methodSig("()", "Int")}
+ | def bar(): Int = 24
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class A extends js.Object {
+ @JSName("bar")
+ def foo(): Int = js.native
+ }
+
+ class B extends A {
+ def bar(): Int = 24
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:13: error: Cannot disambiguate overloads for method bar with types
+ | ${methodSig("()", "Int")}
+ | ${methodSig("()", "Int")}
+ | def bar(): Int = 24
+ | ^
+ """
+
+ """
+ @js.native
+ @JSGlobal
+ class Foo extends js.Object {
+ def foo(x: Int): Int = js.native
+
+ @JSName("foo")
+ def bar(x: Int): Int = js.native
+ }
+
+ class Bar extends Foo {
+ def foo(): Int = 42
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:14: error: Cannot disambiguate overloads for method foo with types
+ | ${methodSig("(x: Int)", "Int")}
+ | ${methodSig("(x: Int)", "Int")}
+ | class Bar extends Foo {
+ | ^
+ """
+ }
+
+ @Test
+ def noOverloadedPrivate: Unit = {
+ """
+ class A extends js.Object {
+ private def foo(i: Int): Int = i
+ private def foo(s: String): String = s
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Private methods in non-native JS classes cannot be overloaded. Use different names instead.
+ | private def foo(i: Int): Int = i
+ | ^
+ |newSource1.scala:7: error: Private methods in non-native JS classes cannot be overloaded. Use different names instead.
+ | private def foo(s: String): String = s
+ | ^
+ """
+
+ """
+ object A extends js.Object {
+ private def foo(i: Int): Int = i
+ private def foo(s: String): String = s
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Private methods in non-native JS classes cannot be overloaded. Use different names instead.
+ | private def foo(i: Int): Int = i
+ | ^
+ |newSource1.scala:7: error: Private methods in non-native JS classes cannot be overloaded. Use different names instead.
+ | private def foo(s: String): String = s
+ | ^
+ """
+
+ """
+ object Enclosing {
+ class A extends js.Object {
+ private[Enclosing] def foo(i: Int): Int = i
+ private def foo(s: String): String = s
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Private methods in non-native JS classes cannot be overloaded. Use different names instead.
+ | private[Enclosing] def foo(i: Int): Int = i
+ | ^
+ |newSource1.scala:8: error: Private methods in non-native JS classes cannot be overloaded. Use different names instead.
+ | private def foo(s: String): String = s
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ private def foo(i: Int): Int = i
+ def foo(s: String): String = s
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: Private methods in non-native JS classes cannot be overloaded. Use different names instead.
+ | private def foo(i: Int): Int = i
+ | ^
+ """
+
+ """
+ object Enclosing {
+ class A extends js.Object {
+ private[Enclosing] def foo(i: Int): Int = i
+ def foo(s: String): String = s
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Private methods in non-native JS classes cannot be overloaded. Use different names instead.
+ | private[Enclosing] def foo(i: Int): Int = i
+ | ^
+ """
+ }
+
+ @Test
+ def noVirtualQualifiedPrivate: Unit = {
+ """
+ object Enclosing {
+ class A extends js.Object {
+ private[Enclosing] def foo(i: Int): Int = i
+ private[Enclosing] val x: Int = 3
+ private[Enclosing] var y: Int = 5
+ }
+
+ class B extends A {
+ override private[Enclosing] final def foo(i: Int): Int = i + 1
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] def foo(i: Int): Int = i
+ | ^
+ |newSource1.scala:8: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] val x: Int = 3
+ | ^
+ |newSource1.scala:9: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] var y: Int = 5
+ | ^
+ """
+
+ """
+ object Enclosing {
+ object A extends js.Object {
+ private[Enclosing] def foo(i: Int): Int = i
+ private[Enclosing] val x: Int = 3
+ private[Enclosing] var y: Int = 5
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] def foo(i: Int): Int = i
+ | ^
+ |newSource1.scala:8: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] val x: Int = 3
+ | ^
+ |newSource1.scala:9: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] var y: Int = 5
+ | ^
+ """
+
+ """
+ object Enclosing {
+ abstract class A extends js.Object {
+ private[Enclosing] def foo(i: Int): Int
+ private[Enclosing] val x: Int
+ private[Enclosing] var y: Int
+ }
+
+ class B extends A {
+ override private[Enclosing] final def foo(i: Int): Int = i + 1
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] def foo(i: Int): Int
+ | ^
+ |newSource1.scala:8: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] val x: Int
+ | ^
+ |newSource1.scala:9: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] var y: Int
+ | ^
+ """
+
+ """
+ object Enclosing {
+ trait A extends js.Object {
+ private[Enclosing] def foo(i: Int): Int
+ private[Enclosing] val x: Int
+ private[Enclosing] var y: Int
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] def foo(i: Int): Int
+ | ^
+ |newSource1.scala:8: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] val x: Int
+ | ^
+ |newSource1.scala:9: error: Qualified private members in non-native JS classes must be final
+ | private[Enclosing] var y: Int
+ | ^
+ """
+
+ """
+ object Enclosing {
+ class A private () extends js.Object
+
+ class B private[this] () extends js.Object
+
+ class C private[Enclosing] () extends js.Object
+ }
+ """.succeeds()
+
+ """
+ object Enclosing {
+ class A extends js.Object {
+ final private[Enclosing] def foo(i: Int): Int = i
+ }
+ }
+ """.succeeds()
+
+ """
+ object Enclosing {
+ class A extends js.Object {
+ private def foo(i: Int): Int = i
+ private[this] def bar(i: Int): Int = i + 1
+ }
+ }
+ """.succeeds()
+
+ """
+ object Enclosing {
+ object A extends js.Object {
+ final private[Enclosing] def foo(i: Int): Int = i
+ }
+ }
+ """.succeeds()
+
+ """
+ object Enclosing {
+ object A extends js.Object {
+ private def foo(i: Int): Int = i
+ private[this] def bar(i: Int): Int = i + 1
+ }
+ }
+ """.succeeds()
+
+ """
+ object Enclosing {
+ abstract class A extends js.Object {
+ final private[Enclosing] def foo(i: Int): Int
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: abstract member may not have final modifier
+ | final private[Enclosing] def foo(i: Int): Int
+ | ^
+ """
+
+ """
+ object Enclosing {
+ trait A extends js.Object {
+ final private[Enclosing] def foo(i: Int): Int
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: abstract member may not have final modifier
+ | final private[Enclosing] def foo(i: Int): Int
+ | ^
+ """
+ }
+
+ @Test
+ def noUseJsNative: Unit = {
+ """
+ class A extends js.Object {
+ def foo = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: js.native may only be used as stub implementation in facade types
+ | def foo = js.native
+ | ^
+ """
+
+ """
+ object A extends js.Object {
+ def foo = js.native
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: js.native may only be used as stub implementation in facade types
+ | def foo = js.native
+ | ^
+ """
+
+ """
+ class A {
+ val x = new js.Object {
+ def a: Int = js.native
+ }
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:7: error: js.native may only be used as stub implementation in facade types
+ | def a: Int = js.native
+ | ^
+ """
+ }
+
+ @Test
+ def noNonLiteralJSName: Unit = {
+ """
+ object A {
+ val a = "Hello"
+ final val b = "World"
+ }
+
+ class B extends js.Object {
+ @JSName(A.a)
+ def foo: Int = 5
+ @JSName(A.b)
+ def bar: Int = 5
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:11: error: A string argument to JSName must be a literal string
+ | @JSName(A.a)
+ | ^
+ """
+
+ """
+ object A {
+ val a = "Hello"
+ final val b = "World"
+ }
+
+ object B extends js.Object {
+ @JSName(A.a)
+ def foo: Int = 5
+ @JSName(A.b)
+ def bar: Int = 5
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:11: error: A string argument to JSName must be a literal string
+ | @JSName(A.a)
+ | ^
+ """
+ }
+
+ @Test
+ def noApplyProperty: Unit = {
+ // def apply
+
+ """
+ class A extends js.Object {
+ def apply: Int = 42
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: A member named apply represents function application in JavaScript. A parameterless member should be exported as a property. You must add @JSName("apply")
+ | def apply: Int = 42
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ @JSName("apply")
+ def apply: Int = 42
+ }
+ """.succeeds()
+
+ // val apply
+
+ """
+ class A extends js.Object {
+ val apply: Int = 42
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: A member named apply represents function application in JavaScript. A parameterless member should be exported as a property. You must add @JSName("apply")
+ | val apply: Int = 42
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ @JSName("apply")
+ val apply: Int = 42
+ }
+ """.succeeds()
+
+ // var apply
+
+ """
+ class A extends js.Object {
+ var apply: Int = 42
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: A member named apply represents function application in JavaScript. A parameterless member should be exported as a property. You must add @JSName("apply")
+ | var apply: Int = 42
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ @JSName("apply")
+ var apply: Int = 42
+ }
+ """.succeeds()
+ }
+
+ @Test
+ def noExportClassWithOnlyPrivateCtors: Unit = {
+ """
+ @JSExportTopLevel("A")
+ class A private () extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a class that has only private constructors
+ | @JSExportTopLevel("A")
+ | ^
+ """
+
+ """
+ @JSExportTopLevel("A")
+ class A private[this] () extends js.Object
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a class that has only private constructors
+ | @JSExportTopLevel("A")
+ | ^
+ """
+
+ """
+ @JSExportTopLevel("A")
+ class A private[A] () extends js.Object
+
+ object A
+ """ hasErrors
+ """
+ |newSource1.scala:5: error: You may not export a class that has only private constructors
+ | @JSExportTopLevel("A")
+ | ^
+ """
+ }
+
+ @Test
+ def noConcreteMemberInTrait: Unit = {
+ """
+ trait A extends js.Object {
+ def foo(x: Int): Int = x + 1
+ def bar[A](x: A): A = x
+
+ object InnerScalaObject
+ object InnerJSObject extends js.Object
+ @js.native object InnerNativeJSObject extends js.Object
+
+ class InnerScalaClass
+ class InnerJSClass extends js.Object
+ @js.native class InnerNativeJSClass extends js.Object
+ }
+ """ hasErrors
+ """
+ |newSource1.scala:6: error: In non-native JS traits, defs with parentheses must be abstract.
+ | def foo(x: Int): Int = x + 1
+ | ^
+ |newSource1.scala:7: error: In non-native JS traits, defs with parentheses must be abstract.
+ | def bar[A](x: A): A = x
+ | ^
+ |newSource1.scala:9: error: Non-native JS traits cannot contain inner classes or objects
+ | object InnerScalaObject
+ | ^
+ |newSource1.scala:10: error: Non-native JS traits cannot contain inner classes or objects
+ | object InnerJSObject extends js.Object
+ | ^
+ |newSource1.scala:11: error: non-native JS classes, traits and objects may not have native JS members
+ | @js.native object InnerNativeJSObject extends js.Object
+ | ^
+ |newSource1.scala:13: error: Non-native JS traits cannot contain inner classes or objects
+ | class InnerScalaClass
+ | ^
+ |newSource1.scala:14: error: Non-native JS traits cannot contain inner classes or objects
+ | class InnerJSClass extends js.Object
+ | ^
+ |newSource1.scala:15: error: non-native JS classes, traits and objects may not have native JS members
+ | @js.native class InnerNativeJSClass extends js.Object
+ | ^
+ """
+ }
+
+ @Test // #4511
+ def noConflictingProperties: Unit = {
+ """
+ class A extends js.Object {
+ def a: Unit = ()
+
+ @JSName("a")
+ def b: Unit = ()
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:9: error: Cannot disambiguate overloads for getter a with types
+ | ${methodSig("()", "Unit")}
+ | ${methodSig("()", "Unit")}
+ | def b: Unit = ()
+ | ^
+ """
+
+ """
+ class A extends js.Object {
+ class B extends js.Object
+
+ object B
+ }
+ """ hasErrors
+ s"""
+ |newSource1.scala:8: error: Cannot disambiguate overloads for getter B with types
+ | ${methodSig("()", "A$B.type")}
+ | ${methodSig("()", "Object")}
+ | object B
+ | ^
+ """
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/OptimizationTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/OptimizationTest.scala
new file mode 100644
index 0000000000..227eafde4d
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/OptimizationTest.scala
@@ -0,0 +1,571 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import util._
+
+import org.junit.Test
+
+import org.scalajs.ir.{Trees => js, Types => jstpe}
+import org.scalajs.ir.Names._
+
+class OptimizationTest extends JSASTTest {
+ import OptimizationTest._
+
+ @Test
+ def testArrayApplyOptimization: Unit = {
+ /* Make sure Array(...) is optimized away completely for several kinds
+ * of data types, with both the generic overload and the ones specialized
+ * for primitives.
+ */
+ """
+ class A {
+ val a = Array(5, 7, 9, -3)
+ val b = Array("hello", "world")
+ val c = Array('a', 'b')
+ val d = Array(Nil)
+ val e = Array(5.toByte, 7.toByte, 9.toByte, -3.toByte)
+
+ // Also with exactly 1 element of a primitive type (#3938)
+ val f = Array('a')
+ val g = Array(5.toByte)
+ }
+ """.
+ hasNot("any LoadModule of the scala.Array companion") {
+ case js.LoadModule(ArrayModuleClass) =>
+ }
+
+ /* Using [] with primitives produces suboptimal trees, which cannot be
+ * optimized. We should improve this in the future, if possible. This is
+ * particularly annoying for Byte and Short, as it means that we need to
+ * write `.toByte` for every single element if we want the optimization to
+ * kick in.
+ *
+ * Scala/JVM has the same limitation.
+ */
+ """
+ class A {
+ val a = Array[Int](5, 7, 9, -3)
+ val b = Array[Byte](5, 7, 9, -3)
+ val c = Array[Int](5)
+ val d = Array[Byte](5)
+ }
+ """.
+ hasExactly(4, "calls to Array.apply methods") {
+ case js.Apply(_, js.LoadModule(ArrayModuleClass), js.MethodIdent(methodName), _)
+ if methodName.simpleName == applySimpleMethodName =>
+ }
+ }
+
+ @Test
+ def testJSArrayApplyOptimization: Unit = {
+ /* Make sure js.Array(...) is optimized away completely for several kinds
+ * of data types.
+ */
+ """
+ import scala.scalajs.js
+
+ class VC(val x: Int) extends AnyVal
+
+ class A {
+ val a = js.Array(5, 7, 9, -3)
+ val b = js.Array("hello", "world")
+ val c = js.Array('a', 'b')
+ val d = js.Array(Nil)
+ val e = js.Array(new VC(151189))
+ }
+ """.
+ hasNot("any of the wrapArray methods") {
+ case WrapArrayCall() =>
+ }
+ }
+
+ @Test
+ def testVarArgsOptimization: Unit = {
+ /* Make sure varargs are optimized to use js.WrappedArray instead of
+ * scm.WrappedArray, for various data types.
+ */
+ """
+ import scala.scalajs.js
+
+ class VC(val x: Int) extends AnyVal
+
+ class A {
+ val a = List(5, 7, 9, -3)
+ val b = List("hello", "world")
+ val c = List('a', 'b')
+ val d = List(Nil)
+ val e = List(new VC(151189))
+ }
+ """.
+ hasNot("any of the wrapArray methods") {
+ case WrapArrayCall() =>
+ }
+
+ /* #2265 and #2741:
+ * Make sure varargs are optimized to use js.WrappedArray instead of
+ * scm.WrappedArray, for different species of target method (single arg
+ * list, multiple arg list, in value class).
+ */
+ """
+ import scala.scalajs.js
+
+ class VC(val x: Int) extends AnyVal {
+ def singleInVC(ys: Int*): Int = x + ys.size
+ }
+
+ class A {
+ def test(): Int = {
+ val a = single(5, 7, 9, -3)
+ val b = multiple(5)(7, 9, -3)
+ val c = new VC(5).singleInVC(7, 9, -3)
+ a + b + c
+ }
+
+ def single(x: Int, ys: Int*): Int = x + ys.size
+ def multiple(x: Int)(ys: Int*): Int = x + ys.size
+ }
+ """.
+ hasNot("any of the wrapArray methods") {
+ case WrapArrayCall() =>
+ }
+
+ /* Make sure our wrapper matcher has the right name.
+ * With the new collections, only actual varargs will produce a call to the
+ * methods we optimize, and we would always be able to optimize them in
+ * that case. So we need to explicitly call the method that the codegen
+ * would use.
+ */
+ val sanityCheckCode = if (hasOldCollections) {
+ """
+ class A {
+ val a: Seq[Int] = new Array[Int](5)
+ }
+ """
+ } else {
+ """
+ class A {
+ runtime.ScalaRunTime.wrapIntArray(new Array[Int](5))
+ }
+ """
+ }
+ sanityCheckCode.has("one of the wrapArray methods") {
+ case WrapArrayCall() =>
+ }
+ }
+
+ @Test
+ def testNewJSObjectAndJSArray: Unit = {
+ // Verify the optimized emitted code for 'new js.Object' and 'new js.Array'
+ """
+ import scala.scalajs.js
+
+ class A {
+ val o = new js.Object
+ val a = new js.Array
+ }
+ """.
+ hasNot("any reference to the global scope") {
+ case js.JSLinkingInfo() =>
+ }
+ }
+
+ @Test
+ def noLabeledBlockForWhileLoops: Unit = {
+ """
+ class Test {
+ def testWhileStatWithCond(): Unit = {
+ var x: Int = 5
+ while (x != 0) {
+ x -= 1
+ }
+ println(x)
+ }
+
+ def testWhileExprWithCond(s: Any): Unit = {
+ var x: Int = 5
+ s match {
+ case s: String =>
+ while (x != 0) {
+ x -= 1
+ }
+ }
+ }
+
+ def testWhileTrueStat(): Unit = {
+ var x: Int = 5
+ while (true) {
+ x -= 1
+ if (x == 0)
+ return
+ println(x)
+ }
+ }
+
+ def testWhileTrueExpr(s: Any): Unit = {
+ var x: Int = 5
+ s match {
+ case s: String =>
+ while (true) {
+ x -= 1
+ if (x == 0)
+ return
+ println(x)
+ }
+ }
+ }
+
+ def testWhileFalseStat(): Unit = {
+ var x: Int = 5
+ while (false) {
+ x -= 1
+ if (x == 0)
+ return
+ println(x)
+ }
+ }
+
+ def testWhileFalseExpr(s: Any): Unit = {
+ var x: Int = 5
+ s match {
+ case s: String =>
+ while (false) {
+ x -= 1
+ if (x == 0)
+ return
+ println(x)
+ }
+ }
+ }
+ }
+ """.hasNot("non-return labeled block") {
+ case js.Labeled(name, _, _) if !name.name.nameString.startsWith("_return") =>
+ }
+ }
+
+ @Test
+ def noLabeledBlockForDoWhileLoops: Unit = {
+ """
+ class Test {
+ def testDoWhileStatWithCond(): Unit = {
+ var x: Int = 5
+ do {
+ x -= 1
+ } while (x != 0)
+ println(x)
+ }
+
+ def testDoWhileExprWithCond(s: Any): Unit = {
+ var x: Int = 5
+ s match {
+ case s: String =>
+ do {
+ x -= 1
+ } while (x != 0)
+ }
+ }
+
+ def testDoWhileTrueStat(): Unit = {
+ var x: Int = 5
+ do {
+ x -= 1
+ if (x == 0)
+ return
+ println(x)
+ } while (true)
+ }
+
+ def testDoWhileTrueExpr(s: Any): Unit = {
+ var x: Int = 5
+ s match {
+ case s: String =>
+ do {
+ x -= 1
+ if (x == 0)
+ return
+ println(x)
+ } while (true)
+ }
+ }
+
+ def testDoWhileFalseStat(): Unit = {
+ var x: Int = 5
+ do {
+ x -= 1
+ if (x == 0)
+ return
+ println(x)
+ } while (false)
+ }
+
+ def testDoWhileFalseExpr(s: Any): Unit = {
+ var x: Int = 5
+ s match {
+ case s: String =>
+ do {
+ x -= 1
+ if (x == 0)
+ return
+ println(x)
+ } while (false)
+ }
+ }
+ }
+ """.hasNot("non-return labeled block") {
+ case js.Labeled(name, _, _) if !name.name.nameString.startsWith("_return") =>
+ }
+ }
+
+ @Test
+ def noLabeledBlockForPatmatWithToplevelCaseClassesOnlyAndNoGuards: Unit = {
+ """
+ sealed abstract class Foo
+ final case class Foobar(x: Int) extends Foo
+ final case class Foobaz(y: String) extends Foo
+
+ class Test {
+ def testWithListsStat(xs: List[Int]): Unit = {
+ xs match {
+ case head :: tail => println(head + " " + tail)
+ case Nil => println("nil")
+ }
+ }
+
+ def testWithListsExpr(xs: List[Int]): Int = {
+ xs match {
+ case head :: tail => head + tail.size
+ case Nil => 0
+ }
+ }
+
+ def testWithFooStat(foo: Foo): Unit = {
+ foo match {
+ case Foobar(x) => println("foobar: " + x)
+ case Foobaz(y) => println(y)
+ }
+ }
+
+ def testWithFooExpr(foo: Foo): String = {
+ foo match {
+ case Foobar(x) => "foobar: " + x
+ case Foobaz(y) => "foobaz: " + y
+ }
+ }
+ }
+ """.hasNot("Labeled block") {
+ case js.Labeled(_, _, _) =>
+ }
+ }
+
+ @Test
+ def switchWithoutGuards: Unit = {
+ """
+ class Test {
+ def switchWithGuardsStat(x: Int, y: Int): Unit = {
+ x match {
+ case 1 => println("one")
+ case 2 => println("two")
+ case z if y > 100 => println("big " + z)
+ case _ => println("None of those")
+ }
+ }
+ }
+ """.hasNot("Labeled block") {
+ case js.Labeled(_, _, _) =>
+ }.has("Match node") {
+ case js.Match(_, _, _) =>
+ }
+ }
+
+ @Test
+ def switchWithGuards: Unit = {
+ // Statement position
+ """
+ class Test {
+ def switchWithGuardsStat(x: Int, y: Int): Unit = {
+ x match {
+ case 1 => println("one")
+ case 2 if y < 10 => println("two special")
+ case 2 => println("two")
+ case 3 if y < 10 => println("three special")
+ case 3 if y > 100 => println("three big special")
+ case z if y > 100 => println("big " + z)
+ case _ => println("None of those")
+ }
+ }
+ }
+ """.hasExactly(1, "default case (\"None of those\")") {
+ case js.StringLiteral("None of those") =>
+ }.has("Match node") {
+ case js.Match(_, _, _) =>
+ }
+
+ // Expression position
+ """
+ class Test {
+ def switchWithGuardsExpr(x: Int, y: Int): Unit = {
+ val message = x match {
+ case 1 => "one"
+ case 2 if y < 10 => "two special"
+ case 2 => "two"
+ case 3 if y < 10 => "three special"
+ case 3 if y > 100 => "three big special"
+ case z if y > 100 => "big " + z
+ case _ => "None of those"
+ }
+ println(message)
+ }
+ }
+ """.hasExactly(1, "default case (\"None of those\")") {
+ case js.StringLiteral("None of those") =>
+ }.has("Match node") {
+ case js.Match(_, _, _) =>
+ }
+ }
+
+ @Test
+ def newSJSDefinedTraitProducesObjectConstr: Unit = {
+ """
+ import scala.scalajs.js
+ import scala.scalajs.js.annotation._
+
+ trait Point extends js.Object {
+ val x: Double
+ val y: Double
+ }
+
+ class Test {
+ def newSJSDefinedTraitProducesObjectConstr(): Any = {
+ new Point {
+ val x = 5.0
+ val y = 6.5
+ }
+ }
+ }
+ """.hasNot("`new Object`") {
+ case js.JSNew(_, _) =>
+ }.has("object literal") {
+ case js.JSObjectConstr(Nil) =>
+ }
+
+ """
+ import scala.scalajs.js
+ import scala.scalajs.js.annotation._
+
+ trait Point extends js.Object {
+ var x: js.UndefOr[Double] = js.undefined
+ var y: js.UndefOr[Double] = js.undefined
+ }
+
+ class Test {
+ def newSJSDefinedTraitProducesObjectConstr(): Any = {
+ new Point {
+ x = 5.0
+ y = 6.5
+ }
+ }
+ }
+ """.hasNot("`new Object`") {
+ case js.JSNew(_, _) =>
+ }.has("object literal") {
+ case js.JSObjectConstr(Nil) =>
+ }
+ }
+
+ @Test
+ def optimizeScalaLambda: Unit = {
+ val allowedNames = Set(ClassName("A$"), ClassName("A"))
+
+ """
+ object A {
+ val x: Int => String = _.toString
+ }
+ """.hasNot("auxiliary/anonymous class") {
+ case cl: js.ClassDef if !allowedNames.contains(cl.name.name) =>
+ }
+ }
+
+ @Test
+ def noWrapJavaScriptExceptionWhenCatchingWildcardThrowable: Unit = {
+ """
+ class Test {
+ def foo(): Int = throw new IllegalArgumentException("foo")
+
+ def testCatchFullWildcard(): Int = {
+ try {
+ foo()
+ } catch {
+ case _ => -1 // causes an expected Scala compile warning
+ }
+ }
+
+ def testCatchWildcardOfTypeThrowable(): Int = {
+ try {
+ foo()
+ } catch {
+ case _: Throwable => -1
+ }
+ }
+ }
+ """.hasNot("WrapAsThrowable") {
+ case js.WrapAsThrowable(_) =>
+ }
+
+ // Confidence check
+ """
+ class Test {
+ def foo(): Int = throw new IllegalArgumentException("foo")
+
+ def testCatchWildcardOfTypeRuntimeException(): Int = {
+ try {
+ foo()
+ } catch {
+ case _: RuntimeException => -1
+ }
+ }
+ }
+ """.hasExactly(1, "WrapAsThrowable") {
+ case js.WrapAsThrowable(_) =>
+ }
+ }
+}
+
+object OptimizationTest {
+
+ private val ArrayModuleClass = ClassName("scala.Array$")
+
+ private val applySimpleMethodName = SimpleMethodName("apply")
+
+ private val hasOldCollections = {
+ val version = scala.util.Properties.versionNumberString
+
+ version.startsWith("2.11.") ||
+ version.startsWith("2.12.")
+ }
+
+ private object WrapArrayCall {
+ private val WrappedArrayTypeRef = {
+ val name =
+ if (hasOldCollections) "scala.collection.mutable.WrappedArray"
+ else "scala.collection.immutable.ArraySeq"
+ jstpe.ClassRef(ClassName(name))
+ }
+
+ def unapply(tree: js.Apply): Boolean = {
+ val methodName = tree.method.name
+ methodName.simpleName.nameString.startsWith("wrap") &&
+ methodName.resultTypeRef == WrappedArrayTypeRef
+ }
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/core/compiler/test/PositionTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/PositionTest.scala
similarity index 93%
rename from compiler/src/test/scala/org/scalajs/core/compiler/test/PositionTest.scala
rename to compiler/src/test/scala/org/scalajs/nscplugin/test/PositionTest.scala
index de73b811ea..846560dbab 100644
--- a/compiler/src/test/scala/org/scalajs/core/compiler/test/PositionTest.scala
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/PositionTest.scala
@@ -10,7 +10,7 @@
* additional information regarding copyright ownership.
*/
-package org.scalajs.core.compiler.test
+package org.scalajs.nscplugin.test
import util.JSASTTest
@@ -19,7 +19,7 @@ import org.junit.Assert._
import scala.reflect.internal.util.BatchSourceFile
-import org.scalajs.core.ir.{Trees => js}
+import org.scalajs.ir.{Trees => js}
class PositionTest extends JSASTTest {
diff --git a/compiler/src/test/scala/org/scalajs/core/compiler/test/ReflectTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/ReflectTest.scala
similarity index 96%
rename from compiler/src/test/scala/org/scalajs/core/compiler/test/ReflectTest.scala
rename to compiler/src/test/scala/org/scalajs/nscplugin/test/ReflectTest.scala
index 799bf5bc8d..f6937e2475 100644
--- a/compiler/src/test/scala/org/scalajs/core/compiler/test/ReflectTest.scala
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/ReflectTest.scala
@@ -10,9 +10,9 @@
* additional information regarding copyright ownership.
*/
-package org.scalajs.core.compiler.test
+package org.scalajs.nscplugin.test
-import org.scalajs.core.compiler.test.util._
+import org.scalajs.nscplugin.test.util._
import org.junit.Test
// scalastyle:off line.size.limit
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/StaticForwardersASTTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/StaticForwardersASTTest.scala
new file mode 100644
index 0000000000..e718a73ff4
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/StaticForwardersASTTest.scala
@@ -0,0 +1,91 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import org.scalajs.nscplugin.test.util._
+
+import org.scalajs.ir.Names._
+import org.scalajs.ir.Trees._
+import org.scalajs.ir.Types._
+
+import org.junit.Assert._
+import org.junit.Test
+
+// scalastyle:off line.size.limit
+
+class StaticForwardersASTTest extends JSASTTest {
+
+ @Test
+ def emitStaticForwardersInExistingClass(): Unit = {
+ val classDef = """
+ import scala.scalajs.js, js.annotation._
+
+ class Foo(val y: Int = 10)
+
+ object Foo {
+ def bar(x: Int = 5): Int = x + 1
+
+ @js.native
+ @JSGlobal("foobar")
+ def foobar(x: Int = 5): Int = js.native
+ }
+ """.extractOne("class Foo") {
+ case cd: ClassDef if cd.name.name == ClassName("Foo") => cd
+ }
+
+ val staticMethodNames = classDef.memberDefs.collect {
+ case MethodDef(flags, MethodIdent(name), _, _, _, _) if flags.namespace.isStatic =>
+ name
+ }.sortBy(_.simpleName)
+
+ assertEquals(
+ List(
+ MethodName("$lessinit$greater$default$1", Nil, IntRef),
+ MethodName("bar", List(IntRef), IntRef),
+ MethodName("bar$default$1", Nil, IntRef)
+ ),
+ staticMethodNames
+ )
+ }
+
+ @Test
+ def emitStaticForwardersInSyntheticClass(): Unit = {
+ val classDef = """
+ import scala.scalajs.js, js.annotation._
+
+ object Foo {
+ def bar(x: Int = 5): Int = x + 1
+
+ @js.native
+ @JSGlobal("foobar")
+ def foobar(x: Int = 5): Int = js.native
+ }
+ """.extractOne("class Foo") {
+ case cd: ClassDef if cd.name.name == ClassName("Foo") => cd
+ }
+
+ val staticMethodNames = classDef.memberDefs.collect {
+ case MethodDef(flags, MethodIdent(name), _, _, _, _) if flags.namespace.isStatic =>
+ name
+ }.sortBy(_.simpleName)
+
+ assertEquals(
+ List(
+ MethodName("bar", List(IntRef), IntRef),
+ MethodName("bar$default$1", Nil, IntRef)
+ ),
+ staticMethodNames
+ )
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/StaticForwardersWarningsAllObjectsTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/StaticForwardersWarningsAllObjectsTest.scala
new file mode 100644
index 0000000000..6294d7c7ba
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/StaticForwardersWarningsAllObjectsTest.scala
@@ -0,0 +1,64 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import org.scalajs.nscplugin.test.util._
+import org.scalajs.nscplugin.test.util.VersionDependentUtils.scalaSupportsNoWarn
+
+import org.junit.Assume._
+import org.junit.Test
+
+// scalastyle:off line.size.limit
+
+class StaticForwardersWarningsAllObjectsTest extends DirectTest with TestHelpers {
+
+ override def extraArgs: List[String] =
+ super.extraArgs ::: List("-P:scalajs:genStaticForwardersForNonTopLevelObjects")
+
+ @Test
+ def warnWhenAvoidingStaticForwardersForNonTopLevelObject: Unit = {
+ """
+ object Enclosing {
+ class A
+
+ object a {
+ def foo(x: Int): Int = x + 1
+ }
+ }
+ """ hasWarns
+ """
+ |newSource1.scala:5: warning: Not generating the static forwarders of Enclosing$a because its name differs only in case from the name of another class or trait in this compilation unit.
+ | object a {
+ | ^
+ """
+ }
+
+ @Test
+ def noWarnIfSelectivelyDisabled: Unit = {
+ assumeTrue(scalaSupportsNoWarn)
+
+ """
+ import scala.annotation.nowarn
+
+ object Enclosing {
+ class A
+
+ @nowarn("cat=other")
+ object a {
+ def foo(x: Int): Int = x + 1
+ }
+ }
+ """.hasNoWarns()
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/StaticForwardersWarningsTopLevelOnlyTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/StaticForwardersWarningsTopLevelOnlyTest.scala
new file mode 100644
index 0000000000..e3e9cf39ea
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/StaticForwardersWarningsTopLevelOnlyTest.scala
@@ -0,0 +1,88 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test
+
+import org.scalajs.nscplugin.test.util._
+import org.scalajs.nscplugin.test.util.VersionDependentUtils._
+
+import org.junit.Assume._
+import org.junit.Test
+
+// scalastyle:off line.size.limit
+
+class StaticForwardersWarningsTopLevelOnlyTest extends DirectTest with TestHelpers {
+
+ @Test
+ def warnWhenAvoidingStaticForwardersForTopLevelObject: Unit = {
+ val jvmBackendIssuesWarningOfItsOwn = {
+ !scalaVersion.startsWith("2.11.") &&
+ scalaVersion != "2.12.1" &&
+ scalaVersion != "2.12.2" &&
+ scalaVersion != "2.12.3" &&
+ scalaVersion != "2.12.4"
+ }
+ val jvmBackendMessage = if (!jvmBackendIssuesWarningOfItsOwn) {
+ ""
+ } else {
+ """
+ |newSource1.scala:4: warning: Generated class a differs only in case from A.
+ | Such classes will overwrite one another on case-insensitive filesystems.
+ | object a {
+ | ^
+ """
+ }
+
+ """
+ class A
+
+ object a {
+ def foo(x: Int): Int = x + 1
+ }
+ """ hasWarns
+ s"""
+ |newSource1.scala:4: warning: Not generating the static forwarders of a because its name differs only in case from the name of another class or trait in this compilation unit.
+ | object a {
+ | ^$jvmBackendMessage
+ """
+ }
+
+ @Test
+ def noWarnIfSelectivelyDisabled: Unit = {
+ assumeTrue(scalaSupportsNoWarn)
+
+ """
+ import scala.annotation.nowarn
+
+ class A
+
+ @nowarn("cat=other")
+ object a {
+ def foo(x: Int): Int = x + 1
+ }
+ """.hasNoWarns()
+ }
+
+ @Test
+ def noWarnForNonTopLevelObject: Unit = {
+ """
+ object Enclosing {
+ class A
+
+ object a {
+ def foo(x: Int): Int = x + 1
+ }
+ }
+ """.hasNoWarns()
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/core/compiler/test/util/DirectTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/util/DirectTest.scala
similarity index 81%
rename from compiler/src/test/scala/org/scalajs/core/compiler/test/util/DirectTest.scala
rename to compiler/src/test/scala/org/scalajs/nscplugin/test/util/DirectTest.scala
index 737de155d9..72a2978c05 100644
--- a/compiler/src/test/scala/org/scalajs/core/compiler/test/util/DirectTest.scala
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/util/DirectTest.scala
@@ -10,14 +10,15 @@
* additional information regarding copyright ownership.
*/
-package org.scalajs.core.compiler.test.util
+package org.scalajs.nscplugin.test.util
import scala.tools.nsc._
import scala.tools.nsc.plugins.Plugin
-import reporters.{Reporter, ConsoleReporter}
-import scala.reflect.internal.util.{ SourceFile, BatchSourceFile }
+import scala.tools.nsc.reporters.ConsoleReporter
-import org.scalajs.core.compiler.ScalaJSPlugin
+import scala.reflect.internal.util.{SourceFile, BatchSourceFile}
+
+import org.scalajs.nscplugin.ScalaJSPlugin
import scala.collection.mutable
@@ -27,12 +28,12 @@ import java.io.File
abstract class DirectTest {
/** these arguments are always added to the args passed to newSettings */
- def extraArgs: List[String] = List("-P:scalajs:sjsDefinedByDefault")
+ def extraArgs: List[String] = Nil
/** create settings objects for test from arg string */
def newSettings(args: List[String]): Settings = {
val s = new Settings
- s processArguments (args, true)
+ s.processArguments(args, true)
s
}
@@ -59,7 +60,7 @@ abstract class DirectTest {
override lazy val plugins = {
val scalaJSPlugin = newScalaJSPlugin(global)
- scalaJSPlugin.processOptions(scalaJSPlugin.options,
+ scalaJSPlugin.init(scalaJSPlugin.options,
msg => throw new IllegalArgumentException(msg))
scalaJSPlugin :: Nil
}
@@ -71,7 +72,8 @@ abstract class DirectTest {
def newScalaJSPlugin(global: Global): ScalaJSPlugin =
new ScalaJSPlugin(global)
- def newReporter(settings: Settings): Reporter = new ConsoleReporter(settings)
+ def newReporter(settings: Settings): ConsoleReporter =
+ new ConsoleReporter(settings)
private def newSources(codes: String*) = codes.toList.zipWithIndex map {
case (src, idx) => new BatchSourceFile(s"newSource${idx + 1}.scala", src)
@@ -93,10 +95,9 @@ abstract class DirectTest {
def compileString(sourceCode: String): Boolean =
compileString(defaultGlobal)(sourceCode)
- // Cannot reuse global, otherwise compiler crashes with Scala >= 2.11.5
- // on following tests:
- // - org.scalajs.core.compiler.test.JSExportTest
- // - org.scalajs.core.compiler.test.JSDynamicLiteralTest
+ // Cannot reuse global, otherwise the compiler crashes on the following tests:
+ // - org.scalajs.nscplugin.test.JSExportTest
+ // - org.scalajs.nscplugin.test.JSDynamicLiteralTest
// Filed as #1443
def defaultGlobal: Global = newScalaJSCompiler()
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/util/JSASTTest.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/util/JSASTTest.scala
new file mode 100644
index 0000000000..7b1e52ca44
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/util/JSASTTest.scala
@@ -0,0 +1,158 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test.util
+
+import language.implicitConversions
+
+import scala.tools.nsc._
+import scala.reflect.internal.util.SourceFile
+
+import scala.util.control.ControlThrowable
+
+import org.junit.Assert._
+
+import org.scalajs.nscplugin.ScalaJSPlugin
+import org.scalajs.ir
+import ir.{Trees => js}
+
+abstract class JSASTTest extends DirectTest {
+
+ private var lastAST: JSAST = _
+
+ class JSAST(val clDefs: List[js.ClassDef]) {
+ type Pat = PartialFunction[js.IRNode, Unit]
+
+ class PFTraverser(pf: Pat) extends ir.Traversers.Traverser {
+ private case object Found extends ControlThrowable
+
+ private[this] var finding = false
+
+ def find: Boolean = {
+ finding = true
+ try {
+ clDefs.map(traverseClassDef)
+ false
+ } catch {
+ case Found => true
+ }
+ }
+
+ def traverse(): Unit = {
+ finding = false
+ clDefs.map(traverseClassDef)
+ }
+
+ override def traverse(tree: js.Tree): Unit = {
+ handle(tree)
+ super.traverse(tree)
+ }
+
+ override def traverseClassDef(classDef: js.ClassDef): Unit = {
+ handle(classDef)
+ super.traverseClassDef(classDef)
+ }
+
+ override def traverseMemberDef(memberDef: js.MemberDef): Unit = {
+ handle(memberDef)
+ super.traverseMemberDef(memberDef)
+ }
+
+ override def traverseTopLevelExportDef(
+ exportDef: js.TopLevelExportDef): Unit = {
+ handle(exportDef)
+ super.traverseTopLevelExportDef(exportDef)
+ }
+
+ private def handle(node: js.IRNode): Unit = {
+ if (finding) {
+ if (pf.isDefinedAt(node))
+ throw Found
+ } else {
+ pf.lift(node)
+ }
+ }
+ }
+
+ def has(trgName: String)(pf: Pat): this.type = {
+ val tr = new PFTraverser(pf)
+ if (!tr.find)
+ fail(s"AST should have $trgName but was\n$show")
+ this
+ }
+
+ def hasNot(trgName: String)(pf: Pat): this.type = {
+ val tr = new PFTraverser(pf)
+ if (tr.find)
+ fail(s"AST should not have $trgName but was\n$show")
+ this
+ }
+
+ def hasExactly(count: Int, trgName: String)(pf: Pat): this.type = {
+ var actualCount = 0
+ val tr = new PFTraverser(pf.andThen(_ => actualCount += 1))
+ tr.traverse()
+ if (actualCount != count)
+ fail(s"AST has $actualCount $trgName but expected $count; it was\n$show")
+ this
+ }
+
+ def extractOne[A](trgName: String)(pf: PartialFunction[js.IRNode, A]): A = {
+ var result: Option[A] = None
+ val tr = new PFTraverser(pf.andThen { r =>
+ if (result.isDefined)
+ fail(s"AST has more than one $trgName")
+ result = Some(r)
+ })
+ tr.traverse()
+ result.getOrElse {
+ fail(s"AST should have a $trgName")
+ throw new AssertionError("unreachable")
+ }
+ }
+
+ def traverse(pf: Pat): this.type = {
+ val tr = new PFTraverser(pf)
+ tr.traverse()
+ this
+ }
+
+ def show: String =
+ clDefs.map(_.show).mkString("\n")
+
+ }
+
+ implicit def string2ast(str: String): JSAST = stringAST(str)
+
+ override def newScalaJSPlugin(global: Global): ScalaJSPlugin = {
+ new ScalaJSPlugin(global) {
+ override def generatedJSAST(cld: List[js.ClassDef]): Unit = {
+ lastAST = new JSAST(cld)
+ }
+ }
+ }
+
+ def stringAST(code: String): JSAST = stringAST(defaultGlobal)(code)
+ def stringAST(global: Global)(code: String): JSAST = {
+ if (!compileString(global)(code))
+ throw new IllegalArgumentException("snippet did not compile")
+ lastAST
+ }
+
+ def sourceAST(source: SourceFile): JSAST = sourceAST(defaultGlobal)(source)
+ def sourceAST(global: Global)(source: SourceFile): JSAST = {
+ if (!compileSources(global)(source))
+ throw new IllegalArgumentException("snippet did not compile")
+ lastAST
+ }
+
+}
diff --git a/compiler/src/test/scala/org/scalajs/core/compiler/test/util/TestHelpers.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/util/TestHelpers.scala
similarity index 80%
rename from compiler/src/test/scala/org/scalajs/core/compiler/test/util/TestHelpers.scala
rename to compiler/src/test/scala/org/scalajs/nscplugin/test/util/TestHelpers.scala
index e3839853a8..8336f2e472 100644
--- a/compiler/src/test/scala/org/scalajs/core/compiler/test/util/TestHelpers.scala
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/util/TestHelpers.scala
@@ -10,22 +10,20 @@
* additional information regarding copyright ownership.
*/
-package org.scalajs.core.compiler.test.util
+package org.scalajs.nscplugin.test.util
import java.io._
-import scala.tools.nsc._
-import reporters.{Reporter, ConsoleReporter}
+import scala.tools.nsc._
+import scala.tools.nsc.reporters.ConsoleReporter
import org.junit.Assert._
-import scala.util.matching.Regex
-
trait TestHelpers extends DirectTest {
private[this] val errBuffer = new CharArrayWriter
- override def newReporter(settings: Settings): Reporter = {
+ override def newReporter(settings: Settings): ConsoleReporter = {
val in = new BufferedReader(new StringReader(""))
val out = new PrintWriter(errBuffer)
new ConsoleReporter(settings, in, out)
@@ -34,6 +32,12 @@ trait TestHelpers extends DirectTest {
/** will be prefixed to every code that is compiled. use for imports */
def preamble: String = ""
+ protected def since(v: String): String = {
+ val version = scala.util.Properties.versionNumberString
+ if (version.startsWith("2.11.")) ""
+ else s" (since $v)"
+ }
+
/** pimps a string to compile it and apply the specified test */
implicit class CompileTests(val code: String) {
private lazy val (success, output) = {
@@ -48,6 +52,12 @@ trait TestHelpers extends DirectTest {
assertEquals("should have right errors", expected.stripMargin.trim, output)
}
+ def containsErrors(expected: String): Unit = {
+ assertFalse("snippet shouldn't compile", success)
+ assertTrue("should have right errors",
+ output.contains(expected.stripMargin.trim))
+ }
+
def hasWarns(expected: String): Unit = {
assertTrue("snippet should compile\n" + output, success)
assertEquals("should have right warnings", expected.stripMargin.trim, output)
diff --git a/compiler/src/test/scala/org/scalajs/nscplugin/test/util/VersionDependentUtils.scala b/compiler/src/test/scala/org/scalajs/nscplugin/test/util/VersionDependentUtils.scala
new file mode 100644
index 0000000000..fe976ebe9e
--- /dev/null
+++ b/compiler/src/test/scala/org/scalajs/nscplugin/test/util/VersionDependentUtils.scala
@@ -0,0 +1,39 @@
+/*
+ * Scala.js (https://www.scala-js.org/)
+ *
+ * Copyright EPFL.
+ *
+ * Licensed under Apache License 2.0
+ * (https://www.apache.org/licenses/LICENSE-2.0).
+ *
+ * See the NOTICE file distributed with this work for
+ * additional information regarding copyright ownership.
+ */
+
+package org.scalajs.nscplugin.test.util
+
+object VersionDependentUtils {
+ val scalaVersion = scala.util.Properties.versionNumberString
+
+ /** Does the current Scala version support the `@nowarn` annotation? */
+ val scalaSupportsNoWarn = {
+ !scalaVersion.startsWith("2.11.") &&
+ !scalaVersion.startsWith("2.12.") &&
+ scalaVersion != "2.13.0" &&
+ scalaVersion != "2.13.1"
+ }
+
+ private val usesColonInMethodSig = {
+ /* Yes, this is the same test as in scalaSupportsNoWarn, but that's
+ * completely coincidental, so we have a copy.
+ */
+ !scalaVersion.startsWith("2.11.") &&
+ !scalaVersion.startsWith("2.12.") &&
+ scalaVersion != "2.13.0" &&
+ scalaVersion != "2.13.1"
+ }
+
+ def methodSig(params: String, resultType: String): String =
+ if (usesColonInMethodSig) params + ": " + resultType
+ else params + resultType
+}
diff --git a/examples/helloworld/helloworld-2.10-fastopt.html b/examples/helloworld/helloworld-2.10-fastopt.html
deleted file mode 100644
index b8b413f796..0000000000
--- a/examples/helloworld/helloworld-2.10-fastopt.html
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
-
- Hello world - Scala.js example
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/examples/helloworld/helloworld-2.10.html b/examples/helloworld/helloworld-2.10.html
deleted file mode 100644
index ae117a00f6..0000000000
--- a/examples/helloworld/helloworld-2.10.html
+++ /dev/null
@@ -1,17 +0,0 @@
-
-
-
- Hello world - Scala.js example
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/examples/helloworld/helloworld-2.11-fastopt.html b/examples/helloworld/helloworld-2.11-fastopt.html
index 7b30469669..8f7eceddd9 100644
--- a/examples/helloworld/helloworld-2.11-fastopt.html
+++ b/examples/helloworld/helloworld-2.11-fastopt.html
@@ -11,7 +11,7 @@
-
+
diff --git a/examples/helloworld/helloworld-2.11.html b/examples/helloworld/helloworld-2.11.html
index eb9d7cfd40..ad39b7a9fe 100644
--- a/examples/helloworld/helloworld-2.11.html
+++ b/examples/helloworld/helloworld-2.11.html
@@ -11,7 +11,7 @@
-
+
diff --git a/examples/helloworld/helloworld-2.12-fastopt.html b/examples/helloworld/helloworld-2.12-fastopt.html
new file mode 100644
index 0000000000..922690d7ac
--- /dev/null
+++ b/examples/helloworld/helloworld-2.12-fastopt.html
@@ -0,0 +1,17 @@
+
+
+
+ Hello world - Scala.js example
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/examples/helloworld/helloworld-2.12.html b/examples/helloworld/helloworld-2.12.html
new file mode 100644
index 0000000000..a970c0c7bd
--- /dev/null
+++ b/examples/helloworld/helloworld-2.12.html
@@ -0,0 +1,17 @@
+
+
+
+ Hello world - Scala.js example
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/examples/helloworld/HelloWorld.scala b/examples/helloworld/src/main/scala/helloworld/HelloWorld.scala
similarity index 93%
rename from examples/helloworld/HelloWorld.scala
rename to examples/helloworld/src/main/scala/helloworld/HelloWorld.scala
index a79919685c..e27530ddcb 100644
--- a/examples/helloworld/HelloWorld.scala
+++ b/examples/helloworld/src/main/scala/helloworld/HelloWorld.scala
@@ -8,11 +8,12 @@ package helloworld
import scala.scalajs.js
import js.annotation._
-object HelloWorld extends js.JSApp {
- def main(): Unit = {
+object HelloWorld {
+ def main(args: Array[String]): Unit = {
import js.DynamicImplicits.truthValue
- if (js.Dynamic.global.document &&
+ if (js.typeOf(js.Dynamic.global.document) != "undefined" &&
+ js.Dynamic.global.document &&
js.Dynamic.global.document.getElementById("playground")) {
sayHelloFromDOM()
sayHelloFromTypedDOM()
diff --git a/examples/reversi/reversi-2.10-fastopt.html b/examples/reversi/reversi-2.10-fastopt.html
deleted file mode 100644
index 46cd1c7784..0000000000
--- a/examples/reversi/reversi-2.10-fastopt.html
+++ /dev/null
@@ -1,30 +0,0 @@
-
-
-
- Reversi - Scala.js example
-
-
-
-
-Reversi - Scala.js example
-
-Somewhat inspired by
-http://davidbau.com/reversi/
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/examples/reversi/reversi-2.10.html b/examples/reversi/reversi-2.10.html
deleted file mode 100644
index 5f7b69602d..0000000000
--- a/examples/reversi/reversi-2.10.html
+++ /dev/null
@@ -1,30 +0,0 @@
-
-
-
- Reversi - Scala.js example
-
-
-
-
-Reversi - Scala.js example
-
-Somewhat inspired by
-http://davidbau.com/reversi/
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/examples/reversi/reversi-2.11-fastopt.html b/examples/reversi/reversi-2.11-fastopt.html
index 524e7165ab..0f60bc72c3 100644
--- a/examples/reversi/reversi-2.11-fastopt.html
+++ b/examples/reversi/reversi-2.11-fastopt.html
@@ -16,7 +16,7 @@ Reversi - Scala.js example
-
+
-
+
+
+
+
+
+
+
+