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 java.lang.Object

Constructor Summary

Constructors

Constructor and Description
RandomGeneratorFacade()

Method Summary

Modifier and Type	Method and Description
abstract <T> RandomGenerator<java.util.List<T>>	collect(RandomGenerator<T> self, java.util.function.Predicate<java.util.List<T>> until)
abstract <T> RandomGenerator<T>	filter(RandomGenerator<T> self, java.util.function.Predicate<T> filterPredicate)
abstract <T,U> Shrinkable<U>	flatMap(Shrinkable<T> wrappedShrinkable, java.util.function.Function<T,Arbitrary<U>> mapper, int genSize, long nextLong)
abstract <T,U> Shrinkable<U>	flatMap(Shrinkable<T> self, java.util.function.Function<T,RandomGenerator<U>> mapper, long nextLong)
abstract <T> RandomGenerator<T>	ignoreException(RandomGenerator<T> self, java.lang.Class<? extends java.lang.Throwable> exceptionType)
abstract <T> RandomGenerator<T>	injectDuplicates(RandomGenerator<T> self, double duplicateProbability)
abstract <T> RandomGenerator<T>	unique(RandomGenerator<T> self)
abstract <T> RandomGenerator<T>	withEdgeCases(RandomGenerator<T> self, int genSize, EdgeCases<T> edgeCases)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RandomGeneratorFacade

public RandomGeneratorFacade()

Method Detail

flatMap

public abstract <T,U> Shrinkable<U> flatMap(Shrinkable<T> self,
                                            java.util.function.Function<T,RandomGenerator<U>> mapper,
                                            long nextLong)

flatMap

public abstract <T,U> Shrinkable<U> flatMap(Shrinkable<T> wrappedShrinkable,
                                            java.util.function.Function<T,Arbitrary<U>> mapper,
                                            int genSize,
                                            long nextLong)

filter

public abstract <T> RandomGenerator<T> filter(RandomGenerator<T> self,
                                              java.util.function.Predicate<T> filterPredicate)

withEdgeCases

public abstract <T> RandomGenerator<T> withEdgeCases(RandomGenerator<T> self,
                                                     int genSize,
                                                     EdgeCases<T> edgeCases)

unique

public abstract <T> RandomGenerator<T> unique(RandomGenerator<T> self)

collect

public abstract <T> RandomGenerator<java.util.List<T>> collect(RandomGenerator<T> self,
                                                               java.util.function.Predicate<java.util.List<T>> until)

injectDuplicates

public abstract <T> RandomGenerator<T> injectDuplicates(RandomGenerator<T> self,
                                                        double duplicateProbability)

ignoreException

public abstract <T> RandomGenerator<T> ignoreException(RandomGenerator<T> self,
                                                       java.lang.Class<? extends java.lang.Throwable> exceptionType)