Kotlin: add diagnostic test for 'Unexpected specialised instance of generic anonymous class'

Author: tamasvajk

java/ql/test/kotlin/library-tests/classes/diags.expected

@@ -0,0 +1,11 @@
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a call (<no name>) at generic_anonymous.kt:7:15:7:15\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:7:15:7:15\n  ...while extracting a call (<no name>) at generic_anonymous.kt:7:17:7:22\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:7:17:7:22\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:7:23:7:22\n  ...while extracting a statement (<no name>) at generic_anonymous.kt:7:23:7:22\n  ...while extracting a block body (<no name>) at generic_anonymous.kt:7:15:7:22\n  ...while extracting a body (<no name>) at generic_anonymous.kt:7:15:7:22\n  ...while extracting a function (get) at generic_anonymous.kt:7:3:7:22\n  ...while extracting a declaration (get) at generic_anonymous.kt:7:3:7:22\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:3:11:5:3\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:3:11:5:3\n  ...while extracting a statement (<no name>) at generic_anonymous.kt:3:11:5:3\n  ...while extracting a block body (<no name>) at generic_anonymous.kt:3:11:5:3\n  ...while extracting a body (<no name>) at generic_anonymous.kt:3:11:5:3\n  ...while extracting a function (<get-x>) at generic_anonymous.kt:3:11:5:3\n  ...while extracting a property (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a declaration (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:3:19:5:3\n  ...while extracting a object initializer block (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a statement (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a block body (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a body (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a function (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a declaration (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:4:7:4:20\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:4:7:4:20\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:4:7:4:20\n  ...while extracting a statement (<no name>) at generic_anonymous.kt:4:7:4:20\n  ...while extracting a block body (<no name>) at generic_anonymous.kt:4:7:4:20\n  ...while extracting a body (<no name>) at generic_anonymous.kt:4:7:4:20\n  ...while extracting a function (<get-member>) at generic_anonymous.kt:4:7:4:20\n  ...while extracting a property (member) at generic_anonymous.kt:4:7:4:20\n  ...while extracting a declaration (member) at generic_anonymous.kt:4:7:4:20\n  ...while extracting a class source (<no name provided>) at generic_anonymous.kt:3:19:5:3\n  ...while extracting a statement (<no name provided>) at generic_anonymous.kt:3:19:5:3\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:3:19:5:3\n  ...while extracting a object initializer block (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a statement (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a block body (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a body (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a function (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a declaration (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a field (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a property (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a declaration (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a field (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a property (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a declaration (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a function (<get-x>) at generic_anonymous.kt:3:11:5:3\n  ...while extracting a property (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a declaration (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a function (<get-x>) at generic_anonymous.kt:3:11:5:3\n  ...while extracting a property (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a declaration (x) at generic_anonymous.kt:3:3:5:3\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a object initializer block (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a statement (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a block body (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a body (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a function (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a declaration (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a object initializer block (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a expression (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a statement (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a block body (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a body (<no name>) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a function (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a declaration (<init>) at generic_anonymous.kt:1:9:9:1\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |
+| file://:0:0:0:0 | Unexpected specialised instance of generic anonymous class | CodeQL Kotlin extractor | 5 |  | Unexpected specialised instance of generic anonymous class | [DATE TIME K] Unexpected specialised instance of generic anonymous class\n  ...while extracting a static initializer extraction (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a class source (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a declaration (Generic) at generic_anonymous.kt:1:1:9:1\n  ...while extracting a file (generic_anonymous.kt) at generic_anonymous.kt:1:1:14:0\n |

java/ql/test/kotlin/library-tests/classes/diags.ql

@@ -0,0 +1,8 @@
+import semmle.code.java.Diagnostics
+
+from Diagnostic d
+where d.getSeverity() > 2
+select d, d.getGeneratedBy(), d.getSeverity(), d.getTag(), d.getMessage(),
+  d.getFullMessage()
+      .regexpReplaceAll("^\\[[0-9]{4}-[0-9]{2}-[0-9]{2} [0-9]{2}:[0-9]{2}:[0-9]{2} K\\] ",
+        "[DATE TIME K] ")