ZonedDateTimeInterval

class ZonedDateTimeInterval(start: ZonedDateTime, endExclusive: ZonedDateTime) : TimePointInterval<ZonedDateTime>

A half-open interval of zoned date-times based on timeline order.

DateTime.MIN and DateTime.MAX are used as sentinels to indicate an unbounded (ie. infinite) start or end. A ZonedDateTime with either as the date-time component will be treated accordingly, regardless of the offset or time zone.

Constructors

common

fun ZonedDateTimeInterval(start: ZonedDateTime = UNBOUNDED.start, endExclusive: ZonedDateTime = UNBOUNDED.endExclusive)

Types

Companion

common

object Companion

Functions

asDuration

common

fun asDuration(): Duration

Converts this interval into a Duration of the same length.

asPeriod

common

fun asPeriod(): Period

Converts this interval into a Period of the same length.

contains

common

open operator override fun contains(value: ZonedDateTime): Boolean

Checks if this interval contains value.

equals

common

open operator override fun equals(other: Any?): Boolean

hasBoundedEnd

common

open fun hasBoundedEnd(): Boolean

Checks if this interval's end is bounded, meaning it has a finite value.

hasBoundedStart

common

open fun hasBoundedStart(): Boolean

Checks if this interval's start is bounded, meaning it has a finite value.

hashCode

common

open override fun hashCode(): Int

hasUnboundedEnd

common

open override fun hasUnboundedEnd(): Boolean

Checks if this interval's end is unbounded.

hasUnboundedStart

common

open override fun hasUnboundedStart(): Boolean

Checks if this interval's start is unbounded.

isBounded

common

open fun isBounded(): Boolean

Checks if both the start and end of this interval are bounded, meaning it has a finite range.

isEmpty

common

open override fun isEmpty(): Boolean

Checks if this interval is empty.

isUnbounded

common

open fun isUnbounded(): Boolean

Checks if both the start and end of this interval are unbounded, meaning this is an infinite time period in both directions.

toString

common

open override fun toString(): String

Converts this interval to a string in ISO-8601 extended format.

Properties

endExclusive

common

open override val endExclusive: ZonedDateTime

The end of this interval, exclusive.

endInclusive

common

open override val endInclusive: ZonedDateTime

The end of this interval, inclusive.

lengthInDays

common

open override val lengthInDays: LongDays

The number of whole days in this interval.

lengthInHours

common

val lengthInHours: LongHours

The number of whole hours in this interval.

lengthInMicroseconds

common

val lengthInMicroseconds: LongMicroseconds

The number of whole microseconds in this interval.

lengthInMilliseconds

common

val lengthInMilliseconds: LongMilliseconds

The number of whole milliseconds in this interval.

lengthInMinutes

common

val lengthInMinutes: LongMinutes

The number of whole minutes in this interval.

lengthInMonths

common

val lengthInMonths: IntMonths

The number of whole months is this interval.

lengthInNanoseconds

common

val lengthInNanoseconds: LongNanoseconds

The number of whole nanoseconds in this interval.

lengthInSeconds

common

val lengthInSeconds: LongSeconds

The number of whole seconds in this interval.

lengthInWeeks

common

val lengthInWeeks: LongWeeks

The number of whole weeks in this interval.

lengthInYears

common

val lengthInYears: IntYears

The number of whole years in this interval.

start

common

open override val start: ZonedDateTime

The start of this interval, inclusive.

Extensions

random

common

fun ZonedDateTimeInterval.random(): ZonedDateTime

Returns a random date within this interval using the default random number generator.

fun ZonedDateTimeInterval.random(random: Random): ZonedDateTime

Returns a random date within this interval using the supplied random number generator.

randomOrNull

common

fun ZonedDateTimeInterval.randomOrNull(): ZonedDateTime?

Returns a random date within this interval using the default random number generator or null if the interval is empty or unbounded.

fun ZonedDateTimeInterval.randomOrNull(random: Random): ZonedDateTime?

Returns a random date within this interval using the supplied random number generator or null if the interval is empty or unbounded.

toDateRange

common

fun ZonedDateTimeInterval.toDateRange(): DateRange

Returns this interval with the precision reduced to just the date.

toDateTimeInterval

common

fun ZonedDateTimeInterval.toDateTimeInterval(): DateTimeInterval

Returns this interval with the precision reduced to only the local date and time.

toInstantInterval

common

fun ZonedDateTimeInterval.toInstantInterval(): InstantInterval

Converts this interval to an InstantInterval.

toOffsetDateTimeInterval

common

fun ZonedDateTimeInterval.toOffsetDateTimeInterval(): OffsetDateTimeInterval

Converts this interval to an OffsetDateTimeInterval.