| -- |
| -- TIME |
| -- |
| CREATE TABLE TIME_TBL (f1 time(2)); |
| INSERT INTO TIME_TBL VALUES ('00:00'); |
| INSERT INTO TIME_TBL VALUES ('01:00'); |
| -- as of 7.4, timezone spec should be accepted and ignored |
| INSERT INTO TIME_TBL VALUES ('02:03 PST'); |
| INSERT INTO TIME_TBL VALUES ('11:59 EDT'); |
| INSERT INTO TIME_TBL VALUES ('12:00'); |
| INSERT INTO TIME_TBL VALUES ('12:01'); |
| INSERT INTO TIME_TBL VALUES ('23:59'); |
| INSERT INTO TIME_TBL VALUES ('11:59:59.99 PM'); |
| INSERT INTO TIME_TBL VALUES ('2003-03-07 15:36:39 America/New_York'); |
| INSERT INTO TIME_TBL VALUES ('2003-07-07 15:36:39 America/New_York'); |
| -- this should fail (the timezone offset is not known) |
| INSERT INTO TIME_TBL VALUES ('15:36:39 America/New_York'); |
| ERROR: invalid input syntax for type time: "15:36:39 America/New_York" |
| LINE 1: INSERT INTO TIME_TBL VALUES ('15:36:39 America/New_York'); |
| ^ |
| SELECT f1 AS "Time" FROM TIME_TBL; |
| Time |
| ------------- |
| 00:00:00 |
| 01:00:00 |
| 02:03:00 |
| 11:59:00 |
| 12:00:00 |
| 12:01:00 |
| 23:59:00 |
| 23:59:59.99 |
| 15:36:39 |
| 15:36:39 |
| (10 rows) |
| |
| SELECT f1 AS "Three" FROM TIME_TBL WHERE f1 < '05:06:07'; |
| Three |
| ---------- |
| 00:00:00 |
| 01:00:00 |
| 02:03:00 |
| (3 rows) |
| |
| SELECT f1 AS "Five" FROM TIME_TBL WHERE f1 > '05:06:07'; |
| Five |
| ------------- |
| 11:59:00 |
| 12:00:00 |
| 12:01:00 |
| 23:59:00 |
| 23:59:59.99 |
| 15:36:39 |
| 15:36:39 |
| (7 rows) |
| |
| SELECT f1 AS "None" FROM TIME_TBL WHERE f1 < '00:00'; |
| None |
| ------ |
| (0 rows) |
| |
| SELECT f1 AS "Eight" FROM TIME_TBL WHERE f1 >= '00:00'; |
| Eight |
| ------------- |
| 00:00:00 |
| 01:00:00 |
| 02:03:00 |
| 11:59:00 |
| 12:00:00 |
| 12:01:00 |
| 23:59:00 |
| 23:59:59.99 |
| 15:36:39 |
| 15:36:39 |
| (10 rows) |
| |
| -- Check edge cases |
| SELECT '23:59:59.999999'::time; |
| time |
| ----------------- |
| 23:59:59.999999 |
| (1 row) |
| |
| SELECT '23:59:59.9999999'::time; -- rounds up |
| time |
| ---------- |
| 24:00:00 |
| (1 row) |
| |
| SELECT '23:59:60'::time; -- rounds up |
| time |
| ---------- |
| 24:00:00 |
| (1 row) |
| |
| SELECT '24:00:00'::time; -- allowed |
| time |
| ---------- |
| 24:00:00 |
| (1 row) |
| |
| SELECT '24:00:00.01'::time; -- not allowed |
| ERROR: date/time field value out of range: "24:00:00.01" |
| LINE 1: SELECT '24:00:00.01'::time; |
| ^ |
| SELECT '23:59:60.01'::time; -- not allowed |
| ERROR: date/time field value out of range: "23:59:60.01" |
| LINE 1: SELECT '23:59:60.01'::time; |
| ^ |
| SELECT '24:01:00'::time; -- not allowed |
| ERROR: date/time field value out of range: "24:01:00" |
| LINE 1: SELECT '24:01:00'::time; |
| ^ |
| SELECT '25:00:00'::time; -- not allowed |
| ERROR: date/time field value out of range: "25:00:00" |
| LINE 1: SELECT '25:00:00'::time; |
| ^ |
| -- Test non-error-throwing API |
| SELECT pg_input_is_valid('12:00:00', 'time'); |
| pg_input_is_valid |
| ------------------- |
| t |
| (1 row) |
| |
| SELECT pg_input_is_valid('25:00:00', 'time'); |
| pg_input_is_valid |
| ------------------- |
| f |
| (1 row) |
| |
| SELECT pg_input_is_valid('15:36:39 America/New_York', 'time'); |
| pg_input_is_valid |
| ------------------- |
| f |
| (1 row) |
| |
| SELECT * FROM pg_input_error_info('25:00:00', 'time'); |
| message | detail | hint | sql_error_code |
| ------------------------------------------------+--------+------+---------------- |
| date/time field value out of range: "25:00:00" | | | 22008 |
| (1 row) |
| |
| SELECT * FROM pg_input_error_info('15:36:39 America/New_York', 'time'); |
| message | detail | hint | sql_error_code |
| -----------------------------------------------------------------+--------+------+---------------- |
| invalid input syntax for type time: "15:36:39 America/New_York" | | | 22007 |
| (1 row) |
| |
| -- |
| -- TIME simple math |
| -- |
| -- We now make a distinction between time and intervals, |
| -- and adding two times together makes no sense at all. |
| -- Leave in one query to show that it is rejected, |
| -- and do the rest of the testing in horology.sql |
| -- where we do mixed-type arithmetic. - thomas 2000-12-02 |
| SELECT f1 + time '00:01' AS "Illegal" FROM TIME_TBL; |
| ERROR: operator is not unique: time without time zone + time without time zone |
| LINE 1: SELECT f1 + time '00:01' AS "Illegal" FROM TIME_TBL; |
| ^ |
| HINT: Could not choose a best candidate operator. You might need to add explicit type casts. |
| -- |
| -- test EXTRACT |
| -- |
| SELECT EXTRACT(MICROSECOND FROM TIME '2020-05-26 13:30:25.575401'); |
| extract |
| ---------- |
| 25575401 |
| (1 row) |
| |
| SELECT EXTRACT(MILLISECOND FROM TIME '2020-05-26 13:30:25.575401'); |
| extract |
| ----------- |
| 25575.401 |
| (1 row) |
| |
| SELECT EXTRACT(SECOND FROM TIME '2020-05-26 13:30:25.575401'); |
| extract |
| ----------- |
| 25.575401 |
| (1 row) |
| |
| SELECT EXTRACT(MINUTE FROM TIME '2020-05-26 13:30:25.575401'); |
| extract |
| --------- |
| 30 |
| (1 row) |
| |
| SELECT EXTRACT(HOUR FROM TIME '2020-05-26 13:30:25.575401'); |
| extract |
| --------- |
| 13 |
| (1 row) |
| |
| SELECT EXTRACT(DAY FROM TIME '2020-05-26 13:30:25.575401'); -- error |
| ERROR: unit "day" not supported for type time without time zone |
| SELECT EXTRACT(FORTNIGHT FROM TIME '2020-05-26 13:30:25.575401'); -- error |
| ERROR: unit "fortnight" not recognized for type time without time zone |
| SELECT EXTRACT(TIMEZONE FROM TIME '2020-05-26 13:30:25.575401'); -- error |
| ERROR: unit "timezone" not supported for type time without time zone |
| SELECT EXTRACT(EPOCH FROM TIME '2020-05-26 13:30:25.575401'); |
| extract |
| -------------- |
| 48625.575401 |
| (1 row) |
| |
| -- date_part implementation is mostly the same as extract, so only |
| -- test a few cases for additional coverage. |
| SELECT date_part('microsecond', TIME '2020-05-26 13:30:25.575401'); |
| date_part |
| ----------- |
| 25575401 |
| (1 row) |
| |
| SELECT date_part('millisecond', TIME '2020-05-26 13:30:25.575401'); |
| date_part |
| ----------- |
| 25575.401 |
| (1 row) |
| |
| SELECT date_part('second', TIME '2020-05-26 13:30:25.575401'); |
| date_part |
| ----------- |
| 25.575401 |
| (1 row) |
| |
| SELECT date_part('epoch', TIME '2020-05-26 13:30:25.575401'); |
| date_part |
| -------------- |
| 48625.575401 |
| (1 row) |
| |