Package net.jqwik.time.api.arbitraries
Interface ZoneOffsetArbitrary
-
- All Superinterfaces:
Arbitrary<java.time.ZoneOffset>
@API(status=EXPERIMENTAL, since="1.5.1") public interface ZoneOffsetArbitrary extends Arbitrary<java.time.ZoneOffset>
Fluent interface to configure the generation of zone offset values. All generated values are between -12:00:00 and +14:00:00. All generated minute values are 0, 15, 30 or 45 with second 0.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary
Arbitrary.ArbitraryFacade
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ZoneOffsetArbitrary
between(java.time.ZoneOffset min, java.time.ZoneOffset max)
Set the allowed lowermin
(included) and uppermax
(included) bounder of generated zone offset 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
ZoneOffsetArbitrary between(java.time.ZoneOffset min, java.time.ZoneOffset max)
Set the allowed lowermin
(included) and uppermax
(included) bounder of generated zone offset values.
-
-