Delete generated test cases, move testData to boxWithStdlib
This commit is contained in:
committed by
Alexander Udalov
parent
b311255d96
commit
714708eac7
@@ -0,0 +1,10 @@
|
||||
data class A(val x: Array<Int>, val y: IntArray)
|
||||
|
||||
fun foo(x: Array<Int>, y: IntArray) = A(x, y)
|
||||
|
||||
fun box(): String {
|
||||
val a = Array<Int>(0, {0})
|
||||
val b = IntArray(0)
|
||||
val (x, y) = foo(a, b)
|
||||
return if (a == x && b == y) "OK" else "Fail"
|
||||
}
|
||||
@@ -0,0 +1,8 @@
|
||||
data class A(var string: String)
|
||||
|
||||
fun box(): String {
|
||||
val a = A("Fail")
|
||||
a.string = "OK"
|
||||
val (result) = a
|
||||
return result
|
||||
}
|
||||
+29
@@ -0,0 +1,29 @@
|
||||
data class A(val a: Int = 1, val b: String = "$a") {}
|
||||
|
||||
fun box() : String {
|
||||
var result = ""
|
||||
val a = A()
|
||||
val b = a.copy()
|
||||
if (b.a == 1 && b.b == "1") {
|
||||
result += "1"
|
||||
}
|
||||
|
||||
val c = a.copy(a = 2)
|
||||
if (c.a == 2 && c.b == "1") {
|
||||
result += "2"
|
||||
}
|
||||
|
||||
val d = a.copy(b = "2")
|
||||
if (d.a == 1 && d.b == "2") {
|
||||
result += "3"
|
||||
}
|
||||
|
||||
val e = a.copy(a = 2, b = "2")
|
||||
if (e.a == 2 && e.b == "2") {
|
||||
result += "4"
|
||||
}
|
||||
if (result == "1234") {
|
||||
return "OK"
|
||||
}
|
||||
return "fail"
|
||||
}
|
||||
@@ -0,0 +1,15 @@
|
||||
class Bar(val name: String)
|
||||
|
||||
class Baz {
|
||||
inner class Foo() {
|
||||
inner data class NestedFoo(val bar: Bar)
|
||||
|
||||
fun foo(): String {
|
||||
return NestedFoo(Bar("FAIL")).copy(bar = Bar("OK")).bar.name
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
return Baz().Foo().foo()
|
||||
}
|
||||
+15
@@ -0,0 +1,15 @@
|
||||
class Bar(val name: String)
|
||||
|
||||
abstract class Foo {
|
||||
public abstract fun foo(): String
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
return object: Foo() {
|
||||
inner data class NestedFoo(val bar: Bar)
|
||||
|
||||
override fun foo(): String {
|
||||
return NestedFoo(Bar("Fail")).copy(bar = Bar("OK")).bar.name
|
||||
}
|
||||
}.foo()
|
||||
}
|
||||
@@ -0,0 +1,10 @@
|
||||
data class A(val a: Double, val b: Double)
|
||||
|
||||
fun box() : String {
|
||||
val a = A(1.0, 1.0)
|
||||
val b = a.copy()
|
||||
if (b.a == 1.0 && b.b == 1.0) {
|
||||
return "OK"
|
||||
}
|
||||
return "fail"
|
||||
}
|
||||
@@ -0,0 +1,17 @@
|
||||
data class A(a: Int, b: String) {}
|
||||
|
||||
fun box() : String {
|
||||
for (method in javaClass<A>().getDeclaredMethods()) {
|
||||
if (method.getName() == "copy"){
|
||||
val parameterTypes = method.getParameterTypes()
|
||||
if (parameterTypes != null && parameterTypes.size == 2) {
|
||||
val copy = A(1, "a").copy(a = 2, b = "b")
|
||||
return "OK"
|
||||
}
|
||||
else {
|
||||
return "Method copy has " + (if (parameterTypes == null) "0" else parameterTypes.size) + " parameters, expected 2"
|
||||
}
|
||||
}
|
||||
}
|
||||
return "fail"
|
||||
}
|
||||
@@ -0,0 +1,29 @@
|
||||
data class A(val a: Int, val b: String) {}
|
||||
|
||||
fun box() : String {
|
||||
var result = ""
|
||||
val a = A(1, "a")
|
||||
val b = a.copy()
|
||||
if (b.a == 1 && b.b == "a") {
|
||||
result += "1"
|
||||
}
|
||||
|
||||
val c = a.copy(a = 2)
|
||||
if (c.a == 2 && c.b == "a") {
|
||||
result += "2"
|
||||
}
|
||||
|
||||
val d = a.copy(b = "b")
|
||||
if (d.a == 1 && d.b == "b") {
|
||||
result += "3"
|
||||
}
|
||||
|
||||
val e = a.copy(a = 2, b = "b")
|
||||
if (e.a == 2 && e.b == "b") {
|
||||
result += "4"
|
||||
}
|
||||
if (result == "1234") {
|
||||
return "OK"
|
||||
}
|
||||
return "fail"
|
||||
}
|
||||
@@ -0,0 +1,29 @@
|
||||
data class A(var a: Int, var b: String) {}
|
||||
|
||||
fun box() : String {
|
||||
var result = ""
|
||||
val a = A(1, "a")
|
||||
val b = a.copy()
|
||||
if (b.a == 1 && b.b == "a") {
|
||||
result += "1"
|
||||
}
|
||||
|
||||
val c = a.copy(a = 2)
|
||||
if (c.a == 2 && c.b == "a") {
|
||||
result += "2"
|
||||
}
|
||||
|
||||
val d = a.copy(b = "b")
|
||||
if (d.a == 1 && d.b == "b") {
|
||||
result += "3"
|
||||
}
|
||||
|
||||
val e = a.copy(a = 2, b = "b")
|
||||
if (e.a == 2 && e.b == "b") {
|
||||
result += "4"
|
||||
}
|
||||
if (result == "1234") {
|
||||
return "OK"
|
||||
}
|
||||
return "fail"
|
||||
}
|
||||
@@ -0,0 +1,14 @@
|
||||
data class A(val a: Foo<String>) {}
|
||||
|
||||
class Foo<T>(val a: T) { }
|
||||
|
||||
fun box() : String {
|
||||
val f1 = Foo("a")
|
||||
val f2 = Foo("b")
|
||||
val a = A(f1)
|
||||
val b = a.copy(f2)
|
||||
if (b.a.a == "b") {
|
||||
return "OK"
|
||||
}
|
||||
return "fail"
|
||||
}
|
||||
@@ -0,0 +1,8 @@
|
||||
data class A(val x: Int) {
|
||||
fun equals(other: Any?): Boolean = false
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
val a = A(0)
|
||||
return if (a equals a) "fail" else "OK"
|
||||
}
|
||||
+38
@@ -0,0 +1,38 @@
|
||||
data class A(val x: Int) {
|
||||
fun equals(other: Any): Boolean = false
|
||||
}
|
||||
|
||||
data class B(val x: Int) {
|
||||
fun equals(other: B): Boolean = false
|
||||
}
|
||||
|
||||
data class C(val x: Int) {
|
||||
fun equals(): Boolean = false
|
||||
}
|
||||
|
||||
data class D(val x: Int) {
|
||||
fun equals(other: Any?, another: String): Boolean = false
|
||||
}
|
||||
|
||||
data class E(val x: Int) {
|
||||
fun equals(x: E): Boolean = false
|
||||
fun equals(x: Any?): Boolean = false
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
javaClass<A>().getDeclaredMethod("equals", javaClass<Any>())
|
||||
|
||||
javaClass<B>().getDeclaredMethod("equals", javaClass<Any>())
|
||||
javaClass<B>().getDeclaredMethod("equals", javaClass<B>())
|
||||
|
||||
javaClass<C>().getDeclaredMethod("equals", javaClass<Any>())
|
||||
javaClass<C>().getDeclaredMethod("equals")
|
||||
|
||||
javaClass<D>().getDeclaredMethod("equals", javaClass<Any>())
|
||||
javaClass<D>().getDeclaredMethod("equals", javaClass<Any>(), javaClass<String>())
|
||||
|
||||
javaClass<E>().getDeclaredMethod("equals", javaClass<Any>())
|
||||
javaClass<E>().getDeclaredMethod("equals", javaClass<E>())
|
||||
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,6 @@
|
||||
data class A(val v: Array<Int>)
|
||||
|
||||
fun box() : String {
|
||||
if(A(array(0,1,2)) != A(array(0,1,2))) return "fail"
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,13 @@
|
||||
class Dummy {
|
||||
fun equals(other: Any?) = true
|
||||
}
|
||||
|
||||
open data class A(val v: Any)
|
||||
|
||||
class B(v: Any) : A(v)
|
||||
|
||||
fun box() : String {
|
||||
val a = A(Dummy())
|
||||
val b = B(Dummy())
|
||||
return if(b == a) "OK" else "fail"
|
||||
}
|
||||
@@ -0,0 +1,6 @@
|
||||
data class A(val v: IntArray)
|
||||
|
||||
fun box() : String {
|
||||
if(A(intArray(0,1,2)) != A(intArray(0,1,2))) return "fail"
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,11 @@
|
||||
class Dummy {
|
||||
fun equals(other: Any?) = true
|
||||
}
|
||||
|
||||
data class A(val v: Any?)
|
||||
|
||||
fun box() : String {
|
||||
val a = A(Dummy())
|
||||
val b: A? = null
|
||||
return if(a != b && b != a) "OK" else "fail"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A()
|
||||
|
||||
fun box() : String {
|
||||
val a = A()
|
||||
val b = a
|
||||
return if(b == a) "OK" else "fail"
|
||||
}
|
||||
@@ -0,0 +1,12 @@
|
||||
data class A<T>(val x: T)
|
||||
|
||||
fun box(): String {
|
||||
val a = A(42)
|
||||
if (a.component1() != 42) return "Fail a: ${a.component1()}"
|
||||
|
||||
val b = A(239.toLong())
|
||||
if (b.component1() != 239.toLong()) return "Fail b: ${b.component1()}"
|
||||
|
||||
val c = A("OK")
|
||||
return c.component1()
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(val x: Int) {
|
||||
fun hashCode(): Int = -3
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
return if (A(0).hashCode() == -3) "OK" else "fail"
|
||||
}
|
||||
+17
@@ -0,0 +1,17 @@
|
||||
data class A(val x: Int) {
|
||||
fun hashCode(other: Any): Int = 0
|
||||
}
|
||||
|
||||
data class B(val x: Int) {
|
||||
fun hashCode(other: B, another: Any): Int = 0
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
javaClass<A>().getDeclaredMethod("hashCode")
|
||||
javaClass<A>().getDeclaredMethod("hashCode", javaClass<Any>())
|
||||
|
||||
javaClass<B>().getDeclaredMethod("hashCode")
|
||||
javaClass<B>().getDeclaredMethod("hashCode", javaClass<B>(), javaClass<Any>())
|
||||
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,6 @@
|
||||
data class A(val a: IntArray, var b: Array<String>)
|
||||
|
||||
fun box() : String {
|
||||
if( A(intArray(1,2,3),array("239")).hashCode() != 31*java.util.Arrays.hashCode(intArray(0,1,2)) + "239".hashCode()) "fail"
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,5 @@
|
||||
data class A(val a: Boolean)
|
||||
|
||||
fun box() : String {
|
||||
return if( A(true).hashCode()==1 && A(false).hashCode()==0 ) "OK" else "fail"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(val a: Byte)
|
||||
|
||||
fun box() : String {
|
||||
val v1 = A(-10.toByte()).hashCode()
|
||||
val v2 = (-10.toByte() as Byte?)!!.hashCode()
|
||||
return if( v1 == v2 ) "OK" else "$v1 $v2"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(val a: Char)
|
||||
|
||||
fun box() : String {
|
||||
val v1 = A('a').hashCode()
|
||||
val v2 = ('a' as Char?)!!.hashCode()
|
||||
return if( v1 == v2 ) "OK" else "$v1 $v2"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(val a: Double)
|
||||
|
||||
fun box() : String {
|
||||
val v1 = A(-10.toDouble()).hashCode()
|
||||
val v2 = (-10.toDouble() as Double?)!!.hashCode()
|
||||
return if( v1 == v2 ) "OK" else "$v1 $v2"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(val a: Float)
|
||||
|
||||
fun box() : String {
|
||||
val v1 = A(-10.toFloat()).hashCode()
|
||||
val v2 = (-10.toFloat() as Float?)!!.hashCode()
|
||||
return if( v1 == v2 ) "OK" else "$v1 $v2"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A<T>(val t: T)
|
||||
|
||||
fun box(): String {
|
||||
val h = A<String?>(null).hashCode()
|
||||
if (h != 0) return "Fail $h"
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(val a: Int)
|
||||
|
||||
fun box() : String {
|
||||
val v1 = A(-10.toInt()).hashCode()
|
||||
val v2 = (-10.toInt() as Int?)!!.hashCode()
|
||||
return if( v1 == v2 ) "OK" else "$v1 $v2"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(val a: Long)
|
||||
|
||||
fun box() : String {
|
||||
val v1 = A(-10.toLong()).hashCode()
|
||||
val v2 = (-10.toLong() as Long?)!!.hashCode()
|
||||
return if( v1 == v2 ) "OK" else "$v1 $v2"
|
||||
}
|
||||
@@ -0,0 +1,16 @@
|
||||
data class A(val a: Any?, var x: Int)
|
||||
data class B(val a: Any?, x: Int)
|
||||
data class C(val a: Int, var x: Int?)
|
||||
data class D(val a: Int?)
|
||||
|
||||
fun box() : String {
|
||||
if( A(null,19).hashCode() != 19) "fail"
|
||||
if( A(239,19).hashCode() != (239*31+19)) "fail"
|
||||
if( B(null,19).hashCode() != 0) "fail"
|
||||
if( B(239,19).hashCode() != 239) "fail"
|
||||
if( C(239,19).hashCode() != (239*31+19)) "fail"
|
||||
if( C(239,null).hashCode() != 239*31) "fail"
|
||||
if( D(239).hashCode() != (239)) "fail"
|
||||
if( D(null).hashCode() != 0) "fail"
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(val a: Short)
|
||||
|
||||
fun box() : String {
|
||||
val v1 = A(-10.toShort()).hashCode()
|
||||
val v2 = (-10.toShort() as Short?)!!.hashCode()
|
||||
return if( v1 == v2 ) "OK" else "$v1 $v2"
|
||||
}
|
||||
@@ -0,0 +1,8 @@
|
||||
data class A(var x: Int, y: Int, val z: Int)
|
||||
|
||||
fun box(): String {
|
||||
val a = A(1, 2, 3)
|
||||
if (a.component1() != 1) return "Fail: ${a.component1()}"
|
||||
if (a.component2() != 3) return "Fail: ${a.component2()}"
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(val x: Int, val y: Any?, val z: String)
|
||||
|
||||
fun box(): String {
|
||||
val a = A(42, null, "OK")
|
||||
val (x, y, z) = a
|
||||
return if (x == 42 && y == null) z else "Fail"
|
||||
}
|
||||
@@ -0,0 +1,17 @@
|
||||
data class A(val x: Int, val y: String)
|
||||
|
||||
fun box(): String {
|
||||
val arr = Array<A>(5) {
|
||||
i -> A(i, i.toString())
|
||||
}
|
||||
|
||||
var sum = 0
|
||||
var str = ""
|
||||
|
||||
for ((x, y) in arr) {
|
||||
sum += x
|
||||
str += y
|
||||
}
|
||||
|
||||
return if (sum == 0+1+2+3+4 && str == "01234") "OK" else "Fail ${sum} ${str}"
|
||||
}
|
||||
@@ -0,0 +1,11 @@
|
||||
open data class A(open val x: String)
|
||||
|
||||
class B : A("Fail") {
|
||||
override val x: String = "OK"
|
||||
}
|
||||
|
||||
fun foo(a: A) = a.component1()
|
||||
|
||||
fun box(): String {
|
||||
return foo(B())
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(val x: Int) {
|
||||
fun toString(): String = "!"
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
return if (A(0).toString() == "!") "OK" else "fail"
|
||||
}
|
||||
+17
@@ -0,0 +1,17 @@
|
||||
data class A(val x: Int) {
|
||||
fun toString(other: Any): String = ""
|
||||
}
|
||||
|
||||
data class B(val x: Int) {
|
||||
fun toString(other: B, another: Any): String = ""
|
||||
}
|
||||
|
||||
fun box(): String {
|
||||
javaClass<A>().getDeclaredMethod("toString")
|
||||
javaClass<A>().getDeclaredMethod("toString", javaClass<Any>())
|
||||
|
||||
javaClass<B>().getDeclaredMethod("toString")
|
||||
javaClass<B>().getDeclaredMethod("toString", javaClass<B>(), javaClass<Any>())
|
||||
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,14 @@
|
||||
data class A(val x: Array<Int>?, val y: IntArray?)
|
||||
|
||||
fun box(): String {
|
||||
var ts = A(Array<Int>(2, {it}), IntArray(3)).toString()
|
||||
if(ts != "A(x=[0, 1], y=[0, 0, 0])") return ts
|
||||
|
||||
ts = A(null, IntArray(3)).toString()
|
||||
if(ts != "A(x=null, y=[0, 0, 0])") return ts
|
||||
|
||||
ts = A(null, null).toString()
|
||||
if(ts != "A(x=null, y=null)") return ts
|
||||
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,11 @@
|
||||
data class A(var string: String)
|
||||
|
||||
fun box(): String {
|
||||
val a = A("Fail")
|
||||
if(a.toString() != "A(string=Fail)") return "fail"
|
||||
|
||||
a.string = "OK"
|
||||
if("$a" != "A(string=OK)") return a.toString()
|
||||
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,11 @@
|
||||
data class A<T>(val x: T)
|
||||
|
||||
fun box(): String {
|
||||
val a = A(42)
|
||||
if ("$a" != "A(x=42)") return "$a"
|
||||
|
||||
val b = A(239.toLong())
|
||||
if ("$b" != "A(x=239)") return "$b"
|
||||
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
data class A(var x: Int, y: Int, val z: Int?)
|
||||
|
||||
fun box(): String {
|
||||
val a = A(1, 2, null)
|
||||
if("$a" != "A(x=1, z=null)") return "$a"
|
||||
return "OK"
|
||||
}
|
||||
@@ -0,0 +1,11 @@
|
||||
open data class A(open val x: String)
|
||||
|
||||
class B : A("Fail") {
|
||||
override val x: String = "OK"
|
||||
}
|
||||
|
||||
fun foo(a: A) = a
|
||||
|
||||
fun box(): String {
|
||||
return if ("${foo(B())}" == "A(x=OK)") "OK" else "fail"
|
||||
}
|
||||
@@ -0,0 +1,6 @@
|
||||
data class A(val x: Unit)
|
||||
|
||||
fun box(): String {
|
||||
val a = A(Unit.VALUE)
|
||||
return if ("$a" == "A(x=Unit.VALUE)") "OK" else "$a"
|
||||
}
|
||||
@@ -0,0 +1,6 @@
|
||||
data class A(val x: Int, val y: String)
|
||||
|
||||
fun box(): String {
|
||||
val a = A(42, "OK")
|
||||
return if (a.component1() == 42) a.component2() else a.component1().toString()
|
||||
}
|
||||
@@ -0,0 +1,9 @@
|
||||
data class A(var x: Int, var y: String)
|
||||
|
||||
fun box(): String {
|
||||
val a = A(21, "K")
|
||||
if (a.component1() != 21 || a.component2() != "K") return "Fail"
|
||||
a.x *= 2
|
||||
a.y = "O" + a.component2()
|
||||
return if (a.component1() == 42) a.component2() else a.component1().toString()
|
||||
}
|
||||
@@ -0,0 +1,6 @@
|
||||
data class A(val x: Unit)
|
||||
|
||||
fun box(): String {
|
||||
val a = A(Unit.VALUE)
|
||||
return if (a.component1() is Unit) "OK" else "Fail ${a.component1()}"
|
||||
}
|
||||
Reference in New Issue
Block a user