Package com.pholser.junit.quickcheck.internal

Class ShrinkControl

java.lang.Object

com.pholser.junit.quickcheck.internal.ShrinkControl

public class ShrinkControl
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private final int	maxShrinkDepth
private final int	maxShrinks
private final int	maxShrinkTime
private final MinimalCounterexampleHook	onMinimalCounterexample
private final boolean	shouldShrink

Constructor Summary

Constructors

Constructor	Description
ShrinkControl(Property marker)

Method Summary

Modifier and Type	Method	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

Field Details

shouldShrink

private final boolean shouldShrink

maxShrinks

private final int maxShrinks

maxShrinkDepth

private final int maxShrinkDepth

maxShrinkTime

private final int maxShrinkTime

onMinimalCounterexample

private final MinimalCounterexampleHook onMinimalCounterexample

Constructor Details

ShrinkControl

public ShrinkControl(Property marker)
              throws IllegalAccessException,
InstantiationException

Throws:

IllegalAccessException

InstantiationException

Method Details

shouldShrink

public boolean shouldShrink()

maxShrinks

public int maxShrinks()

maxShrinkDepth

public int maxShrinkDepth()

maxShrinkTime

public int maxShrinkTime()

onMinimalCounterexample

public MinimalCounterexampleHook onMinimalCounterexample()