Package net.jqwik.time.api

Class DateTimes

java.lang.Object

net.jqwik.time.api.DateTimes

@API(status=EXPERIMENTAL,
     since="1.5.1")
public class DateTimes
extends java.lang.Object

Method Summary

Modifier and Type	Method	Description
static LocalDateTimeArbitrary	dateTimes()	Create an arbitrary that generates instances of LocalDateTime.
static InstantArbitrary	instants()
static OffsetDateTimeArbitrary	offsetDateTimes()
static ZonedDateTimeArbitrary	zonedDateTimes()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

dateTimes

public static LocalDateTimeArbitrary dateTimes()

Create an arbitrary that generates instances of LocalDateTime. All generated dates use the Gregorian Calendar, even if they are before October 15, 1582. By default, local dates with years between 1900 and 2500 are generated.

Returns:

a new arbitrary instance

offsetDateTimes

@API(status=EXPERIMENTAL,
     since="1.5.5")
public static OffsetDateTimeArbitrary offsetDateTimes()

zonedDateTimes

@API(status=EXPERIMENTAL,
     since="1.6.3")
public static ZonedDateTimeArbitrary zonedDateTimes()

instants

@API(status=EXPERIMENTAL,
     since="1.5.4")
public static InstantArbitrary instants()