commonMain.io.kotest.properties.PropertyTestingAssertNone.kt Maven / Gradle / Ivy
package io.kotest.properties
import io.kotest.assertions.failure
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(noinline fn: PropertyContext.(a: A) -> Unit) = assertNone(1000, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(iterations: Int, noinline fn: PropertyContext.(a: A) -> Unit) {
assertNone(iterations, Gen.default(), fn)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(gena: Gen, fn: PropertyContext.(a: A) -> Unit) = assertNone(1000, gena, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun Gen.assertNone(iterations: Int = 1000, fn: PropertyContext.(a0: A) -> Unit) = assertNone(iterations, this, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun Gen.assertNone(iterations: Int = 1000, fn: PropertyContext.(a0: A, a1: A) -> Unit) = assertNone(iterations, this, this, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun Gen.assertNone(iterations: Int = 1000, fn: PropertyContext.(a0: A, a1: A, a2: A) -> Unit) = assertNone(iterations, this, this, this, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun Gen.assertNone(iterations: Int = 1000, fn: PropertyContext.(a0: A, a1: A, a2: A, a3: A) -> Unit) = assertNone(iterations, this, this, this, this, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun Gen.assertNone(iterations: Int = 1000, fn: PropertyContext.(a0: A, a1: A, a2: A, a3: A, a4: A) -> Unit) = assertNone(iterations, this, this, this, this, this, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun Gen.assertNone(iterations: Int = 1000, fn: PropertyContext.(a0: A, a1: A, a2: A, a3: A, a4: A, a5: A) -> Unit) = assertNone(iterations, this, this, this, this, this, this, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(iterations: Int, gena: Gen, fn: PropertyContext.(a: A) -> Unit) {
if (iterations <= 0) throw IllegalArgumentException("Iterations should be a positive number")
val context = PropertyContext()
fun test(a: A) {
context.inc()
val passed = try {
context.fn(a)
true
} catch (e: AssertionError) {
false
} catch (e: Exception) {
throw e
}
if (passed)
throw failure("Property passed for\n$a\nafter ${context.attempts()} attempts")
}
for (a in gena.constants()) {
test(a)
}
val avalues = gena.random().iterator()
while (context.attempts() < iterations) {
val a = avalues.next()
test(a)
}
outputClassifications(context)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(noinline fn: PropertyContext.(a: A, b: B) -> Unit) {
assertNone(Gen.default(), Gen.default(), fn)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(iterations: Int, noinline fn: PropertyContext.(a: A, b: B) -> Unit) {
assertNone(iterations, Gen.default(), Gen.default(), fn)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(gena: Gen, genb: Gen, fn: PropertyContext.(a: A, b: B) -> Unit) = assertNone(1000, gena, genb, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(iterations: Int, gena: Gen, genb: Gen, fn: PropertyContext.(a: A, b: B) -> Unit) {
val context = PropertyContext()
fun test(a: A, b: B) {
context.inc()
val passed = try {
context.fn(a, b)
true
} catch (e: AssertionError) {
false
} catch (e: Exception) {
throw e
}
if (passed)
throw failure("Property passed for\n$a\n$b\nafter ${context.attempts()} attempts")
}
for (a in gena.constants()) {
for (b in genb.constants()) {
test(a, b)
}
}
val avalues = gena.random().iterator()
val bvalues = genb.random().iterator()
while (context.attempts() < iterations) {
val a = avalues.next()
val b = bvalues.next()
test(a, b)
}
outputClassifications(context)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(noinline fn: PropertyContext.(a: A, b: B, c: C) -> Unit) {
assertNone(1000, fn)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(iterations: Int, noinline fn: PropertyContext.(a: A, b: B, c: C) -> Unit) {
assertNone(iterations, Gen.default(), Gen.default(), Gen.default(), fn)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(gena: Gen, genb: Gen, genc: Gen, fn: PropertyContext.(a: A, b: B, c: C) -> Unit) =
assertNone(1000, gena, genb, genc, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(iterations: Int, gena: Gen, genb: Gen, genc: Gen, fn: PropertyContext.(a: A, b: B, c: C) -> Unit) {
if (iterations <= 0) throw IllegalArgumentException("Iterations should be a positive number")
val context = PropertyContext()
fun test(a: A, b: B, c: C) {
context.inc()
val passed = try {
context.fn(a, b, c)
true
} catch (e: AssertionError) {
false
} catch (e: Exception) {
throw e
}
if (passed)
throw failure("Property passed for\n$a\n$b\n$c\nafter ${context.attempts()} attempts")
}
for (a in gena.constants()) {
for (b in genb.constants()) {
for (c in genc.constants()) {
test(a, b, c)
}
}
}
val avalues = gena.random().iterator()
val bvalues = genb.random().iterator()
val cvalues = genc.random().iterator()
while (context.attempts() < iterations) {
val a = avalues.next()
val b = bvalues.next()
val c = cvalues.next()
test(a, b, c)
}
outputClassifications(context)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(noinline fn: PropertyContext.(a: A, b: B, c: C, D) -> Unit) {
assertNone(1000, fn)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(iterations: Int, noinline fn: PropertyContext.(a: A, b: B, c: C, D) -> Unit) {
assertNone(iterations, Gen.default(), Gen.default(), Gen.default(), Gen.default(), fn)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(gena: Gen, genb: Gen, genc: Gen, gend: Gen, fn: PropertyContext.(a: A, b: B, c: C, d: D) -> Unit) =
assertNone(1000, gena, genb, genc, gend, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(iterations: Int, gena: Gen, genb: Gen, genc: Gen, gend: Gen, fn: PropertyContext.(a: A, b: B, c: C, d: D) -> Unit) {
val context = PropertyContext()
fun test(a: A, b: B, c: C, d: D) {
context.inc()
val passed = try {
context.fn(a, b, c, d)
true
} catch (e: AssertionError) {
false
} catch (e: Exception) {
throw e
}
if (passed)
throw failure("Property passed for\n$a\n$b\n$c\n$d\nafter ${context.attempts()} attempts")
}
for (a in gena.constants()) {
for (b in genb.constants()) {
for (c in genc.constants()) {
for (d in gend.constants()) {
test(a, b, c, d)
}
}
}
}
val avalues = gena.random().iterator()
val bvalues = genb.random().iterator()
val cvalues = genc.random().iterator()
val dvalues = gend.random().iterator()
while (context.attempts() < iterations) {
test(avalues.next(), bvalues.next(), cvalues.next(), dvalues.next())
}
outputClassifications(context)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(noinline fn: PropertyContext.(a: A, b: B, c: C, d: D, e: E) -> Unit) =
assertNone(1000, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(iterations: Int, noinline fn: PropertyContext.(a: A, b: B, c: C, d: D, e: E) -> Unit) {
assertNone(iterations, Gen.default(), Gen.default(), Gen.default(), Gen.default(), Gen.default(), fn)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(gena: Gen, genb: Gen, genc: Gen, gend: Gen, gene: Gen, fn: PropertyContext.(a: A, b: B, c: C, d: D, e: E) -> Unit) =
assertNone(1000, gena, genb, genc, gend, gene, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(iterations: Int, gena: Gen, genb: Gen, genc: Gen, gend: Gen, gene: Gen, fn: PropertyContext.(a: A, b: B, c: C, d: D, e: E) -> Unit) {
if (iterations <= 0) throw IllegalArgumentException("Iterations should be a positive number")
val context = PropertyContext()
fun test(a: A, b: B, c: C, d: D, e: E) {
context.inc()
val passed = try {
context.fn(a, b, c, d, e)
true
} catch (e: AssertionError) {
false
} catch (e: Exception) {
throw e
}
if (passed)
throw failure("Property passed for\n$a\n$b\n$c\n$d\n$e\nafter ${context.attempts()} attempts")
}
for (a in gena.constants()) {
for (b in genb.constants()) {
for (c in genc.constants()) {
for (d in gend.constants()) {
for (e in gene.constants()) {
test(a, b, c, d, e)
}
}
}
}
}
val avalues = gena.random().iterator()
val bvalues = genb.random().iterator()
val cvalues = genc.random().iterator()
val dvalues = gend.random().iterator()
val evalues = gene.random().iterator()
while (context.attempts() < iterations) {
val a = avalues.next()
val b = bvalues.next()
val c = cvalues.next()
val d = dvalues.next()
val e = evalues.next()
test(a, b, c, d, e)
}
outputClassifications(context)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(noinline fn: PropertyContext.(a: A, b: B, c: C, d: D, e: E, f: F) -> Unit) {
assertNone(1000, fn)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
inline fun assertNone(iterations: Int, noinline fn: PropertyContext.(a: A, b: B, c: C, d: D, e: E, f: F) -> Unit) {
assertNone(iterations, Gen.default(), Gen.default(), Gen.default(), Gen.default(), Gen.default(), Gen.default(), fn)
}
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(gena: Gen, genb: Gen, genc: Gen, gend: Gen, gene: Gen, genf: Gen, fn: PropertyContext.(a: A, b: B, c: C, d: D, e: E, f: F) -> Unit) =
assertNone(1000, gena, genb, genc, gend, gene, genf, fn)
@Deprecated("Deprecated and will be removed in 5.0. Migrate to the new property test classes in 4.0")
fun assertNone(iterations: Int, gena: Gen, genb: Gen, genc: Gen, gend: Gen, gene: Gen, genf: Gen, fn: PropertyContext.(a: A, b: B, c: C, d: D, e: E, f: F) -> Unit) {
if (iterations <= 0) throw IllegalArgumentException("Iterations should be a positive number")
val context = PropertyContext()
fun test(a: A, b: B, c: C, d: D, e: E, f: F) {
context.inc()
val passed = try {
context.fn(a, b, c, d, e, f)
true
} catch (e: AssertionError) {
false
} catch (e: Exception) {
throw e
}
if (passed)
throw failure("Property passed for\n$a\n$b\n$c\n$d\n$e\n$f\nafter ${context.attempts()} attempts")
}
for (a in gena.constants()) {
for (b in genb.constants()) {
for (c in genc.constants()) {
for (d in gend.constants()) {
for (e in gene.constants()) {
for (f in genf.constants()) {
test(a, b, c, d, e, f)
}
}
}
}
}
}
val avalues = gena.random().iterator()
val bvalues = genb.random().iterator()
val cvalues = genc.random().iterator()
val dvalues = gend.random().iterator()
val evalues = gene.random().iterator()
val fvalues = genf.random().iterator()
while (context.attempts() < iterations) {
val a = avalues.next()
val b = bvalues.next()
val c = cvalues.next()
val d = dvalues.next()
val e = evalues.next()
val f = fvalues.next()
test(a, b, c, d, e, f)
}
outputClassifications(context)
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy