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, P1)).

Returns:

The maximum number of tests discarded because they did not satisfy pre-conditions (i.e. Property.implies(boolean, 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