Package net.jqwik.engine.properties.arbitraries

Class DefaultDoubleArbitrary

  • All Implemented Interfaces:
    java.lang.Cloneable, net.jqwik.api.arbitraries.DoubleArbitrary, net.jqwik.api.arbitraries.NumericalArbitrary<java.lang.Double,​net.jqwik.api.arbitraries.DoubleArbitrary>, net.jqwik.api.Arbitrary<java.lang.Double>
    public class DefaultDoubleArbitrary
extends AbstractArbitraryBase
implements net.jqwik.api.arbitraries.DoubleArbitrary

    • Nested Class Summary

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

        net.jqwik.api.Arbitrary.ArbitraryFacade

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.arbitraries.DoubleArbitrary between​(double min, boolean minIncluded, double max, boolean maxIncluded)  
      net.jqwik.api.EdgeCases<java.lang.Double> edgeCases()  
      java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Double>> exhaustive​(long maxNumberOfSamples)  
      net.jqwik.api.RandomGenerator<java.lang.Double> generator​(int genSize)  
      net.jqwik.api.arbitraries.DoubleArbitrary greaterOrEqual​(double min)  
      net.jqwik.api.arbitraries.DoubleArbitrary greaterThan​(double min)  
      net.jqwik.api.arbitraries.DoubleArbitrary lessOrEqual​(double max)  
      net.jqwik.api.arbitraries.DoubleArbitrary lessThan​(double max)  
      net.jqwik.api.arbitraries.DoubleArbitrary ofScale​(int scale)  
      net.jqwik.api.arbitraries.DoubleArbitrary shrinkTowards​(double target)  
      net.jqwik.api.arbitraries.DoubleArbitrary withDistribution​(net.jqwik.api.RandomDistribution distribution)  

      • 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, filter, fixGenSize, flatMap, forEachValue, ignoreException, injectDuplicates, injectNull, isUnique, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, unique

      • Methods inherited from interface net.jqwik.api.arbitraries.DoubleArbitrary

        between

    • Constructor Detail

      • DefaultDoubleArbitrary

        public DefaultDoubleArbitrary()

    • Method Detail

      • generator

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

      • exhaustive

        public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Double>> exhaustive​(long maxNumberOfSamples)
        Specified by:
        exhaustive in interface net.jqwik.api.Arbitrary<java.lang.Double>

      • edgeCases

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

      • withDistribution

        public net.jqwik.api.arbitraries.DoubleArbitrary withDistribution​(net.jqwik.api.RandomDistribution distribution)
        Specified by:
        withDistribution in interface net.jqwik.api.arbitraries.NumericalArbitrary<java.lang.Double,​net.jqwik.api.arbitraries.DoubleArbitrary>

      • between

        public net.jqwik.api.arbitraries.DoubleArbitrary between​(double min,
                                                         boolean minIncluded,
                                                         double max,
                                                         boolean maxIncluded)
        Specified by:
        between in interface net.jqwik.api.arbitraries.DoubleArbitrary

      • greaterOrEqual

        public net.jqwik.api.arbitraries.DoubleArbitrary greaterOrEqual​(double min)
        Specified by:
        greaterOrEqual in interface net.jqwik.api.arbitraries.DoubleArbitrary

      • greaterThan

        public net.jqwik.api.arbitraries.DoubleArbitrary greaterThan​(double min)
        Specified by:
        greaterThan in interface net.jqwik.api.arbitraries.DoubleArbitrary

      • lessOrEqual

        public net.jqwik.api.arbitraries.DoubleArbitrary lessOrEqual​(double max)
        Specified by:
        lessOrEqual in interface net.jqwik.api.arbitraries.DoubleArbitrary

      • lessThan

        public net.jqwik.api.arbitraries.DoubleArbitrary lessThan​(double max)
        Specified by:
        lessThan in interface net.jqwik.api.arbitraries.DoubleArbitrary

      • ofScale

        public net.jqwik.api.arbitraries.DoubleArbitrary ofScale​(int scale)
        Specified by:
        ofScale in interface net.jqwik.api.arbitraries.DoubleArbitrary

      • shrinkTowards

        public net.jqwik.api.arbitraries.DoubleArbitrary shrinkTowards​(double target)
        Specified by:
        shrinkTowards in interface net.jqwik.api.arbitraries.DoubleArbitrary