Mercurial Hosting > luan

annotate src/luan/modules/Time.luan @ 1084:aa967fd73b80

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
improve error message
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 26 Nov 2016 20:51:14 -0700
parents 53e77f60b789
children bae2d0c2576c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
254
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
1 -- incomplete, will add as needed
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
2
321
7f7708e8fdd4 remove import statement
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 320
diff changeset
3 java()
693
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 610
diff changeset
4 local Luan = require "luan:Luan.luan"
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 321
diff changeset
5 local error = Luan.error
1084
aa967fd73b80 improve error message
Franklin Schmidt <fschmidt@gmail.com>
parents: 1079
diff changeset
6 local assert_long = Luan.assert_long or error()
610
b4f3dbe1c6e3 add Rpc and change Hosting to use Rpc
Franklin Schmidt <fschmidt@gmail.com>
parents: 587
diff changeset
7 local ipairs = Luan.ipairs or error()
1079
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
8 local Math = require "luan:Math.luan"
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
9 local floor = Math.floor or error()
693
ca169567ce07 module URIs must now include ".luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 610
diff changeset
10 local Table = require "luan:Table.luan"
321
7f7708e8fdd4 remove import statement
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 320
diff changeset
11 local System = require "java:java.lang.System"
7f7708e8fdd4 remove import statement
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 320
diff changeset
12 local Calendar = require "java:java.util.Calendar"
7f7708e8fdd4 remove import statement
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 320
diff changeset
13 local Date = require "java:java.util.Date"
7f7708e8fdd4 remove import statement
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 320
diff changeset
14 local TimeZone = require "java:java.util.TimeZone"
7f7708e8fdd4 remove import statement
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 320
diff changeset
15 local SimpleDateFormat = require "java:java.text.SimpleDateFormat"
254
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
16
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 321
diff changeset
17 local M = {}
254
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
18
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 321
diff changeset
19 function M.now()
254
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
20 return System.currentTimeMillis()
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
21 end
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
22
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
23 -- add more as needed
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
24 local fields = {
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
25 year = Calendar.YEAR;
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
26 month = Calendar.MONTH;
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
27 day_of_month = Calendar.DAY_OF_MONTH;
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
28 }
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
29
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 321
diff changeset
30 function M.get( time, ... )
254
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
31 local cal = Calendar.getInstance()
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
32 cal.setTimeInMillis(time)
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
33 local rtn = {}
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
34 for i, v in ipairs{...} do
1079
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
35 local fld = fields[v]
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
36 fld or error("invalid field: "..v)
254
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
37 local n = cal.get(fld)
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
38 if fld == "month" then
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
39 n = n + 1
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
40 end
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
41 rtn[i] = n
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
42 end
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
43 return Table.unpack(rtn)
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
44 end
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
45
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 321
diff changeset
46 function M.format(time,pattern)
1084
aa967fd73b80 improve error message
Franklin Schmidt <fschmidt@gmail.com>
parents: 1079
diff changeset
47 time = assert_long(time)
587
Franklin Schmidt <fschmidt@gmail.com>
parents: 503
diff changeset
48 pattern = pattern or "yyyy-MM-dd HH:mm:ss"
254
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
49 return SimpleDateFormat.new(pattern).format(Date.new(time))
e0fb8a49e031 add Time.luan
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents:
diff changeset
50 end
256
15122d724ce4 more Time functions
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 254
diff changeset
51
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 321
diff changeset
52 function M.on( year, month, day, hour, minute, second, millis )
256
15122d724ce4 more Time functions
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 254
diff changeset
53 month = month - 1
15122d724ce4 more Time functions
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 254
diff changeset
54 local cal = Calendar.getInstance()
290
9a0cc6d9b27b add Time.period();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
55 cal.setLenient(false)
256
15122d724ce4 more Time functions
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 254
diff changeset
56 cal.set( year, month, day, hour or 0, minute or 0, second or 0 )
15122d724ce4 more Time functions
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 254
diff changeset
57 cal.set( Calendar.MILLISECOND, millis or 0 )
15122d724ce4 more Time functions
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 254
diff changeset
58 return cal.getTimeInMillis()
15122d724ce4 more Time functions
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 254
diff changeset
59 end
15122d724ce4 more Time functions
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 254
diff changeset
60
715
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
61 function M.period( t )
290
9a0cc6d9b27b add Time.period();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
62 local cal = Calendar.getInstance()
9a0cc6d9b27b add Time.period();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
63 cal.setTimeZone(TimeZone.getTimeZone("GMT"))
715
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
64 local days = t.days or 0
290
9a0cc6d9b27b add Time.period();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
65 days = days + 1
715
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
66 cal.set( 1970, 0, days, t.hours or 0, t.minutes or 0, t.seconds or 0 )
a82d385ec2c3 add Thread.schedule() and improve Time.period()
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
67 cal.set( Calendar.MILLISECOND, t.millis or 0 )
290
9a0cc6d9b27b add Time.period();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
68 return cal.getTimeInMillis()
9a0cc6d9b27b add Time.period();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
69 end
9a0cc6d9b27b add Time.period();
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 283
diff changeset
70
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 321
diff changeset
71 function M.parse( pattern, source )
256
15122d724ce4 more Time functions
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 254
diff changeset
72 return SimpleDateFormat.new(pattern).parse(source).getTime()
15122d724ce4 more Time functions
fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
parents: 254
diff changeset
73 end
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 321
diff changeset
74
1079
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
75
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
76 local count_times = {
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
77 days = M.period{days=1}
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
78 hours = M.period{hours=1}
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
79 minutes = M.period{minutes=1}
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
80 seconds = M.period{seconds=1}
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
81 }
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
82
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
83 function M.count( time, ... )
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
84 local cal = Calendar.getInstance()
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
85 cal.setTimeInMillis(time)
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
86 local rtn = {}
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
87 for i, v in ipairs{...} do
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
88 local t = count_times[v]
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
89 t or error("invalid field: "..v)
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
90 rtn[#rtn+1] = floor(time/t)
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
91 time = time%t
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
92 end
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
93 rtn[#rtn+1] = time
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
94 return Table.unpack(rtn)
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
95 end
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
96
53e77f60b789 add Time.count
Franklin Schmidt <fschmidt@gmail.com>
parents: 775
diff changeset
97
503
92c3d22745b8 make _ENV optional
Franklin Schmidt <fschmidt@gmail.com>
parents: 321
diff changeset
98 return M