Package net.jqwik.engine.properties.arbitraries.randomized

Class FunctionGenerator<F,R>

java.lang.Object

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

All Implemented Interfaces:

net.jqwik.api.RandomGenerator<F>

public class FunctionGenerator<F,R>
extends Object

Nested Class Summary

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

net.jqwik.api.RandomGenerator.RandomGeneratorFacade

Constructor Summary

Constructors

Constructor	Description
FunctionGenerator(Class<F> functionalType, net.jqwik.api.RandomGenerator<R> resultGenerator, List<net.jqwik.api.Tuple.Tuple2<Predicate<List<Object>>,Function<List<Object>,R>>> conditions)

Method Summary

Modifier and Type	Method	Description
protected Optional<Object[]>	conditionalResult(Object[] args)
net.jqwik.api.Shrinkable<F>	createConstantFunction(net.jqwik.api.Shrinkable<R> shrinkableConstant)
protected Object	handleDefaultMethod(Object proxy, Method method, Object[] args)
protected Object	handleEqualsMethod(Object proxy, Object[] args)
protected MethodHandle	handleForDefaultMethod(Method method)
net.jqwik.api.Shrinkable<F>	next(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, dontShrink, filter, flatMap, flatMap, ignoreExceptions, injectDuplicates, map, mapShrinkable, stream, withEdgeCases

Constructor Details

FunctionGenerator

public FunctionGenerator(Class<F> functionalType,
 net.jqwik.api.RandomGenerator<R> resultGenerator,
 List<net.jqwik.api.Tuple.Tuple2<Predicate<List<Object>>,Function<List<Object>,R>>> conditions)

Method Details

next

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

createConstantFunction

public net.jqwik.api.Shrinkable<F> createConstantFunction(net.jqwik.api.Shrinkable<R> shrinkableConstant)

handleEqualsMethod

protected Object handleEqualsMethod(Object proxy,
 Object[] args)

conditionalResult

protected Optional<Object[]> conditionalResult(Object[] args)

handleDefaultMethod

protected Object handleDefaultMethod(Object proxy,
 Method method,
 Object[] args)
                              throws Throwable

Throws:

Throwable

handleForDefaultMethod

protected MethodHandle handleForDefaultMethod(Method method)
                                       throws Throwable

Throws:

Throwable