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

Class DefaultLocalDateTimeArbitrary

java.lang.Object

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

net.jqwik.time.internal.properties.arbitraries.DefaultLocalDateTimeArbitrary

All Implemented Interfaces:

Cloneable, net.jqwik.api.Arbitrary<LocalDateTime>, LocalDateTimeArbitrary

@API(status=INTERNAL)
public class DefaultLocalDateTimeArbitrary
extends net.jqwik.api.arbitraries.ArbitraryDecorator<LocalDateTime>
implements LocalDateTimeArbitrary

Nested Class Summary

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor	Description
DefaultLocalDateTimeArbitrary()

Method Summary

Modifier and Type	Method	Description
protected net.jqwik.api.Arbitrary<LocalDateTime>	arbitrary()
LocalDateTimeArbitrary	atTheEarliest(LocalDateTime min)	Set the allowed lower min (included) bounder of generated local date time values.
LocalDateTimeArbitrary	atTheLatest(LocalDateTime max)	Set the allowed upper max (included) bounder of generated local date time values.
LocalDateTimeArbitrary	dateBetween(LocalDate min, LocalDate max)	Set the allowed lower min (included) and upper max (included) bounder of generated local date values.
LocalDateTimeArbitrary	dayOfMonthBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated day of month values.
LocalDateTimeArbitrary	hourBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated hour values.
LocalDateTimeArbitrary	minuteBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated minute values.
LocalDateTimeArbitrary	monthBetween(Month min, Month max)	Set the allowed lower min (included) and upper max (included) bounder of generated month values.
LocalDateTimeArbitrary	ofPrecision(ChronoUnit ofPrecision)	Constrain the precision of generated values.
LocalDateTimeArbitrary	onlyDaysOfWeek(DayOfWeek... daysOfWeek)	Set an array of allowed daysOfWeek.
LocalDateTimeArbitrary	onlyMonths(Month... months)	Set an array of allowed months.
LocalDateTimeArbitrary	secondBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated second values.
LocalDateTimeArbitrary	timeBetween(LocalTime min, LocalTime max)	Set the allowed lower min (included) and upper max (included) bounder of generated local time values.
LocalDateTimeArbitrary	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.LocalDateTimeArbitrary

between, monthBetween, yearBetween

Constructor Details

DefaultLocalDateTimeArbitrary

public DefaultLocalDateTimeArbitrary()

Method Details

arbitrary

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

Specified by:

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

atTheEarliest

public LocalDateTimeArbitrary atTheEarliest(LocalDateTime min)

Description copied from interface: LocalDateTimeArbitrary

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

Specified by:

atTheEarliest in interface LocalDateTimeArbitrary

atTheLatest

public LocalDateTimeArbitrary atTheLatest(LocalDateTime max)

Description copied from interface: LocalDateTimeArbitrary

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

Specified by:

atTheLatest in interface LocalDateTimeArbitrary

dateBetween

public LocalDateTimeArbitrary dateBetween(LocalDate min,
 LocalDate max)

Description copied from interface: LocalDateTimeArbitrary

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

Specified by:

dateBetween in interface LocalDateTimeArbitrary

yearBetween

public LocalDateTimeArbitrary yearBetween(Year min,
 Year max)

Description copied from interface: LocalDateTimeArbitrary

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

Specified by:

yearBetween in interface LocalDateTimeArbitrary

monthBetween

public LocalDateTimeArbitrary monthBetween(Month min,
 Month max)

Description copied from interface: LocalDateTimeArbitrary

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

Specified by:

monthBetween in interface LocalDateTimeArbitrary

onlyMonths

public LocalDateTimeArbitrary onlyMonths(Month... months)

Description copied from interface: LocalDateTimeArbitrary

Set an array of allowed months.

Specified by:

onlyMonths in interface LocalDateTimeArbitrary

dayOfMonthBetween

public LocalDateTimeArbitrary dayOfMonthBetween(int min,
 int max)

Description copied from interface: LocalDateTimeArbitrary

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 LocalDateTimeArbitrary

onlyDaysOfWeek

public LocalDateTimeArbitrary onlyDaysOfWeek(DayOfWeek... daysOfWeek)

Description copied from interface: LocalDateTimeArbitrary

Set an array of allowed daysOfWeek.

Specified by:

onlyDaysOfWeek in interface LocalDateTimeArbitrary

timeBetween

public LocalDateTimeArbitrary timeBetween(LocalTime min,
 LocalTime max)

Description copied from interface: LocalDateTimeArbitrary

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.

Specified by:

timeBetween in interface LocalDateTimeArbitrary

hourBetween

public LocalDateTimeArbitrary hourBetween(int min,
 int max)

Description copied from interface: LocalDateTimeArbitrary

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

Specified by:

hourBetween in interface LocalDateTimeArbitrary

minuteBetween

public LocalDateTimeArbitrary minuteBetween(int min,
 int max)

Description copied from interface: LocalDateTimeArbitrary

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

Specified by:

minuteBetween in interface LocalDateTimeArbitrary

secondBetween

public LocalDateTimeArbitrary secondBetween(int min,
 int max)

Description copied from interface: LocalDateTimeArbitrary

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

Specified by:

secondBetween in interface LocalDateTimeArbitrary

ofPrecision

public LocalDateTimeArbitrary ofPrecision(ChronoUnit ofPrecision)

Description copied from interface: LocalDateTimeArbitrary

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.

Specified by:

ofPrecision in interface LocalDateTimeArbitrary