com.pholser.junit.quickcheck
Annotation Type From

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

Mark a parameter of a Theory method already marked with ForAll with this annotation to have random values supplied to it via one of the specified Generators, chosen at random with equal probability.

If any such generator produces values of a type incompatible with the type of the marked theory parameter, IllegalArgumentException is raised.

Required Element Summary

Class<? extends Generator>[]

value

Element Detail

value

public abstract Class<? extends Generator>[] value

Returns:

the choices of generators for the annotated theory parameter