Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg

This software is released under an open source BSD licence.

fj.test.reflect
Annotation Type CheckParams


@Documented
@Target(value={TYPE,FIELD,METHOD})
@Retention(value=RUNTIME)
@Inherited
public @interface CheckParams

Specifies the check parameters on a Property property with typical defaults.


Optional Element Summary
 int maxDiscarded
          The maximum number of tests discarded because they did not satisfy pre-conditions (i.e.
 int maxSize
          The maximum size to use for checking.
 int minSize
          The minimum size to use for checking.
 int minSuccessful
          The minimum number of successful tests before a result is reached.
 

minSuccessful

public abstract int minSuccessful
The minimum number of successful tests before a result is reached.

Returns:
The minimum number of successful tests before a result is reached.
Default:
100

maxDiscarded

public abstract int maxDiscarded
The maximum number of tests discarded because they did not satisfy pre-conditions (i.e. Property.implies(boolean, fj.P1)).

Returns:
The maximum number of tests discarded because they did not satisfy pre-conditions (i.e. Property.implies(boolean, fj.P1)).
Default:
500

minSize

public abstract int minSize
The minimum size to use for checking.

Returns:
The minimum size to use for checking.
Default:
0

maxSize

public abstract int maxSize
The maximum size to use for checking.

Returns:
The maximum size to use for checking.
Default:
100

Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg

This software is released under an open source BSD licence.