Mercurial Hosting > luan
comparison src/luan/modules/Time.luan @ 1164:1f9d34a6f308
remove assertions
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Wed, 07 Feb 2018 17:36:38 -0700 |
parents | bae624e455e2 |
children | 8d95711f6615 |
comparison
equal
deleted
inserted
replaced
1163:fef8f0742da9 | 1164:1f9d34a6f308 |
---|---|
1 -- incomplete, will add as needed | 1 -- incomplete, will add as needed |
2 | 2 |
3 java() | 3 java() |
4 local Luan = require "luan:Luan.luan" | 4 local Luan = require "luan:Luan.luan" |
5 local error = Luan.error | 5 local error = Luan.error |
6 local assert_long = Luan.assert_long or error() | |
7 local ipairs = Luan.ipairs or error() | 6 local ipairs = Luan.ipairs or error() |
8 local Math = require "luan:Math.luan" | 7 local Math = require "luan:Math.luan" |
9 local floor = Math.floor or error() | 8 local floor = Math.floor or error() |
9 local Number = require "luan:Number.luan" | |
10 local long = Number.long or error() | |
10 local Table = require "luan:Table.luan" | 11 local Table = require "luan:Table.luan" |
11 local System = require "java:java.lang.System" | 12 local System = require "java:java.lang.System" |
12 local Calendar = require "java:java.util.Calendar" | 13 local Calendar = require "java:java.util.Calendar" |
13 local Date = require "java:java.util.Date" | 14 local Date = require "java:java.util.Date" |
14 local TimeZone = require "java:java.util.TimeZone" | 15 local TimeZone = require "java:java.util.TimeZone" |
53 local function set_time_zone(fmt) | 54 local function set_time_zone(fmt) |
54 Time.time_zone and fmt.setTimeZone( TimeZone.getTimeZone(Time.time_zone) ) | 55 Time.time_zone and fmt.setTimeZone( TimeZone.getTimeZone(Time.time_zone) ) |
55 end | 56 end |
56 | 57 |
57 function Time.format(time,pattern) | 58 function Time.format(time,pattern) |
58 time = assert_long(time) | 59 time = long(time) |
59 pattern = pattern or "yyyy-MM-dd HH:mm:ss" | 60 pattern = pattern or "yyyy-MM-dd HH:mm:ss" |
60 local fmt = SimpleDateFormat.new(pattern) | 61 local fmt = SimpleDateFormat.new(pattern) |
61 set_time_zone(fmt) | 62 set_time_zone(fmt) |
62 return fmt.format(Date.new(time)) | 63 return fmt.format(Date.new(time)) |
63 end | 64 end |