Add more evaluation tests

Author: adpi2

compiler/test/dotty/tools/debug/DebugTests.scala

@@ -15,7 +15,7 @@ class DebugTests:
   import DebugTests.*
   @Test def debug: Unit =
     implicit val testGroup: TestGroup = TestGroup("debug")
-    // compileFile("tests/debug/eval-private-members-in-parent.scala", TestConfiguration.defaultOptions).checkDebug()
+    // compileFile("tests/debug/eval-local-class-in-value-class.scala", TestConfiguration.defaultOptions).checkDebug()
     compileFilesInDir("tests/debug", TestConfiguration.defaultOptions).checkDebug()
 
 object DebugTests extends ParallelTesting:

tests/debug/eval-at-default-arg.check

@@ -0,0 +1,3 @@
+break Test$ 6
+eval x + 1
+result 4

tests/debug/eval-at-default-arg.scala

@@ -0,0 +1,8 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    foo(3)()
+
+  def foo(x: Int)(
+    y: Int = x + 1
+  ): Unit =
+    println("foo")

tests/debug/eval-by-name-capture.check

@@ -0,0 +1,4 @@
+break Test$ 5 // main
+break Test$ 5 // main$$anonfun$1
+eval x
+result hello

tests/debug/eval-by-name-capture.scala

@@ -0,0 +1,7 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    val x = "hello"
+    m:
+      x + ", world!"
+
+  def m(y: => String): Unit = println(y)

tests/debug/eval-by-name.check

@@ -0,0 +1,33 @@
+break Test$ 11
+eval x
+result foo
+eval m
+result foofoo
+eval A().m
+result fo
+eval this.m("bar")
+result barbarba
+
+break Test$ 7
+eval x
+result foo
+eval m
+result foofoo
+eval A().m
+result fo
+
+break Test$A$1 10
+eval x
+result foo
+eval m
+result fo
+eval A().m
+result fo
+
+break A 14
+eval x
+result bar
+eval m
+result bar
+eval A("foo").m
+result foo

tests/debug/eval-by-name.scala

@@ -0,0 +1,14 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    println(m("foo") + A("bar").m)
+
+  def m(x: => String): String =
+    def m: String =
+      x + x
+    class A:
+      def m: String =
+        x.take(2)
+    m + A().m
+
+class A(x: => String):
+  def m: String = x

tests/debug/eval-captured-value-class.check

@@ -0,0 +1,23 @@
+break Test$ 14
+eval new A("foo")
+result fo
+eval m("bar")
+result ba
+
+break Test$A$1 9
+eval size
+result 2
+eval size.value
+result 2
+eval new A("foo")
+result fo
+
+break Test$ 12
+eval size
+result 2
+eval size.value
+result 2
+eval new A("foo")
+result fo
+eval m("bar")
+result ba

tests/debug/eval-captured-value-class.scala

@@ -0,0 +1,15 @@
+class Size(val value: Int) extends AnyVal
+
+object Test:
+  def main(args: Array[String]): Unit =
+    val size = new Size(2)
+
+    class A(msg: String):
+      override def toString: String =
+        msg.take(size.value)
+
+    def m(msg: String): String =
+      msg.take(size.value)
+
+    println(new A("foo"))
+    println(m("bar"))

tests/debug/eval-captures.check

@@ -0,0 +1,57 @@
+break A 26
+eval (new B).m
+result x1x2x3x4
+
+break A$B$1 22
+eval x1
+result x1
+eval m // local def m
+result x1x2x3x4
+eval (new B).m
+result x1x2x3x4
+eval A.this.m // compiles but throws NoSuchFieldException
+result java.lang.NoSuchFieldException: $outer
+
+break A$B$1 21
+eval x1
+result x1
+eval x2
+result x2
+eval m
+result x1x2x3x4
+eval (new C).m
+result x1x2x3x4
+eval (new B).m
+result x1x2x3x4
+
+break A$B$1$C$1 19
+eval x1
+result x1
+eval x2
+result x2
+eval x3
+result x3
+eval x4
+result x4
+eval m
+result x1x2x3x4
+eval (new C).m
+result x1x2x3x4
+eval (new B).m
+result x1x2x3x4
+
+break A$B$1$C$1 18
+eval x1
+result x1
+eval x2
+result x2
+eval x3
+result x3
+eval x4
+result x4
+eval m
+result x1x2x3x4
+eval (new C).m
+result x1x2x3x4
+eval (new B).m
+result x1x2x3x4

tests/debug/eval-captures.scala

@@ -0,0 +1,26 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    val a = new A
+    println(a.m)
+
+class A:
+  def m: String =
+    val x1 = "x1"
+    class B:
+      def m: String =
+        val x2 = "x2"
+        def m: String =
+          val x3 = "x3"
+          class C:
+            def m: String =
+              val x4 = "x4"
+              def m: String =
+                x1 + x2 + x3 + x4
+              m
+          val c = new C
+          c.m
+        m
+      end m
+    end B
+    val b = new B
+    b.m

tests/debug/eval-encoding.check

@@ -0,0 +1,3 @@
+break Test$ 4
+eval | + new <> + &(":") + !
+result |<>&(:)!

tests/debug/eval-encoding.scala

@@ -0,0 +1,8 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    val ! = "!"
+    println(| + new <> + &(":") + !)
+  private val | = "|"
+  private class <> :
+    override def toString: String = "<>"
+  private def &(`:`: String): String = s"&(${`:`})"

tests/debug/eval-enum.check

@@ -0,0 +1,18 @@
+break B$C 10 // B$C.<init>
+break Test$ 18
+eval A.A1.a
+result 1
+eval A.A2.a
+result 2
+
+break B 13
+eval C.C1.m
+result bb
+eval C.C2("bb").m
+result bbb
+
+break B$C 10
+eval C1.m
+result bb
+eval C2("bb").m
+result bbb

tests/debug/eval-enum.scala

@@ -0,0 +1,18 @@
+enum A(val a: Int) extends java.lang.Enum[A]:
+  case A1 extends A(1)
+  case A2 extends A(2)
+
+class B(b: String):
+  private enum C(c: String):
+    case C1 extends C(b)
+    case C2(x: String) extends C(x)
+
+    def m: String = b + c
+  end C
+
+  def bar: String = C.C1.m
+
+object Test:
+  def main(args: Array[String]): Unit =
+    val b = new B("b")
+    println(b.bar)

tests/debug/eval-exception.check

@@ -0,0 +1,11 @@
+break Test$ 7
+eval throwException()
+result java.lang.Exception: foo
+eval throw new Exception("bar")
+result java.lang.Exception: bar
+eval
+  try throwException()
+  catch case e: Exception => "caught"
+result caught
+eval assert(false, "fizz")
+result java.lang.AssertionError: assertion failed: fizz

tests/debug/eval-exception.scala

@@ -0,0 +1,7 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    try throwException()
+    catch case e: Exception => ()
+
+  def throwException(): Unit =
+    throw new Exception("foo")

tests/debug/eval-fields.check

@@ -0,0 +1,25 @@
+break Test$ 4
+eval a.a1
+result a.a1
+eval a.B.b1
+result a.B.b1
+eval new A("aa", 2).a1
+result aa.a1
+eval new A("aa", 2).B.b1
+result aa.B.b1
+
+break A 17
+eval name
+result a
+eval this.n
+result 1
+eval a2
+result a.a2
+eval new A("aa", 2).a2
+result aa.a2
+eval B.b1
+result a.B.b1
+eval C.c1
+result a.C.c1
+eval new A("aa", 2).C.c1
+result aa.C.c1

tests/debug/eval-fields.scala

@@ -0,0 +1,17 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    val a = new A("a", 1)
+    println(a)
+
+class A(name: String, val n: Int):
+  val a1 = s"$name.a1"
+  private val a2 = s"$name.a2"
+
+  object B:
+    val  b1 = s"$name.B.b1"
+
+  private object C:
+    val c1 = s"$name.C.c1"
+
+  override def toString: String =
+    name + a2

tests/debug/eval-i425.check

@@ -0,0 +1,7 @@
+break Test$ 7
+eval patch.span
+result 0
+eval patch.span = Span(1)
+result ()
+eval patch.span
+result 1

tests/debug/eval-i425.scala

@@ -0,0 +1,10 @@
+// https://github.com/scalacenter/scala-debug-adapter/issues/425
+object Test:
+  private class Patch(var span: Span)
+
+  def main(args: Array[String]): Unit =
+    val patch = new Patch(new Span(0))
+    println("ok")
+
+class Span(val start: Int) extends AnyVal:
+  def end: Int = start + 1

tests/debug/eval-i485.check

@@ -0,0 +1,11 @@
+break Test$ 16
+eval b.a1
+result a1
+eval b.a2 = 2; b.a2
+result 2
+eval b.m
+result m
+eval new b.D
+result D
+eval b.D
+result D$

tests/debug/eval-i485.scala

@@ -0,0 +1,16 @@
+// https://github.com/scalacenter/scala-debug-adapter/issues/425
+class A:
+  val a1 = "a1"
+  var a2 = 1
+  def m = "m"
+  class D:
+    override def toString: String = "D"
+  object D:
+    override def toString: String = "D$"
+
+object Test:
+  private class B extends A
+
+  def main(args: Array[String]): Unit =
+    val b = new B
+    println("foo")

tests/debug/eval-in-case-def.check

@@ -0,0 +1,3 @@
+break Test$ 6
+eval n + m
+result 2

tests/debug/eval-in-case-def.scala

@@ -0,0 +1,6 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    val n = 1
+    n match
+      case m =>
+        println(n + m)