Add constructor tests

tamasvajk · igfoo · commit 13048392afbe · 2022-05-10T18:46:00.000+01:00
diff --git a/java/ql/test/kotlin/library-tests/classes/classes.expected b/java/ql/test/kotlin/library-tests/classes/classes.expected
@@ -3,6 +3,6 @@
 | classes.kt:8:1:10:1 | ClassThree |
 | classes.kt:12:1:15:1 | ClassFour |
 | classes.kt:17:1:18:1 | ClassFive |
-| classes.kt:28:1:29:1 | ClassSix |
+| classes.kt:28:1:30:1 | ClassSix |
 | file://:0:0:0:0 | Any |
 | file://:0:0:0:0 | Unit |
diff --git a/java/ql/test/kotlin/library-tests/classes/classes.kt b/java/ql/test/kotlin/library-tests/classes/classes.kt
@@ -25,6 +25,7 @@ interface IF2 {
     fun funIF2() {}
 }
 
-class ClassSix: ClassFour(), IF1, IF2 {
+class ClassSix(): ClassFour(), IF1, IF2 {
+    constructor(i: Int): this(){ }
 }
 
diff --git a/java/ql/test/kotlin/library-tests/classes/ctorCalls.expected b/java/ql/test/kotlin/library-tests/classes/ctorCalls.expected
@@ -0,0 +1,9 @@
+thisCall
+| classes.kt:29:26:29:31 | this(...) |
+superCall
+| classes.kt:2:1:2:18 | super(...) |
+| classes.kt:4:1:6:1 | super(...) |
+| classes.kt:8:1:10:1 | super(...) |
+| classes.kt:12:23:12:34 | super(...) |
+| classes.kt:17:18:17:28 | super(...) |
+| classes.kt:28:19:28:29 | super(...) |
diff --git a/java/ql/test/kotlin/library-tests/classes/ctorCalls.ql b/java/ql/test/kotlin/library-tests/classes/ctorCalls.ql
@@ -0,0 +1,5 @@
+import java
+
+query predicate thisCall(ThisConstructorInvocationStmt stmt) { any() }
+
+query predicate superCall(SuperConstructorInvocationStmt stmt) { any() }
diff --git a/java/ql/test/kotlin/library-tests/classes/superTypes.expected b/java/ql/test/kotlin/library-tests/classes/superTypes.expected
@@ -3,7 +3,7 @@
 | classes.kt:8:1:10:1 | ClassThree | file://:0:0:0:0 | Any |
 | classes.kt:12:1:15:1 | ClassFour | classes.kt:8:1:10:1 | ClassThree |
 | classes.kt:17:1:18:1 | ClassFive | classes.kt:12:1:15:1 | ClassFour |
-| classes.kt:28:1:29:1 | ClassSix | classes.kt:12:1:15:1 | ClassFour |
-| classes.kt:28:1:29:1 | ClassSix | classes.kt:20:1:22:1 | IF1 |
-| classes.kt:28:1:29:1 | ClassSix | classes.kt:24:1:26:1 | IF2 |
+| classes.kt:28:1:30:1 | ClassSix | classes.kt:12:1:15:1 | ClassFour |
+| classes.kt:28:1:30:1 | ClassSix | classes.kt:20:1:22:1 | IF1 |
+| classes.kt:28:1:30:1 | ClassSix | classes.kt:24:1:26:1 | IF2 |
 | file://:0:0:0:0 | Unit | file://:0:0:0:0 | Any |
diff --git a/java/ql/test/kotlin/library-tests/exprs/exprs.expected b/java/ql/test/kotlin/library-tests/exprs/exprs.expected
@@ -43,6 +43,8 @@
 | exprs.kt:46:18:46:20 | 456 | IntegerLiteral |
 | exprs.kt:50:13:50:16 | true | BooleanLiteral |
 | exprs.kt:50:13:50:23 | ::class | ClassExpr |
+| exprs.kt:54:27:54:31 | (no string representation) | ClassInstanceExpr |
+| exprs.kt:54:29:54:30 | 42 | IntegerLiteral |
 | file://:0:0:0:0 | b1 | LocalVariableDeclExpr |
 | file://:0:0:0:0 | b2 | LocalVariableDeclExpr |
 | file://:0:0:0:0 | b6 | LocalVariableDeclExpr |
diff --git a/java/ql/test/kotlin/library-tests/exprs/exprs.kt b/java/ql/test/kotlin/library-tests/exprs/exprs.kt
@@ -48,4 +48,8 @@ TODO
 
 fun getClass() {
     val d = true::class
-}
+}
+
+class C(val n: Int) {
+    fun foo(): C { return C(42) }
+}

Original file line number	Diff line number	Diff line change
`@@ -25,6 +25,7 @@ interface IF2 {`
`25`	`25`	`fun funIF2() {}`
`26`	`26`	`}`
`27`	`27`
`28`		`-class ClassSix: ClassFour(), IF1, IF2 {`
	`28`	`+class ClassSix(): ClassFour(), IF1, IF2 {`
	`29`	`+ constructor(i: Int): this(){ }`
`29`	`30`	`}`
`30`	`31`