net.jqwik.api

Class RandomGenerator.RandomGeneratorFacade

java.lang.Object

net.jqwik.api.RandomGenerator.RandomGeneratorFacade

Enclosing interface:

RandomGenerator<T>

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<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>	unique(RandomGenerator<T> self)
abstract <T> RandomGenerator<T>	withEdgeCases(RandomGenerator<T> self, int genSize, java.util.List<Shrinkable<T>> edgeCases)
abstract <T> RandomGenerator<T>	withSamples(RandomGenerator<T> self, T[] samples)

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,
                                                     java.util.List<Shrinkable<T>> edgeCases)

withSamples

public abstract <T> RandomGenerator<T> withSamples(RandomGenerator<T> self,
                                                   T[] samples)

unique

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