Package net.jqwik.api
Klasse RandomGenerator.RandomGeneratorFacade
java.lang.Object
net.jqwik.api.RandomGenerator.RandomGeneratorFacade
- Umschließende Schnittstelle:
RandomGenerator<T extends @Nullable Object>
@API(status=INTERNAL)
public abstract static class RandomGenerator.RandomGeneratorFacade
extends Object
-
Konstruktorübersicht
-
Methodenübersicht
Modifizierer und TypMethodeBeschreibungabstract <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)
-
Konstruktordetails
-
RandomGeneratorFacade
public RandomGeneratorFacade()
-
-
Methodendetails
-
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)
-