1 /*-------------------------------------------------------------------------
4 * Support functions for date/time types.
6 * Portions Copyright (c) 1996-2019, PostgreSQL Global Development Group
7 * Portions Copyright (c) 1994, Regents of the University of California
11 * src/backend/utils/adt/datetime.c
13 *-------------------------------------------------------------------------
21 #include "access/htup_details.h"
22 #include "access/xact.h"
23 #include "catalog/pg_type.h"
24 #include "common/string.h"
26 #include "miscadmin.h"
27 #include "nodes/nodeFuncs.h"
28 #include "utils/builtins.h"
29 #include "utils/date.h"
30 #include "utils/datetime.h"
31 #include "utils/memutils.h"
32 #include "utils/tzparser.h"
35 static int DecodeNumber(int flen, char *field, bool haveTextMonth,
36 int fmask, int *tmask,
37 struct pg_tm *tm, fsec_t *fsec, bool *is2digits);
38 static int DecodeNumberField(int len, char *str,
39 int fmask, int *tmask,
40 struct pg_tm *tm, fsec_t *fsec, bool *is2digits);
41 static int DecodeTime(char *str, int fmask, int range,
42 int *tmask, struct pg_tm *tm, fsec_t *fsec);
43 static const datetkn *datebsearch(const char *key, const datetkn *base, int nel);
44 static int DecodeDate(char *str, int fmask, int *tmask, bool *is2digits,
46 static char *AppendSeconds(char *cp, int sec, fsec_t fsec,
47 int precision, bool fillzeros);
48 static void AdjustFractSeconds(double frac, struct pg_tm *tm, fsec_t *fsec,
50 static void AdjustFractDays(double frac, struct pg_tm *tm, fsec_t *fsec,
52 static int DetermineTimeZoneOffsetInternal(struct pg_tm *tm, pg_tz *tzp,
54 static bool DetermineTimeZoneAbbrevOffsetInternal(pg_time_t t,
55 const char *abbr, pg_tz *tzp,
56 int *offset, int *isdst);
57 static pg_tz *FetchDynamicTimeZone(TimeZoneAbbrevTable *tbl, const datetkn *tp);
60 const int day_tab[2][13] =
62 {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31, 0},
63 {31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31, 0}
66 const char *const months[] = {"Jan", "Feb", "Mar", "Apr", "May", "Jun",
67 "Jul", "Aug", "Sep", "Oct", "Nov", "Dec", NULL};
69 const char *const days[] = {"Sunday", "Monday", "Tuesday", "Wednesday",
70 "Thursday", "Friday", "Saturday", NULL};
73 /*****************************************************************************
75 *****************************************************************************/
78 * datetktbl holds date/time keywords.
80 * Note that this table must be strictly alphabetically ordered to allow an
81 * O(ln(N)) search algorithm to be used.
83 * The token field must be NUL-terminated; we truncate entries to TOKMAXLEN
86 * The static table contains no TZ, DTZ, or DYNTZ entries; rather those
87 * are loaded from configuration files and stored in zoneabbrevtbl, whose
88 * abbrevs[] field has the same format as the static datetktbl.
90 static const datetkn datetktbl[] = {
91 /* token, type, value */
92 {EARLY, RESERV, DTK_EARLY}, /* "-infinity" reserved for "early time" */
93 {DA_D, ADBC, AD}, /* "ad" for years > 0 */
94 {"allballs", RESERV, DTK_ZULU}, /* 00:00:00 */
98 {"at", IGNORE_DTF, 0}, /* "at" (throwaway) */
100 {"august", MONTH, 8},
101 {DB_C, ADBC, BC}, /* "bc" for years <= 0 */
102 {"d", UNITS, DTK_DAY}, /* "day of month" for ISO input */
104 {"december", MONTH, 12},
105 {"dow", UNITS, DTK_DOW}, /* day of week */
106 {"doy", UNITS, DTK_DOY}, /* day of year */
107 {"dst", DTZMOD, SECS_PER_HOUR},
108 {EPOCH, RESERV, DTK_EPOCH}, /* "epoch" reserved for system epoch time */
110 {"february", MONTH, 2},
113 {"h", UNITS, DTK_HOUR}, /* "hour" */
114 {LATE, RESERV, DTK_LATE}, /* "infinity" reserved for "late time" */
115 {"isodow", UNITS, DTK_ISODOW}, /* ISO day of week, Sunday == 7 */
116 {"isoyear", UNITS, DTK_ISOYEAR}, /* year in terms of the ISO week date */
117 {"j", UNITS, DTK_JULIAN},
119 {"january", MONTH, 1},
120 {"jd", UNITS, DTK_JULIAN},
122 {"julian", UNITS, DTK_JULIAN},
126 {"m", UNITS, DTK_MONTH}, /* "month" for ISO input */
130 {"mm", UNITS, DTK_MINUTE}, /* "minute" for ISO input */
134 {"november", MONTH, 11},
135 {NOW, RESERV, DTK_NOW}, /* current transaction time */
137 {"october", MONTH, 10},
138 {"on", IGNORE_DTF, 0}, /* "on" (throwaway) */
140 {"s", UNITS, DTK_SECOND}, /* "seconds" for ISO input */
142 {"saturday", DOW, 6},
145 {"september", MONTH, 9},
148 {"t", ISOTIME, DTK_TIME}, /* Filler for ISO time fields */
152 {"thursday", DOW, 4},
153 {TODAY, RESERV, DTK_TODAY}, /* midnight */
154 {TOMORROW, RESERV, DTK_TOMORROW}, /* tomorrow midnight */
159 {"wednesday", DOW, 3},
161 {"y", UNITS, DTK_YEAR}, /* "year" for ISO input */
162 {YESTERDAY, RESERV, DTK_YESTERDAY} /* yesterday midnight */
165 static const int szdatetktbl = sizeof datetktbl / sizeof datetktbl[0];
168 * deltatktbl: same format as datetktbl, but holds keywords used to represent
169 * time units (eg, for intervals, and for EXTRACT).
171 static const datetkn deltatktbl[] = {
172 /* token, type, value */
173 {"@", IGNORE_DTF, 0}, /* postgres relative prefix */
174 {DAGO, AGO, 0}, /* "ago" indicates negative time offset */
175 {"c", UNITS, DTK_CENTURY}, /* "century" relative */
176 {"cent", UNITS, DTK_CENTURY}, /* "century" relative */
177 {"centuries", UNITS, DTK_CENTURY}, /* "centuries" relative */
178 {DCENTURY, UNITS, DTK_CENTURY}, /* "century" relative */
179 {"d", UNITS, DTK_DAY}, /* "day" relative */
180 {DDAY, UNITS, DTK_DAY}, /* "day" relative */
181 {"days", UNITS, DTK_DAY}, /* "days" relative */
182 {"dec", UNITS, DTK_DECADE}, /* "decade" relative */
183 {DDECADE, UNITS, DTK_DECADE}, /* "decade" relative */
184 {"decades", UNITS, DTK_DECADE}, /* "decades" relative */
185 {"decs", UNITS, DTK_DECADE}, /* "decades" relative */
186 {"h", UNITS, DTK_HOUR}, /* "hour" relative */
187 {DHOUR, UNITS, DTK_HOUR}, /* "hour" relative */
188 {"hours", UNITS, DTK_HOUR}, /* "hours" relative */
189 {"hr", UNITS, DTK_HOUR}, /* "hour" relative */
190 {"hrs", UNITS, DTK_HOUR}, /* "hours" relative */
191 {"m", UNITS, DTK_MINUTE}, /* "minute" relative */
192 {"microsecon", UNITS, DTK_MICROSEC}, /* "microsecond" relative */
193 {"mil", UNITS, DTK_MILLENNIUM}, /* "millennium" relative */
194 {"millennia", UNITS, DTK_MILLENNIUM}, /* "millennia" relative */
195 {DMILLENNIUM, UNITS, DTK_MILLENNIUM}, /* "millennium" relative */
196 {"millisecon", UNITS, DTK_MILLISEC}, /* relative */
197 {"mils", UNITS, DTK_MILLENNIUM}, /* "millennia" relative */
198 {"min", UNITS, DTK_MINUTE}, /* "minute" relative */
199 {"mins", UNITS, DTK_MINUTE}, /* "minutes" relative */
200 {DMINUTE, UNITS, DTK_MINUTE}, /* "minute" relative */
201 {"minutes", UNITS, DTK_MINUTE}, /* "minutes" relative */
202 {"mon", UNITS, DTK_MONTH}, /* "months" relative */
203 {"mons", UNITS, DTK_MONTH}, /* "months" relative */
204 {DMONTH, UNITS, DTK_MONTH}, /* "month" relative */
205 {"months", UNITS, DTK_MONTH},
206 {"ms", UNITS, DTK_MILLISEC},
207 {"msec", UNITS, DTK_MILLISEC},
208 {DMILLISEC, UNITS, DTK_MILLISEC},
209 {"mseconds", UNITS, DTK_MILLISEC},
210 {"msecs", UNITS, DTK_MILLISEC},
211 {"qtr", UNITS, DTK_QUARTER}, /* "quarter" relative */
212 {DQUARTER, UNITS, DTK_QUARTER}, /* "quarter" relative */
213 {"s", UNITS, DTK_SECOND},
214 {"sec", UNITS, DTK_SECOND},
215 {DSECOND, UNITS, DTK_SECOND},
216 {"seconds", UNITS, DTK_SECOND},
217 {"secs", UNITS, DTK_SECOND},
218 {DTIMEZONE, UNITS, DTK_TZ}, /* "timezone" time offset */
219 {"timezone_h", UNITS, DTK_TZ_HOUR}, /* timezone hour units */
220 {"timezone_m", UNITS, DTK_TZ_MINUTE}, /* timezone minutes units */
221 {"us", UNITS, DTK_MICROSEC}, /* "microsecond" relative */
222 {"usec", UNITS, DTK_MICROSEC}, /* "microsecond" relative */
223 {DMICROSEC, UNITS, DTK_MICROSEC}, /* "microsecond" relative */
224 {"useconds", UNITS, DTK_MICROSEC}, /* "microseconds" relative */
225 {"usecs", UNITS, DTK_MICROSEC}, /* "microseconds" relative */
226 {"w", UNITS, DTK_WEEK}, /* "week" relative */
227 {DWEEK, UNITS, DTK_WEEK}, /* "week" relative */
228 {"weeks", UNITS, DTK_WEEK}, /* "weeks" relative */
229 {"y", UNITS, DTK_YEAR}, /* "year" relative */
230 {DYEAR, UNITS, DTK_YEAR}, /* "year" relative */
231 {"years", UNITS, DTK_YEAR}, /* "years" relative */
232 {"yr", UNITS, DTK_YEAR}, /* "year" relative */
233 {"yrs", UNITS, DTK_YEAR} /* "years" relative */
236 static const int szdeltatktbl = sizeof deltatktbl / sizeof deltatktbl[0];
238 static TimeZoneAbbrevTable *zoneabbrevtbl = NULL;
240 /* Caches of recent lookup results in the above tables */
242 static const datetkn *datecache[MAXDATEFIELDS] = {NULL};
244 static const datetkn *deltacache[MAXDATEFIELDS] = {NULL};
246 static const datetkn *abbrevcache[MAXDATEFIELDS] = {NULL};
250 * Calendar time to Julian date conversions.
251 * Julian date is commonly used in astronomical applications,
252 * since it is numerically accurate and computationally simple.
253 * The algorithms here will accurately convert between Julian day
254 * and calendar date for all non-negative Julian days
255 * (i.e. from Nov 24, -4713 on).
257 * Rewritten to eliminate overflow problems. This now allows the
258 * routines to work correctly for all Julian day counts from
259 * 0 to 2147483647 (Nov 24, -4713 to Jun 3, 5874898) assuming
260 * a 32-bit integer. Longer types should also work to the limits
261 * of their precision.
263 * Actually, date2j() will work sanely, in the sense of producing
264 * valid negative Julian dates, significantly before Nov 24, -4713.
265 * We rely on it to do so back to Nov 1, -4713; see IS_VALID_JULIAN()
266 * and associated commentary in timestamp.h.
270 date2j(int y, int m, int d)
287 julian = y * 365 - 32167;
288 julian += y / 4 - century + century / 4;
289 julian += 7834 * m / 256 + d;
295 j2date(int jd, int *year, int *month, int *day)
304 quad = julian / 146097;
305 extra = (julian - quad * 146097) * 4 + 3;
306 julian += 60 + quad * 3 + extra / 146097;
307 quad = julian / 1461;
308 julian -= quad * 1461;
309 y = julian * 4 / 1461;
310 julian = ((y != 0) ? ((julian + 305) % 365) : ((julian + 306) % 366))
314 quad = julian * 2141 / 65536;
315 *day = julian - 7834 * quad / 256;
316 *month = (quad + 10) % MONTHS_PER_YEAR + 1;
323 * j2day - convert Julian date to day-of-week (0..6 == Sun..Sat)
325 * Note: various places use the locution j2day(date - 1) to produce a
326 * result according to the convention 0..6 = Mon..Sun. This is a bit of
327 * a crock, but will work as long as the computation here is just a modulo.
334 /* Cope if division truncates towards zero, as it probably does */
343 * GetCurrentDateTime()
345 * Get the transaction start time ("now()") broken down as a struct pg_tm.
348 GetCurrentDateTime(struct pg_tm *tm)
353 timestamp2tm(GetCurrentTransactionStartTimestamp(), &tz, tm, &fsec,
355 /* Note: don't pass NULL tzp to timestamp2tm; affects behavior */
359 * GetCurrentTimeUsec()
361 * Get the transaction start time ("now()") broken down as a struct pg_tm,
362 * including fractional seconds and timezone offset.
365 GetCurrentTimeUsec(struct pg_tm *tm, fsec_t *fsec, int *tzp)
369 timestamp2tm(GetCurrentTransactionStartTimestamp(), &tz, tm, fsec,
371 /* Note: don't pass NULL tzp to timestamp2tm; affects behavior */
378 * Append seconds and fractional seconds (if any) at *cp.
380 * precision is the max number of fraction digits, fillzeros says to
381 * pad to two integral-seconds digits.
383 * Returns a pointer to the new end of string. No NUL terminator is put
384 * there; callers are responsible for NUL terminating str themselves.
386 * Note that any sign is stripped from the input seconds values.
389 AppendSeconds(char *cp, int sec, fsec_t fsec, int precision, bool fillzeros)
391 Assert(precision >= 0);
394 cp = pg_ltostr_zeropad(cp, Abs(sec), 2);
396 cp = pg_ltostr(cp, Abs(sec));
398 /* fsec_t is just an int32 */
401 int32 value = Abs(fsec);
402 char *end = &cp[precision + 1];
403 bool gotnonzero = false;
408 * Append the fractional seconds part. Note that we don't want any
409 * trailing zeros here, so since we're building the number in reverse
410 * we'll skip appending zeros until we've output a non-zero digit.
414 int32 oldval = value;
418 remainder = oldval - value * 10;
420 /* check if we got a non-zero */
425 cp[precision] = '0' + remainder;
427 end = &cp[precision];
431 * If we still have a non-zero value then precision must have not been
432 * enough to print the number. We punt the problem to pg_ltostr(),
433 * which will generate a correct answer in the minimum valid width.
436 return pg_ltostr(cp, Abs(fsec));
446 * Variant of above that's specialized to timestamp case.
448 * Returns a pointer to the new end of string. No NUL terminator is put
449 * there; callers are responsible for NUL terminating str themselves.
452 AppendTimestampSeconds(char *cp, struct pg_tm *tm, fsec_t fsec)
454 return AppendSeconds(cp, tm->tm_sec, fsec, MAX_TIMESTAMP_PRECISION, true);
458 * Multiply frac by scale (to produce seconds) and add to *tm & *fsec.
459 * We assume the input frac is less than 1 so overflow is not an issue.
462 AdjustFractSeconds(double frac, struct pg_tm *tm, fsec_t *fsec, int scale)
472 *fsec += rint(frac * 1000000);
475 /* As above, but initial scale produces days */
477 AdjustFractDays(double frac, struct pg_tm *tm, fsec_t *fsec, int scale)
484 extra_days = (int) frac;
485 tm->tm_mday += extra_days;
487 AdjustFractSeconds(frac, tm, fsec, SECS_PER_DAY);
490 /* Fetch a fractional-second value with suitable error checking */
492 ParseFractionalSecond(char *cp, fsec_t *fsec)
496 /* Caller should always pass the start of the fraction part */
499 frac = strtod(cp, &cp);
500 /* check for parse failure */
501 if (*cp != '\0' || errno != 0)
502 return DTERR_BAD_FORMAT;
503 *fsec = rint(frac * 1000000);
509 * Break string into tokens based on a date/time context.
510 * Returns 0 if successful, DTERR code if bogus input detected.
512 * timestr - the input string
513 * workbuf - workspace for field string storage. This must be
514 * larger than the largest legal input for this datetime type --
515 * some additional space will be needed to NUL terminate fields.
516 * buflen - the size of workbuf
517 * field[] - pointers to field strings are returned in this array
518 * ftype[] - field type indicators are returned in this array
519 * maxfields - dimensions of the above two arrays
520 * *numfields - set to the actual number of fields detected
522 * The fields extracted from the input are stored as separate,
523 * null-terminated strings in the workspace at workbuf. Any text is
524 * converted to lower case.
526 * Several field types are assigned:
527 * DTK_NUMBER - digits and (possibly) a decimal point
528 * DTK_DATE - digits and two delimiters, or digits and text
529 * DTK_TIME - digits, colon delimiters, and possibly a decimal point
530 * DTK_STRING - text (no digits or punctuation)
531 * DTK_SPECIAL - leading "+" or "-" followed by text
532 * DTK_TZ - leading "+" or "-" followed by digits (also eats ':', '.', '-')
534 * Note that some field types can hold unexpected items:
535 * DTK_NUMBER can hold date fields (yy.ddd)
536 * DTK_STRING can hold months (January) and time zones (PST)
537 * DTK_DATE can hold time zone names (America/New_York, GMT-8)
540 ParseDateTime(const char *timestr, char *workbuf, size_t buflen,
541 char **field, int *ftype, int maxfields, int *numfields)
544 const char *cp = timestr;
545 char *bufp = workbuf;
546 const char *bufend = workbuf + buflen;
549 * Set the character pointed-to by "bufptr" to "newchar", and increment
550 * "bufptr". "end" gives the end of the buffer -- we return an error if
551 * there is no space left to append a character to the buffer. Note that
552 * "bufptr" is evaluated twice.
554 #define APPEND_CHAR(bufptr, end, newchar) \
557 if (((bufptr) + 1) >= (end)) \
558 return DTERR_BAD_FORMAT; \
559 *(bufptr)++ = newchar; \
562 /* outer loop through fields */
565 /* Ignore spaces between fields */
566 if (isspace((unsigned char) *cp))
572 /* Record start of current field */
574 return DTERR_BAD_FORMAT;
577 /* leading digit? then date or time */
578 if (isdigit((unsigned char) *cp))
580 APPEND_CHAR(bufp, bufend, *cp++);
581 while (isdigit((unsigned char) *cp))
582 APPEND_CHAR(bufp, bufend, *cp++);
587 ftype[nf] = DTK_TIME;
588 APPEND_CHAR(bufp, bufend, *cp++);
589 while (isdigit((unsigned char) *cp) ||
590 (*cp == ':') || (*cp == '.'))
591 APPEND_CHAR(bufp, bufend, *cp++);
593 /* date field? allow embedded text month */
594 else if (*cp == '-' || *cp == '/' || *cp == '.')
596 /* save delimiting character to use later */
599 APPEND_CHAR(bufp, bufend, *cp++);
600 /* second field is all digits? then no embedded text month */
601 if (isdigit((unsigned char) *cp))
603 ftype[nf] = ((delim == '.') ? DTK_NUMBER : DTK_DATE);
604 while (isdigit((unsigned char) *cp))
605 APPEND_CHAR(bufp, bufend, *cp++);
608 * insist that the delimiters match to get a three-field
613 ftype[nf] = DTK_DATE;
614 APPEND_CHAR(bufp, bufend, *cp++);
615 while (isdigit((unsigned char) *cp) || *cp == delim)
616 APPEND_CHAR(bufp, bufend, *cp++);
621 ftype[nf] = DTK_DATE;
622 while (isalnum((unsigned char) *cp) || *cp == delim)
623 APPEND_CHAR(bufp, bufend, pg_tolower((unsigned char) *cp++));
628 * otherwise, number only and will determine year, month, day, or
629 * concatenated fields later...
632 ftype[nf] = DTK_NUMBER;
634 /* Leading decimal point? Then fractional seconds... */
637 APPEND_CHAR(bufp, bufend, *cp++);
638 while (isdigit((unsigned char) *cp))
639 APPEND_CHAR(bufp, bufend, *cp++);
641 ftype[nf] = DTK_NUMBER;
645 * text? then date string, month, day of week, special, or timezone
647 else if (isalpha((unsigned char) *cp))
651 ftype[nf] = DTK_STRING;
652 APPEND_CHAR(bufp, bufend, pg_tolower((unsigned char) *cp++));
653 while (isalpha((unsigned char) *cp))
654 APPEND_CHAR(bufp, bufend, pg_tolower((unsigned char) *cp++));
657 * Dates can have embedded '-', '/', or '.' separators. It could
658 * also be a timezone name containing embedded '/', '+', '-', '_',
659 * or ':' (but '_' or ':' can't be the first punctuation). If the
660 * next character is a digit or '+', we need to check whether what
661 * we have so far is a recognized non-timezone keyword --- if so,
662 * don't believe that this is the start of a timezone.
665 if (*cp == '-' || *cp == '/' || *cp == '.')
667 else if (*cp == '+' || isdigit((unsigned char) *cp))
669 *bufp = '\0'; /* null-terminate current field value */
670 /* we need search only the core token table, not TZ names */
671 if (datebsearch(field[nf], datetktbl, szdatetktbl) == NULL)
676 ftype[nf] = DTK_DATE;
679 APPEND_CHAR(bufp, bufend, pg_tolower((unsigned char) *cp++));
680 } while (*cp == '+' || *cp == '-' ||
681 *cp == '/' || *cp == '_' ||
682 *cp == '.' || *cp == ':' ||
683 isalnum((unsigned char) *cp));
686 /* sign? then special or numeric timezone */
687 else if (*cp == '+' || *cp == '-')
689 APPEND_CHAR(bufp, bufend, *cp++);
690 /* soak up leading whitespace */
691 while (isspace((unsigned char) *cp))
693 /* numeric timezone? */
694 /* note that "DTK_TZ" could also be a signed float or yyyy-mm */
695 if (isdigit((unsigned char) *cp))
698 APPEND_CHAR(bufp, bufend, *cp++);
699 while (isdigit((unsigned char) *cp) ||
700 *cp == ':' || *cp == '.' || *cp == '-')
701 APPEND_CHAR(bufp, bufend, *cp++);
704 else if (isalpha((unsigned char) *cp))
706 ftype[nf] = DTK_SPECIAL;
707 APPEND_CHAR(bufp, bufend, pg_tolower((unsigned char) *cp++));
708 while (isalpha((unsigned char) *cp))
709 APPEND_CHAR(bufp, bufend, pg_tolower((unsigned char) *cp++));
711 /* otherwise something wrong... */
713 return DTERR_BAD_FORMAT;
715 /* ignore other punctuation but use as delimiter */
716 else if (ispunct((unsigned char) *cp))
721 /* otherwise, something is not right... */
723 return DTERR_BAD_FORMAT;
725 /* force in a delimiter after each field */
737 * Interpret previously parsed fields for general date and time.
738 * Return 0 if full date, 1 if only time, and negative DTERR code if problems.
739 * (Currently, all callers treat 1 as an error return too.)
741 * External format(s):
742 * "<weekday> <month>-<day>-<year> <hour>:<minute>:<second>"
743 * "Fri Feb-7-1997 15:23:27"
744 * "Feb-7-1997 15:23:27"
745 * "2-7-1997 15:23:27"
746 * "1997-2-7 15:23:27"
747 * "1997.038 15:23:27" (day of year 1-366)
748 * Also supports input in compact time:
751 * "20011225T040506.789-07"
753 * Use the system-provided functions to get the current time zone
754 * if not specified in the input string.
756 * If the date is outside the range of pg_time_t (in practice that could only
757 * happen if pg_time_t is just 32 bits), then assume UTC time zone - thomas
761 DecodeDateTime(char **field, int *ftype, int nf,
762 int *dtype, struct pg_tm *tm, fsec_t *fsec, int *tzp)
767 int ptype = 0; /* "prefix type" for ISO y2001m02d04 format */
772 bool haveTextMonth = false;
773 bool isjulian = false;
774 bool is2digits = false;
776 pg_tz *namedTz = NULL;
777 pg_tz *abbrevTz = NULL;
783 * We'll insist on at least all of the date fields, but initialize the
784 * remaining fields in case they are not set later...
791 /* don't know daylight savings time status apriori */
796 for (i = 0; i < nf; i++)
803 * Integral julian day with attached time zone? All other
804 * forms with JD will be separated into distinct fields, so we
805 * handle just this case here.
807 if (ptype == DTK_JULIAN)
813 return DTERR_BAD_FORMAT;
816 val = strtoint(field[i], &cp, 10);
817 if (errno == ERANGE || val < 0)
818 return DTERR_FIELD_OVERFLOW;
820 j2date(val, &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
823 /* Get the time zone from the end of the string */
824 dterr = DecodeTimezone(cp, tzp);
828 tmask = DTK_DATE_M | DTK_TIME_M | DTK_M(TZ);
834 * Already have a date? Then this might be a time zone name
835 * with embedded punctuation (e.g. "America/New_York") or a
836 * run-together time with trailing time zone (e.g. hhmmss-zz).
837 * - thomas 2001-12-25
839 * We consider it a time zone if we already have month & day.
840 * This is to allow the form "mmm dd hhmmss tz year", which
841 * we've historically accepted.
843 else if (ptype != 0 ||
844 ((fmask & (DTK_M(MONTH) | DTK_M(DAY))) ==
845 (DTK_M(MONTH) | DTK_M(DAY))))
847 /* No time zone accepted? Then quit... */
849 return DTERR_BAD_FORMAT;
851 if (isdigit((unsigned char) *field[i]) || ptype != 0)
857 /* Sanity check; should not fail this test */
858 if (ptype != DTK_TIME)
859 return DTERR_BAD_FORMAT;
864 * Starts with a digit but we already have a time
865 * field? Then we are in trouble with a date and time
868 if ((fmask & DTK_TIME_M) == DTK_TIME_M)
869 return DTERR_BAD_FORMAT;
871 if ((cp = strchr(field[i], '-')) == NULL)
872 return DTERR_BAD_FORMAT;
874 /* Get the time zone from the end of the string */
875 dterr = DecodeTimezone(cp, tzp);
881 * Then read the rest of the field as a concatenated
884 dterr = DecodeNumberField(strlen(field[i]), field[i],
892 * modify tmask after returning from
893 * DecodeNumberField()
899 namedTz = pg_tzset(field[i]);
903 * We should return an error code instead of
904 * ereport'ing directly, but then there is no way
905 * to report the bad time zone name.
908 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
909 errmsg("time zone \"%s\" not recognized",
912 /* we'll apply the zone setting below */
918 dterr = DecodeDate(field[i], fmask,
919 &tmask, &is2digits, tm);
928 * This might be an ISO time following a "t" field.
932 /* Sanity check; should not fail this test */
933 if (ptype != DTK_TIME)
934 return DTERR_BAD_FORMAT;
937 dterr = DecodeTime(field[i], fmask, INTERVAL_FULL_RANGE,
943 * Check upper limit on hours; other limits checked in
946 /* test for > 24:00:00 */
947 if (tm->tm_hour > HOURS_PER_DAY ||
948 (tm->tm_hour == HOURS_PER_DAY &&
949 (tm->tm_min > 0 || tm->tm_sec > 0 || *fsec > 0)))
950 return DTERR_FIELD_OVERFLOW;
958 return DTERR_BAD_FORMAT;
960 dterr = DecodeTimezone(field[i], &tz);
971 * Was this an "ISO date" with embedded field labels? An
972 * example is "y2001m02d04" - thomas 2001-02-04
980 val = strtoint(field[i], &cp, 10);
982 return DTERR_FIELD_OVERFLOW;
985 * only a few kinds are allowed to have an embedded
996 return DTERR_BAD_FORMAT;
999 else if (*cp != '\0')
1000 return DTERR_BAD_FORMAT;
1006 tmask = DTK_M(YEAR);
1012 * already have a month and hour? then assume
1015 if ((fmask & DTK_M(MONTH)) != 0 &&
1016 (fmask & DTK_M(HOUR)) != 0)
1019 tmask = DTK_M(MINUTE);
1024 tmask = DTK_M(MONTH);
1035 tmask = DTK_M(HOUR);
1040 tmask = DTK_M(MINUTE);
1045 tmask = DTK_M(SECOND);
1048 dterr = ParseFractionalSecond(cp, fsec);
1051 tmask = DTK_ALL_SECS_M;
1057 dterr = DecodeTimezone(field[i], tzp);
1063 /* previous field was a label for "julian date" */
1065 return DTERR_FIELD_OVERFLOW;
1067 j2date(val, &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
1070 /* fractional Julian Day? */
1076 time = strtod(cp, &cp);
1077 if (*cp != '\0' || errno != 0)
1078 return DTERR_BAD_FORMAT;
1079 time *= USECS_PER_DAY;
1081 &tm->tm_hour, &tm->tm_min,
1083 tmask |= DTK_TIME_M;
1088 /* previous field was "t" for ISO time */
1089 dterr = DecodeNumberField(strlen(field[i]), field[i],
1090 (fmask | DTK_DATE_M),
1095 if (tmask != DTK_TIME_M)
1096 return DTERR_BAD_FORMAT;
1100 return DTERR_BAD_FORMAT;
1112 flen = strlen(field[i]);
1113 cp = strchr(field[i], '.');
1115 /* Embedded decimal and no date yet? */
1116 if (cp != NULL && !(fmask & DTK_DATE_M))
1118 dterr = DecodeDate(field[i], fmask,
1119 &tmask, &is2digits, tm);
1123 /* embedded decimal and several digits before? */
1124 else if (cp != NULL && flen - strlen(cp) > 2)
1127 * Interpret as a concatenated date or time Set the
1128 * type field to allow decoding other fields later.
1129 * Example: 20011223 or 040506
1131 dterr = DecodeNumberField(flen, field[i], fmask,
1139 * Is this a YMD or HMS specification, or a year number?
1140 * YMD and HMS are required to be six digits or more, so
1141 * if it is 5 digits, it is a year. If it is six or more
1142 * digits, we assume it is YMD or HMS unless no date and
1143 * no time values have been specified. This forces 6+
1144 * digit years to be at the end of the string, or to use
1145 * the ISO date specification.
1147 else if (flen >= 6 && (!(fmask & DTK_DATE_M) ||
1148 !(fmask & DTK_TIME_M)))
1150 dterr = DecodeNumberField(flen, field[i], fmask,
1156 /* otherwise it is a single date/time field... */
1159 dterr = DecodeNumber(flen, field[i],
1160 haveTextMonth, fmask,
1171 /* timezone abbrevs take precedence over built-in tokens */
1172 type = DecodeTimezoneAbbrev(i, field[i], &val, &valtz);
1173 if (type == UNKNOWN_FIELD)
1174 type = DecodeSpecial(i, field[i], &val);
1175 if (type == IGNORE_DTF)
1178 tmask = DTK_M(type);
1185 tmask = (DTK_DATE_M | DTK_TIME_M | DTK_M(TZ));
1187 GetCurrentTimeUsec(tm, fsec, tzp);
1193 GetCurrentDateTime(&cur_tm);
1194 j2date(date2j(cur_tm.tm_year, cur_tm.tm_mon, cur_tm.tm_mday) - 1,
1195 &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
1201 GetCurrentDateTime(&cur_tm);
1202 tm->tm_year = cur_tm.tm_year;
1203 tm->tm_mon = cur_tm.tm_mon;
1204 tm->tm_mday = cur_tm.tm_mday;
1210 GetCurrentDateTime(&cur_tm);
1211 j2date(date2j(cur_tm.tm_year, cur_tm.tm_mon, cur_tm.tm_mday) + 1,
1212 &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
1216 tmask = (DTK_TIME_M | DTK_M(TZ));
1234 * already have a (numeric) month? then see if we can
1237 if ((fmask & DTK_M(MONTH)) && !haveTextMonth &&
1238 !(fmask & DTK_M(DAY)) && tm->tm_mon >= 1 &&
1241 tm->tm_mday = tm->tm_mon;
1244 haveTextMonth = true;
1251 * daylight savings time modifier (solves "MET DST"
1254 tmask |= DTK_M(DTZ);
1257 return DTERR_BAD_FORMAT;
1264 * set mask for TZ here _or_ check for DTZ later when
1265 * getting default timezone
1270 return DTERR_BAD_FORMAT;
1277 return DTERR_BAD_FORMAT;
1284 return DTERR_BAD_FORMAT;
1285 /* we'll determine the actual offset later */
1310 * This is a filler field "t" indicating that the next
1311 * field is time. Try to verify that this is sensible.
1315 /* No preceding date? Then quit... */
1316 if ((fmask & DTK_DATE_M) != DTK_DATE_M)
1317 return DTERR_BAD_FORMAT;
1320 * We will need one of the following fields:
1321 * DTK_NUMBER should be hhmmss.fff
1322 * DTK_TIME should be hh:mm:ss.fff
1323 * DTK_DATE should be hhmmss-zz
1326 (ftype[i + 1] != DTK_NUMBER &&
1327 ftype[i + 1] != DTK_TIME &&
1328 ftype[i + 1] != DTK_DATE))
1329 return DTERR_BAD_FORMAT;
1337 * Before giving up and declaring error, check to see
1338 * if it is an all-alpha timezone name.
1340 namedTz = pg_tzset(field[i]);
1342 return DTERR_BAD_FORMAT;
1343 /* we'll apply the zone setting below */
1348 return DTERR_BAD_FORMAT;
1353 return DTERR_BAD_FORMAT;
1357 return DTERR_BAD_FORMAT;
1359 } /* end loop over fields */
1361 /* do final checking/adjustment of Y/M/D fields */
1362 dterr = ValidateDate(fmask, isjulian, is2digits, bc, tm);
1367 if (mer != HR24 && tm->tm_hour > HOURS_PER_DAY / 2)
1368 return DTERR_FIELD_OVERFLOW;
1369 if (mer == AM && tm->tm_hour == HOURS_PER_DAY / 2)
1371 else if (mer == PM && tm->tm_hour != HOURS_PER_DAY / 2)
1372 tm->tm_hour += HOURS_PER_DAY / 2;
1374 /* do additional checking for full date specs... */
1375 if (*dtype == DTK_DATE)
1377 if ((fmask & DTK_DATE_M) != DTK_DATE_M)
1379 if ((fmask & DTK_TIME_M) == DTK_TIME_M)
1381 return DTERR_BAD_FORMAT;
1385 * If we had a full timezone spec, compute the offset (we could not do
1386 * it before, because we need the date to resolve DST status).
1388 if (namedTz != NULL)
1390 /* daylight savings time modifier disallowed with full TZ */
1391 if (fmask & DTK_M(DTZMOD))
1392 return DTERR_BAD_FORMAT;
1394 *tzp = DetermineTimeZoneOffset(tm, namedTz);
1398 * Likewise, if we had a dynamic timezone abbreviation, resolve it
1401 if (abbrevTz != NULL)
1403 /* daylight savings time modifier disallowed with dynamic TZ */
1404 if (fmask & DTK_M(DTZMOD))
1405 return DTERR_BAD_FORMAT;
1407 *tzp = DetermineTimeZoneAbbrevOffset(tm, abbrev, abbrevTz);
1410 /* timezone not specified? then use session timezone */
1411 if (tzp != NULL && !(fmask & DTK_M(TZ)))
1414 * daylight savings time modifier but no standard timezone? then
1417 if (fmask & DTK_M(DTZMOD))
1418 return DTERR_BAD_FORMAT;
1420 *tzp = DetermineTimeZoneOffset(tm, session_timezone);
1428 /* DetermineTimeZoneOffset()
1430 * Given a struct pg_tm in which tm_year, tm_mon, tm_mday, tm_hour, tm_min,
1431 * and tm_sec fields are set, and a zic-style time zone definition, determine
1432 * the applicable GMT offset and daylight-savings status at that time.
1433 * Set the struct pg_tm's tm_isdst field accordingly, and return the GMT
1434 * offset as the function result.
1436 * Note: if the date is out of the range we can deal with, we return zero
1437 * as the GMT offset and set tm_isdst = 0. We don't throw an error here,
1438 * though probably some higher-level code will.
1441 DetermineTimeZoneOffset(struct pg_tm *tm, pg_tz *tzp)
1445 return DetermineTimeZoneOffsetInternal(tm, tzp, &t);
1449 /* DetermineTimeZoneOffsetInternal()
1451 * As above, but also return the actual UTC time imputed to the date/time
1454 * In event of an out-of-range date, we punt by returning zero into *tp.
1455 * This is okay for the immediate callers but is a good reason for not
1456 * exposing this worker function globally.
1458 * Note: it might seem that we should use mktime() for this, but bitter
1459 * experience teaches otherwise. This code is much faster than most versions
1460 * of mktime(), anyway.
1463 DetermineTimeZoneOffsetInternal(struct pg_tm *tm, pg_tz *tzp, pg_time_t *tp)
1473 long int before_gmtoff,
1480 * First, generate the pg_time_t value corresponding to the given
1481 * y/m/d/h/m/s taken as GMT time. If this overflows, punt and decide the
1482 * timezone is GMT. (For a valid Julian date, integer overflow should be
1483 * impossible with 64-bit pg_time_t, but let's check for safety.)
1485 if (!IS_VALID_JULIAN(tm->tm_year, tm->tm_mon, tm->tm_mday))
1487 date = date2j(tm->tm_year, tm->tm_mon, tm->tm_mday) - UNIX_EPOCH_JDATE;
1489 day = ((pg_time_t) date) * SECS_PER_DAY;
1490 if (day / SECS_PER_DAY != date)
1492 sec = tm->tm_sec + (tm->tm_min + tm->tm_hour * MINS_PER_HOUR) * SECS_PER_MINUTE;
1494 /* since sec >= 0, overflow could only be from +day to -mytime */
1495 if (mytime < 0 && day > 0)
1499 * Find the DST time boundary just before or following the target time. We
1500 * assume that all zones have GMT offsets less than 24 hours, and that DST
1501 * boundaries can't be closer together than 48 hours, so backing up 24
1502 * hours and finding the "next" boundary will work.
1504 prevtime = mytime - SECS_PER_DAY;
1505 if (mytime < 0 && prevtime > 0)
1508 res = pg_next_dst_boundary(&prevtime,
1509 &before_gmtoff, &before_isdst,
1511 &after_gmtoff, &after_isdst,
1514 goto overflow; /* failure? */
1518 /* Non-DST zone, life is simple */
1519 tm->tm_isdst = before_isdst;
1520 *tp = mytime - before_gmtoff;
1521 return -(int) before_gmtoff;
1525 * Form the candidate pg_time_t values with local-time adjustment
1527 beforetime = mytime - before_gmtoff;
1528 if ((before_gmtoff > 0 &&
1529 mytime < 0 && beforetime > 0) ||
1530 (before_gmtoff <= 0 &&
1531 mytime > 0 && beforetime < 0))
1533 aftertime = mytime - after_gmtoff;
1534 if ((after_gmtoff > 0 &&
1535 mytime < 0 && aftertime > 0) ||
1536 (after_gmtoff <= 0 &&
1537 mytime > 0 && aftertime < 0))
1541 * If both before or both after the boundary time, we know what to do. The
1542 * boundary time itself is considered to be after the transition, which
1543 * means we can accept aftertime == boundary in the second case.
1545 if (beforetime < boundary && aftertime < boundary)
1547 tm->tm_isdst = before_isdst;
1549 return -(int) before_gmtoff;
1551 if (beforetime > boundary && aftertime >= boundary)
1553 tm->tm_isdst = after_isdst;
1555 return -(int) after_gmtoff;
1559 * It's an invalid or ambiguous time due to timezone transition. In a
1560 * spring-forward transition, prefer the "before" interpretation; in a
1561 * fall-back transition, prefer "after". (We used to define and implement
1562 * this test as "prefer the standard-time interpretation", but that rule
1563 * does not help to resolve the behavior when both times are reported as
1564 * standard time; which does happen, eg Europe/Moscow in Oct 2014. Also,
1565 * in some zones such as Europe/Dublin, there is widespread confusion
1566 * about which time offset is "standard" time, so it's fortunate that our
1567 * behavior doesn't depend on that.)
1569 if (beforetime > aftertime)
1571 tm->tm_isdst = before_isdst;
1573 return -(int) before_gmtoff;
1575 tm->tm_isdst = after_isdst;
1577 return -(int) after_gmtoff;
1580 /* Given date is out of range, so assume UTC */
1587 /* DetermineTimeZoneAbbrevOffset()
1589 * Determine the GMT offset and DST flag to be attributed to a dynamic
1590 * time zone abbreviation, that is one whose meaning has changed over time.
1591 * *tm contains the local time at which the meaning should be determined,
1592 * and tm->tm_isdst receives the DST flag.
1594 * This differs from the behavior of DetermineTimeZoneOffset() in that a
1595 * standard-time or daylight-time abbreviation forces use of the corresponding
1596 * GMT offset even when the zone was then in DS or standard time respectively.
1597 * (However, that happens only if we can match the given abbreviation to some
1598 * abbreviation that appears in the IANA timezone data. Otherwise, we fall
1599 * back to doing DetermineTimeZoneOffset().)
1602 DetermineTimeZoneAbbrevOffset(struct pg_tm *tm, const char *abbr, pg_tz *tzp)
1610 * Compute the UTC time we want to probe at. (In event of overflow, we'll
1611 * probe at the epoch, which is a bit random but probably doesn't matter.)
1613 zone_offset = DetermineTimeZoneOffsetInternal(tm, tzp, &t);
1616 * Try to match the abbreviation to something in the zone definition.
1618 if (DetermineTimeZoneAbbrevOffsetInternal(t, abbr, tzp,
1619 &abbr_offset, &abbr_isdst))
1621 /* Success, so use the abbrev-specific answers. */
1622 tm->tm_isdst = abbr_isdst;
1627 * No match, so use the answers we already got from
1628 * DetermineTimeZoneOffsetInternal.
1634 /* DetermineTimeZoneAbbrevOffsetTS()
1636 * As above but the probe time is specified as a TimestampTz (hence, UTC time),
1637 * and DST status is returned into *isdst rather than into tm->tm_isdst.
1640 DetermineTimeZoneAbbrevOffsetTS(TimestampTz ts, const char *abbr,
1641 pg_tz *tzp, int *isdst)
1643 pg_time_t t = timestamptz_to_time_t(ts);
1651 * If the abbrev matches anything in the zone data, this is pretty easy.
1653 if (DetermineTimeZoneAbbrevOffsetInternal(t, abbr, tzp,
1654 &abbr_offset, isdst))
1658 * Else, break down the timestamp so we can use DetermineTimeZoneOffset.
1660 if (timestamp2tm(ts, &tz, &tm, &fsec, NULL, tzp) != 0)
1662 (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
1663 errmsg("timestamp out of range")));
1665 zone_offset = DetermineTimeZoneOffset(&tm, tzp);
1666 *isdst = tm.tm_isdst;
1671 /* DetermineTimeZoneAbbrevOffsetInternal()
1673 * Workhorse for above two functions: work from a pg_time_t probe instant.
1674 * On success, return GMT offset and DST status into *offset and *isdst.
1677 DetermineTimeZoneAbbrevOffsetInternal(pg_time_t t, const char *abbr, pg_tz *tzp,
1678 int *offset, int *isdst)
1680 char upabbr[TZ_STRLEN_MAX + 1];
1684 /* We need to force the abbrev to upper case */
1685 strlcpy(upabbr, abbr, sizeof(upabbr));
1686 for (p = (unsigned char *) upabbr; *p; p++)
1687 *p = pg_toupper(*p);
1689 /* Look up the abbrev's meaning at this time in this zone */
1690 if (pg_interpret_timezone_abbrev(upabbr,
1696 /* Change sign to agree with DetermineTimeZoneOffset() */
1697 *offset = (int) -gmtoff;
1705 * Interpret parsed string as time fields only.
1706 * Returns 0 if successful, DTERR code if bogus input detected.
1708 * Note that support for time zone is here for
1709 * SQL TIME WITH TIME ZONE, but it reveals
1710 * bogosity with SQL date/time standards, since
1711 * we must infer a time zone from current time.
1712 * - thomas 2000-03-10
1713 * Allow specifying date to get a better time zone,
1714 * if time zones are allowed. - thomas 2001-12-26
1717 DecodeTimeOnly(char **field, int *ftype, int nf,
1718 int *dtype, struct pg_tm *tm, fsec_t *fsec, int *tzp)
1723 int ptype = 0; /* "prefix type" for ISO h04mm05s06 format */
1727 bool isjulian = false;
1728 bool is2digits = false;
1731 pg_tz *namedTz = NULL;
1732 pg_tz *abbrevTz = NULL;
1733 char *abbrev = NULL;
1741 /* don't know daylight savings time status apriori */
1747 for (i = 0; i < nf; i++)
1754 * Time zone not allowed? Then should not accept dates or time
1755 * zones no matter what else!
1758 return DTERR_BAD_FORMAT;
1760 /* Under limited circumstances, we will accept a date... */
1761 if (i == 0 && nf >= 2 &&
1762 (ftype[nf - 1] == DTK_DATE || ftype[1] == DTK_TIME))
1764 dterr = DecodeDate(field[i], fmask,
1765 &tmask, &is2digits, tm);
1769 /* otherwise, this is a time and/or time zone */
1772 if (isdigit((unsigned char) *field[i]))
1777 * Starts with a digit but we already have a time
1778 * field? Then we are in trouble with time already...
1780 if ((fmask & DTK_TIME_M) == DTK_TIME_M)
1781 return DTERR_BAD_FORMAT;
1784 * Should not get here and fail. Sanity check only...
1786 if ((cp = strchr(field[i], '-')) == NULL)
1787 return DTERR_BAD_FORMAT;
1789 /* Get the time zone from the end of the string */
1790 dterr = DecodeTimezone(cp, tzp);
1796 * Then read the rest of the field as a concatenated
1799 dterr = DecodeNumberField(strlen(field[i]), field[i],
1800 (fmask | DTK_DATE_M),
1811 namedTz = pg_tzset(field[i]);
1815 * We should return an error code instead of
1816 * ereport'ing directly, but then there is no way
1817 * to report the bad time zone name.
1820 (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1821 errmsg("time zone \"%s\" not recognized",
1824 /* we'll apply the zone setting below */
1832 dterr = DecodeTime(field[i], (fmask | DTK_DATE_M),
1833 INTERVAL_FULL_RANGE,
1844 return DTERR_BAD_FORMAT;
1846 dterr = DecodeTimezone(field[i], &tz);
1857 * Was this an "ISO time" with embedded field labels? An
1858 * example is "h04mm05s06" - thomas 2001-02-04
1865 /* Only accept a date under limited circumstances */
1873 return DTERR_BAD_FORMAT;
1879 val = strtoint(field[i], &cp, 10);
1880 if (errno == ERANGE)
1881 return DTERR_FIELD_OVERFLOW;
1884 * only a few kinds are allowed to have an embedded
1895 return DTERR_BAD_FORMAT;
1898 else if (*cp != '\0')
1899 return DTERR_BAD_FORMAT;
1905 tmask = DTK_M(YEAR);
1911 * already have a month and hour? then assume
1914 if ((fmask & DTK_M(MONTH)) != 0 &&
1915 (fmask & DTK_M(HOUR)) != 0)
1918 tmask = DTK_M(MINUTE);
1923 tmask = DTK_M(MONTH);
1934 tmask = DTK_M(HOUR);
1939 tmask = DTK_M(MINUTE);
1944 tmask = DTK_M(SECOND);
1947 dterr = ParseFractionalSecond(cp, fsec);
1950 tmask = DTK_ALL_SECS_M;
1956 dterr = DecodeTimezone(field[i], tzp);
1962 /* previous field was a label for "julian date" */
1964 return DTERR_FIELD_OVERFLOW;
1966 j2date(val, &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
1974 time = strtod(cp, &cp);
1975 if (*cp != '\0' || errno != 0)
1976 return DTERR_BAD_FORMAT;
1977 time *= USECS_PER_DAY;
1979 &tm->tm_hour, &tm->tm_min,
1981 tmask |= DTK_TIME_M;
1986 /* previous field was "t" for ISO time */
1987 dterr = DecodeNumberField(strlen(field[i]), field[i],
1988 (fmask | DTK_DATE_M),
1995 if (tmask != DTK_TIME_M)
1996 return DTERR_BAD_FORMAT;
2000 return DTERR_BAD_FORMAT;
2012 flen = strlen(field[i]);
2013 cp = strchr(field[i], '.');
2015 /* Embedded decimal? */
2019 * Under limited circumstances, we will accept a
2022 if (i == 0 && nf >= 2 && ftype[nf - 1] == DTK_DATE)
2024 dterr = DecodeDate(field[i], fmask,
2025 &tmask, &is2digits, tm);
2029 /* embedded decimal and several digits before? */
2030 else if (flen - strlen(cp) > 2)
2033 * Interpret as a concatenated date or time Set
2034 * the type field to allow decoding other fields
2035 * later. Example: 20011223 or 040506
2037 dterr = DecodeNumberField(flen, field[i],
2038 (fmask | DTK_DATE_M),
2046 return DTERR_BAD_FORMAT;
2050 dterr = DecodeNumberField(flen, field[i],
2051 (fmask | DTK_DATE_M),
2058 /* otherwise it is a single date/time field... */
2061 dterr = DecodeNumber(flen, field[i],
2063 (fmask | DTK_DATE_M),
2074 /* timezone abbrevs take precedence over built-in tokens */
2075 type = DecodeTimezoneAbbrev(i, field[i], &val, &valtz);
2076 if (type == UNKNOWN_FIELD)
2077 type = DecodeSpecial(i, field[i], &val);
2078 if (type == IGNORE_DTF)
2081 tmask = DTK_M(type);
2090 GetCurrentTimeUsec(tm, fsec, NULL);
2094 tmask = (DTK_TIME_M | DTK_M(TZ));
2103 return DTERR_BAD_FORMAT;
2111 * daylight savings time modifier (solves "MET DST"
2114 tmask |= DTK_M(DTZ);
2117 return DTERR_BAD_FORMAT;
2124 * set mask for TZ here _or_ check for DTZ later when
2125 * getting default timezone
2130 return DTERR_BAD_FORMAT;
2138 return DTERR_BAD_FORMAT;
2146 return DTERR_BAD_FORMAT;
2147 /* we'll determine the actual offset later */
2170 * We will need one of the following fields:
2171 * DTK_NUMBER should be hhmmss.fff
2172 * DTK_TIME should be hh:mm:ss.fff
2173 * DTK_DATE should be hhmmss-zz
2176 (ftype[i + 1] != DTK_NUMBER &&
2177 ftype[i + 1] != DTK_TIME &&
2178 ftype[i + 1] != DTK_DATE))
2179 return DTERR_BAD_FORMAT;
2187 * Before giving up and declaring error, check to see
2188 * if it is an all-alpha timezone name.
2190 namedTz = pg_tzset(field[i]);
2192 return DTERR_BAD_FORMAT;
2193 /* we'll apply the zone setting below */
2198 return DTERR_BAD_FORMAT;
2203 return DTERR_BAD_FORMAT;
2207 return DTERR_BAD_FORMAT;
2209 } /* end loop over fields */
2211 /* do final checking/adjustment of Y/M/D fields */
2212 dterr = ValidateDate(fmask, isjulian, is2digits, bc, tm);
2217 if (mer != HR24 && tm->tm_hour > HOURS_PER_DAY / 2)
2218 return DTERR_FIELD_OVERFLOW;
2219 if (mer == AM && tm->tm_hour == HOURS_PER_DAY / 2)
2221 else if (mer == PM && tm->tm_hour != HOURS_PER_DAY / 2)
2222 tm->tm_hour += HOURS_PER_DAY / 2;
2225 * This should match the checks in make_timestamp_internal
2227 if (tm->tm_hour < 0 || tm->tm_min < 0 || tm->tm_min > MINS_PER_HOUR - 1 ||
2228 tm->tm_sec < 0 || tm->tm_sec > SECS_PER_MINUTE ||
2229 tm->tm_hour > HOURS_PER_DAY ||
2230 /* test for > 24:00:00 */
2231 (tm->tm_hour == HOURS_PER_DAY &&
2232 (tm->tm_min > 0 || tm->tm_sec > 0 || *fsec > 0)) ||
2233 *fsec < INT64CONST(0) || *fsec > USECS_PER_SEC)
2234 return DTERR_FIELD_OVERFLOW;
2236 if ((fmask & DTK_TIME_M) != DTK_TIME_M)
2237 return DTERR_BAD_FORMAT;
2240 * If we had a full timezone spec, compute the offset (we could not do it
2241 * before, because we may need the date to resolve DST status).
2243 if (namedTz != NULL)
2247 /* daylight savings time modifier disallowed with full TZ */
2248 if (fmask & DTK_M(DTZMOD))
2249 return DTERR_BAD_FORMAT;
2251 /* if non-DST zone, we do not need to know the date */
2252 if (pg_get_timezone_offset(namedTz, &gmtoff))
2254 *tzp = -(int) gmtoff;
2258 /* a date has to be specified */
2259 if ((fmask & DTK_DATE_M) != DTK_DATE_M)
2260 return DTERR_BAD_FORMAT;
2261 *tzp = DetermineTimeZoneOffset(tm, namedTz);
2266 * Likewise, if we had a dynamic timezone abbreviation, resolve it now.
2268 if (abbrevTz != NULL)
2274 * daylight savings time modifier but no standard timezone? then error
2276 if (fmask & DTK_M(DTZMOD))
2277 return DTERR_BAD_FORMAT;
2279 if ((fmask & DTK_DATE_M) == 0)
2280 GetCurrentDateTime(tmp);
2283 tmp->tm_year = tm->tm_year;
2284 tmp->tm_mon = tm->tm_mon;
2285 tmp->tm_mday = tm->tm_mday;
2287 tmp->tm_hour = tm->tm_hour;
2288 tmp->tm_min = tm->tm_min;
2289 tmp->tm_sec = tm->tm_sec;
2290 *tzp = DetermineTimeZoneAbbrevOffset(tmp, abbrev, abbrevTz);
2291 tm->tm_isdst = tmp->tm_isdst;
2294 /* timezone not specified? then use session timezone */
2295 if (tzp != NULL && !(fmask & DTK_M(TZ)))
2301 * daylight savings time modifier but no standard timezone? then error
2303 if (fmask & DTK_M(DTZMOD))
2304 return DTERR_BAD_FORMAT;
2306 if ((fmask & DTK_DATE_M) == 0)
2307 GetCurrentDateTime(tmp);
2310 tmp->tm_year = tm->tm_year;
2311 tmp->tm_mon = tm->tm_mon;
2312 tmp->tm_mday = tm->tm_mday;
2314 tmp->tm_hour = tm->tm_hour;
2315 tmp->tm_min = tm->tm_min;
2316 tmp->tm_sec = tm->tm_sec;
2317 *tzp = DetermineTimeZoneOffset(tmp, session_timezone);
2318 tm->tm_isdst = tmp->tm_isdst;
2325 * Decode date string which includes delimiters.
2326 * Return 0 if okay, a DTERR code if not.
2328 * str: field to be parsed
2329 * fmask: bitmask for field types already seen
2330 * *tmask: receives bitmask for fields found here
2331 * *is2digits: set to true if we find 2-digit year
2332 * *tm: field values are stored into appropriate members of this struct
2335 DecodeDate(char *str, int fmask, int *tmask, bool *is2digits,
2343 bool haveTextMonth = false;
2347 char *field[MAXDATEFIELDS];
2351 /* parse this string... */
2352 while (*str != '\0' && nf < MAXDATEFIELDS)
2354 /* skip field separators */
2355 while (*str != '\0' && !isalnum((unsigned char) *str))
2359 return DTERR_BAD_FORMAT; /* end of string after separator */
2362 if (isdigit((unsigned char) *str))
2364 while (isdigit((unsigned char) *str))
2367 else if (isalpha((unsigned char) *str))
2369 while (isalpha((unsigned char) *str))
2373 /* Just get rid of any non-digit, non-alpha characters... */
2379 /* look first for text fields, since that will be unambiguous month */
2380 for (i = 0; i < nf; i++)
2382 if (isalpha((unsigned char) *field[i]))
2384 type = DecodeSpecial(i, field[i], &val);
2385 if (type == IGNORE_DTF)
2388 dmask = DTK_M(type);
2393 haveTextMonth = true;
2397 return DTERR_BAD_FORMAT;
2400 return DTERR_BAD_FORMAT;
2405 /* mark this field as being completed */
2410 /* now pick up remaining numeric fields */
2411 for (i = 0; i < nf; i++)
2413 if (field[i] == NULL)
2416 if ((len = strlen(field[i])) <= 0)
2417 return DTERR_BAD_FORMAT;
2419 dterr = DecodeNumber(len, field[i], haveTextMonth, fmask,
2426 return DTERR_BAD_FORMAT;
2432 if ((fmask & ~(DTK_M(DOY) | DTK_M(TZ))) != DTK_DATE_M)
2433 return DTERR_BAD_FORMAT;
2435 /* validation of the field values must wait until ValidateDate() */
2441 * Check valid year/month/day values, handle BC and DOY cases
2442 * Return 0 if okay, a DTERR code if not.
2445 ValidateDate(int fmask, bool isjulian, bool is2digits, bool bc,
2448 if (fmask & DTK_M(YEAR))
2452 /* tm_year is correct and should not be touched */
2456 /* there is no year zero in AD/BC notation */
2457 if (tm->tm_year <= 0)
2458 return DTERR_FIELD_OVERFLOW;
2459 /* internally, we represent 1 BC as year zero, 2 BC as -1, etc */
2460 tm->tm_year = -(tm->tm_year - 1);
2464 /* process 1 or 2-digit input as 1970-2069 AD, allow '0' and '00' */
2465 if (tm->tm_year < 0) /* just paranoia */
2466 return DTERR_FIELD_OVERFLOW;
2467 if (tm->tm_year < 70)
2468 tm->tm_year += 2000;
2469 else if (tm->tm_year < 100)
2470 tm->tm_year += 1900;
2474 /* there is no year zero in AD/BC notation */
2475 if (tm->tm_year <= 0)
2476 return DTERR_FIELD_OVERFLOW;
2480 /* now that we have correct year, decode DOY */
2481 if (fmask & DTK_M(DOY))
2483 j2date(date2j(tm->tm_year, 1, 1) + tm->tm_yday - 1,
2484 &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
2487 /* check for valid month */
2488 if (fmask & DTK_M(MONTH))
2490 if (tm->tm_mon < 1 || tm->tm_mon > MONTHS_PER_YEAR)
2491 return DTERR_MD_FIELD_OVERFLOW;
2494 /* minimal check for valid day */
2495 if (fmask & DTK_M(DAY))
2497 if (tm->tm_mday < 1 || tm->tm_mday > 31)
2498 return DTERR_MD_FIELD_OVERFLOW;
2501 if ((fmask & DTK_DATE_M) == DTK_DATE_M)
2504 * Check for valid day of month, now that we know for sure the month
2505 * and year. Note we don't use MD_FIELD_OVERFLOW here, since it seems
2506 * unlikely that "Feb 29" is a YMD-order error.
2508 if (tm->tm_mday > day_tab[isleap(tm->tm_year)][tm->tm_mon - 1])
2509 return DTERR_FIELD_OVERFLOW;
2517 * Decode time string which includes delimiters.
2518 * Return 0 if okay, a DTERR code if not.
2520 * Only check the lower limit on hours, since this same code can be
2521 * used to represent time spans.
2524 DecodeTime(char *str, int fmask, int range,
2525 int *tmask, struct pg_tm *tm, fsec_t *fsec)
2530 *tmask = DTK_TIME_M;
2533 tm->tm_hour = strtoint(str, &cp, 10);
2534 if (errno == ERANGE)
2535 return DTERR_FIELD_OVERFLOW;
2537 return DTERR_BAD_FORMAT;
2539 tm->tm_min = strtoint(cp + 1, &cp, 10);
2540 if (errno == ERANGE)
2541 return DTERR_FIELD_OVERFLOW;
2546 /* If it's a MINUTE TO SECOND interval, take 2 fields as being mm:ss */
2547 if (range == (INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND)))
2549 tm->tm_sec = tm->tm_min;
2550 tm->tm_min = tm->tm_hour;
2554 else if (*cp == '.')
2556 /* always assume mm:ss.sss is MINUTE TO SECOND */
2557 dterr = ParseFractionalSecond(cp, fsec);
2560 tm->tm_sec = tm->tm_min;
2561 tm->tm_min = tm->tm_hour;
2564 else if (*cp == ':')
2567 tm->tm_sec = strtoint(cp + 1, &cp, 10);
2568 if (errno == ERANGE)
2569 return DTERR_FIELD_OVERFLOW;
2572 else if (*cp == '.')
2574 dterr = ParseFractionalSecond(cp, fsec);
2579 return DTERR_BAD_FORMAT;
2582 return DTERR_BAD_FORMAT;
2584 /* do a sanity check */
2585 if (tm->tm_hour < 0 || tm->tm_min < 0 || tm->tm_min > MINS_PER_HOUR - 1 ||
2586 tm->tm_sec < 0 || tm->tm_sec > SECS_PER_MINUTE ||
2587 *fsec < INT64CONST(0) ||
2588 *fsec > USECS_PER_SEC)
2589 return DTERR_FIELD_OVERFLOW;
2596 * Interpret plain numeric field as a date value in context.
2597 * Return 0 if okay, a DTERR code if not.
2600 DecodeNumber(int flen, char *str, bool haveTextMonth, int fmask,
2601 int *tmask, struct pg_tm *tm, fsec_t *fsec, bool *is2digits)
2610 val = strtoint(str, &cp, 10);
2611 if (errno == ERANGE)
2612 return DTERR_FIELD_OVERFLOW;
2614 return DTERR_BAD_FORMAT;
2619 * More than two digits before decimal point? Then could be a date or
2620 * a run-together time: 2001.360 20011225 040506.789
2624 dterr = DecodeNumberField(flen, str,
2625 (fmask | DTK_DATE_M),
2633 dterr = ParseFractionalSecond(cp, fsec);
2637 else if (*cp != '\0')
2638 return DTERR_BAD_FORMAT;
2640 /* Special case for day of year */
2641 if (flen == 3 && (fmask & DTK_DATE_M) == DTK_M(YEAR) && val >= 1 &&
2644 *tmask = (DTK_M(DOY) | DTK_M(MONTH) | DTK_M(DAY));
2646 /* tm_mon and tm_mday can't actually be set yet ... */
2650 /* Switch based on what we have so far */
2651 switch (fmask & DTK_DATE_M)
2656 * Nothing so far; make a decision about what we think the input
2657 * is. There used to be lots of heuristics here, but the
2658 * consensus now is to be paranoid. It *must* be either
2659 * YYYY-MM-DD (with a more-than-two-digit year field), or the
2660 * field order defined by DateOrder.
2662 if (flen >= 3 || DateOrder == DATEORDER_YMD)
2664 *tmask = DTK_M(YEAR);
2667 else if (DateOrder == DATEORDER_DMY)
2669 *tmask = DTK_M(DAY);
2674 *tmask = DTK_M(MONTH);
2680 /* Must be at second field of YY-MM-DD */
2681 *tmask = DTK_M(MONTH);
2685 case (DTK_M(MONTH)):
2689 * We are at the first numeric field of a date that included a
2690 * textual month name. We want to support the variants
2691 * MON-DD-YYYY, DD-MON-YYYY, and YYYY-MON-DD as unambiguous
2692 * inputs. We will also accept MON-DD-YY or DD-MON-YY in
2693 * either DMY or MDY modes, as well as YY-MON-DD in YMD mode.
2695 if (flen >= 3 || DateOrder == DATEORDER_YMD)
2697 *tmask = DTK_M(YEAR);
2702 *tmask = DTK_M(DAY);
2708 /* Must be at second field of MM-DD-YY */
2709 *tmask = DTK_M(DAY);
2714 case (DTK_M(YEAR) | DTK_M(MONTH)):
2717 /* Need to accept DD-MON-YYYY even in YMD mode */
2718 if (flen >= 3 && *is2digits)
2720 /* Guess that first numeric field is day was wrong */
2721 *tmask = DTK_M(DAY); /* YEAR is already set */
2722 tm->tm_mday = tm->tm_year;
2728 *tmask = DTK_M(DAY);
2734 /* Must be at third field of YY-MM-DD */
2735 *tmask = DTK_M(DAY);
2741 /* Must be at second field of DD-MM-YY */
2742 *tmask = DTK_M(MONTH);
2746 case (DTK_M(MONTH) | DTK_M(DAY)):
2747 /* Must be at third field of DD-MM-YY or MM-DD-YY */
2748 *tmask = DTK_M(YEAR);
2752 case (DTK_M(YEAR) | DTK_M(MONTH) | DTK_M(DAY)):
2753 /* we have all the date, so it must be a time field */
2754 dterr = DecodeNumberField(flen, str, fmask,
2762 /* Anything else is bogus input */
2763 return DTERR_BAD_FORMAT;
2767 * When processing a year field, mark it for adjustment if it's only one
2770 if (*tmask == DTK_M(YEAR))
2771 *is2digits = (flen <= 2);
2777 /* DecodeNumberField()
2778 * Interpret numeric string as a concatenated date or time field.
2779 * Return a DTK token (>= 0) if successful, a DTERR code (< 0) if not.
2781 * Use the context of previously decoded fields to help with
2782 * the interpretation.
2785 DecodeNumberField(int len, char *str, int fmask,
2786 int *tmask, struct pg_tm *tm, fsec_t *fsec, bool *is2digits)
2791 * Have a decimal point? Then this is a date or something with a seconds
2794 if ((cp = strchr(str, '.')) != NULL)
2797 * Can we use ParseFractionalSecond here? Not clear whether trailing
2798 * junk should be rejected ...
2803 frac = strtod(cp, NULL);
2805 return DTERR_BAD_FORMAT;
2806 *fsec = rint(frac * 1000000);
2807 /* Now truncate off the fraction for further processing */
2811 /* No decimal point and no complete date yet? */
2812 else if ((fmask & DTK_DATE_M) != DTK_DATE_M)
2816 *tmask = DTK_DATE_M;
2819 * Start from end and consider first 2 as Day, next 2 as Month,
2820 * and the rest as Year.
2822 tm->tm_mday = atoi(str + (len - 2));
2823 *(str + (len - 2)) = '\0';
2824 tm->tm_mon = atoi(str + (len - 4));
2825 *(str + (len - 4)) = '\0';
2826 tm->tm_year = atoi(str);
2834 /* not all time fields are specified? */
2835 if ((fmask & DTK_TIME_M) != DTK_TIME_M)
2840 *tmask = DTK_TIME_M;
2841 tm->tm_sec = atoi(str + 4);
2843 tm->tm_min = atoi(str + 2);
2845 tm->tm_hour = atoi(str);
2852 *tmask = DTK_TIME_M;
2854 tm->tm_min = atoi(str + 2);
2856 tm->tm_hour = atoi(str);
2862 return DTERR_BAD_FORMAT;
2867 * Interpret string as a numeric timezone.
2869 * Return 0 if okay (and set *tzp), a DTERR code if not okay.
2872 DecodeTimezone(char *str, int *tzp)
2880 /* leading character must be "+" or "-" */
2881 if (*str != '+' && *str != '-')
2882 return DTERR_BAD_FORMAT;
2885 hr = strtoint(str + 1, &cp, 10);
2886 if (errno == ERANGE)
2887 return DTERR_TZDISP_OVERFLOW;
2889 /* explicit delimiter? */
2893 min = strtoint(cp + 1, &cp, 10);
2894 if (errno == ERANGE)
2895 return DTERR_TZDISP_OVERFLOW;
2899 sec = strtoint(cp + 1, &cp, 10);
2900 if (errno == ERANGE)
2901 return DTERR_TZDISP_OVERFLOW;
2904 /* otherwise, might have run things together... */
2905 else if (*cp == '\0' && strlen(str) > 3)
2909 /* we could, but don't, support a run-together hhmmss format */
2914 /* Range-check the values; see notes in datatype/timestamp.h */
2915 if (hr < 0 || hr > MAX_TZDISP_HOUR)
2916 return DTERR_TZDISP_OVERFLOW;
2917 if (min < 0 || min >= MINS_PER_HOUR)
2918 return DTERR_TZDISP_OVERFLOW;
2919 if (sec < 0 || sec >= SECS_PER_MINUTE)
2920 return DTERR_TZDISP_OVERFLOW;
2922 tz = (hr * MINS_PER_HOUR + min) * SECS_PER_MINUTE + sec;
2929 return DTERR_BAD_FORMAT;
2935 /* DecodeTimezoneAbbrev()
2936 * Interpret string as a timezone abbreviation, if possible.
2938 * Returns an abbreviation type (TZ, DTZ, or DYNTZ), or UNKNOWN_FIELD if
2939 * string is not any known abbreviation. On success, set *offset and *tz to
2940 * represent the UTC offset (for TZ or DTZ) or underlying zone (for DYNTZ).
2941 * Note that full timezone names (such as America/New_York) are not handled
2942 * here, mostly for historical reasons.
2944 * Given string must be lowercased already.
2946 * Implement a cache lookup since it is likely that dates
2947 * will be related in format.
2950 DecodeTimezoneAbbrev(int field, char *lowtoken,
2951 int *offset, pg_tz **tz)
2956 tp = abbrevcache[field];
2957 /* use strncmp so that we match truncated tokens */
2958 if (tp == NULL || strncmp(lowtoken, tp->token, TOKMAXLEN) != 0)
2961 tp = datebsearch(lowtoken, zoneabbrevtbl->abbrevs,
2962 zoneabbrevtbl->numabbrevs);
2968 type = UNKNOWN_FIELD;
2974 abbrevcache[field] = tp;
2979 *tz = FetchDynamicTimeZone(zoneabbrevtbl, tp);
2983 *offset = tp->value;
2993 * Decode text string using lookup table.
2995 * Recognizes the keywords listed in datetktbl.
2996 * Note: at one time this would also recognize timezone abbreviations,
2997 * but no more; use DecodeTimezoneAbbrev for that.
2999 * Given string must be lowercased already.
3001 * Implement a cache lookup since it is likely that dates
3002 * will be related in format.
3005 DecodeSpecial(int field, char *lowtoken, int *val)
3010 tp = datecache[field];
3011 /* use strncmp so that we match truncated tokens */
3012 if (tp == NULL || strncmp(lowtoken, tp->token, TOKMAXLEN) != 0)
3014 tp = datebsearch(lowtoken, datetktbl, szdatetktbl);
3018 type = UNKNOWN_FIELD;
3023 datecache[field] = tp;
3034 * Zero out a pg_tm and associated fsec_t
3037 ClearPgTm(struct pg_tm *tm, fsec_t *fsec)
3050 * Interpret previously parsed fields for general time interval.
3051 * Returns 0 if successful, DTERR code if bogus input detected.
3052 * dtype, tm, fsec are output parameters.
3054 * Allow "date" field DTK_DATE since this could be just
3055 * an unsigned floating point number. - thomas 1997-11-16
3057 * Allow ISO-style time span, with implicit units on number of days
3058 * preceding an hh:mm:ss field. - thomas 1998-04-30
3061 DecodeInterval(char **field, int *ftype, int nf, int range,
3062 int *dtype, struct pg_tm *tm, fsec_t *fsec)
3064 bool is_before = false;
3076 ClearPgTm(tm, fsec);
3078 /* read through list backwards to pick up units before values */
3079 for (i = nf - 1; i >= 0; i--)
3084 dterr = DecodeTime(field[i], fmask, range,
3094 * Timezone means a token with a leading sign character and at
3095 * least one digit; there could be ':', '.', '-' embedded in
3098 Assert(*field[i] == '-' || *field[i] == '+');
3101 * Check for signed hh:mm or hh:mm:ss. If so, process exactly
3102 * like DTK_TIME case above, plus handling the sign.
3104 if (strchr(field[i] + 1, ':') != NULL &&
3105 DecodeTime(field[i] + 1, fmask, range,
3106 &tmask, tm, fsec) == 0)
3108 if (*field[i] == '-')
3110 /* flip the sign on all fields */
3111 tm->tm_hour = -tm->tm_hour;
3112 tm->tm_min = -tm->tm_min;
3113 tm->tm_sec = -tm->tm_sec;
3118 * Set the next type to be a day, if units are not
3119 * specified. This handles the case of '1 +02:03' since we
3120 * are reading right to left.
3127 * Otherwise, fall through to DTK_NUMBER case, which can
3128 * handle signed float numbers and signed year-month values.
3135 if (type == IGNORE_DTF)
3137 /* use typmod to decide what rightmost field is */
3140 case INTERVAL_MASK(YEAR):
3143 case INTERVAL_MASK(MONTH):
3144 case INTERVAL_MASK(YEAR) | INTERVAL_MASK(MONTH):
3147 case INTERVAL_MASK(DAY):
3150 case INTERVAL_MASK(HOUR):
3151 case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR):
3154 case INTERVAL_MASK(MINUTE):
3155 case INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE):
3156 case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE):
3159 case INTERVAL_MASK(SECOND):
3160 case INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
3161 case INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
3162 case INTERVAL_MASK(DAY) | INTERVAL_MASK(HOUR) | INTERVAL_MASK(MINUTE) | INTERVAL_MASK(SECOND):
3172 val = strtoint(field[i], &cp, 10);
3173 if (errno == ERANGE)
3174 return DTERR_FIELD_OVERFLOW;
3178 /* SQL "years-months" syntax */
3181 val2 = strtoint(cp + 1, &cp, 10);
3182 if (errno == ERANGE || val2 < 0 || val2 >= MONTHS_PER_YEAR)
3183 return DTERR_FIELD_OVERFLOW;
3185 return DTERR_BAD_FORMAT;
3187 if (*field[i] == '-')
3189 if (((double) val * MONTHS_PER_YEAR + val2) > INT_MAX ||
3190 ((double) val * MONTHS_PER_YEAR + val2) < INT_MIN)
3191 return DTERR_FIELD_OVERFLOW;
3192 val = val * MONTHS_PER_YEAR + val2;
3195 else if (*cp == '.')
3198 fval = strtod(cp, &cp);
3199 if (*cp != '\0' || errno != 0)
3200 return DTERR_BAD_FORMAT;
3202 if (*field[i] == '-')
3205 else if (*cp == '\0')
3208 return DTERR_BAD_FORMAT;
3210 tmask = 0; /* DTK_M(type); */
3215 *fsec += rint(val + fval);
3216 tmask = DTK_M(MICROSECOND);
3220 /* avoid overflowing the fsec field */
3221 tm->tm_sec += val / 1000;
3222 val -= (val / 1000) * 1000;
3223 *fsec += rint((val + fval) * 1000);
3224 tmask = DTK_M(MILLISECOND);
3229 *fsec += rint(fval * 1000000);
3232 * If any subseconds were specified, consider this
3233 * microsecond and millisecond input as well.
3236 tmask = DTK_M(SECOND);
3238 tmask = DTK_ALL_SECS_M;
3243 AdjustFractSeconds(fval, tm, fsec, SECS_PER_MINUTE);
3244 tmask = DTK_M(MINUTE);
3249 AdjustFractSeconds(fval, tm, fsec, SECS_PER_HOUR);
3250 tmask = DTK_M(HOUR);
3251 type = DTK_DAY; /* set for next field */
3256 AdjustFractSeconds(fval, tm, fsec, SECS_PER_DAY);
3261 tm->tm_mday += val * 7;
3262 AdjustFractDays(fval, tm, fsec, 7);
3263 tmask = DTK_M(WEEK);
3268 AdjustFractDays(fval, tm, fsec, DAYS_PER_MONTH);
3269 tmask = DTK_M(MONTH);
3275 tm->tm_mon += fval * MONTHS_PER_YEAR;
3276 tmask = DTK_M(YEAR);
3280 tm->tm_year += val * 10;
3282 tm->tm_mon += fval * MONTHS_PER_YEAR * 10;
3283 tmask = DTK_M(DECADE);
3287 tm->tm_year += val * 100;
3289 tm->tm_mon += fval * MONTHS_PER_YEAR * 100;
3290 tmask = DTK_M(CENTURY);
3293 case DTK_MILLENNIUM:
3294 tm->tm_year += val * 1000;
3296 tm->tm_mon += fval * MONTHS_PER_YEAR * 1000;
3297 tmask = DTK_M(MILLENNIUM);
3301 return DTERR_BAD_FORMAT;
3307 type = DecodeUnits(i, field[i], &val);
3308 if (type == IGNORE_DTF)
3311 tmask = 0; /* DTK_M(type); */
3324 tmask = (DTK_DATE_M | DTK_TIME_M);
3329 return DTERR_BAD_FORMAT;
3334 return DTERR_BAD_FORMAT;
3338 return DTERR_BAD_FORMAT;
3342 /* ensure that at least one time field has been found */
3344 return DTERR_BAD_FORMAT;
3346 /* ensure fractional seconds are fractional */
3351 sec = *fsec / USECS_PER_SEC;
3352 *fsec -= sec * USECS_PER_SEC;
3357 * The SQL standard defines the interval literal
3359 * to mean "negative 1 days and negative 1 hours", while Postgres
3360 * traditionally treats this as meaning "negative 1 days and positive
3361 * 1 hours". In SQL_STANDARD intervalstyle, we apply the leading sign
3362 * to all fields if there are no other explicit signs.
3364 * We leave the signs alone if there are additional explicit signs.
3365 * This protects us against misinterpreting postgres-style dump output,
3366 * since the postgres-style output code has always put an explicit sign on
3367 * all fields following a negative field. But note that SQL-spec output
3368 * is ambiguous and can be misinterpreted on load! (So it's best practice
3369 * to dump in postgres style, not SQL style.)
3372 if (IntervalStyle == INTSTYLE_SQL_STANDARD && *field[0] == '-')
3374 /* Check for additional explicit signs */
3375 bool more_signs = false;
3377 for (i = 1; i < nf; i++)
3379 if (*field[i] == '-' || *field[i] == '+')
3389 * Rather than re-determining which field was field[0], just force
3395 tm->tm_sec = -tm->tm_sec;
3397 tm->tm_min = -tm->tm_min;
3398 if (tm->tm_hour > 0)
3399 tm->tm_hour = -tm->tm_hour;
3400 if (tm->tm_mday > 0)
3401 tm->tm_mday = -tm->tm_mday;
3403 tm->tm_mon = -tm->tm_mon;
3404 if (tm->tm_year > 0)
3405 tm->tm_year = -tm->tm_year;
3409 /* finally, AGO negates everything */
3413 tm->tm_sec = -tm->tm_sec;
3414 tm->tm_min = -tm->tm_min;
3415 tm->tm_hour = -tm->tm_hour;
3416 tm->tm_mday = -tm->tm_mday;
3417 tm->tm_mon = -tm->tm_mon;
3418 tm->tm_year = -tm->tm_year;
3426 * Helper functions to avoid duplicated code in DecodeISO8601Interval.
3428 * Parse a decimal value and break it into integer and fractional parts.
3429 * Returns 0 or DTERR code.
3432 ParseISO8601Number(char *str, char **endptr, int *ipart, double *fpart)
3436 if (!(isdigit((unsigned char) *str) || *str == '-' || *str == '.'))
3437 return DTERR_BAD_FORMAT;
3439 val = strtod(str, endptr);
3440 /* did we not see anything that looks like a double? */
3441 if (*endptr == str || errno != 0)
3442 return DTERR_BAD_FORMAT;
3443 /* watch out for overflow */
3444 if (val < INT_MIN || val > INT_MAX)
3445 return DTERR_FIELD_OVERFLOW;
3446 /* be very sure we truncate towards zero (cf dtrunc()) */
3448 *ipart = (int) floor(val);
3450 *ipart = (int) -floor(-val);
3451 *fpart = val - *ipart;
3456 * Determine number of integral digits in a valid ISO 8601 number field
3457 * (we should ignore sign and any fraction part)
3460 ISO8601IntegerWidth(char *fieldstart)
3462 /* We might have had a leading '-' */
3463 if (*fieldstart == '-')
3465 return strspn(fieldstart, "0123456789");
3469 /* DecodeISO8601Interval()
3470 * Decode an ISO 8601 time interval of the "format with designators"
3471 * (section 4.4.3.2) or "alternative format" (section 4.4.3.3)
3472 * Examples: P1D for 1 day
3474 * P2Y6M7DT1H30M for 2 years, 6 months, 7 days 1 hour 30 min
3475 * P0002-06-07T01:30:00 the same value in alternative format
3477 * Returns 0 if successful, DTERR code if bogus input detected.
3478 * Note: error code should be DTERR_BAD_FORMAT if input doesn't look like
3479 * ISO8601, otherwise this could cause unexpected error messages.
3480 * dtype, tm, fsec are output parameters.
3482 * A couple exceptions from the spec:
3483 * - a week field ('W') may coexist with other units
3484 * - allows decimals in fields other than the least significant unit.
3487 DecodeISO8601Interval(char *str,
3488 int *dtype, struct pg_tm *tm, fsec_t *fsec)
3490 bool datepart = true;
3491 bool havefield = false;
3494 ClearPgTm(tm, fsec);
3496 if (strlen(str) < 2 || str[0] != 'P')
3497 return DTERR_BAD_FORMAT;
3508 if (*str == 'T') /* T indicates the beginning of the time part */
3517 dterr = ParseISO8601Number(str, &str, &val, &fval);
3522 * Note: we could step off the end of the string here. Code below
3523 * *must* exit the loop if unit == '\0'.
3529 switch (unit) /* before T: Y M W D */
3533 tm->tm_mon += (fval * MONTHS_PER_YEAR);
3537 AdjustFractDays(fval, tm, fsec, DAYS_PER_MONTH);
3540 tm->tm_mday += val * 7;
3541 AdjustFractDays(fval, tm, fsec, 7);
3545 AdjustFractSeconds(fval, tm, fsec, SECS_PER_DAY);
3547 case 'T': /* ISO 8601 4.4.3.3 Alternative Format / Basic */
3549 if (ISO8601IntegerWidth(fieldstart) == 8 && !havefield)
3551 tm->tm_year += val / 10000;
3552 tm->tm_mon += (val / 100) % 100;
3553 tm->tm_mday += val % 100;
3554 AdjustFractSeconds(fval, tm, fsec, SECS_PER_DAY);
3561 /* Else fall through to extended alternative format */
3563 case '-': /* ISO 8601 4.4.3.3 Alternative Format,
3566 return DTERR_BAD_FORMAT;
3569 tm->tm_mon += (fval * MONTHS_PER_YEAR);
3579 dterr = ParseISO8601Number(str, &str, &val, &fval);
3583 AdjustFractDays(fval, tm, fsec, DAYS_PER_MONTH);
3593 return DTERR_BAD_FORMAT;
3596 dterr = ParseISO8601Number(str, &str, &val, &fval);
3600 AdjustFractSeconds(fval, tm, fsec, SECS_PER_DAY);
3609 return DTERR_BAD_FORMAT;
3611 /* not a valid date unit suffix */
3612 return DTERR_BAD_FORMAT;
3617 switch (unit) /* after T: H M S */
3621 AdjustFractSeconds(fval, tm, fsec, SECS_PER_HOUR);
3625 AdjustFractSeconds(fval, tm, fsec, SECS_PER_MINUTE);
3629 AdjustFractSeconds(fval, tm, fsec, 1);
3631 case '\0': /* ISO 8601 4.4.3.3 Alternative Format */
3632 if (ISO8601IntegerWidth(fieldstart) == 6 && !havefield)
3634 tm->tm_hour += val / 10000;
3635 tm->tm_min += (val / 100) % 100;
3636 tm->tm_sec += val % 100;
3637 AdjustFractSeconds(fval, tm, fsec, 1);
3640 /* Else fall through to extended alternative format */
3642 case ':': /* ISO 8601 4.4.3.3 Alternative Format,
3645 return DTERR_BAD_FORMAT;
3648 AdjustFractSeconds(fval, tm, fsec, SECS_PER_HOUR);
3652 dterr = ParseISO8601Number(str, &str, &val, &fval);
3656 AdjustFractSeconds(fval, tm, fsec, SECS_PER_MINUTE);
3660 return DTERR_BAD_FORMAT;
3663 dterr = ParseISO8601Number(str, &str, &val, &fval);
3667 AdjustFractSeconds(fval, tm, fsec, 1);
3670 return DTERR_BAD_FORMAT;
3673 /* not a valid time unit suffix */
3674 return DTERR_BAD_FORMAT;
3686 * Decode text string using lookup table.
3688 * This routine recognizes keywords associated with time interval units.
3690 * Given string must be lowercased already.
3692 * Implement a cache lookup since it is likely that dates
3693 * will be related in format.
3696 DecodeUnits(int field, char *lowtoken, int *val)
3701 tp = deltacache[field];
3702 /* use strncmp so that we match truncated tokens */
3703 if (tp == NULL || strncmp(lowtoken, tp->token, TOKMAXLEN) != 0)
3705 tp = datebsearch(lowtoken, deltatktbl, szdeltatktbl);
3709 type = UNKNOWN_FIELD;
3714 deltacache[field] = tp;
3720 } /* DecodeUnits() */
3723 * Report an error detected by one of the datetime input processing routines.
3725 * dterr is the error code, str is the original input string, datatype is
3726 * the name of the datatype we were trying to accept.
3728 * Note: it might seem useless to distinguish DTERR_INTERVAL_OVERFLOW and
3729 * DTERR_TZDISP_OVERFLOW from DTERR_FIELD_OVERFLOW, but SQL99 mandates three
3730 * separate SQLSTATE codes, so ...
3733 DateTimeParseError(int dterr, const char *str, const char *datatype)
3737 case DTERR_FIELD_OVERFLOW:
3739 (errcode(ERRCODE_DATETIME_FIELD_OVERFLOW),
3740 errmsg("date/time field value out of range: \"%s\"",
3743 case DTERR_MD_FIELD_OVERFLOW:
3744 /* <nanny>same as above, but add hint about DateStyle</nanny> */
3746 (errcode(ERRCODE_DATETIME_FIELD_OVERFLOW),
3747 errmsg("date/time field value out of range: \"%s\"",
3749 errhint("Perhaps you need a different \"datestyle\" setting.")));
3751 case DTERR_INTERVAL_OVERFLOW:
3753 (errcode(ERRCODE_INTERVAL_FIELD_OVERFLOW),
3754 errmsg("interval field value out of range: \"%s\"",
3757 case DTERR_TZDISP_OVERFLOW:
3759 (errcode(ERRCODE_INVALID_TIME_ZONE_DISPLACEMENT_VALUE),
3760 errmsg("time zone displacement out of range: \"%s\"",
3763 case DTERR_BAD_FORMAT:
3766 (errcode(ERRCODE_INVALID_DATETIME_FORMAT),
3767 errmsg("invalid input syntax for type %s: \"%s\"",
3774 * Binary search -- from Knuth (6.2.1) Algorithm B. Special case like this
3775 * is WAY faster than the generic bsearch().
3777 static const datetkn *
3778 datebsearch(const char *key, const datetkn *base, int nel)
3782 const datetkn *last = base + nel - 1,
3786 while (last >= base)
3788 position = base + ((last - base) >> 1);
3789 /* precheck the first character for a bit of extra speed */
3790 result = (int) key[0] - (int) position->token[0];
3793 /* use strncmp so that we match truncated tokens */
3794 result = strncmp(key, position->token, TOKMAXLEN);
3799 last = position - 1;
3801 base = position + 1;
3808 * Copies representation of a numeric timezone offset to str.
3810 * Returns a pointer to the new end of string. No NUL terminator is put
3811 * there; callers are responsible for NUL terminating str themselves.
3814 EncodeTimezone(char *str, int tz, int style)
3821 min = sec / SECS_PER_MINUTE;
3822 sec -= min * SECS_PER_MINUTE;
3823 hour = min / MINS_PER_HOUR;
3824 min -= hour * MINS_PER_HOUR;
3826 /* TZ is negated compared to sign we wish to display ... */
3827 *str++ = (tz <= 0 ? '+' : '-');
3831 str = pg_ltostr_zeropad(str, hour, 2);
3833 str = pg_ltostr_zeropad(str, min, 2);
3835 str = pg_ltostr_zeropad(str, sec, 2);
3837 else if (min != 0 || style == USE_XSD_DATES)
3839 str = pg_ltostr_zeropad(str, hour, 2);
3841 str = pg_ltostr_zeropad(str, min, 2);
3844 str = pg_ltostr_zeropad(str, hour, 2);
3849 * Encode date as local time.
3852 EncodeDateOnly(struct pg_tm *tm, int style, char *str)
3854 Assert(tm->tm_mon >= 1 && tm->tm_mon <= MONTHS_PER_YEAR);
3860 /* compatible with ISO date formats */
3861 str = pg_ltostr_zeropad(str,
3862 (tm->tm_year > 0) ? tm->tm_year : -(tm->tm_year - 1), 4);
3864 str = pg_ltostr_zeropad(str, tm->tm_mon, 2);
3866 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
3870 /* compatible with Oracle/Ingres date formats */
3871 if (DateOrder == DATEORDER_DMY)
3873 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
3875 str = pg_ltostr_zeropad(str, tm->tm_mon, 2);
3879 str = pg_ltostr_zeropad(str, tm->tm_mon, 2);
3881 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
3884 str = pg_ltostr_zeropad(str,
3885 (tm->tm_year > 0) ? tm->tm_year : -(tm->tm_year - 1), 4);
3888 case USE_GERMAN_DATES:
3889 /* German-style date format */
3890 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
3892 str = pg_ltostr_zeropad(str, tm->tm_mon, 2);
3894 str = pg_ltostr_zeropad(str,
3895 (tm->tm_year > 0) ? tm->tm_year : -(tm->tm_year - 1), 4);
3898 case USE_POSTGRES_DATES:
3900 /* traditional date-only style for Postgres */
3901 if (DateOrder == DATEORDER_DMY)
3903 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
3905 str = pg_ltostr_zeropad(str, tm->tm_mon, 2);
3909 str = pg_ltostr_zeropad(str, tm->tm_mon, 2);
3911 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
3914 str = pg_ltostr_zeropad(str,
3915 (tm->tm_year > 0) ? tm->tm_year : -(tm->tm_year - 1), 4);
3919 if (tm->tm_year <= 0)
3921 memcpy(str, " BC", 3); /* Don't copy NUL */
3929 * Encode time fields only.
3931 * tm and fsec are the value to encode, print_tz determines whether to include
3932 * a time zone (the difference between time and timetz types), tz is the
3933 * numeric time zone offset, style is the date style, str is where to write the
3937 EncodeTimeOnly(struct pg_tm *tm, fsec_t fsec, bool print_tz, int tz, int style, char *str)
3939 str = pg_ltostr_zeropad(str, tm->tm_hour, 2);
3941 str = pg_ltostr_zeropad(str, tm->tm_min, 2);
3943 str = AppendSeconds(str, tm->tm_sec, fsec, MAX_TIME_PRECISION, true);
3945 str = EncodeTimezone(str, tz, style);
3951 * Encode date and time interpreted as local time.
3953 * tm and fsec are the value to encode, print_tz determines whether to include
3954 * a time zone (the difference between timestamp and timestamptz types), tz is
3955 * the numeric time zone offset, tzn is the textual time zone, which if
3956 * specified will be used instead of tz by some styles, style is the date
3957 * style, str is where to write the output.
3959 * Supported date styles:
3960 * Postgres - day mon hh:mm:ss yyyy tz
3961 * SQL - mm/dd/yyyy hh:mm:ss.ss tz
3962 * ISO - yyyy-mm-dd hh:mm:ss+/-tz
3963 * German - dd.mm.yyyy hh:mm:ss tz
3964 * XSD - yyyy-mm-ddThh:mm:ss.ss+/-tz
3967 EncodeDateTime(struct pg_tm *tm, fsec_t fsec, bool print_tz, int tz, const char *tzn, int style, char *str)
3971 Assert(tm->tm_mon >= 1 && tm->tm_mon <= MONTHS_PER_YEAR);
3974 * Negative tm_isdst means we have no valid time zone translation.
3976 if (tm->tm_isdst < 0)
3983 /* Compatible with ISO-8601 date formats */
3984 str = pg_ltostr_zeropad(str,
3985 (tm->tm_year > 0) ? tm->tm_year : -(tm->tm_year - 1), 4);
3987 str = pg_ltostr_zeropad(str, tm->tm_mon, 2);
3989 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
3990 *str++ = (style == USE_ISO_DATES) ? ' ' : 'T';
3991 str = pg_ltostr_zeropad(str, tm->tm_hour, 2);
3993 str = pg_ltostr_zeropad(str, tm->tm_min, 2);
3995 str = AppendTimestampSeconds(str, tm, fsec);
3997 str = EncodeTimezone(str, tz, style);
4001 /* Compatible with Oracle/Ingres date formats */
4002 if (DateOrder == DATEORDER_DMY)
4004 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
4006 str = pg_ltostr_zeropad(str, tm->tm_mon, 2);
4010 str = pg_ltostr_zeropad(str, tm->tm_mon, 2);
4012 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
4015 str = pg_ltostr_zeropad(str,
4016 (tm->tm_year > 0) ? tm->tm_year : -(tm->tm_year - 1), 4);
4018 str = pg_ltostr_zeropad(str, tm->tm_hour, 2);
4020 str = pg_ltostr_zeropad(str, tm->tm_min, 2);
4022 str = AppendTimestampSeconds(str, tm, fsec);
4025 * Note: the uses of %.*s in this function would be risky if the
4026 * timezone names ever contain non-ASCII characters. However, all
4027 * TZ abbreviations in the IANA database are plain ASCII.
4033 sprintf(str, " %.*s", MAXTZLEN, tzn);
4037 str = EncodeTimezone(str, tz, style);
4041 case USE_GERMAN_DATES:
4042 /* German variant on European style */
4043 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
4045 str = pg_ltostr_zeropad(str, tm->tm_mon, 2);
4047 str = pg_ltostr_zeropad(str,
4048 (tm->tm_year > 0) ? tm->tm_year : -(tm->tm_year - 1), 4);
4050 str = pg_ltostr_zeropad(str, tm->tm_hour, 2);
4052 str = pg_ltostr_zeropad(str, tm->tm_min, 2);
4054 str = AppendTimestampSeconds(str, tm, fsec);
4060 sprintf(str, " %.*s", MAXTZLEN, tzn);
4064 str = EncodeTimezone(str, tz, style);
4068 case USE_POSTGRES_DATES:
4070 /* Backward-compatible with traditional Postgres abstime dates */
4071 day = date2j(tm->tm_year, tm->tm_mon, tm->tm_mday);
4072 tm->tm_wday = j2day(day);
4073 memcpy(str, days[tm->tm_wday], 3);
4076 if (DateOrder == DATEORDER_DMY)
4078 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
4080 memcpy(str, months[tm->tm_mon - 1], 3);
4085 memcpy(str, months[tm->tm_mon - 1], 3);
4088 str = pg_ltostr_zeropad(str, tm->tm_mday, 2);
4091 str = pg_ltostr_zeropad(str, tm->tm_hour, 2);
4093 str = pg_ltostr_zeropad(str, tm->tm_min, 2);
4095 str = AppendTimestampSeconds(str, tm, fsec);
4097 str = pg_ltostr_zeropad(str,
4098 (tm->tm_year > 0) ? tm->tm_year : -(tm->tm_year - 1), 4);
4104 sprintf(str, " %.*s", MAXTZLEN, tzn);
4110 * We have a time zone, but no string version. Use the
4111 * numeric form, but be sure to include a leading space to
4112 * avoid formatting something which would be rejected by
4113 * the date/time parser later. - thomas 2001-10-19
4116 str = EncodeTimezone(str, tz, style);
4122 if (tm->tm_year <= 0)
4124 memcpy(str, " BC", 3); /* Don't copy NUL */
4132 * Helper functions to avoid duplicated code in EncodeInterval.
4135 /* Append an ISO-8601-style interval field, but only if value isn't zero */
4137 AddISO8601IntPart(char *cp, int value, char units)
4141 sprintf(cp, "%d%c", value, units);
4142 return cp + strlen(cp);
4145 /* Append a postgres-style interval field, but only if value isn't zero */
4147 AddPostgresIntPart(char *cp, int value, const char *units,
4148 bool *is_zero, bool *is_before)
4152 sprintf(cp, "%s%s%d %s%s",
4153 (!*is_zero) ? " " : "",
4154 (*is_before && value > 0) ? "+" : "",
4157 (value != 1) ? "s" : "");
4160 * Each nonzero field sets is_before for (only) the next one. This is a
4161 * tad bizarre but it's how it worked before...
4163 *is_before = (value < 0);
4165 return cp + strlen(cp);
4168 /* Append a verbose-style interval field, but only if value isn't zero */
4170 AddVerboseIntPart(char *cp, int value, const char *units,
4171 bool *is_zero, bool *is_before)
4175 /* first nonzero value sets is_before */
4178 *is_before = (value < 0);
4181 else if (*is_before)
4183 sprintf(cp, " %d %s%s", value, units, (value == 1) ? "" : "s");
4185 return cp + strlen(cp);
4190 * Interpret time structure as a delta time and convert to string.
4192 * Support "traditional Postgres" and ISO-8601 styles.
4193 * Actually, afaik ISO does not address time interval formatting,
4194 * but this looks similar to the spec for absolute date/time.
4195 * - thomas 1998-04-30
4197 * Actually, afaik, ISO 8601 does specify formats for "time
4198 * intervals...[of the]...format with time-unit designators", which
4199 * are pretty ugly. The format looks something like
4200 * P1Y1M1DT1H1M1.12345S
4201 * but useful for exchanging data with computers instead of humans.
4204 * And ISO's SQL 2008 standard specifies standards for
4205 * "year-month literal"s (that look like '2-3') and
4206 * "day-time literal"s (that look like ('4 5:6:7')
4209 EncodeInterval(struct pg_tm *tm, fsec_t fsec, int style, char *str)
4212 int year = tm->tm_year;
4213 int mon = tm->tm_mon;
4214 int mday = tm->tm_mday;
4215 int hour = tm->tm_hour;
4216 int min = tm->tm_min;
4217 int sec = tm->tm_sec;
4218 bool is_before = false;
4219 bool is_zero = true;
4222 * The sign of year and month are guaranteed to match, since they are
4223 * stored internally as "month". But we'll need to check for is_before and
4224 * is_zero when determining the signs of day and hour/minute/seconds
4229 /* SQL Standard interval format */
4230 case INTSTYLE_SQL_STANDARD:
4232 bool has_negative = year < 0 || mon < 0 ||
4233 mday < 0 || hour < 0 ||
4234 min < 0 || sec < 0 || fsec < 0;
4235 bool has_positive = year > 0 || mon > 0 ||
4236 mday > 0 || hour > 0 ||
4237 min > 0 || sec > 0 || fsec > 0;
4238 bool has_year_month = year != 0 || mon != 0;
4239 bool has_day_time = mday != 0 || hour != 0 ||
4240 min != 0 || sec != 0 || fsec != 0;
4241 bool has_day = mday != 0;
4242 bool sql_standard_value = !(has_negative && has_positive) &&
4243 !(has_year_month && has_day_time);
4246 * SQL Standard wants only 1 "<sign>" preceding the whole
4247 * interval ... but can't do that if mixed signs.
4249 if (has_negative && sql_standard_value)
4261 if (!has_negative && !has_positive)
4265 else if (!sql_standard_value)
4268 * For non sql-standard interval values, force outputting
4269 * the signs to avoid ambiguities with intervals with
4270 * mixed sign components.
4272 char year_sign = (year < 0 || mon < 0) ? '-' : '+';
4273 char day_sign = (mday < 0) ? '-' : '+';
4274 char sec_sign = (hour < 0 || min < 0 ||
4275 sec < 0 || fsec < 0) ? '-' : '+';
4277 sprintf(cp, "%c%d-%d %c%d %c%d:%02d:",
4278 year_sign, abs(year), abs(mon),
4279 day_sign, abs(mday),
4280 sec_sign, abs(hour), abs(min));
4282 cp = AppendSeconds(cp, sec, fsec, MAX_INTERVAL_PRECISION, true);
4285 else if (has_year_month)
4287 sprintf(cp, "%d-%d", year, mon);
4291 sprintf(cp, "%d %d:%02d:", mday, hour, min);
4293 cp = AppendSeconds(cp, sec, fsec, MAX_INTERVAL_PRECISION, true);
4298 sprintf(cp, "%d:%02d:", hour, min);
4300 cp = AppendSeconds(cp, sec, fsec, MAX_INTERVAL_PRECISION, true);
4306 /* ISO 8601 "time-intervals by duration only" */
4307 case INTSTYLE_ISO_8601:
4308 /* special-case zero to avoid printing nothing */
4309 if (year == 0 && mon == 0 && mday == 0 &&
4310 hour == 0 && min == 0 && sec == 0 && fsec == 0)
4312 sprintf(cp, "PT0S");
4316 cp = AddISO8601IntPart(cp, year, 'Y');
4317 cp = AddISO8601IntPart(cp, mon, 'M');
4318 cp = AddISO8601IntPart(cp, mday, 'D');
4319 if (hour != 0 || min != 0 || sec != 0 || fsec != 0)
4321 cp = AddISO8601IntPart(cp, hour, 'H');
4322 cp = AddISO8601IntPart(cp, min, 'M');
4323 if (sec != 0 || fsec != 0)
4325 if (sec < 0 || fsec < 0)
4327 cp = AppendSeconds(cp, sec, fsec, MAX_INTERVAL_PRECISION, false);
4333 /* Compatible with postgresql < 8.4 when DateStyle = 'iso' */
4334 case INTSTYLE_POSTGRES:
4335 cp = AddPostgresIntPart(cp, year, "year", &is_zero, &is_before);
4338 * Ideally we should spell out "month" like we do for "year" and
4339 * "day". However, for backward compatibility, we can't easily
4340 * fix this. bjm 2011-05-24
4342 cp = AddPostgresIntPart(cp, mon, "mon", &is_zero, &is_before);
4343 cp = AddPostgresIntPart(cp, mday, "day", &is_zero, &is_before);
4344 if (is_zero || hour != 0 || min != 0 || sec != 0 || fsec != 0)
4346 bool minus = (hour < 0 || min < 0 || sec < 0 || fsec < 0);
4348 sprintf(cp, "%s%s%02d:%02d:",
4350 (minus ? "-" : (is_before ? "+" : "")),
4351 abs(hour), abs(min));
4353 cp = AppendSeconds(cp, sec, fsec, MAX_INTERVAL_PRECISION, true);
4358 /* Compatible with postgresql < 8.4 when DateStyle != 'iso' */
4359 case INTSTYLE_POSTGRES_VERBOSE:
4363 cp = AddVerboseIntPart(cp, year, "year", &is_zero, &is_before);
4364 cp = AddVerboseIntPart(cp, mon, "mon", &is_zero, &is_before);
4365 cp = AddVerboseIntPart(cp, mday, "day", &is_zero, &is_before);
4366 cp = AddVerboseIntPart(cp, hour, "hour", &is_zero, &is_before);
4367 cp = AddVerboseIntPart(cp, min, "min", &is_zero, &is_before);
4368 if (sec != 0 || fsec != 0)
4371 if (sec < 0 || (sec == 0 && fsec < 0))
4375 else if (!is_before)
4380 cp = AppendSeconds(cp, sec, fsec, MAX_INTERVAL_PRECISION, false);
4381 sprintf(cp, " sec%s",
4382 (abs(sec) != 1 || fsec != 0) ? "s" : "");
4385 /* identically zero? then put in a unitless zero... */
4396 * We've been burnt by stupid errors in the ordering of the datetkn tables
4397 * once too often. Arrange to check them during postmaster start.
4400 CheckDateTokenTable(const char *tablename, const datetkn *base, int nel)
4405 for (i = 0; i < nel; i++)
4407 /* check for token strings that don't fit */
4408 if (strlen(base[i].token) > TOKMAXLEN)
4410 /* %.*s is safe since all our tokens are ASCII */
4411 elog(LOG, "token too long in %s table: \"%.*s\"",
4413 TOKMAXLEN + 1, base[i].token);
4415 break; /* don't risk applying strcmp */
4417 /* check for out of order */
4419 strcmp(base[i - 1].token, base[i].token) >= 0)
4421 elog(LOG, "ordering error in %s table: \"%s\" >= \"%s\"",
4432 CheckDateTokenTables(void)
4436 Assert(UNIX_EPOCH_JDATE == date2j(1970, 1, 1));
4437 Assert(POSTGRES_EPOCH_JDATE == date2j(2000, 1, 1));
4439 ok &= CheckDateTokenTable("datetktbl", datetktbl, szdatetktbl);
4440 ok &= CheckDateTokenTable("deltatktbl", deltatktbl, szdeltatktbl);
4445 * Common code for temporal prosupport functions: simplify, if possible,
4446 * a call to a temporal type's length-coercion function.
4448 * Types time, timetz, timestamp and timestamptz each have a range of allowed
4449 * precisions. An unspecified precision is rigorously equivalent to the
4450 * highest specifiable precision. We can replace the function call with a
4451 * no-op RelabelType if it is coercing to the same or higher precision as the
4452 * input is known to have.
4454 * The input Node is always a FuncExpr, but to reduce the #include footprint
4455 * of datetime.h, we declare it as Node *.
4457 * Note: timestamp_scale throws an error when the typmod is out of range, but
4458 * we can't get there from a cast: our typmodin will have caught it already.
4461 TemporalSimplify(int32 max_precis, Node *node)
4463 FuncExpr *expr = castNode(FuncExpr, node);
4467 Assert(list_length(expr->args) >= 2);
4469 typmod = (Node *) lsecond(expr->args);
4471 if (IsA(typmod, Const) &&!((Const *) typmod)->constisnull)
4473 Node *source = (Node *) linitial(expr->args);
4474 int32 old_precis = exprTypmod(source);
4475 int32 new_precis = DatumGetInt32(((Const *) typmod)->constvalue);
4477 if (new_precis < 0 || new_precis == max_precis ||
4478 (old_precis >= 0 && new_precis >= old_precis))
4479 ret = relabel_to_typmod(source, new_precis);
4486 * This function gets called during timezone config file load or reload
4487 * to create the final array of timezone tokens. The argument array
4488 * is already sorted in name order.
4490 * The result is a TimeZoneAbbrevTable (which must be a single malloc'd chunk)
4491 * or NULL on malloc failure. No other error conditions are defined.
4493 TimeZoneAbbrevTable *
4494 ConvertTimeZoneAbbrevs(struct tzEntry *abbrevs, int n)
4496 TimeZoneAbbrevTable *tbl;
4500 /* Space for fixed fields and datetkn array */
4501 tbl_size = offsetof(TimeZoneAbbrevTable, abbrevs) +
4502 n * sizeof(datetkn);
4503 tbl_size = MAXALIGN(tbl_size);
4504 /* Count up space for dynamic abbreviations */
4505 for (i = 0; i < n; i++)
4507 struct tzEntry *abbr = abbrevs + i;
4509 if (abbr->zone != NULL)
4513 dsize = offsetof(DynamicZoneAbbrev, zone) +
4514 strlen(abbr->zone) + 1;
4515 tbl_size += MAXALIGN(dsize);
4519 /* Alloc the result ... */
4520 tbl = malloc(tbl_size);
4524 /* ... and fill it in */
4525 tbl->tblsize = tbl_size;
4526 tbl->numabbrevs = n;
4527 /* in this loop, tbl_size reprises the space calculation above */
4528 tbl_size = offsetof(TimeZoneAbbrevTable, abbrevs) +
4529 n * sizeof(datetkn);
4530 tbl_size = MAXALIGN(tbl_size);
4531 for (i = 0; i < n; i++)
4533 struct tzEntry *abbr = abbrevs + i;
4534 datetkn *dtoken = tbl->abbrevs + i;
4536 /* use strlcpy to truncate name if necessary */
4537 strlcpy(dtoken->token, abbr->abbrev, TOKMAXLEN + 1);
4538 if (abbr->zone != NULL)
4540 /* Allocate a DynamicZoneAbbrev for this abbreviation */
4541 DynamicZoneAbbrev *dtza;
4544 dtza = (DynamicZoneAbbrev *) ((char *) tbl + tbl_size);
4546 strcpy(dtza->zone, abbr->zone);
4548 dtoken->type = DYNTZ;
4549 /* value is offset from table start to DynamicZoneAbbrev */
4550 dtoken->value = (int32) tbl_size;
4552 dsize = offsetof(DynamicZoneAbbrev, zone) +
4553 strlen(abbr->zone) + 1;
4554 tbl_size += MAXALIGN(dsize);
4558 dtoken->type = abbr->is_dst ? DTZ : TZ;
4559 dtoken->value = abbr->offset;
4563 /* Assert the two loops above agreed on size calculations */
4564 Assert(tbl->tblsize == tbl_size);
4566 /* Check the ordering, if testing */
4567 Assert(CheckDateTokenTable("timezone abbreviations", tbl->abbrevs, n));
4573 * Install a TimeZoneAbbrevTable as the active table.
4575 * Caller is responsible that the passed table doesn't go away while in use.
4578 InstallTimeZoneAbbrevs(TimeZoneAbbrevTable *tbl)
4580 zoneabbrevtbl = tbl;
4581 /* reset abbrevcache, which may contain pointers into old table */
4582 memset(abbrevcache, 0, sizeof(abbrevcache));
4586 * Helper subroutine to locate pg_tz timezone for a dynamic abbreviation.
4589 FetchDynamicTimeZone(TimeZoneAbbrevTable *tbl, const datetkn *tp)
4591 DynamicZoneAbbrev *dtza;
4593 /* Just some sanity checks to prevent indexing off into nowhere */
4594 Assert(tp->type == DYNTZ);
4595 Assert(tp->value > 0 && tp->value < tbl->tblsize);
4597 dtza = (DynamicZoneAbbrev *) ((char *) tbl + tp->value);
4599 /* Look up the underlying zone if we haven't already */
4600 if (dtza->tz == NULL)
4602 dtza->tz = pg_tzset(dtza->zone);
4605 * Ideally we'd let the caller ereport instead of doing it here, but
4606 * then there is no way to report the bad time zone name.
4608 if (dtza->tz == NULL)
4610 (errcode(ERRCODE_CONFIG_FILE_ERROR),
4611 errmsg("time zone \"%s\" not recognized",
4613 errdetail("This time zone name appears in the configuration file for time zone abbreviation \"%s\".",
4621 * This set-returning function reads all the available time zone abbreviations
4622 * and returns a set of (abbrev, utc_offset, is_dst).
4625 pg_timezone_abbrevs(PG_FUNCTION_ARGS)
4627 FuncCallContext *funcctx;
4634 char buffer[TOKMAXLEN + 1];
4639 Interval *resInterval;
4641 /* stuff done only on the first call of the function */
4642 if (SRF_IS_FIRSTCALL())
4645 MemoryContext oldcontext;
4647 /* create a function context for cross-call persistence */
4648 funcctx = SRF_FIRSTCALL_INIT();
4651 * switch to memory context appropriate for multiple function calls
4653 oldcontext = MemoryContextSwitchTo(funcctx->multi_call_memory_ctx);
4655 /* allocate memory for user context */
4656 pindex = (int *) palloc(sizeof(int));
4658 funcctx->user_fctx = (void *) pindex;
4661 * build tupdesc for result tuples. This must match this function's
4664 tupdesc = CreateTemplateTupleDesc(3);
4665 TupleDescInitEntry(tupdesc, (AttrNumber) 1, "abbrev",
4667 TupleDescInitEntry(tupdesc, (AttrNumber) 2, "utc_offset",
4668 INTERVALOID, -1, 0);
4669 TupleDescInitEntry(tupdesc, (AttrNumber) 3, "is_dst",
4672 funcctx->tuple_desc = BlessTupleDesc(tupdesc);
4673 MemoryContextSwitchTo(oldcontext);
4676 /* stuff done on every call of the function */
4677 funcctx = SRF_PERCALL_SETUP();
4678 pindex = (int *) funcctx->user_fctx;
4680 if (zoneabbrevtbl == NULL ||
4681 *pindex >= zoneabbrevtbl->numabbrevs)
4682 SRF_RETURN_DONE(funcctx);
4684 tp = zoneabbrevtbl->abbrevs + *pindex;
4689 gmtoffset = tp->value;
4693 gmtoffset = tp->value;
4698 /* Determine the current meaning of the abbrev */
4703 tzp = FetchDynamicTimeZone(zoneabbrevtbl, tp);
4704 now = GetCurrentTransactionStartTimestamp();
4705 gmtoffset = -DetermineTimeZoneAbbrevOffsetTS(now,
4709 is_dst = (bool) isdst;
4713 elog(ERROR, "unrecognized timezone type %d", (int) tp->type);
4714 gmtoffset = 0; /* keep compiler quiet */
4719 MemSet(nulls, 0, sizeof(nulls));
4722 * Convert name to text, using upcasing conversion that is the inverse of
4723 * what ParseDateTime() uses.
4725 strlcpy(buffer, tp->token, sizeof(buffer));
4726 for (p = (unsigned char *) buffer; *p; p++)
4727 *p = pg_toupper(*p);
4729 values[0] = CStringGetTextDatum(buffer);
4731 /* Convert offset (in seconds) to an interval */
4732 MemSet(&tm, 0, sizeof(struct pg_tm));
4733 tm.tm_sec = gmtoffset;
4734 resInterval = (Interval *) palloc(sizeof(Interval));
4735 tm2interval(&tm, 0, resInterval);
4736 values[1] = IntervalPGetDatum(resInterval);
4738 values[2] = BoolGetDatum(is_dst);
4742 tuple = heap_form_tuple(funcctx->tuple_desc, values, nulls);
4743 result = HeapTupleGetDatum(tuple);
4745 SRF_RETURN_NEXT(funcctx, result);
4749 * This set-returning function reads all the available full time zones
4750 * and returns a set of (name, abbrev, utc_offset, is_dst).
4753 pg_timezone_names(PG_FUNCTION_ARGS)
4755 MemoryContext oldcontext;
4756 FuncCallContext *funcctx;
4767 Interval *resInterval;
4770 /* stuff done only on the first call of the function */
4771 if (SRF_IS_FIRSTCALL())
4775 /* create a function context for cross-call persistence */
4776 funcctx = SRF_FIRSTCALL_INIT();
4779 * switch to memory context appropriate for multiple function calls
4781 oldcontext = MemoryContextSwitchTo(funcctx->multi_call_memory_ctx);
4783 /* initialize timezone scanning code */
4784 tzenum = pg_tzenumerate_start();
4785 funcctx->user_fctx = (void *) tzenum;
4788 * build tupdesc for result tuples. This must match this function's
4791 tupdesc = CreateTemplateTupleDesc(4);
4792 TupleDescInitEntry(tupdesc, (AttrNumber) 1, "name",
4794 TupleDescInitEntry(tupdesc, (AttrNumber) 2, "abbrev",
4796 TupleDescInitEntry(tupdesc, (AttrNumber) 3, "utc_offset",
4797 INTERVALOID, -1, 0);
4798 TupleDescInitEntry(tupdesc, (AttrNumber) 4, "is_dst",
4801 funcctx->tuple_desc = BlessTupleDesc(tupdesc);
4802 MemoryContextSwitchTo(oldcontext);
4805 /* stuff done on every call of the function */
4806 funcctx = SRF_PERCALL_SETUP();
4807 tzenum = (pg_tzenum *) funcctx->user_fctx;
4809 /* search for another zone to display */
4812 oldcontext = MemoryContextSwitchTo(funcctx->multi_call_memory_ctx);
4813 tz = pg_tzenumerate_next(tzenum);
4814 MemoryContextSwitchTo(oldcontext);
4818 pg_tzenumerate_end(tzenum);
4819 funcctx->user_fctx = NULL;
4820 SRF_RETURN_DONE(funcctx);
4823 /* Convert now() to local time in this zone */
4824 if (timestamp2tm(GetCurrentTransactionStartTimestamp(),
4825 &tzoff, &tm, &fsec, &tzn, tz) != 0)
4826 continue; /* ignore if conversion fails */
4829 * IANA's rather silly "Factory" time zone used to emit ridiculously
4830 * long "abbreviations" such as "Local time zone must be set--see zic
4831 * manual page" or "Local time zone must be set--use tzsetup". While
4832 * modern versions of tzdb emit the much saner "-00", it seems some
4833 * benighted packagers are hacking the IANA data so that it continues
4834 * to produce these strings. To prevent producing a weirdly wide
4835 * abbrev column, reject ridiculously long abbreviations.
4837 if (tzn && strlen(tzn) > 31)
4840 /* Found a displayable zone */
4844 MemSet(nulls, 0, sizeof(nulls));
4846 values[0] = CStringGetTextDatum(pg_get_timezone_name(tz));
4847 values[1] = CStringGetTextDatum(tzn ? tzn : "");
4849 MemSet(&itm, 0, sizeof(struct pg_tm));
4850 itm.tm_sec = -tzoff;
4851 resInterval = (Interval *) palloc(sizeof(Interval));
4852 tm2interval(&itm, 0, resInterval);
4853 values[2] = IntervalPGetDatum(resInterval);
4855 values[3] = BoolGetDatum(tm.tm_isdst > 0);
4857 tuple = heap_form_tuple(funcctx->tuple_desc, values, nulls);
4858 result = HeapTupleGetDatum(tuple);
4860 SRF_RETURN_NEXT(funcctx, result);