com.pholser.junit.quickcheck
Annotation Type ForAll

@Target(value=PARAMETER)
@Retention(value=RUNTIME)
public @interface ForAll

Mark a parameter of a Theory method with this annotation to have random values supplied to it.

Optional Element Summary

int	discardRatio
int	sampleSize

sampleSize

public abstract int sampleSize

Returns:

the number of generated values to give the annotated theory parameter

Default:

100

discardRatio

public abstract int discardRatio

Returns:

the ratio of discarded generated values to successful generated values above which values will no longer be generated. For a negative value, generation will cease immediately. For a zero value, generation will stop if the number of discarded generated values exceeds the sample size.

Default:

0