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

Class DefaultDateArbitrary

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

  • Nested Class Summary

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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    DefaultDateArbitrary()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected net.jqwik.api.Arbitrary<Date>
    arbitrary()
     
    DateArbitrary
    atTheEarliest(Date min)
    Set the allowed lower min (included) bounder of generated date values.
    DateArbitrary
    atTheLatest(Date max)
    Set the allowed upper max (included) bounder of generated date values.
    static Calendar
    dateToCalendar(Date date)
     
    DateArbitrary
    dayOfMonthBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated day of month values.
    DateArbitrary
    monthBetween(Month min, Month max)
    Set the allowed lower min (included) and upper max (included) bounder of generated month values.
    DateArbitrary
    onlyDaysOfWeek(DayOfWeek... daysOfWeek)
    Set an array of allowed daysOfWeek.
    DateArbitrary
    onlyMonths(Month... months)
    Set an array of allowed months.
    DateArbitrary
    yearBetween(Year min, Year max)
    Set the allowed lower min (included) and upper max (included) bounder of generated year 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

    Methods inherited from interface net.jqwik.time.api.arbitraries.DateArbitrary

    between, monthBetween, yearBetween

  • Constructor Details

    • DefaultDateArbitrary

      public DefaultDateArbitrary()

  • Method Details