Package net.jqwik.time.api.constraints

Annotationsschnittstelle 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. Only strings of format DateTimeFormatter.ISO_LOCAL_TIME are supported.

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

Siehe auch:

• ForAll
• OffsetRange
• HourRange
• MinuteRange
• SecondRange
• Precision

Optionale Elemente - Übersicht

Optionale Elemente

Modifizierer und Typ	Optionales Element	Beschreibung
String	max
String	min

Elementdetails

min

String min

Standard:

"00:00:00"

max

String max

Standard:

"23:59:59.0"