Package 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 Object

Nested Class Summary

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

net.jqwik.api.RandomGenerator.RandomGeneratorFacade

Constructor Summary

Constructors

Constructor	Description
ConstantFunctionGenerator(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

ConstantFunctionGenerator

public ConstantFunctionGenerator(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