Skip to content

Commit fcc0e0e

Browse files
committed
Add example of anonymous class
1 parent b312b29 commit fcc0e0e

File tree

2 files changed

+13
-0
lines changed

2 files changed

+13
-0
lines changed

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

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -41,4 +41,13 @@ class Objects : TsMethodTestRunner() {
4141
{ r -> r.properties.toList().single().second is TsValue.TsNull }
4242
)
4343
}
44+
45+
@Test
46+
fun testCreateAnonymousClass() {
47+
val method = getMethod("Example", "createAnonymousClass")
48+
discoverProperties<TsValue.TsClass>(
49+
method = method,
50+
{ r -> (r.properties.toList().single().second as TsValue.TsNumber).number == 15.0 }
51+
)
52+
}
4453
}

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,4 +25,8 @@ class Example {
2525

2626
return x;
2727
}
28+
29+
createAnonymousClass() {
30+
return { a : 15 };
31+
}
2832
}

0 commit comments

Comments
 (0)