com.io7m.jregions.generators

Class AreaSizeIGenerator

java.lang.Object

com.io7m.jregions.generators.AreaSizeIGenerator

All Implemented Interfaces:

net.java.quickcheck.Generator<AreaSizeI>

public final class AreaSizeIGenerator
extends Object
implements net.java.quickcheck.Generator<AreaSizeI>

A generator for area sizes.

Constructor Summary

Constructors

Constructor and Description
AreaSizeIGenerator(net.java.quickcheck.generator.support.IntegerGenerator in_gen) Create a new generator.

Method Summary

Modifier and Type	Method and Description
static AreaSizeIGenerator	create()
AreaSizeI	next()

Methods inherited from class java.lang.Object

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

Constructor Detail

AreaSizeIGenerator

public AreaSizeIGenerator(net.java.quickcheck.generator.support.IntegerGenerator in_gen)

Create a new generator.

Parameters:

in_gen - A number generator

Method Detail

create

public static AreaSizeIGenerator create()

Returns:

A generator initialized with useful defaults

next

public AreaSizeI next()

Specified by:

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