Modul:Time
| Vorlagenprogrammierung | Diskussionen | Lua | Unterseiten | |||
| Modul | Deutsch | English
|
Modul: | Dokumentation | ||
Diese Seite enthält Code in der Programmiersprache Lua. Einbindungszahl Cirrus
--[=[ Time 2022-10-31
Modul for processing time information; point and span objects
Author: Vollbracht
== for use in other modules ==
* constant.PRECISIONLEVEL table of valid precision values
constants:
MIN lowest valid precision level (value for t.precision)
MINUSE lowest index of PRECISIONLEVEL table
MAX highest valid precision level
[MINUSE] .. [MAX] precision level name (unit)
function
unit(level) unit name of smallest significant time element
* point object representing a point of time
fields: year, month, day, hour, min, sec,
precision, timezone, calendarmodel
constructor:
Time:new(value) processes snack.datavalue.value e.g.
method:
Time:format(fmtStr) string representation for time object
Time:isLessthan(time) comparator method
Time:equals(time) comparator method
]=]
local p = {
constant = {
PRECISIONLEVEL = {
MIN = 0, -- lowest valid precision
MINUSE = 9, -- lowest available index
MAXUSE = 14, -- highest valid precision
MAX=15, -- highest available index
-- unused: 'E8', 'E7', 'E6', 'E5', 'E4',
-- [6]='millennium', [7]='century', [8]='decade',
[9]='year', [10]='month', [11]='day',
[12]='hour', [13]='min', [14]='sec', [15]='msec',
},
DEFAULTFORMAT = {
[6]='yyyye=( v.Chr.)', [7]='yyyye=( v.Chr.)', [9]='yyyye=( v.Chr.)',
[9]='yyyye=( v.Chr.)', [10]='mm/yyyy', [11]='dd.mm.yyyy',
[12]='HH Uhr', [13]='HH:MM Uhr',
[14]='E=(+)e=(-)yyyy-mm-ddTHH:MM:SSZ'
},
URI = {
GREGORIAN = "http://www.wikidata.org/entity/Q1985727",
JULIAN = "http://www.wikidata.org/entity/Q1985786"
},
MONTHLENGTH = {31,28,31,30,31,30,31,31,30,31,30,31}
},
point = {},
duration = {}
}
p.constant.STARTOFGREGORIAN = {
era = '+',
year = 1582,
month = 8,
day = 15,
precision = 11,
timezone = 0,
calendarmodel = p.constant.URI.GREGORIAN,
__index = function(table, key)
return p.point[key]
end
}
setmetatable(p.constant.STARTOFGREGORIAN, p.point)
--[[
p.constant.PRECISIONLEVEL
constant constructor:
]]
local precisionlevel = function()
o = {}
o.__index = function(table, key)
return p.constant.PRECISIONLEVEL[key]
end
o.unit = function(this, level)
if level < o.MIN then return '' end
if level < o.MINUSE then return o[o.MINUSE] end
if level > o.MAXUSE then return o[o.MAXUSE] end
local result = o[i]
if result then return result end
end
return o
end
---------------------- point ----------------------
-- Point of time
----------------------
local autoprecision = function(o, default)
if o.precision then return o.precision end
if o.sec then return 14 end
if o.min then return 13 end
if o.hour then return 12 end
if o.day then return 11 end
if o.month then return 10 end
return default
end
--[[
constructor
parameter:
source: either string that can be processed by
mw.language.getContentLanguage():formatDate
or table containing time information:
In this case negative julianian dates are accepted with an
offset of -1: 0 is translated to 1 BC, -1 = 2 BC, etc.
ATTENTION: This is usual but not in wikidata
]]
function p.point:new(source)
local o = nil
if source then
if type(source) == 'table' then
o = source
if o.year then
if o.year <= 0 then
o.era = '-'
o.year = 1 - o.year
o.calendarmodel = p.constant.URI.JULIAN
o.BC = true
else
if not o.era then o.era = '+' end
if o.BC then o.BC = false end
end
o.precision = autoprecision(o, 9)
else
o.era = 'n'
if o.BC then o.BC = false end
o.precision = autoprecision(o, 0)
end
else
o = {}
local fsIn = "+Y-m-d\\TH:i:s\\Z"
local fsOut = "(.)(%d+)%-(%d%d)%-(%d%d)T(%d%d):(%d%d):(%d%d)Z"
local lang = mw.language.getContentLanguage()
local success, t = pcall(lang.formatDate, lang, fsIn, source)
o.valid = success
if success then
o.era, o.year, o.month, o.day, o.hour, o.min, o.sec = t:match(fsOut)
o.year = tonumber(o.year)
o.month = tonumber(o.month)
o.day = tonumber(o.day)
o.hour = tonumber(o.hour)
o.min = tonumber(o.min)
o.sec = tonumber(o.sec)
else
o.year = 0
o.month = 0
o.day = 0
end
if t:match('00:00:00Z') then o.precision = 11
elseif t:match('00:00Z') then o.precision = 12
elseif t:match('00Z') then o.precision = 13
else o.precision = 14
end
end
setmetatable(o, self)
self.__index = self
if not o.calendarmodel then
if o < p.constant.STARTOFGREGORIAN then
o.calendarmodel = p.constant.URI.JULIAN
o.BC = true
else
o.calendarmodel = p.constant.URI.GREGORIAN
end
end
return o
else
local d = os.date("!*t")
for k, v in pairs(p.point) do d[k] = v end
d.era = '+'
d.precision = 14
d.timezone = 0
d.calendarmodel = p.constant.URI.GREGORIAN
return d
end
end
--[[
days(pointOfTime)
theoretical number of days since 1.1.0000
returns: positive integer or nil (year before christian counting)
]]
local days = function(point)
if not point.year then return nil end
if point.year < 1 then return nil end
if not point.month then return nil end
if not point.day then return nil end
local yb = point.year - 1
local list = { yb, yb,
point.year, point.year, point.year, point.year, point.year,
point.year, point.year, point.year, point.year, point.year}
local y = list[point.month]
list = {0, 31, 59, 90, 120, 151, 181, 212, 242, 273, 303, 334}
local s = math.floor(y / 4)
mw.log('days by ')
mw.log(point.calendarmodel)
if point.calendarmodel == p.constant.URI.GREGORIAN then
s = s - math.floor(y / 100)
s = s + math.floor(y / 400)
else
s = s -2
end
return yb * 365 + s + list[point.month] + point.day
end
--[[
pointOfTime:dayOfTheWeek
returns: number from 1 (sunday) to 7 (saturday) or
nil (year before christian counting)
]]
p.point.dayOfTheWeek = function(this)
local d = days(this)
if d then return (days(this)+1) % 7 + 1
else return nil end
end
--[[
pointOfTime:setPrecision(level)
pointOfTime.precision initialization by date string merely is a guess
]]
p.point.setPrecision = function(this, level)
this.precision = level
end
local byDays = function(days, calendar)
if not days then return nil end
local o = {}
if calendar then o.calendarmodel = calendar
elseif days >= 577675 then o.calendarmodel = p.constant.URI.GREGORIAN
else o.calendarmodel = p.constant.URI.JULIAN end
o.era = '+'
local febl = 28
if o.calendarmodel == p.constant.URI.GREGORIAN then
local yb = math.floor(days / 365.2425)
days = days - math.floor(yb * 365.2425)
o.year = yb + 1
if (o.year % 400 == 0 or o.year % 100 > 0 and o.year % 4 == 0)
and days > 60 then
days = days - 1
febl = 29
end
else
o.BC = true
local yb = math.floor(days / 365.25)
days = days - math.floor(yb * 365.25) + 2
o.year = yb + 1
if o.year % 4 == 0 and days > 60 then
days = days - 1
febl = 29
end
end
list = {334, 303, 273, 242, 212, 181, 151, 120, 90, 59, 31, 0}
local i = 1
while not o.day do
if days > list[i] then
o.month = 13 - i
o.day = days - list[i]
end
i = i + 1
end
list = {31, febl, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
if o.day > list[o.month] then
o.day = o.day - list[o.month]
o.month = o.month + 1
end
if o.month > 12 then
o.month = 1
o.year = o.year + 1
end
o.precision = 11
return p.point:new(o)
end
--[[
pointOfTime:format(fmtStr)
return formated date time value based on given format string
parameters:
fmtStr: limited format string evaluating each appearance of keys:
either
%y or %Y for year
%m for month
%d for day of month
%H for 24-hour hour value
%M for minute
%S for second
or
yy or yyyy for year
m or mm for month
d or dd for day of month
H or HH for 24-hour hour value
M or MM for minute
S or SS for second
e=(<content>) for content string appearing
if era is '-' (BC)
E=(<content>) for content string appearing
if era is '+' (CE)
returns date time value string with all requested information or ''
]]
p.point.format = function(this, fmtStr)
function d2(value)
if value > 9 then return value end
return '0' .. value
end
if not fmtStr then
if this.precision then
fmtStr = p.constant.DEFAULTFORMAT[this.precision]
if not fmtStr then return '' end
else return '' end
end
if fmtStr:match('%%') then
if this.year then
fmtStr = fmtStr:gsub('%%Y', this.year)
if this.year < 100 then fmtStr = fmtStr:gsub('%%y', this.year)
else fmtStr = fmtStr:gsub('%%y', d2(this.year % 100)) end
else
if fmtStr:match('%%[yY]') then return '' end
end
if this.month then fmtStr = fmtStr:gsub('%%m', d2(this.month))
else if fmtStr:match('%%m') then return '' end end
if this.month then fmtStr = fmtStr:gsub('%%d', d2(this.day))
else if fmtStr:match('%%d') then return '' end end
if this.month then fmtStr = fmtStr:gsub('%%H', d2(this.hour))
else if fmtStr:match('%%H') then return '' end end
if this.month then fmtStr = fmtStr:gsub('%%M', d2(this.min))
else if fmtStr:match('%%M') then return '' end end
if this.month then fmtStr = fmtStr:gsub('%%S', d2(this.sec))
else if fmtStr:match('%%S') then return '' end end
else
if this.year then
fmtStr = fmtStr:gsub('yyyy', this.year)
fmtStr = fmtStr:gsub('jjjj', this.year)
if this.year < 100 then
fmtStr = fmtStr:gsub('yy', this.year)
fmtStr = fmtStr:gsub('jj', this.year)
else
fmtStr = fmtStr:gsub('yy', d2(this.year % 100))
fmtStr = fmtStr:gsub('jj', d2(this.year % 100))
end
else if fmtStr:match('[jy][jy]') then return '' end end
if this.month then
fmtStr = fmtStr:gsub('mm', d2(this.month))
fmtStr = fmtStr:gsub('m', this.month)
else if fmtStr:match('m') then return '' end end
if this.day then
fmtStr = fmtStr:gsub('dd', d2(this.day))
fmtStr = fmtStr:gsub('tt', d2(this.day))
fmtStr = fmtStr:gsub('d', this.day)
fmtStr = fmtStr:gsub('t', this.day)
else if fmtStr:match('[dt]') then return '' end end
if this.hour then
fmtStr = fmtStr:gsub('HH', d2(this.hour))
fmtStr = fmtStr:gsub('H', this.hour)
else if fmtStr:match('H') then return '' end end
if this.min then
fmtStr = fmtStr:gsub('MM', d2(this.min))
fmtStr = fmtStr:gsub('M', this.min)
else if fmtStr:match('M') then return '' end end
if this.sec then
fmtStr = fmtStr:gsub('SS', d2(this.sec))
fmtStr = fmtStr:gsub('S', this.sec)
else if fmtStr:match('S') then return '' end end
if this.era then
if this.era == '+' then
fmtStr = fmtStr:gsub('e=%(.*%)', '')
fmtStr = fmtStr:gsub('E=%((.*)%)', '%1')
else
fmtStr = fmtStr:gsub('E=%(.*%)', '')
fmtStr = fmtStr:gsub('e=%((.*)%)', '%1')
end
end
end
return fmtStr
end
--[[
pointOfTime.isLessthan(a, b)
datetime compare
parameters:
a, b 2 pointOfTime objects
returns: true if on lowest precision level a is before b
false if necessary properties inavailable or
if a is same time or later than b on given
precision level
]]
p.point.isLessthan = function(a, b)
if not a then return false end
if not b then return false end
local precision = 11
if a.precision then precision = a.precision end
if b.precision and b.precision < precision then
precision = b.precision
end
if a.era and b.era and a.era ~= 'n' and b.era ~= 'n' then
if a.era ~= b.era then return b.era == '+' end
if a.year and b.year then
local na = tonumber(a.year)
local nb = tonumber(b.year)
if na ~= nb then return (a.era == '+') == (na < nb) end
else return false end
end
for i = 10, 14 do
if precision < i then return false end
local aa = a[p.constant.PRECISIONLEVEL[i]]
local ab = b[p.constant.PRECISIONLEVEL[i]]
if aa and ab then
local na = tonumber(aa)
local nb = tonumber(ab)
if na ~= nb then return na < nb end
else return false end
i = i + 1
end
return false
end
--[[
pointOfTime.LT(a, b)
comparator function for sort e.g.
]]
p.point.__lt = function(a, b)
if a.time then a = a.time end
if b.time then b = b.time end
if not a.isLessthan then return false end
return a:isLessthan(b)
end
--[[
pointOfTime.LE(a, b)
comparator function
]]
p.point.__le = function(a, b)
if a.time then a = a.time end
if b.time then b = b.time end
if not b.isLessthan then return false end
return not b:isLessthan(a)
end
--[[
pointOfTime.GT(a, b)
comparator function
]]
p.point.__gt = function(a, b)
if a.time then a = a.time end
if b.time then b = b.time end
if not b.isLessthan then return false end
return b:isLessthan(a)
end
--[[
pointOfTime.LE(a, b)
comparator function
]]
p.point.__ge = function(a, b)
if a.time then a = a.time end
if b.time then b = b.time end
if not a.isLessthan then return false end
return not a:isLessthan(b)
end
--[[
Time.equals(a, b)
compares any objects in terms of time properties
parameters: two of any kind
returns: true * if both objects represent the same time at lowest
common precision level
* if both objects lack the same time properties
* if both are no objects but of simple data type
false * if the objects represent different times at lowest
common precision level
* if only one lacks a relevant time property
* if only one is of simple data type even if the other
doesn't contain time properties at all
]]
p.point.equals = function(a, b) --####
if not a and not b then return true end
if not a then return false end
if not b then return false end
mw.logObject(a, '===== a')
mw.logObject(b, '===== b')
if type(a) ~= 'table' then return type (b) == 'table' end
if type (b) ~= 'table' then return false end
local precision = 11
if a.precision then precision = a.precision end
if b.precision and b.precision < precision then
precision = b.precision
end
if a.era then
if a.era == '+' then
if b.era and b.era ~= '+' then return false end
else
if b.era then
if b.era == '+' then return false end
else return false end
end
else
if b.era and b.era ~= '+' then return false end
end
if precision < 9 then precision = 9 end
for i = 9, precision do
local aa = a[p.constant.PRECISIONLEVEL[i]]
local ab = b[p.constant.PRECISIONLEVEL[i]]
if not aa ~= not ab then return false end
if aa and aa ~= ab then return false end
i = i + 1
end
return true
end
p.point.__eq = p.point.equals
p.point.__ne = function(this)
return not p.point.equals(this)
end
--[[
pointOfTime:gregorian()
gregorian variant of a julian date
]]
p.point.gregorian = function(this)
if this.calendarmodel == p.constant.URI.GREGORIAN then return this end
local result = {}
for k, v in pairs(this) do result[k] = v end
setmetatable(result, self)
self.__index = self
local yDif = this.year - 1600
local sdty = 0
local sdtc = 0
local cDif = 0
local dDif = 0
if this.year % 100 == 0 then
if this.month > 2 then sdty = 1 end
cDif = yDif / 100
if yDif > 0 then
if this.month > 2 then sdtc = 1 end
else
if this.month <= 2 then sdtc = -1 end
end
else
if this.year % 4 == 0 and this.month > 2 then sdty = 1 end
cDif = math.floor(yDif / 100)
end
local cDif = 10 + cDif - math.floor(yDif / 400)
end
---------------------- template service ----------------------
-- test, etc.
----------------------
local testLine = function(a, b, c)
local result = '<tr style="background-color:'
if type(b) == 'boolean' then if b then b = 'true' else b = 'false' end
elseif b == nil then b = 'nil'
elseif type(b) == 'table' then
local t = b.format
if t then b = t(b) end
end
if type(c) == 'boolean' then if c then c = 'true' else c = 'false' end
elseif c == nil then c = 'nil'
elseif type(c) == 'table' then
local t = c.format
if t then c = t(c) end
end
if b == c then result = result .. '#4f4">'
else result = result .. '#f44">' end
return result .. '<td>' .. a .. '</td><td>' .. b .. '</td><td>' .. c
.. '</td></tr>'
end
p.test = function()
local result = '<table class="wikitable">'
local a = p.point:new('1.3.2000')
mw.logObject(a)
result = result .. testLine("a:format('mm-dd')", a:format('mm-dd'), '03-01')
local b = p.constant.STARTOFGREGORIAN
result = result .. testLine("a, b", a, b)
result = result .. testLine("a < b", a < b, false)
result = result .. testLine("a > b", a > b, true)
result = result .. testLine("a == b", a == b, false)
result = result .. testLine("a ~= b", a ~= b, true)
a = p.point:new('1582-08-15')
result = result .. testLine("a, b", a, b)
result = result .. testLine("a < b", a < b, false)
result = result .. testLine("a == b", a == b, true)
result = result .. testLine("a ~= b", a ~= b, false)
a = p.point:new()
result = result .. testLine("today", a:format('d.m.yyyy'), '2.11.2022')
result = result .. testLine("day of the week", a:dayOfTheWeek(), 4)
result = result .. testLine("days of gregor", days(b), 577675)
result = result .. testLine("day of the week", b:dayOfTheWeek(), 2)
a = p.point:new('1582-08-04')
result = result .. testLine("days before", days(a), 577674)
result = result .. testLine("day of the week", a:dayOfTheWeek(), 1)
return result .. '</table>'
end
return p