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

Class DefaultLocalDateArbitrary

java.lang.Object

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

net.jqwik.time.internal.properties.arbitraries.DefaultLocalDateArbitrary

All Implemented Interfaces:

Cloneable, net.jqwik.api.Arbitrary<LocalDate>, LocalDateArbitrary

@API(status=INTERNAL)
public class DefaultLocalDateArbitrary
extends net.jqwik.api.arbitraries.ArbitraryDecorator<LocalDate>
implements LocalDateArbitrary

Nested Class Summary

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Field Summary

Fields

Modifier and Type	Field	Description
static final LocalDate	DEFAULT_MAX_DATE
static final LocalDate	DEFAULT_MIN_DATE

Constructor Summary

Constructors

Constructor	Description
DefaultLocalDateArbitrary()

Method Summary

Modifier and Type	Method	Description
protected net.jqwik.api.Arbitrary<LocalDate>	arbitrary()
LocalDateArbitrary	atTheEarliest(LocalDate min)	Set the allowed lower min (included) bounder of generated local date values.
LocalDateArbitrary	atTheLatest(LocalDate max)	Set the allowed upper max (included) bounder of generated local date values.
LocalDateArbitrary	dayOfMonthBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated day of month values.
static boolean	isLeapYear(int year)
static boolean	leapYearPossible(int min, int max)
LocalDateArbitrary	monthBetween(Month min, Month max)	Set the allowed lower min (included) and upper max (included) bounder of generated month values.
LocalDateArbitrary	onlyDaysOfWeek(DayOfWeek... daysOfWeek)	Set an array of allowed daysOfWeek.
LocalDateArbitrary	onlyMonths(Month... months)	Set an array of allowed months.
LocalDateArbitrary	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.LocalDateArbitrary

between, monthBetween, yearBetween

Field Details

DEFAULT_MIN_DATE

public static final LocalDate DEFAULT_MIN_DATE

DEFAULT_MAX_DATE

public static final LocalDate DEFAULT_MAX_DATE

Constructor Details

DefaultLocalDateArbitrary

public DefaultLocalDateArbitrary()

Method Details

arbitrary

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

Specified by:

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

leapYearPossible

public static boolean leapYearPossible(int min,
 int max)

isLeapYear

public static boolean isLeapYear(int year)

atTheEarliest

public LocalDateArbitrary atTheEarliest(LocalDate min)

Description copied from interface: LocalDateArbitrary

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

Specified by:

atTheEarliest in interface LocalDateArbitrary

atTheLatest

public LocalDateArbitrary atTheLatest(LocalDate max)

Description copied from interface: LocalDateArbitrary

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

Specified by:

atTheLatest in interface LocalDateArbitrary

yearBetween

public LocalDateArbitrary yearBetween(Year min,
 Year max)

Description copied from interface: LocalDateArbitrary

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 LocalDateArbitrary.between(LocalDate, LocalDate) assuming Jan 1 and Dec 31 as first and last day of those years.

Specified by:

yearBetween in interface LocalDateArbitrary

monthBetween

public LocalDateArbitrary monthBetween(Month min,
 Month max)

Description copied from interface: LocalDateArbitrary

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

Specified by:

monthBetween in interface LocalDateArbitrary

onlyMonths

public LocalDateArbitrary onlyMonths(Month... months)

Description copied from interface: LocalDateArbitrary

Set an array of allowed months.

Specified by:

onlyMonths in interface LocalDateArbitrary

dayOfMonthBetween

public LocalDateArbitrary dayOfMonthBetween(int min,
 int max)

Description copied from interface: LocalDateArbitrary

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 LocalDateArbitrary

onlyDaysOfWeek

public LocalDateArbitrary onlyDaysOfWeek(DayOfWeek... daysOfWeek)

Description copied from interface: LocalDateArbitrary

Set an array of allowed daysOfWeek.

Specified by:

onlyDaysOfWeek in interface LocalDateArbitrary