com.io7m.jregions.generators

Class AreaIGenerator

java.lang.Object

com.io7m.jregions.generators.AreaIGenerator

All Implemented Interfaces:

net.java.quickcheck.Generator<AreaI>

public final class AreaIGenerator
extends Object
implements net.java.quickcheck.Generator<AreaI>

A generator for areas.

Constructor Summary

Constructors

Constructor and Description
AreaIGenerator(net.java.quickcheck.Generator<Integer> in_gen) Create a new generator.

Method Summary

Modifier and Type	Method and Description
static AreaIGenerator	create()
AreaI	next()

Methods inherited from class java.lang.Object

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

Constructor Detail

AreaIGenerator

public AreaIGenerator(net.java.quickcheck.Generator<Integer> in_gen)

Create a new generator.

Parameters:

in_gen - A number generator

Method Detail

create

public static AreaIGenerator create()

Returns:

A generator initialized with useful defaults

next

public AreaI next()

Specified by:

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