Package net.jqwik.time.api.arbitraries
Interface ZoneOffsetArbitrary
- All Superinterfaces:
Arbitrary<ZoneOffset>
@API(status=EXPERIMENTAL,
since="1.5.1")
public interface ZoneOffsetArbitrary
extends Arbitrary<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
Modifier and TypeMethodDescriptionbetween
(ZoneOffset min, 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, filter, fixGenSize, flatMap, forEachValue, generator, generator, generatorWithEmbeddedEdgeCases, ignoreException, ignoreExceptions, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases
-
Method Details
-
between
Set the allowed lowermin
(included) and uppermax
(included) bounder of generated zone offset values.
-