Package net.jqwik.time.api.constraints

Annotation Type Precision

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

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

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

    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      java.time.temporal.ChronoUnit value  

    • Element Detail

      • value

        java.time.temporal.ChronoUnit value
        Default:
        java.time.temporal.ChronoUnit.SECONDS