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

Class DefaultCalendarArbitrary

java.lang.Object

net.jqwik.api.arbitraries.ArbitraryDecorator<Calendar>

net.jqwik.time.internal.properties.arbitraries.DefaultCalendarArbitrary

All Implemented Interfaces:

Cloneable, net.jqwik.api.Arbitrary<Calendar>, CalendarArbitrary

@API(status=INTERNAL)
public class DefaultCalendarArbitrary
extends net.jqwik.api.arbitraries.ArbitraryDecorator<Calendar>
implements CalendarArbitrary

Nested Class Summary

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor	Description
DefaultCalendarArbitrary()

Method Summary

Modifier and Type	Method	Description
protected net.jqwik.api.Arbitrary<Calendar>	arbitrary()
CalendarArbitrary	atTheEarliest(Calendar min)	Set the allowed lower min (included) bounder of generated calendar values.
CalendarArbitrary	atTheLatest(Calendar max)	Set the allowed upper max (included) bounder of generated calendar values.
static DayOfWeek	calendarDayOfWeekToDayOfWeek(int dayOfWeek)
static DayOfWeek	calendarDayOfWeekToDayOfWeek(Calendar calendar)
static Month	calendarMonthToMonth(int month)
static Month	calendarMonthToMonth(Calendar calendar)
CalendarArbitrary	dayOfMonthBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated day of month values.
static Calendar	localDateToCalendar(LocalDate date)
CalendarArbitrary	monthBetween(Month min, Month max)	Set the allowed lower min (included) and upper max (included) bounder of generated month values.
static int	monthToCalendarMonth(Month month)
CalendarArbitrary	onlyDaysOfWeek(DayOfWeek... daysOfWeek)	Set an array of allowed daysOfWeek.
CalendarArbitrary	onlyMonths(Month... months)	Set an array of allowed months.
CalendarArbitrary	yearBetween(Year min, Year max)	Set the allowed lower min (included) and upper max (included) bounder of generated year 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.CalendarArbitrary

between, monthBetween, yearBetween

Constructor Details

DefaultCalendarArbitrary

public DefaultCalendarArbitrary()

Method Details

arbitrary

protected net.jqwik.api.Arbitrary<Calendar> arbitrary()

Specified by:

arbitrary in class net.jqwik.api.arbitraries.ArbitraryDecorator<Calendar>

localDateToCalendar

public static Calendar localDateToCalendar(LocalDate date)

monthToCalendarMonth

public static int monthToCalendarMonth(Month month)

calendarMonthToMonth

public static Month calendarMonthToMonth(Calendar calendar)

calendarMonthToMonth

public static Month calendarMonthToMonth(int month)

calendarDayOfWeekToDayOfWeek

public static DayOfWeek calendarDayOfWeekToDayOfWeek(Calendar calendar)

calendarDayOfWeekToDayOfWeek

public static DayOfWeek calendarDayOfWeekToDayOfWeek(int dayOfWeek)

atTheEarliest

public CalendarArbitrary atTheEarliest(Calendar min)

Description copied from interface: CalendarArbitrary

Set the allowed lower min (included) bounder of generated calendar values.

Specified by:

atTheEarliest in interface CalendarArbitrary

atTheLatest

public CalendarArbitrary atTheLatest(Calendar max)

Description copied from interface: CalendarArbitrary

Set the allowed upper max (included) bounder of generated calendar values.

Specified by:

atTheLatest in interface CalendarArbitrary

yearBetween

public CalendarArbitrary yearBetween(Year min,
 Year max)

Description copied from interface: CalendarArbitrary

Set the allowed lower min (included) and upper max (included) bounder of generated year values. The years can be between 1 and Year.MAX_VALUE.

Calling this method is equivalent to calling CalendarArbitrary.between(Calendar, Calendar) assuming Jan 1 and Dec 31 as first and last day of those years.

Specified by:

yearBetween in interface CalendarArbitrary

monthBetween

public CalendarArbitrary monthBetween(Month min,
 Month max)

Description copied from interface: CalendarArbitrary

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

Specified by:

monthBetween in interface CalendarArbitrary

onlyMonths

public CalendarArbitrary onlyMonths(Month... months)

Description copied from interface: CalendarArbitrary

Set an array of allowed months.

Specified by:

onlyMonths in interface CalendarArbitrary

dayOfMonthBetween

public CalendarArbitrary dayOfMonthBetween(int min,
 int max)

Description copied from interface: CalendarArbitrary

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.

Specified by:

dayOfMonthBetween in interface CalendarArbitrary

onlyDaysOfWeek

public CalendarArbitrary onlyDaysOfWeek(DayOfWeek... daysOfWeek)

Description copied from interface: CalendarArbitrary

Set an array of allowed daysOfWeek.

Specified by:

onlyDaysOfWeek in interface CalendarArbitrary