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

Optional Elements

Modifier and Type	Optional Element and Description
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.

Element Detail

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