Package net.jqwik.engine.properties.arbitraries

Class DefaultDoubleArbitrary

java.lang.Object
net.jqwik.engine.properties.arbitraries.TypedCloneable
net.jqwik.engine.properties.arbitraries.DefaultDoubleArbitrary
All Implemented Interfaces:
Cloneable, net.jqwik.api.arbitraries.DoubleArbitrary, net.jqwik.api.arbitraries.NumericalArbitrary<Double,net.jqwik.api.arbitraries.DoubleArbitrary>, net.jqwik.api.Arbitrary<Double>
public class DefaultDoubleArbitrary extends TypedCloneable implements net.jqwik.api.arbitraries.DoubleArbitrary

  • Nested Class Summary

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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    DefaultDoubleArbitrary()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.arbitraries.DoubleArbitrary
    between(double min, boolean minIncluded, double max, boolean maxIncluded)
     
    net.jqwik.api.EdgeCases<Double>
    edgeCases(int maxEdgeCases)
     
    net.jqwik.api.Arbitrary<Double>
    edgeCases(Consumer<net.jqwik.api.EdgeCases.Config<Double>> configurator)
     
    boolean
    equals(Object o)
     
    Optional<net.jqwik.api.ExhaustiveGenerator<Double>>
    exhaustive(long maxNumberOfSamples)
     
    net.jqwik.api.RandomGenerator<Double>
    generator(int genSize)
     
    net.jqwik.api.arbitraries.DoubleArbitrary
    greaterOrEqual(double min)
     
    net.jqwik.api.arbitraries.DoubleArbitrary
    greaterThan(double min)
     
    int
    hashCode()
     
    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)
     
    net.jqwik.api.arbitraries.DoubleArbitrary
    withSpecialValue(double special)
     
    net.jqwik.api.arbitraries.DoubleArbitrary
    withStandardSpecialValues()
     

    Methods inherited from class net.jqwik.engine.properties.arbitraries.TypedCloneable

    typedClone

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface net.jqwik.api.Arbitrary

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

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

    between

  • Constructor Details

    • DefaultDoubleArbitrary

      public DefaultDoubleArbitrary()

  • Method Details

    • generator

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

    • exhaustive

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

    • edgeCases

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

    • edgeCases

      public net.jqwik.api.Arbitrary<Double> edgeCases(Consumer<net.jqwik.api.EdgeCases.Config<Double>> configurator)
      Specified by:
      edgeCases in interface net.jqwik.api.Arbitrary<Double>

    • withDistribution

      public net.jqwik.api.arbitraries.DoubleArbitrary withDistribution(net.jqwik.api.RandomDistribution distribution)
      Specified by:
      withDistribution in interface net.jqwik.api.arbitraries.NumericalArbitrary<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

    • withSpecialValue

      public net.jqwik.api.arbitraries.DoubleArbitrary withSpecialValue(double special)
      Specified by:
      withSpecialValue in interface net.jqwik.api.arbitraries.DoubleArbitrary

    • withStandardSpecialValues

      public net.jqwik.api.arbitraries.DoubleArbitrary withStandardSpecialValues()
      Specified by:
      withStandardSpecialValues in interface net.jqwik.api.arbitraries.DoubleArbitrary

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object