Package net.jqwik.time.api.constraints

Annotation Type InstantRange

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

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

    See Also:
    ForAll

    • 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:
        "1900-01-01T00:00:00Z"

      • max

        java.lang.String max
        Default:
        "2500-12-31T23:59:59.0Z"