Package net.jqwik.time.api.arbitraries

Interface LocalTimeArbitrary

All Superinterfaces:

Arbitrary<java.time.LocalTime>

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

Fluent interface to configure the generation of local time values.

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method	Description
LocalTimeArbitrary	atTheEarliest(java.time.LocalTime min)	Set the allowed lower min (included) bounder of generated local time values.
LocalTimeArbitrary	atTheLatest(java.time.LocalTime max)	Set the allowed upper max (included) bounder of generated local time values.
default LocalTimeArbitrary	between(java.time.LocalTime min, java.time.LocalTime max)	Set the allowed lower min (included) and upper max (included) bounder of generated local time values.
LocalTimeArbitrary	hourBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated hour values.
LocalTimeArbitrary	minuteBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated minute values.
LocalTimeArbitrary	ofPrecision(java.time.temporal.ChronoUnit ofPrecision)	Constrain the precision of generated values.
LocalTimeArbitrary	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 LocalTimeArbitrary between(java.time.LocalTime min,
                                   java.time.LocalTime max)

Set the allowed lower min (included) and upper max (included) bounder of generated local 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

LocalTimeArbitrary atTheEarliest(java.time.LocalTime min)

Set the allowed lower min (included) bounder of generated local 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

LocalTimeArbitrary atTheLatest(java.time.LocalTime max)

Set the allowed upper max (included) bounder of generated local 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

LocalTimeArbitrary 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

LocalTimeArbitrary 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

LocalTimeArbitrary 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.

ofPrecision

LocalTimeArbitrary 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.