net.jqwik.engine.facades

Class ArbitraryFacadeImpl

java.lang.Object

net.jqwik.api.Arbitrary.ArbitraryFacade

net.jqwik.engine.facades.ArbitraryFacadeImpl

public class ArbitraryFacadeImpl
extends net.jqwik.api.Arbitrary.ArbitraryFacade

Is loaded through reflection in api module

Constructor Summary

Constructors

Constructor and Description
ArbitraryFacadeImpl()

Method Summary

Modifier and Type	Method and Description
<T,A> net.jqwik.api.arbitraries.StreamableArbitrary<T,A>	array(net.jqwik.api.Arbitrary<T> elementArbitrary, java.lang.Class<A> arrayClass)
<T,A> net.jqwik.api.arbitraries.StreamableArbitrary<T,A>	arrayOfUnique(net.jqwik.api.Arbitrary<T> uniqueArbitrary, java.lang.Class<A> arrayClass)
<T,U> java.util.Optional<net.jqwik.api.ExhaustiveGenerator<U>>	flatMapExhaustiveGenerator(net.jqwik.api.ExhaustiveGenerator<T> self, java.util.function.Function<T,net.jqwik.api.Arbitrary<U>> mapper, long maxNumberOfSamples)
<T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.Iterator<T>>	iterator(net.jqwik.api.Arbitrary<T> elementArbitrary)
<T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.List<T>>	list(net.jqwik.api.Arbitrary<T> elementArbitrary)
<T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.List<T>>	listOfUnique(net.jqwik.api.Arbitrary<T> uniqueArbitrary)
<T> java.util.stream.Stream<T>	sampleStream(net.jqwik.api.Arbitrary<T> arbitrary)
<T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.Set<T>>	set(net.jqwik.api.Arbitrary<T> elementArbitrary)
<T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.stream.Stream<T>>	stream(net.jqwik.api.Arbitrary<T> elementArbitrary)

Methods inherited from class java.lang.Object

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

Constructor Detail

ArbitraryFacadeImpl

public ArbitraryFacadeImpl()

Method Detail

flatMapExhaustiveGenerator

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

Specified by:

flatMapExhaustiveGenerator in class net.jqwik.api.Arbitrary.ArbitraryFacade

list

public <T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.List<T>> list(net.jqwik.api.Arbitrary<T> elementArbitrary)

Specified by:

list in class net.jqwik.api.Arbitrary.ArbitraryFacade

listOfUnique

public <T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.List<T>> listOfUnique(net.jqwik.api.Arbitrary<T> uniqueArbitrary)

Specified by:

listOfUnique in class net.jqwik.api.Arbitrary.ArbitraryFacade

set

public <T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.Set<T>> set(net.jqwik.api.Arbitrary<T> elementArbitrary)

Specified by:

set in class net.jqwik.api.Arbitrary.ArbitraryFacade

stream

public <T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.stream.Stream<T>> stream(net.jqwik.api.Arbitrary<T> elementArbitrary)

Specified by:

stream in class net.jqwik.api.Arbitrary.ArbitraryFacade

iterator

public <T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.Iterator<T>> iterator(net.jqwik.api.Arbitrary<T> elementArbitrary)

Specified by:

iterator in class net.jqwik.api.Arbitrary.ArbitraryFacade

array

public <T,A> net.jqwik.api.arbitraries.StreamableArbitrary<T,A> array(net.jqwik.api.Arbitrary<T> elementArbitrary,
                                                                      java.lang.Class<A> arrayClass)

Specified by:

array in class net.jqwik.api.Arbitrary.ArbitraryFacade

arrayOfUnique

public <T,A> net.jqwik.api.arbitraries.StreamableArbitrary<T,A> arrayOfUnique(net.jqwik.api.Arbitrary<T> uniqueArbitrary,
                                                                              java.lang.Class<A> arrayClass)

Specified by:

arrayOfUnique in class net.jqwik.api.Arbitrary.ArbitraryFacade

sampleStream

public <T> java.util.stream.Stream<T> sampleStream(net.jqwik.api.Arbitrary<T> arbitrary)

Specified by:

sampleStream in class net.jqwik.api.Arbitrary.ArbitraryFacade