All Downloads are FREE. Search and download functionalities are using the official Maven repository.

net.jqwik.time.api.constraints.Precision Maven / Gradle / Ivy

package net.jqwik.time.api.constraints;

import java.lang.annotation.*;
import java.time.temporal.*;

import org.apiguardian.api.*;

import static java.time.temporal.ChronoUnit.*;
import static org.apiguardian.api.API.Status.*;

/**
 * Constrain the precision of generated times.
 * 

* Applies to LocalDateTime, Instant, OffsetDateTime, LocalTime, OffsetTime and Duration parameters which are also annotated with {@code @ForAll}. * * @see net.jqwik.api.ForAll * @see TimeRange * @see OffsetRange * @see HourRange * @see MinuteRange * @see SecondRange */ @Target({ElementType.ANNOTATION_TYPE, ElementType.PARAMETER, ElementType.TYPE_USE}) @Retention(RetentionPolicy.RUNTIME) @Documented @API(status = EXPERIMENTAL, since = "1.5.1") public @interface Precision { ChronoUnit value() default SECONDS; }





© 2015 - 2024 Weber Informatics LLC | Privacy Policy