com.io7m.jregions.generators

Class AreaSizeDGenerator

java.lang.Object

com.io7m.jregions.generators.AreaSizeDGenerator

All Implemented Interfaces:

net.java.quickcheck.Generator<AreaSizeD>

public final class AreaSizeDGenerator
extends Object
implements net.java.quickcheck.Generator<AreaSizeD>

A generator for area sizes.

Constructor Summary

Constructors

Constructor and Description
AreaSizeDGenerator(net.java.quickcheck.generator.support.DoubleGenerator in_gen) Create a new generator.

Method Summary

Modifier and Type	Method and Description
static AreaSizeDGenerator	create()
AreaSizeD	next()

Methods inherited from class java.lang.Object

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

Constructor Detail

AreaSizeDGenerator

public AreaSizeDGenerator(net.java.quickcheck.generator.support.DoubleGenerator in_gen)

Create a new generator.

Parameters:

in_gen - A number generator

Method Detail

create

public static AreaSizeDGenerator create()

Returns:

A generator initialized with useful defaults

next

public AreaSizeD next()

Specified by:

next in interface net.java.quickcheck.Generator<AreaSizeD>