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

Class DefaultOffsetTimeArbitrary

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

  • Nested Class Summary

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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    DefaultOffsetTimeArbitrary()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected net.jqwik.api.Arbitrary<OffsetTime>
    arbitrary()
     
    OffsetTimeArbitrary
    atTheEarliest(LocalTime min)
    Set the allowed lower min (included) bounder of generated time values.
    OffsetTimeArbitrary
    atTheLatest(LocalTime max)
    Set the allowed upper max (included) bounder of generated time values.
    OffsetTimeArbitrary
    hourBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated hour values.
    OffsetTimeArbitrary
    minuteBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated minute values.
    OffsetTimeArbitrary
    offsetBetween(ZoneOffset min, ZoneOffset max)
    Set the allowed lower min (included) and upper max (included) bounder of generated offset values.
    OffsetTimeArbitrary
    ofPrecision(ChronoUnit ofPrecision)
    Constrain the precision of generated values.
    OffsetTimeArbitrary
    secondBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated second 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

    Methods inherited from interface net.jqwik.time.api.arbitraries.OffsetTimeArbitrary

    between

  • Constructor Details

    • DefaultOffsetTimeArbitrary

      public DefaultOffsetTimeArbitrary()

  • Method Details

    • arbitrary

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

    • atTheEarliest

      public OffsetTimeArbitrary atTheEarliest(LocalTime min)
      Description copied from interface: OffsetTimeArbitrary
      Set the allowed lower min (included) bounder of generated time values. 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:
      atTheEarliest in interface OffsetTimeArbitrary

    • atTheLatest

      public OffsetTimeArbitrary atTheLatest(LocalTime max)
      Description copied from interface: OffsetTimeArbitrary
      Set the allowed upper max (included) bounder of generated time values. 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:
      atTheLatest in interface OffsetTimeArbitrary

    • hourBetween

      public OffsetTimeArbitrary hourBetween(int min, int max)
      Description copied from interface: OffsetTimeArbitrary
      Set the allowed lower min (included) and upper max (included) bounder of generated hour values. The hours can be between 0 and 23.
      Specified by:
      hourBetween in interface OffsetTimeArbitrary

    • minuteBetween

      public OffsetTimeArbitrary minuteBetween(int min, int max)
      Description copied from interface: OffsetTimeArbitrary
      Set the allowed lower min (included) and upper max (included) bounder of generated minute values. The minutes can be between 0 and 59.
      Specified by:
      minuteBetween in interface OffsetTimeArbitrary

    • secondBetween

      public OffsetTimeArbitrary secondBetween(int min, int max)
      Description copied from interface: OffsetTimeArbitrary
      Set the allowed lower min (included) and upper max (included) bounder of generated second values. The minutes can be between 0 and 59.
      Specified by:
      secondBetween in interface OffsetTimeArbitrary

    • offsetBetween

      public OffsetTimeArbitrary offsetBetween(ZoneOffset min, ZoneOffset max)
      Description copied from interface: OffsetTimeArbitrary
      Set the allowed lower min (included) and upper max (included) bounder of generated offset values. The offsets can be between -12:00:00 and +14:00:00.
      Specified by:
      offsetBetween in interface OffsetTimeArbitrary

    • ofPrecision

      public OffsetTimeArbitrary ofPrecision(ChronoUnit ofPrecision)
      Description copied from interface: OffsetTimeArbitrary
      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 OffsetTimeArbitrary