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