Class DefaultLocalDateArbitrary
java.lang.Object
net.jqwik.api.arbitraries.ArbitraryDecorator<LocalDate>
net.jqwik.time.internal.properties.arbitraries.DefaultLocalDateArbitrary
- All Implemented Interfaces:
Cloneable,net.jqwik.api.Arbitrary<LocalDate>,LocalDateArbitrary
@API(status=INTERNAL)
public class DefaultLocalDateArbitrary
extends net.jqwik.api.arbitraries.ArbitraryDecorator<LocalDate>
implements LocalDateArbitrary
-
Nested Class Summary
Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary
net.jqwik.api.Arbitrary.ArbitraryFacade -
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected net.jqwik.api.Arbitrary<LocalDate>atTheEarliest(LocalDate min) Set the allowed lowermin(included) bounder of generated local date values.atTheLatest(LocalDate max) Set the allowed uppermax(included) bounder of generated local date values.dayOfMonthBetween(int min, int max) Set the allowed lowermin(included) and uppermax(included) bounder of generated day of month values.static booleanisLeapYear(int year) static booleanleapYearPossible(int min, int max) monthBetween(Month min, Month max) Set the allowed lowermin(included) and uppermax(included) bounder of generated month values.onlyDaysOfWeek(DayOfWeek... daysOfWeek) Set an array of alloweddaysOfWeek.onlyMonths(Month... months) Set an array of allowedmonths.yearBetween(Year min, Year max) Set the allowed lowermin(included) and uppermax(included) bounder of generated year values.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.LocalDateArbitrary
between, monthBetween, yearBetween
-
Field Details
-
DEFAULT_MIN_DATE
-
DEFAULT_MAX_DATE
-
-
Constructor Details
-
DefaultLocalDateArbitrary
public DefaultLocalDateArbitrary()
-
-
Method Details
-
arbitrary
- Specified by:
arbitraryin classnet.jqwik.api.arbitraries.ArbitraryDecorator<LocalDate>
-
leapYearPossible
public static boolean leapYearPossible(int min, int max) -
isLeapYear
public static boolean isLeapYear(int year) -
atTheEarliest
Description copied from interface:LocalDateArbitrarySet the allowed lowermin(included) bounder of generated local date values.- Specified by:
atTheEarliestin interfaceLocalDateArbitrary
-
atTheLatest
Description copied from interface:LocalDateArbitrarySet the allowed uppermax(included) bounder of generated local date values.- Specified by:
atTheLatestin interfaceLocalDateArbitrary
-
yearBetween
Description copied from interface:LocalDateArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated year values. The years can be between1andYear.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.
- Specified by:
yearBetweenin interfaceLocalDateArbitrary
-
monthBetween
Description copied from interface:LocalDateArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated month values.- Specified by:
monthBetweenin interfaceLocalDateArbitrary
-
onlyMonths
Description copied from interface:LocalDateArbitrarySet an array of allowedmonths.- Specified by:
onlyMonthsin interfaceLocalDateArbitrary
-
dayOfMonthBetween
Description copied from interface:LocalDateArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated day of month values. Theintvalues can be between 1 and 31.- Specified by:
dayOfMonthBetweenin interfaceLocalDateArbitrary
-
onlyDaysOfWeek
Description copied from interface:LocalDateArbitrarySet an array of alloweddaysOfWeek.- Specified by:
onlyDaysOfWeekin interfaceLocalDateArbitrary
-