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

Klasse DefaultMonthDayArbitrary

java.lang.Object

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

net.jqwik.time.internal.properties.arbitraries.DefaultMonthDayArbitrary

Alle implementierten Schnittstellen:

Cloneable, net.jqwik.api.Arbitrary<MonthDay>, MonthDayArbitrary

@API(status=INTERNAL)
public class DefaultMonthDayArbitrary
extends net.jqwik.api.arbitraries.ArbitraryDecorator<MonthDay>
implements MonthDayArbitrary

Verschachtelte Klassen - Übersicht

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
DefaultMonthDayArbitrary()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
protected net.jqwik.api.Arbitrary<MonthDay>	arbitrary()
MonthDayArbitrary	atTheEarliest(MonthDay min)	Set the allowed lower min (included) bounder of generated month and day values.
MonthDayArbitrary	atTheLatest(MonthDay max)	Set the allowed upper max (included) bounder of generated month and day values.
MonthDayArbitrary	dayOfMonthBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated day of month values.
MonthDayArbitrary	monthBetween(Month min, Month max)	Set the allowed lower min (included) and upper max (included) bounder of generated month values.
MonthDayArbitrary	onlyMonths(Month... months)	Set an array of allowed months.

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

between, monthBetween

Konstruktordetails

DefaultMonthDayArbitrary

public DefaultMonthDayArbitrary()

Methodendetails

arbitrary

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

Angegeben von:

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

atTheEarliest

public MonthDayArbitrary atTheEarliest(MonthDay min)

Beschreibung aus Schnittstelle kopiert: MonthDayArbitrary

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

Angegeben von:

atTheEarliest in Schnittstelle MonthDayArbitrary

atTheLatest

public MonthDayArbitrary atTheLatest(MonthDay max)

Beschreibung aus Schnittstelle kopiert: MonthDayArbitrary

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

Angegeben von:

atTheLatest in Schnittstelle MonthDayArbitrary

monthBetween

public MonthDayArbitrary monthBetween(Month min,
 Month max)

Beschreibung aus Schnittstelle kopiert: MonthDayArbitrary

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

Angegeben von:

monthBetween in Schnittstelle MonthDayArbitrary

onlyMonths

public MonthDayArbitrary onlyMonths(Month... months)

Beschreibung aus Schnittstelle kopiert: MonthDayArbitrary

Set an array of allowed months.

Angegeben von:

onlyMonths in Schnittstelle MonthDayArbitrary

dayOfMonthBetween

public MonthDayArbitrary dayOfMonthBetween(int min,
 int max)

Beschreibung aus Schnittstelle kopiert: MonthDayArbitrary

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 MonthDayArbitrary