Package net.jqwik.time.api.constraints

Annotation Type TimeRange

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

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

    See Also:
    ForAll, OffsetRange, HourRange, MinuteRange, SecondRange, Precision

    • Optional Element Summary

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

    • Element Detail

      • min

        java.lang.String min
        Default:
        "00:00:00"

      • max

        java.lang.String max
        Default:
        "23:59:59.0"