Package net.jqwik.time.api.arbitraries

Interface MonthDayArbitrary

All Superinterfaces:

Arbitrary<java.time.MonthDay>

@API(status=EXPERIMENTAL,
     since="1.4.0")
public interface MonthDayArbitrary
extends Arbitrary<java.time.MonthDay>

Fluent interface to configure the generation of month and day values.

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method	Description
MonthDayArbitrary	atTheEarliest(java.time.MonthDay min)	Set the allowed lower min (included) bounder of generated month and day values.
MonthDayArbitrary	atTheLatest(java.time.MonthDay max)	Set the allowed upper max (included) bounder of generated month and day values.
default MonthDayArbitrary	between(java.time.MonthDay min, java.time.MonthDay max)	Set the allowed lower min (included) and upper max (included) bounder of generated month and day values.
MonthDayArbitrary	dayOfMonthBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated day of month values.
default MonthDayArbitrary	monthBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated month values.
MonthDayArbitrary	monthBetween(java.time.Month min, java.time.Month max)	Set the allowed lower min (included) and upper max (included) bounder of generated month values.
MonthDayArbitrary	onlyMonths(java.time.Month... months)	Set an array of allowed months.

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, injectDuplicates, injectNull, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

Method Detail

between

default MonthDayArbitrary between(java.time.MonthDay min,
                                  java.time.MonthDay max)

Set the allowed lower min (included) and upper max (included) bounder of generated month and day values.

atTheEarliest

MonthDayArbitrary atTheEarliest(java.time.MonthDay min)

Set the allowed lower min (included) bounder of generated month and day values.

atTheLatest

MonthDayArbitrary atTheLatest(java.time.MonthDay max)

Set the allowed upper max (included) bounder of generated month and day values.

monthBetween

MonthDayArbitrary monthBetween(java.time.Month min,
                               java.time.Month max)

Set the allowed lower min (included) and upper max (included) bounder of generated month values.

monthBetween

default MonthDayArbitrary monthBetween(int min,
                                       int max)

Set the allowed lower min (included) and upper max (included) bounder of generated month values. The int values can be between 1 and 12.

onlyMonths

MonthDayArbitrary onlyMonths(java.time.Month... months)

Set an array of allowed months.

dayOfMonthBetween

MonthDayArbitrary dayOfMonthBetween(int min,
                                    int max)

Set the allowed lower min (included) and upper max (included) bounder of generated day of month values. The int values can be between 1 and 31.