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

Class DefaultLocalTimeArbitrary

java.lang.Object

net.jqwik.api.arbitraries.ArbitraryDecorator<LocalTime>

net.jqwik.time.internal.properties.arbitraries.DefaultLocalTimeArbitrary

All Implemented Interfaces:

Cloneable, net.jqwik.api.Arbitrary<LocalTime>, LocalTimeArbitrary

@API(status=INTERNAL)
public class DefaultLocalTimeArbitrary
extends net.jqwik.api.arbitraries.ArbitraryDecorator<LocalTime>
implements LocalTimeArbitrary

Nested Class Summary

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor	Description
DefaultLocalTimeArbitrary()

Method Summary

Modifier and Type	Method	Description
protected net.jqwik.api.Arbitrary<LocalTime>	arbitrary()
LocalTimeArbitrary	atTheEarliest(LocalTime min)	Set the allowed lower min (included) bounder of generated local time values.
LocalTimeArbitrary	atTheLatest(LocalTime max)	Set the allowed upper max (included) bounder of generated local time values.
static void	checkTimeValueAndPrecision(LocalTime time, OfPrecision ofPrecision, boolean minimum)
static LocalTime	effectiveMax(LocalTimeBetween timeBetween, HourBetween hourBetween, MinuteBetween minuteBetween, SecondBetween secondBetween, OfPrecision ofPrecision)
static LocalTime	effectiveMin(LocalTimeBetween timeBetween, HourBetween hourBetween, MinuteBetween minuteBetween, SecondBetween secondBetween, OfPrecision ofPrecision)
LocalTimeArbitrary	hourBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated hour values.
LocalTimeArbitrary	minuteBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated minute values.
LocalTimeArbitrary	ofPrecision(ChronoUnit ofPrecision)	Constrain the precision of generated values.
static ChronoUnit	ofPrecisionFromNanos(int nanos)
static ChronoUnit	ofPrecisionFromTime(LocalTime time)
LocalTimeArbitrary	secondBetween(int min, int max)	Set the allowed lower min (included) and upper max (included) bounder of generated second 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.LocalTimeArbitrary

between

Constructor Details

DefaultLocalTimeArbitrary

public DefaultLocalTimeArbitrary()

Method Details

arbitrary

protected net.jqwik.api.Arbitrary<LocalTime> arbitrary()

Specified by:

arbitrary in class net.jqwik.api.arbitraries.ArbitraryDecorator<LocalTime>

effectiveMin

public static LocalTime effectiveMin(LocalTimeBetween timeBetween,
 HourBetween hourBetween,
 MinuteBetween minuteBetween,
 SecondBetween secondBetween,
 OfPrecision ofPrecision)

checkTimeValueAndPrecision

public static void checkTimeValueAndPrecision(LocalTime time,
 OfPrecision ofPrecision,
 boolean minimum)

effectiveMax

public static LocalTime effectiveMax(LocalTimeBetween timeBetween,
 HourBetween hourBetween,
 MinuteBetween minuteBetween,
 SecondBetween secondBetween,
 OfPrecision ofPrecision)

ofPrecisionFromNanos

public static ChronoUnit ofPrecisionFromNanos(int nanos)

ofPrecisionFromTime

public static ChronoUnit ofPrecisionFromTime(LocalTime time)

atTheEarliest

public LocalTimeArbitrary atTheEarliest(LocalTime min)

Description copied from interface: LocalTimeArbitrary

Set the allowed lower min (included) bounder of generated local time values. If you don't explicitly set the precision and use min/max values with precision milliseconds/microseconds/nanoseconds, the precision of your min/max value is implicitly set.

Specified by:

atTheEarliest in interface LocalTimeArbitrary

atTheLatest

public LocalTimeArbitrary atTheLatest(LocalTime max)

Description copied from interface: LocalTimeArbitrary

Set the allowed upper max (included) bounder of generated local time values. If you don't explicitly set the precision and use min/max values with precision milliseconds/microseconds/nanoseconds, the precision of your min/max value is implicitly set.

Specified by:

atTheLatest in interface LocalTimeArbitrary

hourBetween

public LocalTimeArbitrary hourBetween(int min,
 int max)

Description copied from interface: LocalTimeArbitrary

Set the allowed lower min (included) and upper max (included) bounder of generated hour values. The hours can be between 0 and 23.

Specified by:

hourBetween in interface LocalTimeArbitrary

minuteBetween

public LocalTimeArbitrary minuteBetween(int min,
 int max)

Description copied from interface: LocalTimeArbitrary

Set the allowed lower min (included) and upper max (included) bounder of generated minute values. The minutes can be between 0 and 59.

Specified by:

minuteBetween in interface LocalTimeArbitrary

secondBetween

public LocalTimeArbitrary secondBetween(int min,
 int max)

Description copied from interface: LocalTimeArbitrary

Set the allowed lower min (included) and upper max (included) bounder of generated second values. The minutes can be between 0 and 59.

Specified by:

secondBetween in interface LocalTimeArbitrary

ofPrecision

public LocalTimeArbitrary ofPrecision(ChronoUnit ofPrecision)

Description copied from interface: LocalTimeArbitrary

Constrain the precision of generated values. Default value: Seconds. If you don't explicitly set the precision and use min/max values with precision milliseconds/microseconds/nanoseconds, the precision of your min/max value is implicitly set.

Specified by:

ofPrecision in interface LocalTimeArbitrary