Kotlin: Make MiniStdLib more closely match the real stdlib

igfoo · igfoo · commit 01fe465bdfc8 · 2022-10-03T16:16:11.000+01:00
diff --git a/java/ql/test/kotlin/library-tests/ministdlib/MiniStdLib.kt b/java/ql/test/kotlin/library-tests/ministdlib/MiniStdLib.kt
@@ -14,20 +14,20 @@ public open class Any {
     open operator fun equals(other: Any?): Boolean { return this.equals(other) }
 }
 
-public open class String {
+public class String {
     operator fun plus(other: Any?): String { return this.plus(other) }
 }
 
-public open class Boolean {
+public class Boolean {
     operator fun not(): Boolean { return this.not() }
 }
 
-public open class Int {
+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 open class Unit {
+public object Unit {
 }
 

Original file line number	Diff line number	Diff line change
`@@ -14,20 +14,20 @@ public open class Any {`
`14`	`14`	`open operator fun equals(other: Any?): Boolean { return this.equals(other) }`
`15`	`15`	`}`
`16`	`16`
`17`		`-public open class String {`
	`17`	`+public class String {`
`18`	`18`	`operator fun plus(other: Any?): String { return this.plus(other) }`
`19`	`19`	`}`
`20`	`20`
`21`		`-public open class Boolean {`
	`21`	`+public class Boolean {`
`22`	`22`	`operator fun not(): Boolean { return this.not() }`
`23`	`23`	`}`
`24`	`24`
`25`		`-public open class Int {`
	`25`	`+public class Int {`
`26`	`26`	`operator fun plus(other: Int): Int { return this.plus(other) }`
`27`	`27`	`operator fun times(other: Int): Int { return this.times(other) }`
`28`	`28`	`infix fun xor(other: Int): Int { return this.xor(other) }`
`29`	`29`	`}`
`30`	`30`
`31`		`-public open class Unit {`
	`31`	`+public object Unit {`
`32`	`32`	`}`
`33`	`33`