little.time

Defines cron-like utility for scheduled times.

Scheduled Times

CronSchedule determines its scheduled times using fields, where each field is a sorted sequence of distinct values specifying a component of time.

The times field specifies local times in schedule. It must include at least one value.

The daysOfMonth field specifies days of month in schedule. If empty, then every day is implied unless daysOfWeek is non-empty.

The months field specifies months in schedule. If empty, then every month is implied.

The daysOfWeek field specifies days of week in schedule. If empty, then every day is implied unless daysOfMonth is non-empty.

If both daysOfMonth and daysOfWeek are non-empty, then scheduled times are determined as a union of both fields.

import java.time.LocalTime.NOON
import java.time.Month.{ OCTOBER, NOVEMBER, DECEMBER }

import little.time.{ CronSchedule, TimeStringMethods }

// Create schedule
val schedule = CronSchedule(
 times       = Seq(NOON),
 daysOfMonth = Seq(1, 15),
 months      = Seq(OCTOBER, NOVEMBER, DECEMBER))

val start = "2020-10-01".toLocalDate
val end   = "2020-12-31".toLocalDate

// Iterate over scheduled times
schedule.between(start, end).foreach { time =>
 println(s"${time.toLocalDate} at ${time.toLocalTime}")
}

// Create schedule using cron-like syntax
val altSchedule = CronSchedule("0 12 1,15 10-12 *")

Provides CronSchedule factory.

Provides extension methods for java.time.Duration

Provides extension methods for java.time.Instant

Provides extension methods for java.time.LocalDate

Provides extension methods for java.time.LocalDateTime

Provides extension methods for java.time.LocalTime

Provides extension methods for java.time.Period

Defines utility for scheduled times.

Provides Schedule factory.

Specifies precision of time.

Provides available TimePrecisions .

Provides time-related extension methods to java.lang.String.

Provides extension methods for java.time.YearMonth

Provides ordering for java.time.Duration.

Provides ordering for java.time.Instant.

Provides ordering for java.time.LocalDate.

Provides ordering for java.time.LocalDateTime.

Provides ordering for java.time.LocalTime.

Provides ordering for java.time.YearMonth.

Provides extension methods for java.time.Duration

Provides extension methods for java.time.Instant

Provides extension methods for java.time.LocalDate

Provides extension methods for java.time.LocalDateTime

Provides extension methods for java.time.LocalTime

Provides extension methods for java.time.Period

Provides time-related extension methods to java.lang.String.

Provides extension methods for java.time.YearMonth