Package net.jqwik.time.api.constraints

Annotation Interface SecondRange

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @Documented @API(status=EXPERIMENTAL, since="1.5.1") public @interface SecondRange
Constrain the range of generated second parameters.

Applies to LocalDateTime, Instant, OffsetDateTime, LocalTime and OffsetTime parameters which are also annotated with @ForAll.

See Also:

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    int
    max
     
    int
    min
     

  • Element Details

    • min

      int min
      Default:
      0

    • max

      int max
      Default:
      59