Extract ::class expressions

tamasvajk · igfoo · commit 3e60841774ca · 2022-05-10T18:45:57.000+01:00
diff --git a/java/kotlin-extractor/src/main/kotlin/KotlinExtractorExtension.kt b/java/kotlin-extractor/src/main/kotlin/KotlinExtractorExtension.kt
@@ -761,7 +761,16 @@ class KotlinFileExtractor(val logger: FileLogger, val tw: FileTrapWriter, val fi
                         tw.writeWhen_branch_else(bId)
                     }
                 }
-            } else -> {
+            }
+            is IrGetClass -> {
+                val id = tw.getFreshIdLabel<DbGetclassexpr>()
+                val locId = tw.getLocation(e)
+                val typeId = useType(e.type)
+                tw.writeExprs_getclassexpr(id, typeId, parent, idx)
+                tw.writeHasLocation(id, locId)
+                extractExpression(e.argument, callable, id, 0)
+            }
+            else -> {
                 logger.warnElement(Severity.ErrorSevere, "Unrecognised IrExpression: " + e.javaClass, e)
             }
         }
diff --git a/java/ql/lib/config/semmlecode.dbscheme b/java/ql/lib/config/semmlecode.dbscheme
@@ -654,6 +654,7 @@ case @expr.kind of
 | 73  = @switchexpr
 | 74  = @errorexpr
 | 75  = @whenexpr
+| 76  = @getclassexpr
 ;
 
 /** Holds if this `when` expression was written as an `if` expression. */
@@ -1046,4 +1047,4 @@ ktCommentSectionSubjectNames(
 ktCommentOwner(
   int id: @ktcomment ref,
   int owner: @top ref
-)
+)

Original file line number	Diff line number	Diff line change
`@@ -761,7 +761,16 @@ class KotlinFileExtractor(val logger: FileLogger, val tw: FileTrapWriter, val fi`
`761`	`761`	`tw.writeWhen_branch_else(bId)`
`762`	`762`	`}`
`763`	`763`	`}`
`764`		`- } else -> {`
	`764`	`+ }`
	`765`	`+ is IrGetClass -> {`
	`766`	`+ val id = tw.getFreshIdLabel<DbGetclassexpr>()`
	`767`	`+ val locId = tw.getLocation(e)`
	`768`	`+ val typeId = useType(e.type)`
	`769`	`+ tw.writeExprs_getclassexpr(id, typeId, parent, idx)`
	`770`	`+ tw.writeHasLocation(id, locId)`
	`771`	`+ extractExpression(e.argument, callable, id, 0)`
	`772`	`+ }`
	`773`	`+ else -> {`
`765`	`774`	`logger.warnElement(Severity.ErrorSevere, "Unrecognised IrExpression: " + e.javaClass, e)`
`766`	`775`	`}`
`767`	`776`	`}`