com.pholser.junit.quickcheck

Annotation Type When

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

Mark a parameter of a Property method with this annotation to specify metadata about values generated for that parameter.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
int	discardRatio
String	satisfies
long	seed

Element Detail

discardRatio

public abstract int discardRatio

Returns:

the ratio of discarded generated values to successful generated values above which values for the annotated property parameter will no longer be generated. For a negative value, an IllegalArgumentException is raised. For a zero value, generation will continue as long as needed.

Default:

0

satisfies

public abstract String satisfies

Returns:

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

Default:

""

seed

public abstract long seed

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