src/test/regress/expected/time.out

   1 --
   2 -- TIME
   3 --
   4 CREATE TABLE TIME_TBL (f1 time(2));
   5 INSERT INTO TIME_TBL VALUES ('00:00');
   6 INSERT INTO TIME_TBL VALUES ('01:00');
   7 -- as of 7.4, timezone spec should be accepted and ignored
   8 INSERT INTO TIME_TBL VALUES ('02:03 PST');
   9 INSERT INTO TIME_TBL VALUES ('11:59 EDT');
  10 INSERT INTO TIME_TBL VALUES ('12:00');
  11 INSERT INTO TIME_TBL VALUES ('12:01');
  12 INSERT INTO TIME_TBL VALUES ('23:59');
  13 INSERT INTO TIME_TBL VALUES ('11:59:59.99 PM');
  14 INSERT INTO TIME_TBL VALUES ('2003-03-07 15:36:39 America/New_York');
  15 INSERT INTO TIME_TBL VALUES ('2003-07-07 15:36:39 America/New_York');
  16 -- this should fail (the timezone offset is not known)
  17 INSERT INTO TIME_TBL VALUES ('15:36:39 America/New_York');
  18 ERROR:  invalid input syntax for type time: "15:36:39 America/New_York"
  19 LINE 1: INSERT INTO TIME_TBL VALUES ('15:36:39 America/New_York');
  20                                      ^
  21 SELECT f1 AS "Time" FROM TIME_TBL;
  22     Time
  23 -------------
  24  00:00:00
  25  01:00:00
  26  02:03:00
  27  11:59:00
  28  12:00:00
  29  12:01:00
  30  23:59:00
  31  23:59:59.99
  32  15:36:39
  33  15:36:39
  34 (10 rows)
  35
  36 SELECT f1 AS "Three" FROM TIME_TBL WHERE f1 < '05:06:07';
  37   Three
  38 ----------
  39  00:00:00
  40  01:00:00
  41  02:03:00
  42 (3 rows)
  43
  44 SELECT f1 AS "Five" FROM TIME_TBL WHERE f1 > '05:06:07';
  45     Five
  46 -------------
  47  11:59:00
  48  12:00:00
  49  12:01:00
  50  23:59:00
  51  23:59:59.99
  52  15:36:39
  53  15:36:39
  54 (7 rows)
  55
  56 SELECT f1 AS "None" FROM TIME_TBL WHERE f1 < '00:00';
  57  None
  58 ------
  59 (0 rows)
  60
  61 SELECT f1 AS "Eight" FROM TIME_TBL WHERE f1 >= '00:00';
  62     Eight
  63 -------------
  64  00:00:00
  65  01:00:00
  66  02:03:00
  67  11:59:00
  68  12:00:00
  69  12:01:00
  70  23:59:00
  71  23:59:59.99
  72  15:36:39
  73  15:36:39
  74 (10 rows)
  75
  76 -- Check edge cases
  77 SELECT '23:59:59.999999'::time;
  78       time
  79 -----------------
  80  23:59:59.999999
  81 (1 row)
  82
  83 SELECT '23:59:59.9999999'::time;  -- rounds up
  84    time
  85 ----------
  86  24:00:00
  87 (1 row)
  88
  89 SELECT '23:59:60'::time;  -- rounds up
  90    time
  91 ----------
  92  24:00:00
  93 (1 row)
  94
  95 SELECT '24:00:00'::time;  -- allowed
  96    time
  97 ----------
  98  24:00:00
  99 (1 row)
 100
 101 SELECT '24:00:00.01'::time;  -- not allowed
 102 ERROR:  date/time field value out of range: "24:00:00.01"
 103 LINE 1: SELECT '24:00:00.01'::time;
 104                ^
 105 SELECT '23:59:60.01'::time;  -- not allowed
 106 ERROR:  date/time field value out of range: "23:59:60.01"
 107 LINE 1: SELECT '23:59:60.01'::time;
 108                ^
 109 SELECT '24:01:00'::time;  -- not allowed
 110 ERROR:  date/time field value out of range: "24:01:00"
 111 LINE 1: SELECT '24:01:00'::time;
 112                ^
 113 SELECT '25:00:00'::time;  -- not allowed
 114 ERROR:  date/time field value out of range: "25:00:00"
 115 LINE 1: SELECT '25:00:00'::time;
 116                ^
 117 -- Test non-error-throwing API
 118 SELECT pg_input_is_valid('12:00:00', 'time');
 119  pg_input_is_valid
 120 -------------------
 121  t
 122 (1 row)
 123
 124 SELECT pg_input_is_valid('25:00:00', 'time');
 125  pg_input_is_valid
 126 -------------------
 127  f
 128 (1 row)
 129
 130 SELECT pg_input_is_valid('15:36:39 America/New_York', 'time');
 131  pg_input_is_valid
 132 -------------------
 133  f
 134 (1 row)
 135
 136 SELECT * FROM pg_input_error_info('25:00:00', 'time');
 137                     message                     | detail | hint | sql_error_code
 138 ------------------------------------------------+--------+------+----------------
 139  date/time field value out of range: "25:00:00" |        |      | 22008
 140 (1 row)
 141
 142 SELECT * FROM pg_input_error_info('15:36:39 America/New_York', 'time');
 143                              message                             | detail | hint | sql_error_code
 144 -----------------------------------------------------------------+--------+------+----------------
 145  invalid input syntax for type time: "15:36:39 America/New_York" |        |      | 22007
 146 (1 row)
 147
 148 --
 149 -- TIME simple math
 150 --
 151 -- We now make a distinction between time and intervals,
 152 -- and adding two times together makes no sense at all.
 153 -- Leave in one query to show that it is rejected,
 154 -- and do the rest of the testing in horology.sql
 155 -- where we do mixed-type arithmetic. - thomas 2000-12-02
 156 SELECT f1 + time '00:01' AS "Illegal" FROM TIME_TBL;
 157 ERROR:  operator is not unique: time without time zone + time without time zone
 158 LINE 1: SELECT f1 + time '00:01' AS "Illegal" FROM TIME_TBL;
 159                   ^
 160 HINT:  Could not choose a best candidate operator. You might need to add explicit type casts.
 161 --
 162 -- test EXTRACT
 163 --
 164 SELECT EXTRACT(MICROSECOND FROM TIME '2020-05-26 13:30:25.575401');
 165  extract
 166 ----------
 167  25575401
 168 (1 row)
 169
 170 SELECT EXTRACT(MILLISECOND FROM TIME '2020-05-26 13:30:25.575401');
 171   extract
 172 -----------
 173  25575.401
 174 (1 row)
 175
 176 SELECT EXTRACT(SECOND      FROM TIME '2020-05-26 13:30:25.575401');
 177   extract
 178 -----------
 179  25.575401
 180 (1 row)
 181
 182 SELECT EXTRACT(MINUTE      FROM TIME '2020-05-26 13:30:25.575401');
 183  extract
 184 ---------
 185       30
 186 (1 row)
 187
 188 SELECT EXTRACT(HOUR        FROM TIME '2020-05-26 13:30:25.575401');
 189  extract
 190 ---------
 191       13
 192 (1 row)
 193
 194 SELECT EXTRACT(DAY         FROM TIME '2020-05-26 13:30:25.575401');  -- error
 195 ERROR:  unit "day" not supported for type time without time zone
 196 SELECT EXTRACT(FORTNIGHT   FROM TIME '2020-05-26 13:30:25.575401');  -- error
 197 ERROR:  unit "fortnight" not recognized for type time without time zone
 198 SELECT EXTRACT(TIMEZONE    FROM TIME '2020-05-26 13:30:25.575401');  -- error
 199 ERROR:  unit "timezone" not supported for type time without time zone
 200 SELECT EXTRACT(EPOCH       FROM TIME '2020-05-26 13:30:25.575401');
 201    extract
 202 --------------
 203  48625.575401
 204 (1 row)
 205
 206 -- date_part implementation is mostly the same as extract, so only
 207 -- test a few cases for additional coverage.
 208 SELECT date_part('microsecond', TIME '2020-05-26 13:30:25.575401');
 209  date_part
 210 -----------
 211   25575401
 212 (1 row)
 213
 214 SELECT date_part('millisecond', TIME '2020-05-26 13:30:25.575401');
 215  date_part
 216 -----------
 217  25575.401
 218 (1 row)
 219
 220 SELECT date_part('second',      TIME '2020-05-26 13:30:25.575401');
 221  date_part
 222 -----------
 223  25.575401
 224 (1 row)
 225
 226 SELECT date_part('epoch',       TIME '2020-05-26 13:30:25.575401');
 227   date_part
 228 --------------
 229  48625.575401
 230 (1 row)
 231