com.pholser.junit.quickcheck

Annotation Type Property

@Target(value=METHOD)
 @Retention(value=RUNTIME)
public @interface Property

Mark a method on a class that is run with the JUnitQuickcheck runner with this annotation to have it run as a property-based test.

A method marked with this annotation should be an instance method declared as public with a return type of void.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
int	maxShrinkDepth
int	maxShrinks
int	maxShrinkTime
Class<? extends MinimalCounterexampleHook>	onMinimalCounterexample
boolean	shrink
int	trials

Element Detail

trials

public abstract int trials

Returns:

how many sets of parameters to verify the property with

Default:

100

shrink

public abstract boolean shrink

Returns:

whether or not to attempt to shrink a failing set of parameters

Default:

true

maxShrinks

public abstract int maxShrinks

Returns:

the maximum number of shrink attempts to make on a failing set of parameters; in effect only when shrink() is true

Default:

100

maxShrinkDepth

public abstract int maxShrinkDepth

Returns:

the maximum depth of shrink tree to make on a failing set of parameters; in effect only when shrink() is true

Default:

20

maxShrinkTime

public abstract int maxShrinkTime

Returns:

the maximum elapsed time for the shrinking process in milliseconds; in effect only when shrink() is true

Default:

60000

onMinimalCounterexample

public abstract Class<? extends MinimalCounterexampleHook> onMinimalCounterexample

Returns:

callback that it is executed if a minimal counterexample is found (after shrinking)

Default:

com.pholser.junit.quickcheck.hook.NilMinimalCounterexampleHook.class