Kotlin: Add a consistency query for Kotlin types

igfoo · igfoo · commit 0f7f90dd4e10 · 2022-05-10T19:51:15.000+01:00
diff --git a/java/ql/consistency-queries/kotlinTypes.ql b/java/ql/consistency-queries/kotlinTypes.ql
@@ -0,0 +1,12 @@
+import java
+
+predicate badKotlinType(Element e, int i) {
+  e = any(Expr expr | count(expr.getKotlinType()) = i)
+}
+
+from Element e, int i
+where e.getFile().isKotlinSourceFile()
+  and badKotlinType(e, i)
+  and i != 1
+select e, i
+
