Package net.jqwik.time.api.arbitraries

Interface OffsetTimeArbitrary

All Superinterfaces:

Arbitrary<java.time.OffsetTime>

@API(status=EXPERIMENTAL,
     since="1.5.1")
public interface OffsetTimeArbitrary
extends Arbitrary<java.time.OffsetTime>

Fluent interface to configure the generation of offset time values.

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method	Description
OffsetTimeArbitrary	atTheEarliest(java.time.LocalTime min)	Set the allowed lower min (included) bounder of generated time values.
OffsetTimeArbitrary	atTheLatest(java.time.LocalTime max)	Set the allowed upper max (included) bounder of generated time values.
default OffsetTimeArbitrary	between(java.time.LocalTime min, java.time.LocalTime max)	Set the allowed lower min (included) and 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(java.time.ZoneOffset min, java.time.ZoneOffset max)	Set the allowed lower min (included) and upper max (included) bounder of generated offset values.
OffsetTimeArbitrary	ofPrecision(java.time.temporal.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 interface net.jqwik.api.Arbitrary

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

Method Detail

between

default OffsetTimeArbitrary between(java.time.LocalTime min,
                                    java.time.LocalTime max)

Set the allowed lower min (included) and 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.

atTheEarliest

OffsetTimeArbitrary atTheEarliest(java.time.LocalTime min)

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.

atTheLatest

OffsetTimeArbitrary atTheLatest(java.time.LocalTime max)

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.

hourBetween

OffsetTimeArbitrary hourBetween(int min,
                                int max)

Set the allowed lower min (included) and upper max (included) bounder of generated hour values. The hours can be between 0 and 23.

minuteBetween

OffsetTimeArbitrary minuteBetween(int min,
                                  int max)

Set the allowed lower min (included) and upper max (included) bounder of generated minute values. The minutes can be between 0 and 59.

secondBetween

OffsetTimeArbitrary secondBetween(int min,
                                  int max)

Set the allowed lower min (included) and upper max (included) bounder of generated second values. The minutes can be between 0 and 59.

offsetBetween

OffsetTimeArbitrary offsetBetween(java.time.ZoneOffset min,
                                  java.time.ZoneOffset max)

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.

ofPrecision

OffsetTimeArbitrary ofPrecision(java.time.temporal.ChronoUnit ofPrecision)

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.