Package net.jqwik.time.api.arbitraries

Interface ZoneOffsetArbitrary

All Superinterfaces:
net.jqwik.api.Arbitrary<ZoneOffset>
All Known Implementing Classes:
DefaultZoneOffsetArbitrary
@API(status=EXPERIMENTAL, since="1.5.1") public interface ZoneOffsetArbitrary extends net.jqwik.api.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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Method Summary

    Modifier and Type
    Method
    Description
    ZoneOffsetArbitrary
    between(ZoneOffset min, 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, 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, withoutEdgeCases