com.pholser.junit.quickcheck.internal

Class ShrinkControl

java.lang.Object

com.pholser.junit.quickcheck.internal.ShrinkControl

public class ShrinkControl
extends Object

Constructor Summary

Constructors

Constructor and Description
ShrinkControl(boolean shouldShrink, int maxShrinks, int maxShrinkDepth, int maxShrinkTime)

Method Summary

Modifier and Type	Method and Description
int	maxShrinkDepth()
int	maxShrinks()
int	maxShrinkTime()
boolean	shouldShrink()

Methods inherited from class java.lang.Object

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

Constructor Detail

ShrinkControl

public ShrinkControl(boolean shouldShrink,
                     int maxShrinks,
                     int maxShrinkDepth,
                     int maxShrinkTime)

Method Detail

shouldShrink

public boolean shouldShrink()

maxShrinks

public int maxShrinks()

maxShrinkDepth

public int maxShrinkDepth()

maxShrinkTime

public int maxShrinkTime()