net.jqwik.api.constraints

Annotation Type BigRange

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

Constrain the range of a generated "Big" number.

Applies to BigInteger and BigDecimal parameters which are also annotated with @ForAll.

minIncluded() and maxIncluded() only work for BigDecimal.

See Also:

ForAll, ByteRange, ShortRange, IntRange, LongRange, FloatRange, DoubleRange

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.String	max
boolean	maxIncluded
java.lang.String	min
boolean	minIncluded

Element Detail

min

public abstract java.lang.String min

Default:

""

minIncluded

@API(status=MAINTAINED,
     since="1.2.7")
public abstract boolean minIncluded

Default:

true

max

public abstract java.lang.String max

Default:

""

maxIncluded

@API(status=MAINTAINED,
     since="1.2.7")
public abstract boolean maxIncluded

Default:

true