net.jqwik.api

Class Arbitrary.ArbitraryFacade

java.lang.Object

net.jqwik.api.Arbitrary.ArbitraryFacade

Enclosing interface:

Arbitrary<T>

@API(status=INTERNAL)
public abstract static class Arbitrary.ArbitraryFacade
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ArbitraryFacade()

Method Summary

Modifier and Type	Method and Description
abstract <T,A> StreamableArbitrary<T,A>	array(Arbitrary<T> elementArbitrary, java.lang.Class<A> arrayClass)
abstract <T,U> java.util.Optional<ExhaustiveGenerator<U>>	flatMapExhaustiveGenerator(ExhaustiveGenerator<T> self, java.util.function.Function<T,Arbitrary<U>> mapper, long maxNumberOfSamples)
abstract <T> IteratorArbitrary<T>	iterator(Arbitrary<T> elementArbitrary)
abstract <T> ListArbitrary<T>	list(Arbitrary<T> elementArbitrary)
abstract <T> java.util.stream.Stream<T>	sampleStream(Arbitrary<T> arbitrary)
abstract <T> SetArbitrary<T>	set(Arbitrary<T> elementArbitrary)
abstract <T> StreamArbitrary<T>	stream(Arbitrary<T> elementArbitrary)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ArbitraryFacade

public ArbitraryFacade()

Method Detail

flatMapExhaustiveGenerator

public abstract <T,U> java.util.Optional<ExhaustiveGenerator<U>> flatMapExhaustiveGenerator(ExhaustiveGenerator<T> self,
                                                                                            java.util.function.Function<T,Arbitrary<U>> mapper,
                                                                                            long maxNumberOfSamples)

list

public abstract <T> ListArbitrary<T> list(Arbitrary<T> elementArbitrary)

set

public abstract <T> SetArbitrary<T> set(Arbitrary<T> elementArbitrary)

stream

public abstract <T> StreamArbitrary<T> stream(Arbitrary<T> elementArbitrary)

iterator

public abstract <T> IteratorArbitrary<T> iterator(Arbitrary<T> elementArbitrary)

array

public abstract <T,A> StreamableArbitrary<T,A> array(Arbitrary<T> elementArbitrary,
                                                     java.lang.Class<A> arrayClass)

sampleStream

public abstract <T> java.util.stream.Stream<T> sampleStream(Arbitrary<T> arbitrary)