All Downloads are FREE. Search and download functionalities are using the official Maven repository.

main.net.jqwik.kotlin.api.SizableArbitraryExtensions.kt Maven / Gradle / Ivy

There is a newer version: 1.9.1
Show newest version
package net.jqwik.kotlin.api

import net.jqwik.api.arbitraries.*
import org.apiguardian.api.API

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")
fun  ListArbitrary.ofSize(range: IntRange): ListArbitrary = ofMinSize(range.first).ofMaxSize(range.last)

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")
fun  SetArbitrary.ofSize(range: IntRange): SetArbitrary = ofMinSize(range.first).ofMaxSize(range.last)

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")
fun  StreamArbitrary.ofSize(range: IntRange): StreamArbitrary = ofMinSize(range.first).ofMaxSize(range.last)

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")
fun  IteratorArbitrary.ofSize(range: IntRange): IteratorArbitrary = ofMinSize(range.first).ofMaxSize(range.last)

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")
fun  MapArbitrary.ofSize(range: IntRange): MapArbitrary = ofMinSize(range.first).ofMaxSize(range.last)

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")
fun  ArrayArbitrary.ofSize(range: IntRange): ArrayArbitrary = ofMinSize(range.first).ofMaxSize(range.last)




© 2015 - 2024 Weber Informatics LLC | Privacy Policy