Module com.io7m.jregions.generators

Package 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 java.lang.Object
implements net.java.quickcheck.Generator<AreaI>

A generator for areas.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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<java.lang.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>