com.pholser.junit.quickcheck.generator.java.util

Class DateGenerator

java.lang.Object

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

com.pholser.junit.quickcheck.generator.java.util.DateGenerator

public class DateGenerator
extends Generator<Date>

Produces values for theory parameters of type Date.

Constructor Summary

Constructors

Constructor and Description
DateGenerator()

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 millisecond.
Date	generate(SourceOfRandomness random, GenerationStatus status)

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

addComponentGenerators, canGenerateForParametersOfTypes, canRegisterAsType, compatibleWithTypeParameter, configure, hasComponents, numberOfNeededComponents, provideRepository, types

Methods inherited from class java.lang.Object

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

Constructor Detail

DateGenerator

public DateGenerator()

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 millisecond.

If an endpoint of the range is not specified, the generator will use dates with milliseconds-since-the-epoch values of either Integer.MIN_VALUE or Long.MAX_VALUE as appropriate.

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

Parameters:

range - annotation that gives the range's constraints

Throws:

IllegalArgumentException - if the range's values cannot be converted to Date

generate

public Date generate(SourceOfRandomness random,
                     GenerationStatus status)

Specified by:

generate in class Generator<Date>