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

Klasse DefaultLocalDateArbitrary

java.lang.Object

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

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

Alle implementierten Schnittstellen:

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

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

Verschachtelte Klassen - Übersicht

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
static final LocalDate	DEFAULT_MAX_DATE
static final LocalDate	DEFAULT_MIN_DATE

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
DefaultLocalDateArbitrary()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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.

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.LocalDateArbitrary

between, monthBetween, yearBetween

Felddetails

DEFAULT_MIN_DATE

public static final LocalDate DEFAULT_MIN_DATE

DEFAULT_MAX_DATE

public static final LocalDate DEFAULT_MAX_DATE

Konstruktordetails

DefaultLocalDateArbitrary

public DefaultLocalDateArbitrary()

Methodendetails

arbitrary

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

Angegeben von:

arbitrary in Klasse 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)

Beschreibung aus Schnittstelle kopiert: LocalDateArbitrary

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

Angegeben von:

atTheEarliest in Schnittstelle LocalDateArbitrary

atTheLatest

public LocalDateArbitrary atTheLatest(LocalDate max)

Beschreibung aus Schnittstelle kopiert: LocalDateArbitrary

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

Angegeben von:

atTheLatest in Schnittstelle LocalDateArbitrary

yearBetween

public LocalDateArbitrary yearBetween(Year min,
 Year max)

Beschreibung aus Schnittstelle kopiert: 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.

Angegeben von:

yearBetween in Schnittstelle LocalDateArbitrary

monthBetween

public LocalDateArbitrary monthBetween(Month min,
 Month max)

Beschreibung aus Schnittstelle kopiert: LocalDateArbitrary

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

Angegeben von:

monthBetween in Schnittstelle LocalDateArbitrary

onlyMonths

public LocalDateArbitrary onlyMonths(Month... months)

Beschreibung aus Schnittstelle kopiert: LocalDateArbitrary

Set an array of allowed months.

Angegeben von:

onlyMonths in Schnittstelle LocalDateArbitrary

dayOfMonthBetween

public LocalDateArbitrary dayOfMonthBetween(int min,
 int max)

Beschreibung aus Schnittstelle kopiert: 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.

Angegeben von:

dayOfMonthBetween in Schnittstelle LocalDateArbitrary

onlyDaysOfWeek

public LocalDateArbitrary onlyDaysOfWeek(DayOfWeek... daysOfWeek)

Beschreibung aus Schnittstelle kopiert: LocalDateArbitrary

Set an array of allowed daysOfWeek.

Angegeben von:

onlyDaysOfWeek in Schnittstelle LocalDateArbitrary