Kotlin: Add test for generated throw statements

Author: igfoo

java/ql/test-kotlin1/library-tests/generated-throws/generated-throws.kt

@@ -0,0 +1,13 @@
+
+sealed interface Foo {}
+interface Bar: Foo {}
+interface Baz: Foo {}
+
+private fun someFun(v: Foo) {
+    // This doesn't generate a throw statement in Kotlin 1 mode
+    when (v) {
+        is Bar -> {}
+        is Baz -> {}
+    }
+}
+

java/ql/test-kotlin1/library-tests/generated-throws/throw.expected

@@ -0,0 +1,4 @@
+import java
+
+from ThrowStmt ts
+select ts

java/ql/test-kotlin1/library-tests/generated-throws/throw.ql

@@ -0,0 +1,12 @@
+
+sealed interface Foo {}
+interface Bar: Foo {}
+interface Baz: Foo {}
+
+private fun someFun(v: Foo) {
+    when (v) {
+        is Bar -> {}
+        is Baz -> {}
+    }
+}
+

java/ql/test-kotlin2/library-tests/generated-throws/generated-throws.kt

@@ -0,0 +1 @@
+| generated-throws.kt:7:5:10:5 | throw ... |

java/ql/test-kotlin2/library-tests/generated-throws/throw.expected

@@ -0,0 +1,4 @@
+import java
+
+from ThrowStmt ts
+select ts