net.jqwik.api.constraints

Annotation Type DoubleRange

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

Constrain the range of a generated double or Double parameters. Applies to double or Double parameters which are also annotated with @ForAll.

See Also:

ForAll, ByteRange, ShortRange, IntRange, LongRange, FloatRange, BigRange

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
double	max

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
double	min

Element Detail

max

public abstract double max

min

public abstract double min

Default:

0.0