Package net.jqwik.time.internal.properties.arbitraries

Class DefaultZoneOffsetArbitrary

java.lang.Object
net.jqwik.api.arbitraries.ArbitraryDecorator<ZoneOffset>
net.jqwik.time.internal.properties.arbitraries.DefaultZoneOffsetArbitrary
All Implemented Interfaces:
Cloneable, net.jqwik.api.Arbitrary<ZoneOffset>, ZoneOffsetArbitrary
@API(status=INTERNAL) public class DefaultZoneOffsetArbitrary extends net.jqwik.api.arbitraries.ArbitraryDecorator<ZoneOffset> implements ZoneOffsetArbitrary

  • Nested Class Summary

    Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final ZoneOffset
    DEFAULT_MAX
     
    static final ZoneOffset
    DEFAULT_MIN
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    DefaultZoneOffsetArbitrary()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected net.jqwik.api.Arbitrary<ZoneOffset>
    arbitrary()
     
    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 class net.jqwik.api.arbitraries.ArbitraryDecorator

    edgeCases, exhaustive, generator, generatorWithEmbeddedEdgeCases, isGeneratorMemoizable, toString, typedClone

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    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

  • Field Details

    • DEFAULT_MIN

      public static final ZoneOffset DEFAULT_MIN

    • DEFAULT_MAX

      public static final ZoneOffset DEFAULT_MAX

  • Constructor Details

    • DefaultZoneOffsetArbitrary

      public DefaultZoneOffsetArbitrary()

  • Method Details