com.pholser.junit.quickcheck

Annotation Type ForAll

Deprecated.

Rather than writing property-based tests as Theory methods with parameters marked with this annotation, write them as Property methods on classes run with the JUnitQuickcheck runner.

@Deprecated
 @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

Optional Elements

Modifier and Type	Optional Element and Description
int	discardRatio Deprecated.
int	sampleSize Deprecated.
long	seed Deprecated.
String	suchThat Deprecated.

Element Detail

sampleSize

public abstract int sampleSize

Deprecated.

Returns:

the number of generated values to give the annotated parameter

Default:

100

discardRatio

public abstract int discardRatio

Deprecated.

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

suchThat

public abstract String suchThat

Deprecated.

Returns:

an OGNL expression used to constrain the values fed to the annotated theory parameter. The expression should evaluate to a boolean value. Within the expression, "_" refers to the theory parameter.

Default:

""

seed

public abstract long seed

Deprecated.

Returns:

a value to be used as the initial seed for the random value generator. Not specifying a value causes the seed to be chosen in the usual JDK way.

Default:

0L