Package net.jqwik.api
Class RandomGenerator.RandomGeneratorFacade
java.lang.Object
net.jqwik.api.RandomGenerator.RandomGeneratorFacade
- Enclosing interface:
- RandomGenerator<T>
@API(status=INTERNAL)
public abstract static class RandomGenerator.RandomGeneratorFacade
extends Object
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionabstract <T> RandomGenerator<List<T>>
collect
(RandomGenerator<T> self, Predicate<List<T>> until) abstract <T> RandomGenerator<T>
filter
(RandomGenerator<T> self, Predicate<T> filterPredicate, int maxMisses) abstract <T,
U> Shrinkable<U> flatMap
(Shrinkable<T> wrappedShrinkable, Function<T, Arbitrary<U>> mapper, int genSize, long nextLong, boolean withEmbeddedEdgeCases) abstract <T,
U> Shrinkable<U> flatMap
(Shrinkable<T> self, Function<T, RandomGenerator<U>> mapper, long nextLong) abstract <T> RandomGenerator<T>
ignoreExceptions
(RandomGenerator<T> self, Class<? extends Throwable>[] exceptionTypes, int maxThrows) abstract <T> RandomGenerator<T>
injectDuplicates
(RandomGenerator<T> self, double duplicateProbability) abstract <T> RandomGenerator<T>
withEdgeCases
(RandomGenerator<T> self, int genSize, EdgeCases<T> edgeCases)
-
Constructor Details
-
RandomGeneratorFacade
public RandomGeneratorFacade()
-
-
Method Details
-
flatMap
public abstract <T,U> Shrinkable<U> flatMap(Shrinkable<T> self, Function<T, RandomGenerator<U>> mapper, long nextLong) -
flatMap
public abstract <T,U> Shrinkable<U> flatMap(Shrinkable<T> wrappedShrinkable, Function<T, Arbitrary<U>> mapper, int genSize, long nextLong, boolean withEmbeddedEdgeCases) -
filter
public abstract <T> RandomGenerator<T> filter(RandomGenerator<T> self, Predicate<T> filterPredicate, int maxMisses) -
withEdgeCases
public abstract <T> RandomGenerator<T> withEdgeCases(RandomGenerator<T> self, int genSize, EdgeCases<T> edgeCases) -
collect
public abstract <T> RandomGenerator<List<T>> collect(RandomGenerator<T> self, Predicate<List<T>> until) -
injectDuplicates
public abstract <T> RandomGenerator<T> injectDuplicates(RandomGenerator<T> self, double duplicateProbability) -
ignoreExceptions
public abstract <T> RandomGenerator<T> ignoreExceptions(RandomGenerator<T> self, Class<? extends Throwable>[] exceptionTypes, int maxThrows)
-