Class DefaultMonthDayArbitrary
java.lang.Object
net.jqwik.api.arbitraries.ArbitraryDecorator<MonthDay>
net.jqwik.time.internal.properties.arbitraries.DefaultMonthDayArbitrary
- All Implemented Interfaces:
Cloneable,net.jqwik.api.Arbitrary<MonthDay>,MonthDayArbitrary
@API(status=INTERNAL)
public class DefaultMonthDayArbitrary
extends net.jqwik.api.arbitraries.ArbitraryDecorator<MonthDay>
implements MonthDayArbitrary
-
Nested Class Summary
Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary
net.jqwik.api.Arbitrary.ArbitraryFacade -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected net.jqwik.api.Arbitrary<MonthDay>atTheEarliest(MonthDay min) Set the allowed lowermin(included) bounder of generated month and day values.atTheLatest(MonthDay max) Set the allowed uppermax(included) bounder of generated month and day values.dayOfMonthBetween(int min, int max) Set the allowed lowermin(included) and uppermax(included) bounder of generated day of month values.monthBetween(Month min, Month max) Set the allowed lowermin(included) and uppermax(included) bounder of generated month values.onlyMonths(Month... months) Set an array of allowedmonths.Methods inherited from class net.jqwik.api.arbitraries.ArbitraryDecorator
edgeCases, exhaustive, generator, generatorWithEmbeddedEdgeCases, isGeneratorMemoizable, toString, typedCloneMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitMethods 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, withoutEdgeCasesMethods inherited from interface net.jqwik.time.api.arbitraries.MonthDayArbitrary
between, monthBetween
-
Constructor Details
-
DefaultMonthDayArbitrary
public DefaultMonthDayArbitrary()
-
-
Method Details
-
arbitrary
- Specified by:
arbitraryin classnet.jqwik.api.arbitraries.ArbitraryDecorator<MonthDay>
-
atTheEarliest
Description copied from interface:MonthDayArbitrarySet the allowed lowermin(included) bounder of generated month and day values.- Specified by:
atTheEarliestin interfaceMonthDayArbitrary
-
atTheLatest
Description copied from interface:MonthDayArbitrarySet the allowed uppermax(included) bounder of generated month and day values.- Specified by:
atTheLatestin interfaceMonthDayArbitrary
-
monthBetween
Description copied from interface:MonthDayArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated month values.- Specified by:
monthBetweenin interfaceMonthDayArbitrary
-
onlyMonths
Description copied from interface:MonthDayArbitrarySet an array of allowedmonths.- Specified by:
onlyMonthsin interfaceMonthDayArbitrary
-
dayOfMonthBetween
Description copied from interface:MonthDayArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated day of month values. Theintvalues can be between 1 and 31.- Specified by:
dayOfMonthBetweenin interfaceMonthDayArbitrary
-