main.net.jqwik.kotlin.internal.KotlinSizeConfigurator.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jqwik-kotlin Show documentation

Jqwik Kotlin module

There is a newer version: 1.9.1

package net.jqwik.kotlin.internal

import net.jqwik.api.Arbitrary
import net.jqwik.api.configurators.ArbitraryConfiguratorBase
import net.jqwik.api.providers.TypeUsage
import net.jqwik.kotlin.api.IntRangeArbitrary
import net.jqwik.kotlin.api.JqwikIntRange

class KotlinIntRangeConfigurator : ArbitraryConfiguratorBase() {
    override fun acceptTargetType(targetType: TypeUsage): Boolean {
        return targetType.isAssignableFrom(IntRange::class.java)
    }

    @Suppress("unused") // Used by jqwik
    fun configure(arbitrary: Arbitrary, range: JqwikIntRange): Arbitrary {
        return if (arbitrary is IntRangeArbitrary) {
            arbitrary.between(range.min, range.max)
        } else {
            arbitrary.filter { r: IntRange -> r.first >= range.min && r.last <= range.max }
        }
    }

}