public class ArbitraryFacadeImpl
extends net.jqwik.api.Arbitrary.ArbitraryFacade
| Constructor and Description |
|---|
ArbitraryFacadeImpl() |
| 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) |
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)
flatMapExhaustiveGenerator in class net.jqwik.api.Arbitrary.ArbitraryFacadepublic <T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.List<T>> list(net.jqwik.api.Arbitrary<T> elementArbitrary)
list in class net.jqwik.api.Arbitrary.ArbitraryFacadepublic <T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.List<T>> listOfUnique(net.jqwik.api.Arbitrary<T> uniqueArbitrary)
listOfUnique in class net.jqwik.api.Arbitrary.ArbitraryFacadepublic <T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.Set<T>> set(net.jqwik.api.Arbitrary<T> elementArbitrary)
set in class net.jqwik.api.Arbitrary.ArbitraryFacadepublic <T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.stream.Stream<T>> stream(net.jqwik.api.Arbitrary<T> elementArbitrary)
stream in class net.jqwik.api.Arbitrary.ArbitraryFacadepublic <T> net.jqwik.api.arbitraries.StreamableArbitrary<T,java.util.Iterator<T>> iterator(net.jqwik.api.Arbitrary<T> elementArbitrary)
iterator in class net.jqwik.api.Arbitrary.ArbitraryFacadepublic <T,A> net.jqwik.api.arbitraries.StreamableArbitrary<T,A> array(net.jqwik.api.Arbitrary<T> elementArbitrary,
java.lang.Class<A> arrayClass)
array in class net.jqwik.api.Arbitrary.ArbitraryFacadepublic <T,A> net.jqwik.api.arbitraries.StreamableArbitrary<T,A> arrayOfUnique(net.jqwik.api.Arbitrary<T> uniqueArbitrary,
java.lang.Class<A> arrayClass)
arrayOfUnique in class net.jqwik.api.Arbitrary.ArbitraryFacadepublic <T> java.util.stream.Stream<T> sampleStream(net.jqwik.api.Arbitrary<T> arbitrary)
sampleStream in class net.jqwik.api.Arbitrary.ArbitraryFacade