Package com.pholser.junit.quickcheck.generator.java.time

Class ZonedDateTimeGenerator

java.lang.Object

com.pholser.junit.quickcheck.generator.Generator<ZonedDateTime>

com.pholser.junit.quickcheck.generator.java.time.ZonedDateTimeGenerator

All Implemented Interfaces:

Gen<ZonedDateTime>, Shrink<ZonedDateTime>

public class ZonedDateTimeGenerator
extends Generator<ZonedDateTime>

Produces values of type ZonedDateTime.

Field Summary

Fields

Modifier and Type	Field	Description
private ZonedDateTime	max
private ZonedDateTime	min
private static final ZoneId	UTC_ZONE_ID

Constructor Summary

Constructors

Constructor	Description
ZonedDateTimeGenerator()

Method Summary

Modifier and Type	Method	Description
void	configure(InRange range)	Tells this generator to produce values within a specified minimum and/or maximum, inclusive, with uniform distribution, down to the nanosecond.
ZonedDateTime	generate(SourceOfRandomness random, GenerationStatus status)	Generates a value, possibly influenced by a source of randomness and metadata about the generation.

Methods inherited from class com.pholser.junit.quickcheck.generator.Generator

addComponentGenerators, canGenerateForParametersOfTypes, canRegisterAsType, canShrink, compatibleWithTypeParameter, configurationAnnotationsOn, configure, configure, copy, doShrink, gen, gen, hasComponents, magnitude, narrow, numberOfNeededComponents, provide, shrink, types

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.pholser.junit.quickcheck.generator.Gen

_gen, filter, filterOptional, flatMap, map, times

Field Details

UTC_ZONE_ID

private static final ZoneId UTC_ZONE_ID

min

private ZonedDateTime min

max

private ZonedDateTime max

Constructor Details

ZonedDateTimeGenerator

public ZonedDateTimeGenerator()

Method Details

configure

public void configure(InRange range)

Tells this generator to produce values within a specified minimum and/or maximum, inclusive, with uniform distribution, down to the nanosecond.

If an endpoint of the range is not specified, the generator will use dates with values of either Instant.MIN or Instant.MAX and UTC zone as appropriate.

InRange.format() describes how the generator is to interpret the range's endpoints.

Parameters:

range - annotation that gives the range's constraints

generate

public ZonedDateTime generate(SourceOfRandomness random,
 GenerationStatus status)

Description copied from interface: Gen

Generates a value, possibly influenced by a source of randomness and metadata about the generation.

Parameters:

random - source of randomness to be used when generating the value

status - an object that can be used to influence the generated value. For example, generating lists can use the size method to generate lists with a given number of elements.

Returns:

the generated value