Add test for calling method in class from namespace

Author: Lipen

usvm-ts/src/test/kotlin/org/usvm/samples/Call.kt

@@ -1,6 +1,7 @@
 package org.usvm.samples
 
 import org.jacodb.ets.model.EtsScene
+import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import org.usvm.api.TsValue
 import org.usvm.util.TsMethodTestRunner
@@ -153,6 +154,16 @@ class Call : TsMethodTestRunner() {
             { r -> r.number == 2.0 }
         )
     }
+
+    @Disabled("Namespaces are not supported")
+    @Test
+    fun `test namespace`() {
+        val method = getMethod(className, "callNamespace")
+        discoverProperties<TsValue.TsNumber>(
+            method = method,
+            { r -> r.number == 30.0 }
+        )
+    }
 }
 
 fun fib(n: Double): Double {

usvm-ts/src/test/resources/samples/Call.ts

@@ -91,6 +91,10 @@ class Call {
     callOverloadedString(): number {
         return this.overloaded("test");
     }
+
+    callNamespace(): number {
+        return new N1.C().foo();
+    }
 }
 
 class A {
@@ -120,3 +124,15 @@ namespace N2 {
         }
     }
 }
+
+class Parent {
+    virtualMethod(): number {
+        return 1;
+    }
+}
+
+class Child extends Parent {
+    override virtualMethod(): number {
+        return 2;
+    }
+}