Kotlin: test full value class extraction

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: andersfugmann

java/ql/test-kotlin2/library-tests/full-value-classes/test.expected

@@ -0,0 +1,17 @@
+classes
+| test.kt:3:1:5:1 | Base | abstract, public |
+| test.kt:7:1:9:1 | PairValue | final, public |
+supertypes
+| test.kt:7:1:9:1 | PairValue | test.kt:3:1:5:1 | Base |
+properties
+| test.kt:4:14:4:27 | value | int | public | test.kt:4:14:4:27 | getValue | <none> |
+| test.kt:7:32:7:45 | value | int | public | test.kt:7:32:7:45 | getValue | value |
+| test.kt:7:48:7:64 | label | String | public | test.kt:7:48:7:64 | getLabel | label |
+constructors
+| test.kt:3:1:5:1 | Base | Base() |
+| test.kt:7:22:7:65 | PairValue | PairValue(int,java.lang.String) |
+| test.kt:8:5:8:68 | PairValue | PairValue(long) |
+constructorCalls
+| test.kt:7:1:9:1 | super(...) | test.kt:3:1:5:1 | Base |
+| test.kt:8:32:8:68 | this(...) | test.kt:7:22:7:65 | PairValue |
+| test.kt:11:40:11:55 | new PairValue(...) | test.kt:8:5:8:68 | PairValue |

java/ql/test-kotlin2/library-tests/full-value-classes/test.kt

@@ -0,0 +1,11 @@
+// codeql-extractor-kotlin-options: -XXLanguage:+FullValueClasses
+
+abstract value class Base {
+    abstract val value: Int
+}
+
+value class PairValue(override val value: Int, val label: String) : Base() {
+    constructor(value: Long) : this(value.toInt(), value.toString())
+}
+
+fun makePairValue(value: Long): Base = PairValue(value)

java/ql/test-kotlin2/library-tests/full-value-classes/test.ql

@@ -0,0 +1,39 @@
+import java
+
+string backingField(Property p) {
+  if exists(p.getBackingField()) then result = p.getBackingField().toString() else result = "<none>"
+}
+
+query predicate classes(Class c, string classModifiers) {
+  c.fromSource() and
+  not c.isCompilerGenerated() and
+  c.getLocation().getStartLine() > 0 and
+  classModifiers = concat(string m | c.hasModifier(m) | m, ", ")
+}
+
+query predicate supertypes(Class c, Class supertype) {
+  c.fromSource() and
+  supertype.fromSource() and
+  extendsReftype(c, supertype)
+}
+
+query predicate properties(
+  Property p, string propertyType, string propertyModifiers, Method getter, string field
+) {
+  p.fromSource() and
+  propertyType = p.getGetter().getReturnType().toString() and
+  propertyModifiers = concat(string m | p.hasModifier(m) | m, ", ") and
+  getter = p.getGetter() and
+  field = backingField(p)
+}
+
+query predicate constructors(Constructor c, string signature) {
+  c.fromSource() and
+  signature = c.getSignature()
+}
+
+query predicate constructorCalls(ConstructorCall call, Constructor target) {
+  call.getEnclosingCallable().fromSource() and
+  target = call.getConstructor() and
+  target.getSourceDeclaration().fromSource()
+}

java/ql/test-kotlin2/library-tests/full-value-classes/test.qlref

@@ -0,0 +1 @@
+test.ql