net.jqwik.api.constraints

Annotation Type FloatRange

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @Documented
 @API(status=MAINTAINED,
     since="1.0")
public @interface FloatRange

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

See Also:

ForAll, ByteRange, ShortRange, IntRange, LongRange, DoubleRange, BigRange

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
float	max
boolean	maxIncluded
float	min
boolean	minIncluded

Element Detail

min

public abstract float min

Default:

0.0f

minIncluded

public abstract boolean minIncluded

Default:

true

max

public abstract float max

Default:

3.4028234663852886E38f

maxIncluded

public abstract boolean maxIncluded

Default:

true