Kotlin: More top-level stuff

Author: igfoo

java/kotlin-extractor/src/main/kotlin/KotlinExtractorExtension.kt

@@ -386,7 +386,7 @@ class KotlinFileExtractor(val logger: Logger, val tw: TrapWriter) {
         return id
     }
 
-    fun extractProperty(p: IrProperty, parentid: Label<out DbPackage_or_reftype>) {
+    fun extractProperty(p: IrProperty, parentid: Label<out DbReftype>) {
         val bf = p.backingField
         if(bf == null) {
             logger.warn("IrProperty without backing field")

java/ql/lib/config/semmlecode.dbscheme

@@ -323,7 +323,7 @@ fields(
   unique int id: @field,
   string nodeName: string ref,
   int typeid: @type ref,
-  int parentid: @package_or_reftype ref,
+  int parentid: @reftype ref,
   int sourceid: @field ref
 );
 
@@ -336,8 +336,6 @@ constrs(
   int sourceid: @constructor ref
 );
 
-@package_or_reftype = @package | @reftype
-
 methods(
   unique int id: @method,
   string nodeName: string ref,

java/ql/test/kotlin/library-tests/methods/exprs.expected

@@ -2,3 +2,6 @@
 | methods.kt:10:9:10:25 | this |
 | methods.kt:10:21:10:21 | a |
 | methods.kt:10:24:10:24 | 3 |
+| methods.kt:11:9:11:28 | topLevelMethod(...) |
+| methods.kt:11:24:11:24 | b |
+| methods.kt:11:27:11:27 | 4 |

java/ql/test/kotlin/library-tests/methods/methods.kt

@@ -8,7 +8,7 @@ class Class {
 
     fun anotherClassMethod(a: Int, b: Int) {
         classMethod(a, 3)
-        // TODO topLevelMethod(b, 4)
+        topLevelMethod(b, 4)
     }
 }
 

java/ql/test/kotlin/library-tests/variables/variables.expected

@@ -4,3 +4,4 @@
 | variables.kt:3:5:3:21 | prop | file://:0:0:0:0 | int | file://:0:0:0:0 | <none> |
 | variables.kt:5:20:5:29 | param | file://:0:0:0:0 | int | file://:0:0:0:0 | <none> |
 | variables.kt:6:9:6:25 | int local | file://:0:0:0:0 | int | variables.kt:6:21:6:25 | ... + ... |
+| variables.kt:10:1:10:21 | topLevel | file://:0:0:0:0 | int | file://:0:0:0:0 | <none> |

java/ql/test/kotlin/library-tests/variables/variables.kt

@@ -7,5 +7,5 @@ class Foo {
     }
 }
 
-// TODO: val topLevel: Int = 1
+val topLevel: Int = 1