Package net.jqwik.api
Class Arbitrary.ArbitraryFacade
- java.lang.Object
-
- net.jqwik.api.Arbitrary.ArbitraryFacade
-
-
Constructor Summary
Constructors Constructor Description ArbitraryFacade()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract <T,A>
ArrayArbitrary<T,A>array(Arbitrary<T> elementArbitrary, java.lang.Class<A> arrayClass)
abstract <T> Arbitrary<T>
configureEdgeCases(Arbitrary<T> self, java.util.function.Consumer<EdgeCases.Config<T>> configurator)
abstract <T> Arbitrary<T>
dontShrink(Arbitrary<T> self)
abstract <T> Arbitrary<T>
filter(Arbitrary<T> self, java.util.function.Predicate<T> filterPredicate, int maxMisses)
abstract <T,U>
Arbitrary<U>flatMap(Arbitrary<T> self, java.util.function.Function<T,Arbitrary<U>> mapper)
abstract <T> Arbitrary<T>
ignoreException(Arbitrary<T> self, java.lang.Class<? extends java.lang.Throwable> exceptionType)
abstract <T> Arbitrary<T>
injectNull(Arbitrary<T> self, double nullProbability)
abstract <T> IteratorArbitrary<T>
iterator(Arbitrary<T> elementArbitrary)
abstract <T> ListArbitrary<T>
list(Arbitrary<T> elementArbitrary)
abstract <T,U>
Arbitrary<U>map(Arbitrary<T> self, java.util.function.Function<T,U> mapper)
abstract <T> RandomGenerator<T>
memoizedGenerator(Arbitrary<T> self, int genSize, boolean withEdgeCases)
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)
abstract <T> Arbitrary<T>
withoutEdgeCases(Arbitrary<T> self)
-
-
-
Method Detail
-
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> ArrayArbitrary<T,A> array(Arbitrary<T> elementArbitrary, java.lang.Class<A> arrayClass)
-
sampleStream
public abstract <T> java.util.stream.Stream<T> sampleStream(Arbitrary<T> arbitrary)
-
filter
public abstract <T> Arbitrary<T> filter(Arbitrary<T> self, java.util.function.Predicate<T> filterPredicate, int maxMisses)
-
map
public abstract <T,U> Arbitrary<U> map(Arbitrary<T> self, java.util.function.Function<T,U> mapper)
-
flatMap
public abstract <T,U> Arbitrary<U> flatMap(Arbitrary<T> self, java.util.function.Function<T,Arbitrary<U>> mapper)
-
ignoreException
public abstract <T> Arbitrary<T> ignoreException(Arbitrary<T> self, java.lang.Class<? extends java.lang.Throwable> exceptionType)
-
configureEdgeCases
public abstract <T> Arbitrary<T> configureEdgeCases(Arbitrary<T> self, java.util.function.Consumer<EdgeCases.Config<T>> configurator)
-
memoizedGenerator
public abstract <T> RandomGenerator<T> memoizedGenerator(Arbitrary<T> self, int genSize, boolean withEdgeCases)
-
-