Package com.io7m.jregions.generators
Class AreaSizeFGenerator
java.lang.Object
com.io7m.jregions.generators.AreaSizeFGenerator
- All Implemented Interfaces:
net.java.quickcheck.Generator<AreaSizeF>
public final class AreaSizeFGenerator
extends Object
implements net.java.quickcheck.Generator<AreaSizeF>
A generator for area sizes.
-
Constructor Summary
ConstructorDescriptionAreaSizeFGenerator
(net.java.quickcheck.generator.support.DoubleGenerator in_gen) Create a new generator. -
Method Summary
-
Constructor Details
-
AreaSizeFGenerator
public AreaSizeFGenerator(net.java.quickcheck.generator.support.DoubleGenerator in_gen) Create a new generator.- Parameters:
in_gen
- A number generator
-
-
Method Details
-
create
- Returns:
- A generator initialized with useful defaults
-
next
- Specified by:
next
in interfacenet.java.quickcheck.Generator<AreaSizeF>
-