org.jcheck
Class Configuration

java.lang.Object
  org.jcheck.Configuration

All Implemented Interfaces:

java.lang.Cloneable

public final class Configuration
extends java.lang.Object
implements java.lang.Cloneable

Constructor Summary

Configuration(java.util.Random random)

Configuration(java.util.Random random, int maxNumberOfTests, int maxNumberOfFailedParams, long size)

Method Summary

java.lang.Object	clone()
int	getMaxNumberOfFailedParams()
int	getMaxNumberOfTests()
java.util.Random	getRandom()
long	getSize()
void	setMaxNumberOfTests(int tests)
void	setSize(long size)

Methods inherited from class java.lang.Object

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

Constructor Detail

Configuration

public Configuration(java.util.Random random)

Configuration

public Configuration(java.util.Random random,
                     int maxNumberOfTests,
                     int maxNumberOfFailedParams,
                     long size)

Method Detail

setSize

public void setSize(long size)

setMaxNumberOfTests

public void setMaxNumberOfTests(int tests)

clone

public java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException

Overrides:

clone in class java.lang.Object

Throws:

java.lang.CloneNotSupportedException

getRandom

public java.util.Random getRandom()

getMaxNumberOfTests

public int getMaxNumberOfTests()

getMaxNumberOfFailedParams

public int getMaxNumberOfFailedParams()

getSize

public long getSize()