com.pholser.junit.quickcheck
Annotation Type SuchThat

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

Mark a parameter of a Theory method already marked with ForAll with this annotation to constrain the values generated for it.

Required Element Summary

String

value

Element Detail

value

public abstract String value

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.