net.jqwik.engine.facades

Class RandomGeneratorFacadeImpl

java.lang.Object

net.jqwik.api.RandomGenerator.RandomGeneratorFacade

net.jqwik.engine.facades.RandomGeneratorFacadeImpl

public class RandomGeneratorFacadeImpl
extends net.jqwik.api.RandomGenerator.RandomGeneratorFacade

Is loaded through reflection in api module

Constructor Summary

Constructors

Constructor and Description
RandomGeneratorFacadeImpl()

Method Summary

Modifier and Type	Method and Description
<T> net.jqwik.api.RandomGenerator<java.util.List<T>>	collect(net.jqwik.api.RandomGenerator<T> self, java.util.function.Predicate<java.util.List<T>> until)
<T> net.jqwik.api.RandomGenerator<T>	filter(net.jqwik.api.RandomGenerator<T> self, java.util.function.Predicate<T> filterPredicate)
<T,U> net.jqwik.api.Shrinkable<U>	flatMap(net.jqwik.api.Shrinkable<T> self, java.util.function.Function<T,net.jqwik.api.Arbitrary<U>> mapper, int genSize, long nextLong)
<T,U> net.jqwik.api.Shrinkable<U>	flatMap(net.jqwik.api.Shrinkable<T> self, java.util.function.Function<T,net.jqwik.api.RandomGenerator<U>> mapper, long nextLong)
<T> net.jqwik.api.RandomGenerator<T>	unique(net.jqwik.api.RandomGenerator<T> self)
<T> net.jqwik.api.RandomGenerator<T>	withEdgeCases(net.jqwik.api.RandomGenerator<T> self, int genSize, java.util.List<net.jqwik.api.Shrinkable<T>> edgeCases)
<T> net.jqwik.api.RandomGenerator<T>	withSamples(net.jqwik.api.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

RandomGeneratorFacadeImpl

public RandomGeneratorFacadeImpl()

Method Detail

flatMap

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

Specified by:

flatMap in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

flatMap

public <T,U> net.jqwik.api.Shrinkable<U> flatMap(net.jqwik.api.Shrinkable<T> self,
                                                 java.util.function.Function<T,net.jqwik.api.Arbitrary<U>> mapper,
                                                 int genSize,
                                                 long nextLong)

Specified by:

flatMap in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

filter

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

Specified by:

filter in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

withEdgeCases

public <T> net.jqwik.api.RandomGenerator<T> withEdgeCases(net.jqwik.api.RandomGenerator<T> self,
                                                          int genSize,
                                                          java.util.List<net.jqwik.api.Shrinkable<T>> edgeCases)

Specified by:

withEdgeCases in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

withSamples

public <T> net.jqwik.api.RandomGenerator<T> withSamples(net.jqwik.api.RandomGenerator<T> self,
                                                        T[] samples)

Specified by:

withSamples in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

unique

public <T> net.jqwik.api.RandomGenerator<T> unique(net.jqwik.api.RandomGenerator<T> self)

Specified by:

unique in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade

collect

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

Specified by:

collect in class net.jqwik.api.RandomGenerator.RandomGeneratorFacade