net.jqwik.time.api.constraints

Annotation Type InstantRange

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @Documented
 @API(status=EXPERIMENTAL,
     since="1.5.4")
public @interface InstantRange

Constrain the range of generated instant parameters. Only strings of format DateTimeFormatter.ISO_INSTANT are supported.

Applies to Instant parameters which are also annotated with @ForAll.

See Also:

ForAll

Optional Element Summary

Optional Elements

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

Element Detail

min

public abstract java.lang.String min

Default:

"1900-01-01T00:00:00Z"

max

public abstract java.lang.String max

Default:

"2500-12-31T23:59:59.0Z"