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

Class FunctionGenerator<F,​R>

  • All Implemented Interfaces:
    net.jqwik.api.RandomGenerator<F>
    public class FunctionGenerator<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 Description
      FunctionGenerator​(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.lang.Object>>,​java.util.function.Function<java.util.List<java.lang.Object>,​R>>> conditions)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected java.util.Optional<java.lang.Object[]> conditionalResult​(java.lang.Object[] args)  
      net.jqwik.api.Shrinkable<F> createConstantFunction​(net.jqwik.api.Shrinkable<R> shrinkableConstant)  
      protected java.lang.Object handleDefaultMethod​(java.lang.Object proxy, java.lang.reflect.Method method, java.lang.Object[] args)  
      protected java.lang.Object handleEqualsMethod​(java.lang.Object proxy, java.lang.Object[] args)  
      protected java.lang.invoke.MethodHandle handleForDefaultMethod​(java.lang.reflect.Method method)  
      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, dontShrink, filter, flatMap, flatMap, ignoreException, injectDuplicates, map, mapShrinkable, stream, unique, withEdgeCases

    • Constructor Detail

      • FunctionGenerator

        public FunctionGenerator​(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.lang.Object>>,​java.util.function.Function<java.util.List<java.lang.Object>,​R>>> conditions)

    • Method Detail

      • next

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

      • createConstantFunction

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

      • handleEqualsMethod

        protected java.lang.Object handleEqualsMethod​(java.lang.Object proxy,
                                              java.lang.Object[] args)

      • conditionalResult

        protected java.util.Optional<java.lang.Object[]> conditionalResult​(java.lang.Object[] args)

      • handleDefaultMethod

        protected java.lang.Object handleDefaultMethod​(java.lang.Object proxy,
                                               java.lang.reflect.Method method,
                                               java.lang.Object[] args)
                                        throws java.lang.Throwable
        Throws:
        java.lang.Throwable

      • handleForDefaultMethod

        protected java.lang.invoke.MethodHandle handleForDefaultMethod​(java.lang.reflect.Method method)
                                                        throws java.lang.Throwable
        Throws:
        java.lang.Throwable