org.jcheck
Class Arbitrary

java.lang.Object
  org.jcheck.Arbitrary

public class Arbitrary
extends java.lang.Object

Utility class that helps in creating new generators.

Constructor Summary

Arbitrary()

Method Summary

static <T> Gen<T>	getStandardGenerator(java.lang.Class<T> forClass) Get the standard (jcheck-supplied) generator for the given Java-class.
static long	random(java.util.Random random, long from, long to) Generate a random long in the interval [from-to].

Methods inherited from class java.lang.Object

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

Constructor Detail

Arbitrary

public Arbitrary()

Method Detail

getStandardGenerator

public static <T> Gen<T> getStandardGenerator(java.lang.Class<T> forClass)

Get the standard (jcheck-supplied) generator for the given Java-class.

Parameters:

forClass - the type of object the generator should be for

Returns:

the standard generator for the given class (or null if no such generator exist)

random

public static long random(java.util.Random random,
                          long from,
                          long to)

Generate a random long in the interval [from-to].