net.jqwik.engine.properties.arbitraries.randomized

Class ConstantFunctionGenerator<F,R>

java.lang.Object

net.jqwik.engine.properties.arbitraries.randomized.ConstantFunctionGenerator<F,R>

All Implemented Interfaces:

net.jqwik.api.RandomGenerator<F>

public class ConstantFunctionGenerator<F,R>
extends java.lang.Object

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.RandomGenerator

net.jqwik.api.RandomGenerator.RandomGeneratorFacade

Constructor Summary

Constructors

Constructor and Description
ConstantFunctionGenerator(java.lang.Class<F> functionalType, net.jqwik.api.RandomGenerator<R> resultGenerator, java.util.List<net.jqwik.api.Tuple.Tuple2<java.util.function.Predicate<java.util.List>,java.util.function.Function<java.util.List,R>>> conditions)

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.Shrinkable<F>	next(java.util.Random random)

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.jqwik.api.RandomGenerator

collect, filter, flatMap, flatMap, injectDuplicates, injectNull, map, stream, unique, withEdgeCases, withSamples

Constructor Detail

ConstantFunctionGenerator

public ConstantFunctionGenerator(java.lang.Class<F> functionalType,
                                 net.jqwik.api.RandomGenerator<R> resultGenerator,
                                 java.util.List<net.jqwik.api.Tuple.Tuple2<java.util.function.Predicate<java.util.List>,java.util.function.Function<java.util.List,R>>> conditions)

Method Detail

next

public net.jqwik.api.Shrinkable<F> next(java.util.Random random)