com.pholser.junit.quickcheck.generator

Annotation Type Also

@Target(value={PARAMETER,FIELD,ANNOTATION_TYPE,TYPE_USE})
 @Retention(value=RUNTIME)
public @interface Also

Mark a parameter of a Property method with this annotation to ensure that a limited set of values are guaranteed to be used as the value of that parameter to test the property.

In sampling mode, on each trial junit-quickcheck ensures that the first n values are the given set, and generates the remaining trials - n values in the usual way.

In exhaustive mode, junit-quickcheck uses the values in the limited set for the property parameter, and generates the remaining trials - n values in the usual way.

Note: You will still need a generator defined for the property parameter's type when this annotation is used.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
Class<? extends StringConversion>	by

Element Detail

value

public abstract String[] value

Returns:

the values to which the property parameter will certainly be assigned during property verification

by

public abstract Class<? extends StringConversion> by

See Also:

Only.by()

Default:

com.pholser.junit.quickcheck.conversion.StringConversion.class