1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
|
package xyz.driver.core
import java.text.SimpleDateFormat
import java.util._
import java.util.concurrent.TimeUnit
import xyz.driver.core.date.Month
import scala.concurrent.duration._
import scala.util.Try
object time {
// The most useful time units
val Second = 1000L
val Seconds = Second
val Minute = 60 * Seconds
val Minutes = Minute
val Hour = 60 * Minutes
val Hours = Hour
val Day = 24 * Hours
val Days = Day
val Week = 7 * Days
val Weeks = Week
final case class Time(millis: Long) extends AnyVal {
def isBefore(anotherTime: Time): Boolean = implicitly[Ordering[Time]].lt(this, anotherTime)
def isAfter(anotherTime: Time): Boolean = implicitly[Ordering[Time]].gt(this, anotherTime)
def advanceBy(duration: Duration): Time = Time(millis + duration.toMillis)
def durationTo(anotherTime: Time): Duration = Duration.apply(anotherTime.millis - millis, TimeUnit.MILLISECONDS)
def durationFrom(anotherTime: Time): Duration = Duration.apply(millis - anotherTime.millis, TimeUnit.MILLISECONDS)
def toDate(timezone: TimeZone): date.Date = {
val cal = Calendar.getInstance(timezone)
cal.setTimeInMillis(millis)
date.Date(cal.get(Calendar.YEAR), date.Month(cal.get(Calendar.MONTH)), cal.get(Calendar.DAY_OF_MONTH))
}
}
/**
* Encapsulates a time and timezone without a specific date.
*/
final case class TimeOfDay(localTime: java.time.LocalTime, timeZone: TimeZone) {
/**
* Is this time before another time on a specific day. Day light savings safe. These are zero-indexed
* for month/day.
*/
def isBefore(other: TimeOfDay, day: Int, month: Month, year: Int): Boolean = {
toCalendar(day, month, year).before(other.toCalendar(day, month, year))
}
/**
* Is this time after another time on a specific day. Day light savings safe.
*/
def isAfter(other: TimeOfDay, day: Int, month: Month, year: Int): Boolean = {
toCalendar(day, month, year).after(other.toCalendar(day, month, year))
}
def sameTimeAs(other: TimeOfDay, day: Int, month: Month, year: Int): Boolean = {
toCalendar(day, month, year).equals(other.toCalendar(day, month, year))
}
/**
* Enforces the same formatting as expected by [[java.sql.Time]]
* @return string formatted for `java.sql.Time`
*/
def timeString: String = {
localTime.format(TimeOfDay.getFormatter)
}
/**
* @return a string parsable by [[java.util.TimeZone]]
*/
def timeZoneString: String = {
timeZone.getID
}
/**
* @return this [[TimeOfDay]] as [[java.sql.Time]] object, [[java.sql.Time.valueOf]] will
* throw when the string is not valid, but this is protected by [[timeString]] method.
*/
def toTime: java.sql.Time = {
java.sql.Time.valueOf(timeString)
}
private def toCalendar(day: Int, month: Int, year: Int): Calendar = {
val cal = Calendar.getInstance(timeZone)
cal.set(year, month, day, localTime.getHour, localTime.getMinute, localTime.getSecond)
cal
}
}
object TimeOfDay {
def now(): TimeOfDay = {
TimeOfDay(java.time.LocalTime.now(), TimeZone.getDefault)
}
/**
* Throws when [s] is not parsable by [[java.time.LocalTime.parse]], uses default [[java.util.TimeZone]]
*/
def parseTimeString(tz: TimeZone = TimeZone.getDefault)(s: String): TimeOfDay = {
TimeOfDay(java.time.LocalTime.parse(s), tz)
}
def fromString(tz: TimeZone)(s: String): Option[TimeOfDay] = {
val op = Try(java.time.LocalTime.parse(s)).toOption
op.map(lt => TimeOfDay(lt, tz))
}
def fromStrings(zoneId: String)(s: String): Option[TimeOfDay] = {
val op = Try(TimeZone.getTimeZone(zoneId)).toOption
op.map(tz => TimeOfDay.parseTimeString(tz)(s))
}
/**
* Formatter that enforces `HH:mm:ss` which is expected by [[java.sql.Time]]
*/
def getFormatter: java.time.format.DateTimeFormatter = {
java.time.format.DateTimeFormatter.ofPattern("HH:mm:ss")
}
}
object Time {
implicit def timeOrdering: Ordering[Time] = Ordering.by(_.millis)
}
final case class TimeRange(start: Time, end: Time) {
def duration: Duration = FiniteDuration(end.millis - start.millis, MILLISECONDS)
}
def startOfMonth(time: Time) = {
Time(make(new GregorianCalendar()) { cal =>
cal.setTime(new Date(time.millis))
cal.set(Calendar.DAY_OF_MONTH, cal.getActualMinimum(Calendar.DAY_OF_MONTH))
}.getTime.getTime)
}
def textualDate(timezone: TimeZone)(time: Time): String =
make(new SimpleDateFormat("MMMM d, yyyy"))(_.setTimeZone(timezone)).format(new Date(time.millis))
def textualTime(timezone: TimeZone)(time: Time): String =
make(new SimpleDateFormat("MMM dd, yyyy hh:mm:ss a"))(_.setTimeZone(timezone)).format(new Date(time.millis))
object provider {
/**
* Time providers are supplying code with current times
* and are extremely useful for testing to check how system is going
* to behave at specific moments in time.
*
* All the calls to receive current time must be made using time
* provider injected to the caller.
*/
trait TimeProvider {
def currentTime(): Time
}
final class SystemTimeProvider extends TimeProvider {
def currentTime() = Time(System.currentTimeMillis())
}
final val SystemTimeProvider = new SystemTimeProvider
final class SpecificTimeProvider(time: Time) extends TimeProvider {
def currentTime() = time
}
}
}
|
