Package net.jqwik.time.internal.properties.arbitraries

Class DefaultDurationArbitrary

java.lang.Object
net.jqwik.api.arbitraries.ArbitraryDecorator<Duration>
net.jqwik.time.internal.properties.arbitraries.DefaultDurationArbitrary
All Implemented Interfaces:
Cloneable, net.jqwik.api.Arbitrary<Duration>, DurationArbitrary
@API(status=INTERNAL) public class DefaultDurationArbitrary extends net.jqwik.api.arbitraries.ArbitraryDecorator<Duration> implements DurationArbitrary

  • Nested Class Summary

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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final Duration
    DEFAULT_MAX
     
    static final Duration
    DEFAULT_MAX_PRECISION_HOURS
     
    static final Duration
    DEFAULT_MIN
     
    static final Duration
    DEFAULT_MIN_PRECISION_HOURS
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    DefaultDurationArbitrary()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected net.jqwik.api.Arbitrary<Duration>
    arbitrary()
     
    DurationArbitrary
    between(Duration min, Duration max)
    Set the allowed lower min (included) and upper max (included) bounder of generated duration.
    DurationArbitrary
    ofPrecision(ChronoUnit ofPrecision)
    Constrain the precision of generated values.

    Methods inherited from class net.jqwik.api.arbitraries.ArbitraryDecorator

    edgeCases, exhaustive, generator, generatorWithEmbeddedEdgeCases, isGeneratorMemoizable, toString, typedClone

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    Methods inherited from interface net.jqwik.api.Arbitrary

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

  • Field Details

    • DEFAULT_MIN

      public static final Duration DEFAULT_MIN

    • DEFAULT_MIN_PRECISION_HOURS

      public static final Duration DEFAULT_MIN_PRECISION_HOURS

    • DEFAULT_MAX

      public static final Duration DEFAULT_MAX

    • DEFAULT_MAX_PRECISION_HOURS

      public static final Duration DEFAULT_MAX_PRECISION_HOURS

  • Constructor Details

    • DefaultDurationArbitrary

      public DefaultDurationArbitrary()

  • Method Details

    • arbitrary

      protected net.jqwik.api.Arbitrary<Duration> arbitrary()
      Specified by:
      arbitrary in class net.jqwik.api.arbitraries.ArbitraryDecorator<Duration>

    • between

      public DurationArbitrary between(Duration min, Duration max)
      Description copied from interface: DurationArbitrary
      Set the allowed lower min (included) and upper max (included) bounder of generated duration. If you don't explicitly set the precision and use min/max values with precision milliseconds/microseconds/nanoseconds, the precision of your min/max value is implicitly set.
      Specified by:
      between in interface DurationArbitrary

    • ofPrecision

      public DurationArbitrary ofPrecision(ChronoUnit ofPrecision)
      Description copied from interface: DurationArbitrary
      Constrain the precision of generated values. Default value: Seconds. If you don't explicitly set the precision and use min/max values with precision milliseconds/microseconds/nanoseconds, the precision of your min/max value is implicitly set.
      Specified by:
      ofPrecision in interface DurationArbitrary