Package com.io7m.jregions.generators

Class AreaDGenerator

java.lang.Object
com.io7m.jregions.generators.AreaDGenerator
All Implemented Interfaces:
net.java.quickcheck.Generator<AreaD>
public final class AreaDGenerator
extends java.lang.Object
implements net.java.quickcheck.Generator<AreaD>
A generator for areas.

  • Constructor Summary

    Constructors 
    Constructor Description
    AreaDGenerator​(net.java.quickcheck.Generator<java.lang.Double> in_gen)
    Create a new generator.

  • Method Summary

    Modifier and Type Method Description
    static AreaDGenerator create()  
    AreaD next()  

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • AreaDGenerator

      public AreaDGenerator​(net.java.quickcheck.Generator<java.lang.Double> in_gen)
      Create a new generator.
      Parameters:
      in_gen - A number generator

  • Method Details

    • create

      public static AreaDGenerator create()
      Returns:
      A generator initialized with useful defaults

    • next

      public AreaD next()
      Specified by:
      next in interface net.java.quickcheck.Generator<AreaD>