From: Timur Safin via Tarantool-patches <tarantool-patches@dev.tarantool.org> To: "'Oleg Babin'" <olegrok@tarantool.org>, <v.shpilevoy@tarantool.org> Cc: <tarantool-patches@dev.tarantool.org> Subject: Re: [Tarantool-patches] [PATCH resend v2 03/11] lua, datetime: datetime tests Date: Fri, 30 Jul 2021 23:45:13 +0300 [thread overview] Message-ID: <043501d78583$cbc22fb0$63468f10$@tarantool.org> (raw) In-Reply-To: <89450197-1b62-9bd6-0b61-8ae99b3538ff@tarantool.org> Hello Oleg, : From: Oleg Babin <olegrok@tarantool.org> : Subject: Re: [Tarantool-patches] [PATCH resend v2 03/11] lua, datetime: : datetime tests : : Thanks for your patch. To be honest I don't understand the structure of : this changes. : : I expect that "datetime tests" will contain only tests. All unrelated to : tests changes : : should be squashed to the previous patch. Yup, sudden artefact of late minute squashes. Will copy to prior commit. : : : I put several comments below. : : : On 28.07.2021 13:34, Timur Safin via Tarantool-patches wrote: : > * created app-tap test for new builtin module `datetime.lua` : > * added case to check datetime string formatting using: : > - asctime (gmt time); : > - ctime (local TZ time); : > - strftime (using given format). : > : > * added positive/negative checks to datetime test : > - extended api of datetime.parse_date, .parse_time, .parse_time_zone : > with a length of parsed (sub)string; : > - this allows us to check partially valid strings like "20121224 Foo : bar". : > : > Part of #5941 : > --- : > src/lua/datetime.lua | 14 ++- : > test/app-tap/datetime.test.lua | 191 +++++++++++++++++++++++++++++++++ : > 2 files changed, 197 insertions(+), 8 deletions(-) : > create mode 100755 test/app-tap/datetime.test.lua : > : > diff --git a/src/lua/datetime.lua b/src/lua/datetime.lua : > index 0996ca5a2..f4d2d7737 100644 : > --- a/src/lua/datetime.lua : > +++ b/src/lua/datetime.lua : > @@ -318,7 +318,7 @@ local function datetime_new(o) : > end, : > : > month = function(v) : > - assert(v > 0 and v < 12 ) : > + assert(v > 0 and v < 13 ) : > M = v : > ymd = true : > end, : > @@ -393,9 +393,8 @@ end : > : > local function parse_date(str) : > local dt = ffi.new('dt_t[1]') : > - local rc = cdt.dt_parse_iso_date(str, #str, dt) : > - assert(rc > 0) : > - return mk_timestamp(dt[0]) : > + local len = cdt.dt_parse_iso_date(str, #str, dt) : > + return len > 0 and mk_timestamp(dt[0]) or nil, tonumber(len) : > end : > : > --[[ : > @@ -411,9 +410,8 @@ end : > local function parse_time(str) : > local sp = ffi.new('int[1]') : > local fp = ffi.new('int[1]') : > - local rc = cdt.dt_parse_iso_time(str, #str, sp, fp) : > - assert(rc > 0) : > - return mk_timestamp(nil, sp[0], fp[0]) : > + local len = cdt.dt_parse_iso_time(str, #str, sp, fp) : > + return len > 0 and mk_timestamp(nil, sp[0], fp[0]) or nil, : tonumber(len) : > end : > : > --[[ : > @@ -448,7 +446,7 @@ local function parse_str(str) : > str = str:sub(tonumber(n) + 1) : > : > local ch = str:sub(1,1) : > - if ch ~= 't' and ch ~= 'T' and ch ~= ' ' then : > + if ch:match('[Tt ]') == nil then : > return mk_timestamp(dt_) : > end : > : > diff --git a/test/app-tap/datetime.test.lua b/test/app- : tap/datetime.test.lua : > new file mode 100755 : > index 000000000..09c968858 : > --- /dev/null : > +++ b/test/app-tap/datetime.test.lua : > @@ -0,0 +1,191 @@ : > +#!/usr/bin/env tarantool : > + : > +local tap = require('tap') : > +local test = tap.test("errno") : > +local date = require('datetime') : > + : > +test:plan(5) : > + : > +test:test("Simple tests for parser", function(test) : > + test:plan(2) : > + test:ok(date("1970-01-01T01:00:00Z") == : > + date {year=1970, month=1, day=1, hour=1, minute=0, second=0}) : > + test:ok(date("1970-01-01T02:00:00+02:00") == : > + date {year=1970, month=1, day=1, hour=2, minute=0, second=0, : tz=120}) : > +end) : > + : > +test:test("Multiple tests for parser (with nanoseconds)", function(test) : > + test:plan(165) : > + -- borrowed from p5-time-moments/t/180_from_string.t : > + local tests = : > + { : > + { '1970-01-01T00:00:00Z', 0, 0, : 0 }, : > + { '1970-01-01T02:00:00+02:00', 0, 0, : 120 }, : > + { '1970-01-01T01:30:00+01:30', 0, 0, : 90 }, : > + { '1970-01-01T01:00:00+01:00', 0, 0, : 60 }, : > + { '1970-01-01T00:01:00+00:01', 0, 0, : 1 }, : > + { '1970-01-01T00:00:00+00:00', 0, 0, : 0 }, : > + { '1969-12-31T23:59:00-00:01', 0, 0, : -1 }, : > + { '1969-12-31T23:00:00-01:00', 0, 0, : -60 }, : > + { '1969-12-31T22:30:00-01:30', 0, 0, : -90 }, : > + { '1969-12-31T22:00:00-02:00', 0, 0, - : 120 }, : > + { '1970-01-01T00:00:00.123456789Z', 0, 123456789, : 0 }, : > + { '1970-01-01T00:00:00.12345678Z', 0, 123456780, : 0 }, : > + { '1970-01-01T00:00:00.1234567Z', 0, 123456700, : 0 }, : > + { '1970-01-01T00:00:00.123456Z', 0, 123456000, : 0 }, : > + { '1970-01-01T00:00:00.12345Z', 0, 123450000, : 0 }, : > + { '1970-01-01T00:00:00.1234Z', 0, 123400000, : 0 }, : > + { '1970-01-01T00:00:00.123Z', 0, 123000000, : 0 }, : > + { '1970-01-01T00:00:00.12Z', 0, 120000000, : 0 }, : > + { '1970-01-01T00:00:00.1Z', 0, 100000000, : 0 }, : > + { '1970-01-01T00:00:00.01Z', 0, 10000000, : 0 }, : > + { '1970-01-01T00:00:00.001Z', 0, 1000000, : 0 }, : > + { '1970-01-01T00:00:00.0001Z', 0, 100000, : 0 }, : > + { '1970-01-01T00:00:00.00001Z', 0, 10000, : 0 }, : > + { '1970-01-01T00:00:00.000001Z', 0, 1000, : 0 }, : > + { '1970-01-01T00:00:00.0000001Z', 0, 100, : 0 }, : > + { '1970-01-01T00:00:00.00000001Z', 0, 10, : 0 }, : > + { '1970-01-01T00:00:00.000000001Z', 0, 1, : 0 }, : > + { '1970-01-01T00:00:00.000000009Z', 0, 9, : 0 }, : > + { '1970-01-01T00:00:00.00000009Z', 0, 90, : 0 }, : > + { '1970-01-01T00:00:00.0000009Z', 0, 900, : 0 }, : > + { '1970-01-01T00:00:00.000009Z', 0, 9000, : 0 }, : > + { '1970-01-01T00:00:00.00009Z', 0, 90000, : 0 }, : > + { '1970-01-01T00:00:00.0009Z', 0, 900000, : 0 }, : > + { '1970-01-01T00:00:00.009Z', 0, 9000000, : 0 }, : > + { '1970-01-01T00:00:00.09Z', 0, 90000000, : 0 }, : > + { '1970-01-01T00:00:00.9Z', 0, 900000000, : 0 }, : > + { '1970-01-01T00:00:00.99Z', 0, 990000000, : 0 }, : > + { '1970-01-01T00:00:00.999Z', 0, 999000000, : 0 }, : > + { '1970-01-01T00:00:00.9999Z', 0, 999900000, : 0 }, : > + { '1970-01-01T00:00:00.99999Z', 0, 999990000, : 0 }, : > + { '1970-01-01T00:00:00.999999Z', 0, 999999000, : 0 }, : > + { '1970-01-01T00:00:00.9999999Z', 0, 999999900, : 0 }, : > + { '1970-01-01T00:00:00.99999999Z', 0, 999999990, : 0 }, : > + { '1970-01-01T00:00:00.999999999Z', 0, 999999999, : 0 }, : > + { '1970-01-01T00:00:00.0Z', 0, 0, : 0 }, : > + { '1970-01-01T00:00:00.00Z', 0, 0, : 0 }, : > + { '1970-01-01T00:00:00.000Z', 0, 0, : 0 }, : > + { '1970-01-01T00:00:00.0000Z', 0, 0, : 0 }, : > + { '1970-01-01T00:00:00.00000Z', 0, 0, : 0 }, : > + { '1970-01-01T00:00:00.000000Z', 0, 0, : 0 }, : > + { '1970-01-01T00:00:00.0000000Z', 0, 0, : 0 }, : > + { '1970-01-01T00:00:00.00000000Z', 0, 0, : 0 }, : > + { '1970-01-01T00:00:00.000000000Z', 0, 0, : 0 }, : > + { '1973-11-29T21:33:09Z', 123456789, 0, : 0 }, : > + { '2013-10-28T17:51:56Z', 1382982716, 0, : 0 }, : > + -- { '9999-12-31T23:59:59Z', 253402300799, : 0, 0 }, : : Why is it commented? It used to be failing to pass range checks, but now there is no reason (IIRC) need to restore this case. Thanks! : : > + } : > + for _, value in ipairs(tests) do : > + local str, epoch, nsec, offset : > + str, epoch, nsec, offset = unpack(value) : > + local dt = date(str) : > + test:ok(dt.secs == epoch, ('%s: dt.secs == %d'):format(str, : epoch)) : > + test:ok(dt.nsec == nsec, ('%s: dt.nsec == %d'):format(str, nsec)) : > + test:ok(dt.offset == offset, ('%s: dt.offset == %d'):format(str, : offset)) : > + end : > +end) : > + : > +local ffi = require('ffi') : > + : > +ffi.cdef [[ : > + void tzset(void); : > +]] : > + : : : It's probably better to require all modules at the top of the file. Will do : : > +test:test("Datetime string formatting", function(test) : > + test:plan(7) : > + local str = "1970-01-01" : > + local t = date(str) : > + test:ok(t.secs == 0, ('%s: t.secs == %d'):format(str, : tonumber(t.secs))) : > + test:ok(t.nsec == 0, ('%s: t.nsec == %d'):format(str, t.nsec)) : > + test:ok(t.offset == 0, ('%s: t.offset == %d'):format(str, t.offset)) : > + test:ok(date.asctime(t) == 'Thu Jan 1 00:00:00 1970\n', ('%s: : asctime'):format(str)) : > + -- ctime() is local timezone dependent. To make sure that : > + -- test is deterministic we enforce timezone via TZ environment : > + -- manipulations and calling tzset() : > + : > + -- redefine timezone to be always GMT-2 : > + os.setenv('TZ', 'GMT-2') : > + ffi.C.tzset() : > + test:ok(date.ctime(t) == 'Thu Jan 1 02:00:00 1970\n', ('%s: ctime : with timezone'):format(str)) : > + test:ok(date.strftime('%d/%m/%Y', t) == '01/01/1970', ('%s: strftime : #1'):format(str)) : > + test:ok(date.strftime('%A %d. %B %Y', t) == 'Thursday 01. January : 1970', ('%s: strftime #2'):format(str)) : > +end) : > + : > +test:test("Parse iso date - valid strings", function(test) : > + test:plan(32) : > + local good = { : > + {2012, 12, 24, "20121224", 8 }, : > + {2012, 12, 24, "20121224 Foo bar", 8 }, : > + {2012, 12, 24, "2012-12-24", 10 }, : > + {2012, 12, 24, "2012-12-24 23:59:59", 10 }, : > + {2012, 12, 24, "2012-12-24T00:00:00+00:00", 10 }, : > + {2012, 12, 24, "2012359", 7 }, : > + {2012, 12, 24, "2012359T235959+0130", 7 }, : > + {2012, 12, 24, "2012-359", 8 }, : > + {2012, 12, 24, "2012W521", 8 }, : > + {2012, 12, 24, "2012-W52-1", 10 }, : > + {2012, 12, 24, "2012Q485", 8 }, : > + {2012, 12, 24, "2012-Q4-85", 10 }, : > + { 1, 1, 1, "0001-Q1-01", 10 }, : > + { 1, 1, 1, "0001-W01-1", 10 }, : > + { 1, 1, 1, "0001-01-01", 10 }, : > + { 1, 1, 1, "0001-001", 8 }, : > + } : > + : > + for _, value in ipairs(good) do : > + local year, month, day, str, date_part_len; : : I didn't see before that somebody uses semicolon after variables definition. Centures of programming in C/C++ give to know :) : : It's about code-style. It is clear that this is syntactically correct. : : > + year, month, day, str, date_part_len = unpack(value) : > + local expected_date = date{year = year, month = month, day = day} : > + local date_part, len : > + date_part, len = date.parse_date(str) : > + test:ok(len == date_part_len, ('%s: length check %d'):format(str, : len)) : > + test:ok(expected_date == date_part, ('%s: expected : date'):format(str)) : > + end : > +end) : > + : > +test:test("Parse iso date - invalid strings", function(test) : > + test:plan(62) : > + local bad = { : > + "20121232" , -- Invalid day of month : > + "2012-12-310", -- Invalid day of month : > + "2012-13-24" , -- Invalid month : > + "2012367" , -- Invalid day of year : > + "2012-000" , -- Invalid day of year : > + "2012W533" , -- Invalid week of year : > + "2012-W52-8" , -- Invalid day of week : > + "2012Q495" , -- Invalid day of quarter : > + "2012-Q5-85" , -- Invalid quarter : > + "20123670" , -- Trailing digit : > + "201212320" , -- Trailing digit : > + "2012-12" , -- Reduced accuracy : > + "2012-Q4" , -- Reduced accuracy : > + "2012-Q42" , -- Invalid : > + "2012-Q1-1" , -- Invalid day of quarter : > + "2012Q--420" , -- Invalid : > + "2012-Q-420" , -- Invalid : > + "2012Q11" , -- Incomplete : > + "2012Q1234" , -- Trailing digit : > + "2012W12" , -- Incomplete : > + "2012W1234" , -- Trailing digit : > + "2012W-123" , -- Invalid : > + "2012-W12" , -- Incomplete : > + "2012-W12-12", -- Trailing digit : > + "2012U1234" , -- Invalid : > + "2012-1234" , -- Invalid : > + "2012-X1234" , -- Invalid : > + "0000-Q1-01" , -- Year less than 0001 : > + "0000-W01-1" , -- Year less than 0001 : > + "0000-01-01" , -- Year less than 0001 : > + "0000-001" , -- Year less than 0001 : > + } : > + : > + for _, str in ipairs(bad) do : > + local date_part, len : > + date_part, len = date.parse_date(str) : > + test:ok(len == 0, ('%s: length check %d'):format(str, len)) : > + test:ok(date_part == nil, ('%s: empty date check %s'):format(str, : date_part)) : > + end : > +end) : > + : > +os.exit(test:check() and 0 or 1) Thanks, Timur
next prev parent reply other threads:[~2021-07-30 20:45 UTC|newest] Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top 2021-07-28 10:34 [Tarantool-patches] [PATCH resend v2 00/11] Initial datetime support Timur Safin via Tarantool-patches 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 01/11] build: add Christian Hansen c-dt to the build Timur Safin via Tarantool-patches 2021-07-29 23:40 ` Vladislav Shpilevoy via Tarantool-patches 2021-07-31 9:22 ` Timur Safin via Tarantool-patches 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 02/11] lua: built-in module datetime Timur Safin via Tarantool-patches 2021-07-29 18:55 ` Oleg Babin via Tarantool-patches 2021-07-30 19:00 ` Timur Safin via Tarantool-patches 2021-07-31 6:29 ` Oleg Babin via Tarantool-patches 2021-07-31 16:51 ` Timur Safin via Tarantool-patches 2021-07-29 23:36 ` Vladislav Shpilevoy via Tarantool-patches 2021-07-30 15:39 ` Timur Safin via Tarantool-patches 2021-08-01 17:01 ` Vladislav Shpilevoy via Tarantool-patches 2021-08-01 20:23 ` Timur Safin via Tarantool-patches 2021-08-04 23:57 ` Vladislav Shpilevoy via Tarantool-patches 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 03/11] lua, datetime: datetime tests Timur Safin via Tarantool-patches 2021-07-29 18:55 ` Oleg Babin via Tarantool-patches 2021-07-30 20:45 ` Timur Safin via Tarantool-patches [this message] 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 04/11] lua, datetime: display datetime Timur Safin via Tarantool-patches 2021-07-29 18:55 ` Oleg Babin via Tarantool-patches 2021-07-30 21:48 ` Timur Safin via Tarantool-patches 2021-07-31 6:29 ` Oleg Babin via Tarantool-patches 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 05/11] box, datetime: add messagepack support for datetime Timur Safin via Tarantool-patches 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 06/11] box, datetime: datetime comparison for indices Timur Safin via Tarantool-patches 2021-07-29 18:56 ` Oleg Babin via Tarantool-patches 2021-07-30 22:18 ` Timur Safin via Tarantool-patches 2021-07-31 6:30 ` Oleg Babin via Tarantool-patches 2021-07-31 9:31 ` Timur Safin via Tarantool-patches 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 07/11] lua, datetime: proper datetime encoding Timur Safin via Tarantool-patches 2021-07-29 18:57 ` Oleg Babin via Tarantool-patches 2021-07-30 22:20 ` Timur Safin via Tarantool-patches 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 08/11] lua, datetime: calculated attributes for datetimes Timur Safin via Tarantool-patches 2021-07-29 18:57 ` Oleg Babin via Tarantool-patches 2021-07-30 22:30 ` Timur Safin via Tarantool-patches 2021-07-31 6:31 ` Oleg Babin via Tarantool-patches 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 09/11] lua, datetime: time intervals support Timur Safin via Tarantool-patches 2021-07-29 18:58 ` Oleg Babin via Tarantool-patches 2021-07-30 22:58 ` Timur Safin via Tarantool-patches 2021-07-31 6:31 ` Oleg Babin via Tarantool-patches 2021-07-31 9:20 ` Timur Safin via Tarantool-patches 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 10/11] lua, datetime: unixtime, timestamp setters in datetime.lua Timur Safin via Tarantool-patches 2021-07-29 18:58 ` Oleg Babin via Tarantool-patches 2021-07-30 23:11 ` Timur Safin via Tarantool-patches 2021-07-31 6:31 ` Oleg Babin via Tarantool-patches 2021-07-31 9:54 ` Timur Safin via Tarantool-patches 2021-07-28 10:34 ` [Tarantool-patches] [PATCH resend v2 11/11] datetime: changelog for datetime module Timur Safin via Tarantool-patches 2021-07-29 18:55 ` [Tarantool-patches] [PATCH resend v2 00/11] Initial datetime support Oleg Babin via Tarantool-patches
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to='043501d78583$cbc22fb0$63468f10$@tarantool.org' \ --to=tarantool-patches@dev.tarantool.org \ --cc=olegrok@tarantool.org \ --cc=tsafin@tarantool.org \ --cc=v.shpilevoy@tarantool.org \ --subject='Re: [Tarantool-patches] [PATCH resend v2 03/11] lua, datetime: datetime tests' \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox