Kotlin: Extract whether a class is a "file" class

igfoo · igfoo · commit 33757a126630 · 2022-05-10T19:51:09.000+01:00
diff --git a/java/kotlin-extractor/src/main/kotlin/KotlinSourceFileExtractor.kt b/java/kotlin-extractor/src/main/kotlin/KotlinSourceFileExtractor.kt
@@ -66,6 +66,7 @@ class KotlinSourceFileExtractor(
       val locId = tw.getWholeFileLocation()
       val pkgId = extractPackage(pkg)
       tw.writeClasses(id, jvmName, pkgId, id)
+      tw.writeFile_class(id)
       tw.writeHasLocation(id, locId)
       return id
   }
diff --git a/java/ql/lib/config/semmlecode.dbscheme b/java/ql/lib/config/semmlecode.dbscheme
@@ -315,6 +315,10 @@ classes(
   int sourceid: @class ref
 );
 
+file_class(
+  int id: @class ref
+);
+
 class_object(
   unique int id: @class ref,
   unique int instance: @field ref

Original file line number	Diff line number	Diff line change
`@@ -66,6 +66,7 @@ class KotlinSourceFileExtractor(`
`66`	`66`	`val locId = tw.getWholeFileLocation()`
`67`	`67`	`val pkgId = extractPackage(pkg)`
`68`	`68`	`tw.writeClasses(id, jvmName, pkgId, id)`
	`69`	`+ tw.writeFile_class(id)`
`69`	`70`	`tw.writeHasLocation(id, locId)`
`70`	`71`	`return id`
`71`	`72`	`}`