com.pholser.junit.quickcheck.generator.java.lang

Class DoubleGenerator

java.lang.Object

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

com.pholser.junit.quickcheck.generator.java.lang.DoubleGenerator

public class DoubleGenerator
extends Generator<Double>

Produces values for theory parameters of type double or Double.

Constructor Summary

Constructors

Constructor and Description
DoubleGenerator()

Method Summary

Modifier and Type	Method and Description
void	configure(InRange range) Tells this generator to produce values within a specified minimum (inclusive) and/or maximum (exclusive) with uniform distribution.
Double	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

DoubleGenerator

public DoubleGenerator()

Method Detail

configure

public void configure(InRange range)

Tells this generator to produce values within a specified minimum (inclusive) and/or maximum (exclusive) with uniform distribution. InRange.min() and InRange.max() take precedence over InRange.minDouble() and InRange.maxDouble(), if non-empty.

Parameters:

range - annotation that gives the range's constraints

generate

public Double generate(SourceOfRandomness random,
                       GenerationStatus status)

Specified by:

generate in class Generator<Double>