How to use Arb.filterNot method of io.kotest.property.arbitrary.filter class

Best Kotest code snippet using io.kotest.property.arbitrary.filter.Arb.filterNot

KotestHelpers.kt

Source:KotestHelpers.kt

1package io.provenance.scope.loan.test2import com.google.protobuf.InvalidProtocolBufferException3import com.google.protobuf.Timestamp4import com.google.protobuf.util.Timestamps5import io.kotest.matchers.Matcher6import io.kotest.matchers.MatcherResult7import io.kotest.matchers.should8import io.kotest.matchers.shouldBe9import io.kotest.matchers.types.beInstanceOf10import io.kotest.property.Arb11import io.kotest.property.arbitrary.Codepoint12import io.kotest.property.arbitrary.UUIDVersion13import io.kotest.property.arbitrary.alphanumeric14import io.kotest.property.arbitrary.bind15import io.kotest.property.arbitrary.boolean16import io.kotest.property.arbitrary.filter17import io.kotest.property.arbitrary.filterNot18import io.kotest.property.arbitrary.int19import io.kotest.property.arbitrary.list20import io.kotest.property.arbitrary.long21import io.kotest.property.arbitrary.map22import io.kotest.property.arbitrary.pair23import io.kotest.property.arbitrary.set24import io.kotest.property.arbitrary.string25import io.kotest.property.arbitrary.uInt26import io.kotest.property.arbitrary.uuid27import io.provenance.scope.loan.utility.ContractEnforcement28import io.provenance.scope.loan.utility.ContractViolation29import io.provenance.scope.loan.utility.ContractViolationException30import io.provenance.scope.loan.utility.ContractViolationMap31import io.provenance.scope.loan.utility.UnexpectedContractStateException32import tech.figure.servicing.v1beta1.LoanStateOuterClass.LoanStateMetadata33import java.time.Instant34import tech.figure.util.v1beta1.Checksum as FigureTechChecksum35import tech.figure.util.v1beta1.UUID as FigureTechUUID36/**37 * Generators of [Arb]itrary instances.38 */39internal object LoanPackageArbs {40    /* Primitives */41    val anyNonEmptyString: Arb<String> = Arb.string().filter { it.isNotBlank() }42    val anyNonUuidString: Arb<String> = Arb.string().filterNot { it.length == 36 }43    val anyUli: Arb<String> = Arb.string(minSize = 23, maxSize = 45, codepoints = Codepoint.alphanumeric()) // TODO: Is this correct?44    val anyNonUliString: Arb<String> = Arb.string().filterNot { it.length in 23..45 } // TODO: Should be complement of anyUli45    /* Contract requirements */46    val anyContractViolation: Arb<ContractViolation> = Arb.string()47    val anyContractEnforcement: Arb<ContractEnforcement> = Arb.bind(48        Arb.boolean(),49        Arb.string(),50    ) { requirement, violationReport ->51        ContractEnforcement(requirement, violationReport)52    }53    val anyContractViolationMap: Arb<ContractViolationMap> = Arb.bind(54        Arb.list(anyContractViolation),55        Arb.list(Arb.uInt()),56    ) { violationList, countList ->57        violationList.zip(countList).toMap().toMutableMap()58    }59    /* Protobufs */60    val anyValidChecksum: Arb<FigureTechChecksum> = Arb.bind(61        anyNonEmptyString,62        Arb.string(),63    ) { checksumValue, algorithmType ->64        FigureTechChecksum.newBuilder().apply {65            checksum = checksumValue66            algorithm = algorithmType67        }.build()68    }69    val anyUuid: Arb<FigureTechUUID> = Arb.uuid(UUIDVersion.V4).map { arbUuidV4 ->70        FigureTechUUID.newBuilder().apply {71            value = arbUuidV4.toString()72        }.build()73    }74    val anyValidTimestamp: Arb<Timestamp> = anyTimestampComponents.map { (seconds, nanoSeconds) ->75        Timestamp.newBuilder().also { timestampBuilder ->76            timestampBuilder.seconds = seconds77            timestampBuilder.nanos = nanoSeconds78        }.build()79    }80    val anyValidLoanState: Arb<LoanStateMetadata> = Arb.bind(81        anyUuid,82        anyValidChecksum,83        anyValidTimestamp,84        anyNonEmptyString,85    ) { uuid, checksum, effectiveTime, uri ->86        LoanStateMetadata.newBuilder().also { loanStateBuilder ->87            loanStateBuilder.id = uuid88            loanStateBuilder.checksum = checksum89            loanStateBuilder.effectiveTime = effectiveTime90            loanStateBuilder.uri = uri91        }.build()92    }93    fun loanStateSet(size: Int, slippage: Int = 10): Arb<List<LoanStateMetadata>> =94        /** Since we need each *property* to be unique, we must fix the set size & construct the arbs from scratch with primitives */95        Arb.bind(96            Arb.set(gen = Arb.uuid(UUIDVersion.V4), size = size, slippage = slippage).map { it.toList() },97            Arb.set(gen = anyNonEmptyString, size = size, slippage = slippage).map { it.toList() },98            Arb.set(gen = anyNonEmptyString, size = size, slippage = slippage).map { it.toList() },99            Arb.set(gen = anyPastNonEpochTimestampComponents, size = size, slippage = slippage).map { it.toList() },100        ) { randomIds, randomChecksums, randomUris, randomTimestamps ->101            randomIds.indices.map { i ->102                LoanStateMetadata.newBuilder().also { loanStateBuilder ->103                    loanStateBuilder.id = FigureTechUUID.newBuilder().also { uuidBuilder ->104                        uuidBuilder.value = randomIds[i].toString()105                    }.build()106                    loanStateBuilder.checksum = FigureTechChecksum.newBuilder().also { checksumBuilder ->107                        checksumBuilder.checksum = randomChecksums[i]108                    }.build()109                    loanStateBuilder.uri = randomUris[i]110                    loanStateBuilder.effectiveTime = Timestamp.newBuilder().also { timestampBuilder ->111                        timestampBuilder.seconds = randomTimestamps[i].first112                        timestampBuilder.nanos = randomTimestamps[i].second113                    }.build()114                }.build()115            }116        }117}118private val anyTimestampComponents: Arb<Pair<Long, Int>> = Arb.pair(119    Arb.long(min = Timestamps.MIN_VALUE.seconds, max = Timestamps.MAX_VALUE.seconds),120    Arb.int(min = Timestamps.MIN_VALUE.nanos, max = Timestamps.MAX_VALUE.nanos),121)122private val anyPastNonEpochTimestampComponents: Arb<Pair<Long, Int>> = Instant.now().let { now ->123    Arb.pair(124        Arb.long(min = Timestamps.MIN_VALUE.seconds, max = now.epochSecond),125        Arb.int(min = Timestamps.MIN_VALUE.nanos + 1, max = now.nano),126    )127}128/**129 * Defines a custom [Matcher] to check the violation count value in a [ContractViolationException].130 */131internal fun throwViolationCount(violationCount: UInt) = Matcher<ContractViolationException> { exception ->132    { count: UInt ->133        if (count == 1U) {134            "$count violation"135        } else {136            "$count violations"137        }138    }.let { violationPrinter: (UInt) -> String ->139        return@Matcher MatcherResult(140            exception.overallViolationCount == violationCount,141            {142                "Exception had ${violationPrinter(exception.overallViolationCount)} " +143                    "but we expected ${violationPrinter(violationCount)}"144            },145            { "Exception should not have ${violationPrinter(violationCount)}" },146        )147    }148}149/**150 * Wraps the custom matcher [throwViolationCount] following the style outlined in the151 * [Kotest documentation](https://kotest.io/docs/assertions/custom-matchers.html#extension-variants).152 */153internal infix fun ContractViolationException.shouldHaveViolationCount(violationCount: UInt) = apply {154    this should throwViolationCount(violationCount)155}156internal infix fun UnexpectedContractStateException.shouldBeParseFailureFor(classifier: String) = apply {157    this.cause should beInstanceOf<InvalidProtocolBufferException>()158    this.message shouldBe "Could not unpack as class $classifier"159}...

BatchMigrationGenerator.kt

Source:BatchMigrationGenerator.kt

1package liquibase.ext.generators2import io.kotest.property.Arb3import io.kotest.property.Exhaustive4import io.kotest.property.RandomSource5import io.kotest.property.arbitrary.arbitrary6import io.kotest.property.arbitrary.filter7import io.kotest.property.arbitrary.filterNot8import io.kotest.property.arbitrary.int9import io.kotest.property.arbitrary.list10import io.kotest.property.arbitrary.long11import io.kotest.property.arbitrary.map12import io.kotest.property.arbitrary.next13import io.kotest.property.arbitrary.orNull14import io.kotest.property.exhaustive.azstring15import io.kotest.property.exhaustive.exhaustive16import io.kotest.property.exhaustive.merge17import liquibase.ext.changes.BatchMigrationChange18import java.sql.RowIdLifetime19object BatchMigrationGenerator {20    val identifierGen = { min: Int -> Exhaustive.azstring(min..16).toArb() }21    val rowIdLifeTimeInvalidGenerator = listOf(22        RowIdLifetime.ROWID_UNSUPPORTED,23        RowIdLifetime.ROWID_VALID_OTHER,24        RowIdLifetime.ROWID_VALID_SESSION,25        RowIdLifetime.ROWID_VALID_TRANSACTION26    ).exhaustive()27    val rowIdLifeTimeGenerator = listOf(28        RowIdLifetime.ROWID_VALID_FOREVER,29    ).exhaustive().merge(rowIdLifeTimeInvalidGenerator)30    val validMigrationGenerator = arbitrary { rs: RandomSource ->31        val change = BatchMigrationChange()32        val colCount = Arb.int(1, 5).next(rs)33        val colGen = fixedColumnListNoDupsGenerator(colCount, colCount)34        change.tableName = identifierGen(1).next(rs)35        change.chunkSize = Arb.long(1L, 10000L).next(rs)36        val from = colGen.next(rs)37        val fromSet = from.toSet()38        change.fromColumns = from.toColumnList()39        // Make sure we do not have overlapping or crossing columns between from and to40        val to = colGen.filterNot { l -> fromSet.any { it in l.toSet() } }.next(rs)41        change.toColumns = to.toColumnList()42        change43    }44    val validMigrationWithSleepsGenerator = arbitrary { rs: RandomSource ->45        val mig = validMigrationGenerator.next(rs)46        mig.sleepTime = Arb.long(0L, 10000L).orNull().next(rs)47        mig48    }49    val sampleMigrationGenerator = arbitrary { rs: RandomSource ->50        val change = BatchMigrationChange()51        change.tableName = identifierGen(1).orNull().next(rs)52        change.chunkSize = Arb.long(-100L, 10000L).orNull().next(rs)53        val upperBound = Arb.int(0, 5).next(rs)54        val minBound = Arb.int(0, 5).filter { it <= upperBound }.next(rs)55        change.fromColumns = fixedColumnStringSequenceGenerator(minBound, upperBound).orNull().next(rs)56        change.toColumns = fixedColumnStringSequenceGenerator(minBound, upperBound).orNull().next(rs)57        change.sleepTime = Arb.long(-100L, 10000L).orNull().next(rs)58        change59    }60    val invalidMigrationGenerator = sampleMigrationGenerator.filter { c: BatchMigrationChange ->61        val simplePredicate = c.fromColumns.isNullOrEmpty() ||62            c.toColumns.isNullOrEmpty() || (c.chunkSize ?: -1L) <= 0L || c.sleepTime?.let { it < 0L } ?: false63        if (simplePredicate) return@filter true64        else {65            val from = c.fromColumns!!.split(",")66            val to = c.toColumns!!.split(",").toSet()67            // check whether from and to columns are equal somewhere or crossing68            // check whether any to column is in primary keys69            from.size != to.size || from.any { it in to }70        }71    }72    private fun List<String>.toColumnList(): String = joinToString(separator = ",") { it }73    private val fixedColumnListGenerator = { lowerBound: Int, inclusiveUpperBound: Int ->74        Arb.list(identifierGen(1), IntRange(lowerBound, inclusiveUpperBound))75    }76    private val fixedColumnListNoDupsGenerator = { lowerBound: Int, inclusiveUpperBound: Int ->77        fixedColumnListGenerator(lowerBound, inclusiveUpperBound).filterNot { l ->78            l.toSet().size != l.size79        }80    }81    private val fixedColumnStringSequenceGenerator = { lowerBound: Int, inclusiveUpperBound: Int ->82        fixedColumnListGenerator(lowerBound, inclusiveUpperBound).map { l -> l.joinToString(",") { it } }83    }84}...

DigitRuleTests.kt

Source:DigitRuleTests.kt

1package com.github.mpe85.grampa.grammar2import com.github.mpe85.grampa.legalCodePoints3import com.github.mpe85.grampa.parser.Parser4import com.ibm.icu.lang.UCharacter5import com.ibm.icu.lang.UCharacter.toString6import io.kotest.core.spec.style.StringSpec7import io.kotest.matchers.shouldBe8import io.kotest.property.Arb9import io.kotest.property.arbitrary.char10import io.kotest.property.arbitrary.filter11import io.kotest.property.arbitrary.filterNot12import io.kotest.property.checkAll13class DigitRuleTests : StringSpec({14    "Digit rule matches all digit characters" {15        Parser(object : AbstractGrammar<Unit>() {16            override fun start() = digit()17        }).apply {18            checkAll(Arb.char().filter { Character.isDigit(it) }) { ch ->19                run(ch.toString()).apply {20                    matched shouldBe true21                    matchedEntireInput shouldBe true22                    matchedInput shouldBe ch.toString()23                    restOfInput shouldBe ""24                }25            }26        }27    }28    "Digit rule matches all digit codepoints" {29        Parser(object : AbstractGrammar<Unit>() {30            override fun start() = digit()31        }).apply {32            checkAll(legalCodePoints().filter { UCharacter.isDigit(it.value) }) { cp ->33                run(toString(cp.value)).apply {34                    matched shouldBe true35                    matchedEntireInput shouldBe true36                    matchedInput shouldBe toString(cp.value)37                    restOfInput shouldBe ""38                }39            }40        }41    }42    "Digit rule does not match non-digit characters" {43        Parser(object : AbstractGrammar<Unit>() {44            override fun start() = digit()45        }).apply {46            checkAll(Arb.char().filterNot { Character.isDigit(it) }) { ch ->47                run(ch.toString()).apply {48                    matched shouldBe false49                    matchedEntireInput shouldBe false50                    matchedInput shouldBe null51                    restOfInput shouldBe ch.toString()52                }53            }54        }55    }56    "Digit rule does not match non-digit codepoints" {57        Parser(object : AbstractGrammar<Unit>() {58            override fun start() = digit()59        }).apply {60            checkAll(legalCodePoints().filterNot { UCharacter.isDigit(it.value) }) { cp ->61                run(toString(cp.value)).apply {62                    matched shouldBe false63                    matchedEntireInput shouldBe false64                    matchedInput shouldBe null65                    restOfInput shouldBe toString(cp.value)66                }67            }68        }69    }70    "Digit rule does not match empty input" {71        Parser(object : AbstractGrammar<Unit>() {72            override fun start() = digit()73        }).run("").apply {74            matched shouldBe false75            matchedEntireInput shouldBe false76            matchedInput shouldBe null77            restOfInput shouldBe ""78        }79    }80})...

Arb.kt

Source:Arb.kt

1package io.github.nomisrev2import io.kotest.property.Arb3import io.kotest.property.arbitrary.boolean4import io.kotest.property.arbitrary.choice5import io.kotest.property.arbitrary.constant6import io.kotest.property.arbitrary.double7import io.kotest.property.arbitrary.filterNot8import io.kotest.property.arbitrary.float9import io.kotest.property.arbitrary.int10import io.kotest.property.arbitrary.list11import io.kotest.property.arbitrary.long12import io.kotest.property.arbitrary.map13import io.kotest.property.arbitrary.string14import kotlinx.serialization.SerializationStrategy15import kotlinx.serialization.json.Json16import kotlinx.serialization.json.JsonArray17import kotlinx.serialization.json.JsonElement18import kotlinx.serialization.json.JsonNull19import kotlinx.serialization.json.JsonObject20import kotlinx.serialization.json.JsonPrimitive21import kotlinx.serialization.serializer22fun Arb.Companion.street(): Arb<Street> =23  Arb.string().map(::Street)24fun Arb.Companion.city(): Arb<City> =25  Arb.list(street()).map(::City)26fun Arb.Companion.jsInt(): Arb<JsonPrimitive> =27  int().map(::JsonPrimitive)28fun Arb.Companion.jsLong(): Arb<JsonPrimitive> =29  long().map(::JsonPrimitive)30fun Arb.Companion.jsFloat(): Arb<JsonPrimitive> =31  float().filterNot(Float::isNaN).map(::JsonPrimitive)32fun Arb.Companion.jsDouble(): Arb<JsonPrimitive> =33  double().filterNot(Double::isNaN).map(::JsonPrimitive)34fun Arb.Companion.jsString(): Arb<JsonPrimitive> =35  Arb.string().map(::JsonPrimitive)36fun Arb.Companion.jsBoolean(): Arb<JsonPrimitive> =37  boolean().map(::JsonPrimitive)38fun Arb.Companion.jsNull(): Arb<JsonNull> =39  constant(JsonNull)40private fun genJson(): Arb<JsonElement> =41  Arb.choice(Arb.jsInt(), Arb.jsLong(), Arb.jsDouble(), Arb.jsString(), Arb.jsNull())42fun Arb.Companion.jsArray(): Arb<JsonArray> =43  list(genJson()).map(::JsonArray)44fun <T> Arb.Companion.jsArray(valid: Arb<T>, EN: SerializationStrategy<T>): Arb<JsonArray> =45  list(valid).map { list -> JsonArray(list.map { elem -> Json.encodeToJsonElement(EN, elem) }) }46inline fun <reified T> Arb.Companion.jsArray(valid: Arb<T>): Arb<JsonArray> =47  jsArray(valid, serializer())48fun Arb.Companion.jsObject(): Arb<JsonObject> =49  map(Arb.string(), genJson()).map(::JsonObject)50fun <T> Arb.Companion.json(valid: Arb<T>, EN: SerializationStrategy<T>): Arb<JsonElement> =51  valid.map { Json.encodeToJsonElement(EN, it) }52inline fun <reified T> Arb.Companion.json(valid: Arb<T>): Arb<JsonElement> =53  json(valid, serializer())54fun Arb.Companion.json(): Arb<JsonElement> = choice(55  Arb.jsInt(),56  Arb.jsLong(),57  Arb.jsDouble(),58  Arb.jsString(),59  Arb.jsNull(),60  Arb.jsArray(),61  Arb.jsObject(),62)...

LeapYearTest.kt

Source:LeapYearTest.kt

1import io.kotest.core.spec.style.ExpectSpec2import io.kotest.matchers.shouldBe3import io.kotest.property.Arb4import io.kotest.property.arbitrary.filter5import io.kotest.property.arbitrary.filterNot6import io.kotest.property.arbitrary.int7import io.kotest.property.checkAll8class LeapYearTest : ExpectSpec({9    context("A year is not a leap year") {10        expect("if not divisible by 4") {11            checkAll(Arb.int().filterNot { it isDivisibleBy 4 }) { year ->12                isLeapYear(year) shouldBe false13            }14        }15        expect("if divisible by 100 but not by 400") {16            checkAll(Arb.int().filter { (it isDivisibleBy 100) && !(it isDivisibleBy 400) }) { year ->17                isLeapYear(year) shouldBe false18            }19        }20    }21    context("A year is a leap year") {22        expect("if divisible by 4 but not by 100") {23            checkAll(Arb.int().filter { (it isDivisibleBy 4)  && !(it isDivisibleBy 100) }) { year ->24                isLeapYear(year) shouldBe true25            }26        }27        expect("if divisible by 400") {28            checkAll(Arb.int().filter { it isDivisibleBy 400 }) { year ->29                isLeapYear(year) shouldBe true30            }31        }32    }33})...

SimpleAuthToken.kt

Source:SimpleAuthToken.kt

1package uk.co.appsplus.bootstrap.testing.arbs.ext2import android.annotation.SuppressLint3import io.kotest.property.Arb4import io.kotest.property.arbitrary.*5import uk.co.appsplus.bootstrap.network.models.SimpleAuthToken6import java.util.*7@SuppressLint("NewApi")8fun Arb.Companion.simpleAuthToken(): Arb<SimpleAuthToken> {9    return Arb.bind(10        Arb.string().filterNot { it.isEmpty() },11        Arb.string().filterNot { it.isEmpty() }12    ) { accessToken, refreshToken ->13        val encoder = Base64.getEncoder()14        SimpleAuthToken(15            encoder.encodeToString(accessToken.toByteArray()),16            encoder.encodeToString(refreshToken.toByteArray())17        )18    }19}...

PagingState.kt

Source:PagingState.kt

1package uk.co.appsplus.bootstrap.testing.arbs.ext2import io.kotest.property.Arb3import io.kotest.property.arbitrary.enum4import io.kotest.property.arbitrary.filterNot5import io.kotest.property.arbitrary.of6import uk.co.appsplus.bootstrap.ui.pagination.PagingState7fun Arb.Companion.loadingState(8    onlyStates: List<PagingState>? = null,9    removedStates: List<PagingState> = emptyList()10): Arb<PagingState> {11    return onlyStates?.let {12        Arb.of(it)13    } ?: Arb.enum<PagingState>()14        .filterNot { it in removedStates }15}...

Arbs.kt

Source:Arbs.kt

1import io.kotest.property.Arb2import io.kotest.property.arbitrary.double3import io.kotest.property.arbitrary.filterNot4import io.kotest.property.arbitrary.map5// Delete when DigDecimal Arb is fixed on kotest side6val myBigDecimals = Arb.double()7    .filterNot { it in setOf(Double.NaN, Double.NEGATIVE_INFINITY, Double.POSITIVE_INFINITY) }8    .map { it.toBigDecimal() }...

Arb.filterNot

Using AI Code Generation

1val list = listOf(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)2val filteredList = Arb.filterNot(list) { it % 2 == 0 }3println(filteredList)4Related Posts: Kotlin | filterNotNull() method5Kotlin | filterIsInstance() method6Kotlin | filterIsInstance() method7Kotlin | filterNotNull() method8Kotlin | filterIndexed() method9Kotlin | filterIndexedTo() method10Kotlin | filterIsInstanceTo() method11Kotlin | filterNotNullTo() method12Kotlin | filterNotTo() method13Kotlin | filterTo() method14Kotlin | filterIndexedNotNull() method15Kotlin | filterIndexedNotNullTo() method16Kotlin | filterIndexedTo() method17Kotlin | filterIndexedNotNullTo() method18Kotlin | filterIndexedNotNull() method19Kotlin | filterNotNullTo() method20Kotlin | filterNotTo() method21Kotlin | filterTo() method22Kotlin | filterNotNullTo() method23Kotlin | filterIndexedTo() method24Kotlin | filterNotNull() method25Kotlin | filterNotNullTo() method26Kotlin | filterIndexedNotNull() method27Kotlin | filterIndexedNotNullTo() method28Kotlin | filterIndexedTo() method29Kotlin | filterIndexedNotNullTo() method30Kotlin | filterIndexedNotNull() method31Kotlin | filterIndexedNotNullTo() method32Kotlin | filterIndexedTo() method33Kotlin | filterIndexedNotNullTo() method34Kotlin | filterIndexedNotNull() method35Kotlin | filterIndexedNotNullTo() method36Kotlin | filterIndexedTo() method37Kotlin | filterIndexedNotNullTo() method38Kotlin | filterIndexedNotNull() method

Arb.filterNot

Using AI Code Generation

1@DisplayName("Arb.filterNot() method")2class ArbFilterNotTest : StringSpec({3    val evenNumbers = Arb.list(Arb.int(0..100)).filterNot { it % 2 == 1 }4    "Arb.filterNot() method" {5        forAll(evenNumbers) {6            it.all { it % 2 == 0 }7        }8    }9})

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.