jqwik-kotlin/net.jqwik.kotlin.api/SequenceArbitrary

SequenceArbitrary

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")

class SequenceArbitrary<T>(elementArbitrary: Arbitrary<T>) : ArbitraryDecorator<Sequence<T>> , SizableArbitrary<Sequence<T>>

Fluent interface to add functionality to arbitraries that generate instances of type Sequence

Constructors

SequenceArbitrary

constructor(elementArbitrary: Arbitrary<T>)

Functions

open fun allValues(): Optional<Stream<Sequence<T>>>

open fun <A : Any> array(p0: Class<A>): ArrayArbitrary<Sequence<T>, A>

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")

inline fun <T, A : Any> Arbitrary<T>.array(): ArrayArbitrary<T, A>

Create a new arbitrary of type Array using the existing arbitrary for generating the elements of the array.

@API(status = API.Status.INTERNAL)

open fun asGeneric(): Arbitrary<Any>

@API(status = API.Status.MAINTAINED, since = "1.3.0")

open fun collect(p0: Predicate<MutableList<Sequence<T>>>): Arbitrary<MutableList<Sequence<T>>>

@API(status = API.Status.MAINTAINED, since = "1.4.0")

open fun dontShrink(): Arbitrary<Sequence<T>>

@API(status = API.Status.EXPERIMENTAL, since = "1.3.0")

open fun edgeCases(): EdgeCases<Sequence<T>>

@API(status = API.Status.MAINTAINED, since = "1.8.0")

open fun edgeCases(p0: Consumer<EdgeCases.Config<Sequence<T>>>): Arbitrary<Sequence<T>>

open override fun edgeCases(p0: Int): EdgeCases<Sequence<T>>

@API(status = API.Status.INTERNAL)

open fun exhaustive(): Optional<ExhaustiveGenerator<Sequence<T>>>

open override fun exhaustive(p0: Long): Optional<ExhaustiveGenerator<Sequence<T>>>

open fun filter(p0: Predicate<Sequence<T>>): Arbitrary<Sequence<T>>

@API(status = API.Status.EXPERIMENTAL, since = "1.7.0")

open fun filter(p0: Int, p1: Predicate<Sequence<T>>): Arbitrary<Sequence<T>>

@API(status = API.Status.MAINTAINED, since = "1.2.0")

open fun fixGenSize(p0: Int): Arbitrary<Sequence<T>>

open fun <U : Any> flatMap(p0: Function<Sequence<T>, Arbitrary<U>>): Arbitrary<U>

@API(status = API.Status.MAINTAINED, since = "1.1.2")

open fun forEachValue(p0: Consumer<in Sequence<T>>)

@API(status = API.Status.INTERNAL, since = "1.4.0")

open fun generator(p0: Int, p1: Boolean): RandomGenerator<Sequence<T>>

open override fun generator(p0: Int): RandomGenerator<Sequence<T>>

generatorWithEmbeddedEdgeCases

open override fun generatorWithEmbeddedEdgeCases(p0: Int): RandomGenerator<Sequence<T>>

ignoreException

@API(status = API.Status.MAINTAINED, since = "1.3.1")

open fun ignoreException(p0: Class<out Throwable>): Arbitrary<Sequence<T>>

@API(status = API.Status.EXPERIMENTAL, since = "1.7.3")

open fun ignoreException(p0: Int, p1: Class<out Throwable>): Arbitrary<Sequence<T>>

ignoreExceptions

@API(status = API.Status.MAINTAINED, since = "1.7.2")

open fun ignoreExceptions(vararg p0: Class<out Throwable>): Arbitrary<Sequence<T>>

@API(status = API.Status.EXPERIMENTAL, since = "1.7.3")

open fun ignoreExceptions(p0: Int, vararg p1: Class<out Throwable>): Arbitrary<Sequence<T>>

injectDuplicates

@API(status = API.Status.MAINTAINED, since = "1.3.0")

open fun injectDuplicates(p0: Double): Arbitrary<Sequence<T>>

open fun injectNull(p0: Double): Arbitrary<@Nullable Sequence<T>>

isGeneratorMemoizable

open override fun isGeneratorMemoizable(): Boolean

open operator fun iterator(): IteratorArbitrary<Sequence<T>>

open fun list(): ListArbitrary<Sequence<T>>

open fun <U : Any> map(p0: Function<Sequence<T>, U>): Arbitrary<U>

open override fun ofMaxSize(maxSize: Int): SequenceArbitrary<T>

open override fun ofMinSize(minSize: Int): SequenceArbitrary<T>

open override fun ofSize(size: Int): SequenceArbitrary<T>

fun ofSize(range: IntRange): SequenceArbitrary<T>

open fun optional(): Arbitrary<Optional<Sequence<T>>>

@API(status = API.Status.MAINTAINED, since = "1.5.4")

open fun optional(p0: Double): Arbitrary<Optional<Sequence<T>>>

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")

fun <T> Arbitrary<T>.orNull(nullProbability: Double): Arbitrary<T?>

Create a new arbitrary of the same type but inject null values with a probability of nullProbability.

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")

fun <T> Arbitrary<T>.pair(): Arbitrary<Pair<T, T>>

Create a new arbitrary for type Pair using the existing arbitrary for generating the elements of the pair.

@API(status = API.Status.MAINTAINED, since = "1.3.0")

open fun sample(): Sequence<T>

@API(status = API.Status.MAINTAINED, since = "1.3.0")

open fun sampleStream(): Stream<Sequence<T>>

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")

fun <T> Arbitrary<T>.sequence(): SequenceArbitrary<T>

Create a new arbitrary of type SequenceArbitrary using the existing arbitrary for generating the elements of the sequence.

open fun set(): SetArbitrary<Sequence<T>>

open fun stream(): StreamArbitrary<Sequence<T>>

open override fun toString(): String

@API(status = API.Status.EXPERIMENTAL, since = "1.6.0")

fun <T> Arbitrary<T>.triple(): Arbitrary<Triple<T, T, T>>

Create a new arbitrary for type Triple using the existing arbitrary for generating the elements of the triple.

@API(status = API.Status.MAINTAINED, since = "1.3.0")

open fun tuple1(): Arbitrary<Tuple.Tuple1<Sequence<T>>>

@API(status = API.Status.MAINTAINED, since = "1.3.0")

open fun tuple2(): Arbitrary<Tuple.Tuple2<Sequence<T>, Sequence<T>>>

@API(status = API.Status.MAINTAINED, since = "1.3.0")

open fun tuple3(): Arbitrary<Tuple.Tuple3<Sequence<T>, Sequence<T>, Sequence<T>>>

@API(status = API.Status.MAINTAINED, since = "1.3.0")

open fun tuple4(): Arbitrary<Tuple.Tuple4<Sequence<T>, Sequence<T>, Sequence<T>, Sequence<T>>>

@API(status = API.Status.MAINTAINED, since = "1.3.3")

open fun tuple5(): Arbitrary<Tuple.Tuple5<Sequence<T>, Sequence<T>, Sequence<T>, Sequence<T>, Sequence<T>>>

fun uniqueElements(): SequenceArbitrary<T>

Add the constraint that elements of the generated iterator must be unique, i.e. no two elements must return true when being compared using Object.equals.

fun uniqueElements(by: Function<T, Any>): SequenceArbitrary<T>

Add the constraint that elements of the generated iterator must be unique relating to an element's "feature" being extracted using the by function. The extracted features are being compared using Object.equals.

withoutEdgeCases

@API(status = API.Status.MAINTAINED, since = "1.8.0")

open fun withoutEdgeCases(): Arbitrary<Sequence<T>>

withSizeDistribution

open override fun withSizeDistribution(distribution: RandomDistribution): SequenceArbitrary<T>