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

Klasse DefaultZonedDateTimeArbitrary

java.lang.Object

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

net.jqwik.time.internal.properties.arbitraries.DefaultZonedDateTimeArbitrary

Alle implementierten Schnittstellen:

Cloneable, net.jqwik.api.Arbitrary<ZonedDateTime>, ZonedDateTimeArbitrary

@API(status=INTERNAL)
public class DefaultZonedDateTimeArbitrary
extends net.jqwik.api.arbitraries.ArbitraryDecorator<ZonedDateTime>
implements ZonedDateTimeArbitrary

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.Arbitrary

net.jqwik.api.Arbitrary.ArbitraryFacade

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
DefaultZonedDateTimeArbitrary()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
protected net.jqwik.api.Arbitrary<ZonedDateTime>	arbitrary()
ZonedDateTimeArbitrary	atTheEarliest(LocalDateTime min)	Set the allowed lower min (included) bounder of the local part of generated zoned date time values.
ZonedDateTimeArbitrary	atTheLatest(LocalDateTime max)	Set the allowed upper max (included) bounder of the local part of generated zoned date time values.
ZonedDateTimeArbitrary	dateBetween(LocalDate min, LocalDate max)	Set the allowed lower min (included) and upper max (included) bounder of generated zoned date values.
ZonedDateTimeArbitrary	dayOfMonthBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated day of month values.
ZonedDateTimeArbitrary	hourBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated hour values.
ZonedDateTimeArbitrary	minuteBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated minute values.
ZonedDateTimeArbitrary	monthBetween(Month min, Month max)	Set the allowed lower min (included) and upper max (included) bounder of generated month values.
ZonedDateTimeArbitrary	ofPrecision(ChronoUnit ofPrecision)	Constrain the precision of generated values.
ZonedDateTimeArbitrary	onlyDaysOfWeek(DayOfWeek... daysOfWeek)	Set an array of allowed daysOfWeek.
ZonedDateTimeArbitrary	onlyMonths(Month... months)	Set an array of allowed months.
ZonedDateTimeArbitrary	secondBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated second values.
ZonedDateTimeArbitrary	timeBetween(LocalTime min, LocalTime max)	Set the allowed lower min (included) and upper max (included) bounder of generated zoned time values.
ZonedDateTimeArbitrary	yearBetween(Year min, Year max)	Set the allowed lower min (included) and upper max (included) bounder of generated year values.

Von Klasse geerbte Methoden net.jqwik.api.arbitraries.ArbitraryDecorator

edgeCases, exhaustive, generator, generatorWithEmbeddedEdgeCases, isGeneratorMemoizable, toString, typedClone

Von Klasse geerbte Methoden java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Von Schnittstelle geerbte Methoden 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

Von Schnittstelle geerbte Methoden net.jqwik.time.api.arbitraries.ZonedDateTimeArbitrary

between, monthBetween, yearBetween

Konstruktordetails

DefaultZonedDateTimeArbitrary

public DefaultZonedDateTimeArbitrary()

Methodendetails

arbitrary

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

Angegeben von:

arbitrary in Klasse net.jqwik.api.arbitraries.ArbitraryDecorator<ZonedDateTime>

atTheEarliest

public ZonedDateTimeArbitrary atTheEarliest(LocalDateTime min)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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

Angegeben von:

atTheEarliest in Schnittstelle ZonedDateTimeArbitrary

atTheLatest

public ZonedDateTimeArbitrary atTheLatest(LocalDateTime max)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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

Angegeben von:

atTheLatest in Schnittstelle ZonedDateTimeArbitrary

dateBetween

public ZonedDateTimeArbitrary dateBetween(LocalDate min,
 LocalDate max)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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

Angegeben von:

dateBetween in Schnittstelle ZonedDateTimeArbitrary

yearBetween

public ZonedDateTimeArbitrary yearBetween(Year min,
 Year max)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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

Angegeben von:

yearBetween in Schnittstelle ZonedDateTimeArbitrary

monthBetween

public ZonedDateTimeArbitrary monthBetween(Month min,
 Month max)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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

Angegeben von:

monthBetween in Schnittstelle ZonedDateTimeArbitrary

onlyMonths

public ZonedDateTimeArbitrary onlyMonths(Month... months)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

Set an array of allowed months.

Angegeben von:

onlyMonths in Schnittstelle ZonedDateTimeArbitrary

dayOfMonthBetween

public ZonedDateTimeArbitrary dayOfMonthBetween(int min,
 int max)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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.

Angegeben von:

dayOfMonthBetween in Schnittstelle ZonedDateTimeArbitrary

onlyDaysOfWeek

public ZonedDateTimeArbitrary onlyDaysOfWeek(DayOfWeek... daysOfWeek)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

Set an array of allowed daysOfWeek.

Angegeben von:

onlyDaysOfWeek in Schnittstelle ZonedDateTimeArbitrary

timeBetween

public ZonedDateTimeArbitrary timeBetween(LocalTime min,
 LocalTime max)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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

Angegeben von:

timeBetween in Schnittstelle ZonedDateTimeArbitrary

hourBetween

public ZonedDateTimeArbitrary hourBetween(int min,
 int max)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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

Angegeben von:

hourBetween in Schnittstelle ZonedDateTimeArbitrary

minuteBetween

public ZonedDateTimeArbitrary minuteBetween(int min,
 int max)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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

Angegeben von:

minuteBetween in Schnittstelle ZonedDateTimeArbitrary

secondBetween

public ZonedDateTimeArbitrary secondBetween(int min,
 int max)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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

Angegeben von:

secondBetween in Schnittstelle ZonedDateTimeArbitrary

ofPrecision

public ZonedDateTimeArbitrary ofPrecision(ChronoUnit ofPrecision)

Beschreibung aus Schnittstelle kopiert: ZonedDateTimeArbitrary

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.

Angegeben von:

ofPrecision in Schnittstelle ZonedDateTimeArbitrary