Class DefaultZonedDateTimeArbitrary
java.lang.Object
net.jqwik.api.arbitraries.ArbitraryDecorator<ZonedDateTime>
net.jqwik.time.internal.properties.arbitraries.DefaultZonedDateTimeArbitrary
- All Implemented Interfaces:
Cloneable,net.jqwik.api.Arbitrary<ZonedDateTime>,ZonedDateTimeArbitrary
@API(status=INTERNAL)
public class DefaultZonedDateTimeArbitrary
extends net.jqwik.api.arbitraries.ArbitraryDecorator<ZonedDateTime>
implements ZonedDateTimeArbitrary
-
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<ZonedDateTime>Set the allowed lowermin(included) bounder of the local part of generated zoned date time values.atTheLatest(LocalDateTime max) Set the allowed uppermax(included) bounder of the local part of generated zoned date time values.dateBetween(LocalDate min, LocalDate max) Set the allowed lowermin(included) and uppermax(included) bounder of generated zoned date values.dayOfMonthBetween(int min, int max) Set the allowed lowermin(included) and uppermax(included) bounder of generated day of month values.hourBetween(int min, int max) Set the allowed lowermin(included) and uppermax(included) bounder of generated hour values.minuteBetween(int min, int max) Set the allowed lowermin(included) and uppermax(included) bounder of generated minute values.monthBetween(Month min, Month max) Set the allowed lowermin(included) and uppermax(included) bounder of generated month values.ofPrecision(ChronoUnit ofPrecision) Constrain the precision of generated values.onlyDaysOfWeek(DayOfWeek... daysOfWeek) Set an array of alloweddaysOfWeek.onlyMonths(Month... months) Set an array of allowedmonths.secondBetween(int min, int max) Set the allowed lowermin(included) and uppermax(included) bounder of generated second values.timeBetween(LocalTime min, LocalTime max) Set the allowed lowermin(included) and uppermax(included) bounder of generated zoned time values.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.ZonedDateTimeArbitrary
between, monthBetween, yearBetween
-
Constructor Details
-
DefaultZonedDateTimeArbitrary
public DefaultZonedDateTimeArbitrary()
-
-
Method Details
-
arbitrary
- Specified by:
arbitraryin classnet.jqwik.api.arbitraries.ArbitraryDecorator<ZonedDateTime>
-
atTheEarliest
Description copied from interface:ZonedDateTimeArbitrarySet the allowed lowermin(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.- Specified by:
atTheEarliestin interfaceZonedDateTimeArbitrary
-
atTheLatest
Description copied from interface:ZonedDateTimeArbitrarySet the allowed uppermax(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.- Specified by:
atTheLatestin interfaceZonedDateTimeArbitrary
-
dateBetween
Description copied from interface:ZonedDateTimeArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated zoned date values.- Specified by:
dateBetweenin interfaceZonedDateTimeArbitrary
-
yearBetween
Description copied from interface:ZonedDateTimeArbitrarySet 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 ZonedDateTimeArbitrary.dateBetween(LocalDate, LocalDate) assuming Jan 1 and Dec 31 as first and last day of those years.
- Specified by:
yearBetweenin interfaceZonedDateTimeArbitrary
-
monthBetween
Description copied from interface:ZonedDateTimeArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated month values.- Specified by:
monthBetweenin interfaceZonedDateTimeArbitrary
-
onlyMonths
Description copied from interface:ZonedDateTimeArbitrarySet an array of allowedmonths.- Specified by:
onlyMonthsin interfaceZonedDateTimeArbitrary
-
dayOfMonthBetween
Description copied from interface:ZonedDateTimeArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated day of month values. Theintvalues can be between 1 and 31.- Specified by:
dayOfMonthBetweenin interfaceZonedDateTimeArbitrary
-
onlyDaysOfWeek
Description copied from interface:ZonedDateTimeArbitrarySet an array of alloweddaysOfWeek.- Specified by:
onlyDaysOfWeekin interfaceZonedDateTimeArbitrary
-
timeBetween
Description copied from interface:ZonedDateTimeArbitrarySet the allowed lowermin(included) and uppermax(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.- Specified by:
timeBetweenin interfaceZonedDateTimeArbitrary
-
hourBetween
Description copied from interface:ZonedDateTimeArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated hour values. The hours can be between0and23.- Specified by:
hourBetweenin interfaceZonedDateTimeArbitrary
-
minuteBetween
Description copied from interface:ZonedDateTimeArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated minute values. The minutes can be between0and59.- Specified by:
minuteBetweenin interfaceZonedDateTimeArbitrary
-
secondBetween
Description copied from interface:ZonedDateTimeArbitrarySet the allowed lowermin(included) and uppermax(included) bounder of generated second values. The minutes can be between0and59.- Specified by:
secondBetweenin interfaceZonedDateTimeArbitrary
-
ofPrecision
Description copied from interface:ZonedDateTimeArbitraryConstrain 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.- Specified by:
ofPrecisionin interfaceZonedDateTimeArbitrary
-