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

Class DefaultOffsetDateTimeArbitrary

java.lang.Object

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

net.jqwik.time.internal.properties.arbitraries.DefaultOffsetDateTimeArbitrary

All Implemented Interfaces:

Cloneable, net.jqwik.api.Arbitrary<OffsetDateTime>, OffsetDateTimeArbitrary

@API(status=INTERNAL)
public class DefaultOffsetDateTimeArbitrary
extends net.jqwik.api.arbitraries.ArbitraryDecorator<OffsetDateTime>
implements OffsetDateTimeArbitrary

Nested Class Summary

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor	Description
DefaultOffsetDateTimeArbitrary()

Method Summary

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

between, monthBetween, yearBetween

Constructor Details

DefaultOffsetDateTimeArbitrary

public DefaultOffsetDateTimeArbitrary()

Method Details

arbitrary

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

Specified by:

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

atTheEarliest

public OffsetDateTimeArbitrary atTheEarliest(LocalDateTime min)

Description copied from interface: OffsetDateTimeArbitrary

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

atTheLatest

public OffsetDateTimeArbitrary atTheLatest(LocalDateTime max)

Description copied from interface: OffsetDateTimeArbitrary

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

dateBetween

public OffsetDateTimeArbitrary dateBetween(LocalDate min,
 LocalDate max)

Description copied from interface: OffsetDateTimeArbitrary

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

Specified by:

dateBetween in interface OffsetDateTimeArbitrary

yearBetween

public OffsetDateTimeArbitrary yearBetween(Year min,
 Year max)

Description copied from interface: OffsetDateTimeArbitrary

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

Specified by:

yearBetween in interface OffsetDateTimeArbitrary

monthBetween

public OffsetDateTimeArbitrary monthBetween(Month min,
 Month max)

Description copied from interface: OffsetDateTimeArbitrary

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

Specified by:

monthBetween in interface OffsetDateTimeArbitrary

onlyMonths

public OffsetDateTimeArbitrary onlyMonths(Month... months)

Description copied from interface: OffsetDateTimeArbitrary

Set an array of allowed months.

Specified by:

onlyMonths in interface OffsetDateTimeArbitrary

dayOfMonthBetween

public OffsetDateTimeArbitrary dayOfMonthBetween(int min,
 int max)

Description copied from interface: OffsetDateTimeArbitrary

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 OffsetDateTimeArbitrary

onlyDaysOfWeek

public OffsetDateTimeArbitrary onlyDaysOfWeek(DayOfWeek... daysOfWeek)

Description copied from interface: OffsetDateTimeArbitrary

Set an array of allowed daysOfWeek.

Specified by:

onlyDaysOfWeek in interface OffsetDateTimeArbitrary

timeBetween

public OffsetDateTimeArbitrary timeBetween(LocalTime min,
 LocalTime max)

Description copied from interface: OffsetDateTimeArbitrary

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

hourBetween

public OffsetDateTimeArbitrary hourBetween(int min,
 int max)

Description copied from interface: OffsetDateTimeArbitrary

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 OffsetDateTimeArbitrary

minuteBetween

public OffsetDateTimeArbitrary minuteBetween(int min,
 int max)

Description copied from interface: OffsetDateTimeArbitrary

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 OffsetDateTimeArbitrary

secondBetween

public OffsetDateTimeArbitrary secondBetween(int min,
 int max)

Description copied from interface: OffsetDateTimeArbitrary

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 OffsetDateTimeArbitrary

offsetBetween

public OffsetDateTimeArbitrary offsetBetween(ZoneOffset min,
 ZoneOffset max)

Description copied from interface: OffsetDateTimeArbitrary

Set the allowed lower min (included) and upper max (included) bounder of generated offset values. The offsets can be between -12:00:00 and +14:00:00.

Specified by:

offsetBetween in interface OffsetDateTimeArbitrary

ofPrecision

public OffsetDateTimeArbitrary ofPrecision(ChronoUnit ofPrecision)

Description copied from interface: OffsetDateTimeArbitrary

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 OffsetDateTimeArbitrary