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

Modifier and Type	Method	Description
ZoneOffsetArbitrary	between(java.time.ZoneOffset min, java.time.ZoneOffset max)	Set the allowed lower min (included) and upper max (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, 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 lower min (included) and upper max (included) bounder of generated zone offset values.