main.net.jqwik.kotlin.internal.DefaultConstructorMarkerProvider.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.Arbitraries
import net.jqwik.api.Arbitrary
import net.jqwik.api.providers.ArbitraryProvider
import net.jqwik.api.providers.TypeUsage
import kotlin.jvm.internal.DefaultConstructorMarker

class DefaultConstructorMarkerProvider: ArbitraryProvider {

    override fun canProvideFor(targetType: TypeUsage) = targetType.isOfType(DefaultConstructorMarker::class.java)

    override fun provideFor(
        targetType: TypeUsage,
        subtypeProvider: ArbitraryProvider.SubtypeProvider
    ): MutableSet> {
        return mutableSetOf(Arbitraries.nothing())
    }
}