hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: Remove the Kotlin 2 ministdlib test

Browse Source 
Upstream doesn't plan to fix it before the K2 release:
    https://youtrack.jetbrains.com/issue/KT-62183/K2-no-stdlib-doesnt-behave-as-expected

I've made a ticket to remind us to return to this later.
This commit is contained in:
Ian Lynagh
2024-02-22 18:59:43 +00:00
parent b7df26e6c9
commit 8d358a9f64
5 changed files with 0 additions and 59 deletions
Download Patch File Download Diff File Expand all files Collapse all files

46
java/ql/test-kotlin2/library-tests/ministdlib/MiniStdLib.kt
View File

@@ -1,46 +0,0 @@
package kotlin
/*
This is a mini standard library replacement, to make it easy to write
very small tests that create very small databases.
If you define a class, then you will need to also define any members that
compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/descriptors/IrBuiltInsOverDescriptors.kt
expects (e.g. with findFunctions(...).first) to exist.
*/
public open class Any {
fun toString(): String { return this.toString() }
open operator fun equals(other: Any?): Boolean { return this.equals(other) }
}
public class String {
operator fun plus(other: Any?): String { return this.plus(other) }
}
public class Boolean {
operator fun not(): Boolean { return this.not() }
}
public class Int {
operator fun plus(other: Int): Int { return this.plus(other) }
operator fun times(other: Int): Int { return this.times(other) }
infix fun xor(other: Int): Int { return this.xor(other) }
}
public object Unit {
}
// Diagnostic Matches: % Can't find java.lang.Boolean
// Diagnostic Matches: % Can't find java.lang.Byte
// Diagnostic Matches: % Can't find java.lang.Character
// Diagnostic Matches: % Can't find java.lang.Double
// Diagnostic Matches: % Can't find java.lang.Float
// Diagnostic Matches: % Can't find java.lang.Integer
// Diagnostic Matches: % Can't find java.lang.Long
// Diagnostic Matches: % Can't find java.lang.Short
// Diagnostic Matches: % Can't find java.lang.Void
// Diagnostic Matches: % Can't find kotlin.UByte
// Diagnostic Matches: % Can't find kotlin.UInt
// Diagnostic Matches: % Can't find kotlin.ULong
// Diagnostic Matches: % Can't find kotlin.UShort

1
java/ql/test-kotlin2/library-tests/ministdlib/MyClass.kt
View File

@@ -1 +0,0 @@
class MyClass {}

7
java/ql/test-kotlin2/library-tests/ministdlib/classes.expected
View File

@@ -1,7 +0,0 @@
| MiniStdLib.kt:12:1:15:1 | Any |
| MiniStdLib.kt:17:1:19:1 | String |
| MiniStdLib.kt:21:1:23:1 | Boolean |
| MiniStdLib.kt:25:1:29:1 | Int |
| MiniStdLib.kt:31:1:32:1 | Unit |
| MyClass.kt:1:1:1:16 | MyClass |
| file://:0:0:0:0 | FakeKotlinClass |

4
java/ql/test-kotlin2/library-tests/ministdlib/classes.ql
View File

@@ -1,4 +0,0 @@
import java
from Class c
select c

1
java/ql/test-kotlin2/library-tests/ministdlib/options
View File

@@ -1 +0,0 @@
codeql-extractor-kotlin-options: -no-jdk -no-reflect -no-stdlib -Xallow-kotlin-package