Add array creation tests

tamasvajk · igfoo · commit 8b81ee7e59af · 2022-05-10T19:51:06.000+01:00
diff --git a/java/ql/test/kotlin/library-tests/arrays/arrayCreations.expected b/java/ql/test/kotlin/library-tests/arrays/arrayCreations.expected
@@ -0,0 +1,3 @@
+arrayCreationTypes
+arrayCreationDimensions
+arrayCreationInit
diff --git a/java/ql/test/kotlin/library-tests/arrays/arrayCreations.kt b/java/ql/test/kotlin/library-tests/arrays/arrayCreations.kt
@@ -0,0 +1,23 @@
+package test
+
+class TestArrayCreation {
+  fun test1() {
+    val a0 = arrayOfNulls<Int>(1)
+    val a1 = arrayOf(1, 2, 3, 4)
+    val a2 = doubleArrayOf(1.0, 2.0, 3.0, 4.0)
+    val a3 = floatArrayOf(1.0f, 2.0f, 3.0f, 4.0f)
+    val a4 = longArrayOf(1, 2, 3, 4)
+    val a5 = intArrayOf(1, 2, 3, 4)
+    val a6 = charArrayOf('a', 'b')
+    val a7 = shortArrayOf(1, 2, 3, 4)
+    val a8 = byteArrayOf(1, 2, 3, 4)
+    val a9 = booleanArrayOf(true, false, true, true)
+
+    val a10 = Array<Int>(1) { 1 }
+    val a11 = Array(5) { 1 }
+    val a12 = IntArray(5)
+    val a13 = IntArray(5) { 1 }
+    var a14 = IntArray(5) { it * 1 }
+    val a15 = Array(4) { IntArray(2) }
+  }
+}
diff --git a/java/ql/test/kotlin/library-tests/arrays/arrayCreations.ql b/java/ql/test/kotlin/library-tests/arrays/arrayCreations.ql
@@ -0,0 +1,12 @@
+import java
+
+query predicate arrayCreationTypes(ArrayCreationExpr ace, Type t) { t = ace.getType() }
+
+query predicate arrayCreationDimensions(ArrayCreationExpr ace, Expr dimension, int dimensionIdx) {
+  ace.getDimension(dimensionIdx) = dimension
+}
+
+query predicate arrayCreationInit(ArrayCreationExpr ace, ArrayInit init, Expr e, int idx) {
+  ace.getInit() = init and
+  init.getInit(idx) = e
+}
diff --git a/java/ql/test/kotlin/library-tests/arrays/test.expected b/java/ql/test/kotlin/library-tests/arrays/test.expected
@@ -4,6 +4,12 @@ cloneMethods
 | file://:0:0:0:0 | clone | clone() | file://:0:0:0:0 | int[] | file://:0:0:0:0 | int[] | file://:0:0:0:0 | Kotlin nullable IntArray |
 | file://:0:0:0:0 | clone | clone() | file://:0:0:0:0 | int[][] | file://:0:0:0:0 | int[][] | file://:0:0:0:0 | Kotlin nullable Array<int[]> |
 sourceSignatures
+| arrayCreations.kt:3:1:23:1 | <obinit> | <obinit>() |
+| arrayCreations.kt:3:1:23:1 | TestArrayCreation | TestArrayCreation() |
+| arrayCreations.kt:3:1:23:1 | equals | equals(java.lang.Object) |
+| arrayCreations.kt:3:1:23:1 | hashCode | hashCode() |
+| arrayCreations.kt:3:1:23:1 | toString | toString() |
+| arrayCreations.kt:4:3:22:3 | test1 | test1() |
 | primitiveArrays.kt:3:1:7:1 | <obinit> | <obinit>() |
 | primitiveArrays.kt:3:1:7:1 | Test | Test() |
 | primitiveArrays.kt:3:1:7:1 | equals | equals(java.lang.Object) |

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+arrayCreationTypes`
	`2`	`+arrayCreationDimensions`
	`3`	`+arrayCreationInit`