Package net.jqwik.engine.properties.arbitraries

Class DefaultFunctionArbitrary<F,​R>

  • All Implemented Interfaces:
    java.lang.Cloneable, net.jqwik.api.arbitraries.FunctionArbitrary<F,​R>, net.jqwik.api.Arbitrary<F>
    public class DefaultFunctionArbitrary<F,​R>
extends AbstractArbitraryBase
implements net.jqwik.api.arbitraries.FunctionArbitrary<F,​R>

    • Nested Class Summary

      • Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary

        net.jqwik.api.Arbitrary.ArbitraryFacade

    • Constructor Summary

      Constructors 
      Constructor Description
      DefaultFunctionArbitrary​(java.lang.Class<F> functionalType, net.jqwik.api.Arbitrary<R> resultArbitrary)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.EdgeCases<F> edgeCases()  
      net.jqwik.api.RandomGenerator<F> generator​(int genSize)  
      <F_> net.jqwik.api.arbitraries.FunctionArbitrary<F_,​R> when​(java.util.function.Predicate<java.util.List<java.lang.Object>> parameterCondition, java.util.function.Function<java.util.List<java.lang.Object>,​R> answer)  

      • 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.Arbitrary

        allValues, array, asGeneric, collect, dontShrink, edgeCases, exhaustive, exhaustive, filter, fixGenSize, flatMap, forEachValue, ignoreException, injectDuplicates, injectNull, isUnique, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, unique

    • Constructor Detail

      • DefaultFunctionArbitrary

        public DefaultFunctionArbitrary​(java.lang.Class<F> functionalType,
                                net.jqwik.api.Arbitrary<R> resultArbitrary)

    • Method Detail

      • generator

        public net.jqwik.api.RandomGenerator<F> generator​(int genSize)
        Specified by:
        generator in interface net.jqwik.api.Arbitrary<F>

      • edgeCases

        public net.jqwik.api.EdgeCases<F> edgeCases()
        Specified by:
        edgeCases in interface net.jqwik.api.Arbitrary<F>

      • when

        public <F_> net.jqwik.api.arbitraries.FunctionArbitrary<F_,​R> when​(java.util.function.Predicate<java.util.List<java.lang.Object>> parameterCondition,
                                                                         java.util.function.Function<java.util.List<java.lang.Object>,​R> answer)
        Specified by:
        when in interface net.jqwik.api.arbitraries.FunctionArbitrary<F,​R>