Package net.jqwik.time.api.arbitraries
Interface YearArbitrary
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary
Arbitrary.ArbitraryFacade
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default YearArbitrary
between(int min, int max)
Set the allowed lowermin
(included) and uppermax
(included) bounder of generated year values.YearArbitrary
between(java.time.Year min, java.time.Year max)
Set the allowed lowermin
(included) and uppermax
(included) bounder of generated year values.-
Methods inherited from interface net.jqwik.api.Arbitrary
allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, edgeCases, exhaustive, exhaustive, filter, fixGenSize, flatMap, forEachValue, generator, generator, generatorWithEmbeddedEdgeCases, ignoreException, injectDuplicates, injectNull, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases
-
-
-
-
Method Detail
-
between
YearArbitrary between(java.time.Year min, java.time.Year max)
Set the allowed lowermin
(included) and uppermax
(included) bounder of generated year values.
-
between
default YearArbitrary between(int min, int max)
Set the allowed lowermin
(included) and uppermax
(included) bounder of generated year values. Theint
values can be betweenYear.MIN_VALUE
andYear.MAX_VALUE
.
-
-