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(Property marker)

Method Summary

Modifier and Type	Method and Description
int	maxShrinkDepth()
int	maxShrinks()
int	maxShrinkTime()
MinimalCounterexampleHook	onMinimalCounterexample()
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(Property marker)
              throws IllegalAccessException,
                     InstantiationException

Throws:

IllegalAccessException

InstantiationException

Method Detail

shouldShrink

public boolean shouldShrink()

maxShrinks

public int maxShrinks()

maxShrinkDepth

public int maxShrinkDepth()

maxShrinkTime

public int maxShrinkTime()

onMinimalCounterexample

public MinimalCounterexampleHook onMinimalCounterexample()