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:

Shrink<ZonedDateTime>

public class ZonedDateTimeGenerator
extends Generator<ZonedDateTime>

Produces values of type ZonedDateTime.

Constructor Summary

Constructors

Constructor and Description
ZonedDateTimeGenerator()

Method Summary

Modifier and Type	Method and 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)

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

addComponentGenerators, canGenerateForParametersOfTypes, canRegisterAsType, canShrink, compatibleWithTypeParameter, configurationAnnotationsOn, configure, configure, doShrink, hasComponents, narrow, numberOfNeededComponents, provideRepository, shrink, types

Methods inherited from class java.lang.Object

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

Constructor Detail

ZonedDateTimeGenerator

public ZonedDateTimeGenerator()

Method Detail

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)

Specified by:

generate in class Generator<ZonedDateTime>