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