Mercurial > emacs
annotate lisp/timezone.el @ 5020:94de08fd8a7c
(Fnext_single_property_change): Fix missing \n\.
| author | Richard M. Stallman <rms@gnu.org> |
|---|---|
| date | Mon, 15 Nov 1993 06:41:45 +0000 |
| parents | 4324c797a9e3 |
| children | da21af13b844 |
| rev | line source |
|---|---|
| 2908 | 1 ;;; Timezone package for GNU Emacs |
| 2 | |
|
2910
74b7994f2d20
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2908
diff
changeset
|
3 ;; Copyright (C) 1990, 1991, 1992, 1993 Free Software Foundation, Inc. |
|
74b7994f2d20
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2908
diff
changeset
|
4 |
|
74b7994f2d20
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2908
diff
changeset
|
5 ;;; Author: Masanobu Umeda |
|
74b7994f2d20
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2908
diff
changeset
|
6 ;;; Maintainer: umerin@mse.kyutech.ac.jp |
| 2908 | 7 |
| 8 ;; This file is part of GNU Emacs. | |
| 9 | |
| 10 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
| 11 ;; it under the terms of the GNU General Public License as published by | |
| 12 ;; the Free Software Foundation; either version 2, or (at your option) | |
| 13 ;; any later version. | |
| 14 | |
| 15 ;; GNU Emacs is distributed in the hope that it will be useful, | |
| 16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 18 ;; GNU General Public License for more details. | |
| 19 | |
| 20 ;; You should have received a copy of the GNU General Public License | |
| 21 ;; along with GNU Emacs; see the file COPYING. If not, write to | |
| 22 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
| 23 | |
| 24 ;;; Code: | |
| 25 | |
| 26 (provide 'timezone) | |
| 27 | |
| 28 (defvar timezone-world-timezones | |
| 29 '(("PST" . -800) | |
| 30 ("PDT" . -700) | |
| 31 ("MST" . -700) | |
| 32 ("MDT" . -600) | |
| 33 ("CST" . -600) | |
| 34 ("CDT" . -500) | |
| 35 ("EST" . -500) | |
| 36 ("EDT" . -400) | |
| 37 ("AST" . -400) ;by <clamen@CS.CMU.EDU> | |
| 38 ("NST" . -330) ;by <clamen@CS.CMU.EDU> | |
| 39 ("GMT" . +000) | |
| 40 ("BST" . +100) | |
| 41 ("MET" . +100) | |
| 42 ("EET" . +200) | |
| 43 ("JST" . +900) | |
| 44 ("GMT+1" . +100) ("GMT+2" . +200) ("GMT+3" . +300) | |
| 45 ("GMT+4" . +400) ("GMT+5" . +500) ("GMT+6" . +600) | |
| 46 ("GMT+7" . +700) ("GMT+8" . +800) ("GMT+9" . +900) | |
| 47 ("GMT+10" . +1000) ("GMT+11" . +1100) ("GMT+12" . +1200) ("GMT+13" . +1300) | |
| 48 ("GMT-1" . -100) ("GMT-2" . -200) ("GMT-3" . -300) | |
| 49 ("GMT-4" . -400) ("GMT-5" . -500) ("GMT-6" . -600) | |
| 50 ("GMT-7" . -700) ("GMT-8" . -800) ("GMT-9" . -900) | |
| 51 ("GMT-10" . -1000) ("GMT-11" . -1100) ("GMT-12" . -1200)) | |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
52 "*Time differentials of timezone from GMT in +-HHMM form. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
53 This list is obsolescent, and is present only for backwards compatibility, |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
54 because time zone names are ambiguous in practice. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
55 Use `current-time-zone' instead.") |
| 2908 | 56 |
| 57 (defvar timezone-months-assoc | |
| 58 '(("JAN" . 1)("FEB" . 2)("MAR" . 3) | |
| 59 ("APR" . 4)("MAY" . 5)("JUN" . 6) | |
| 60 ("JUL" . 7)("AUG" . 8)("SEP" . 9) | |
| 61 ("OCT" . 10)("NOV" . 11)("DEC" . 12)) | |
| 62 "Alist of first three letters of a month and its numerical representation.") | |
| 63 | |
| 64 (defun timezone-make-date-arpa-standard (date &optional local timezone) | |
| 65 "Convert DATE to an arpanet standard date. | |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
66 Optional 1st argument LOCAL specifies the default local timezone of the DATE; |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
67 if nil, GMT is assumed. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
68 Optional 2nd argument TIMEZONE specifies a time zone to be represented in; |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
69 if nil, the local time zone is assumed." |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
70 (let ((new (timezone-fix-time date local timezone))) |
| 2908 | 71 (timezone-make-arpa-date (aref new 0) (aref new 1) (aref new 2) |
| 72 (timezone-make-time-string | |
| 73 (aref new 3) (aref new 4) (aref new 5)) | |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
74 (aref new 6)) |
| 2908 | 75 )) |
| 76 | |
| 77 (defun timezone-make-date-sortable (date &optional local timezone) | |
| 78 "Convert DATE to a sortable date string. | |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
79 Optional 1st argument LOCAL specifies the default local timezone of the DATE; |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
80 if nil, GMT is assumed. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
81 Optional 2nd argument TIMEZONE specifies a timezone to be represented in; |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
82 if nil, the local time zone is assumed." |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
83 (let ((new (timezone-fix-time date local timezone))) |
| 2908 | 84 (timezone-make-sortable-date (aref new 0) (aref new 1) (aref new 2) |
| 85 (timezone-make-time-string | |
| 86 (aref new 3) (aref new 4) (aref new 5))) | |
| 87 )) | |
| 88 | |
| 89 | |
| 90 ;; | |
| 91 ;; Parsers and Constructors of Date and Time | |
| 92 ;; | |
| 93 | |
| 94 (defun timezone-make-arpa-date (year month day time &optional timezone) | |
| 95 "Make arpanet standard date string from YEAR, MONTH, DAY, and TIME. | |
| 96 Optional argument TIMEZONE specifies a time zone." | |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
97 (let ((zone |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
98 (if (listp timezone) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
99 (let* ((m (timezone-zone-to-minute timezone)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
100 (absm (if (< m 0) (- m) m))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
101 (format "%c%02d%02d" |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
102 (if (< m 0) ?- ?+) (/ absm 60) (% absm 60))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
103 timezone))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
104 (format "%02d %s %04d %s %s" |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
105 day |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
106 (capitalize (car (rassq month timezone-months-assoc))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
107 year |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
108 time |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
109 zone))) |
| 2908 | 110 |
| 111 (defun timezone-make-sortable-date (year month day time) | |
| 112 "Make sortable date string from YEAR, MONTH, DAY, and TIME." | |
| 113 (format "%4d%02d%02d%s" | |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
114 year month day time)) |
| 2908 | 115 |
| 116 (defun timezone-make-time-string (hour minute second) | |
| 117 "Make time string from HOUR, MINUTE, and SECOND." | |
| 118 (format "%02d:%02d:%02d" hour minute second)) | |
| 119 | |
| 120 (defun timezone-parse-date (date) | |
|
4835
4324c797a9e3
(timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents:
4510
diff
changeset
|
121 "Parse DATE and return a vector [YEAR MONTH DAY TIME TIMEZONE]. |
|
4324c797a9e3
(timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents:
4510
diff
changeset
|
122 19 is prepended to year if necessary. Timezone may be nil if nothing. |
|
4324c797a9e3
(timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents:
4510
diff
changeset
|
123 Understands the following styles: |
| 2908 | 124 (1) 14 Apr 89 03:20[:12] [GMT] |
| 125 (2) Fri, 17 Mar 89 4:01[:33] [GMT] | |
| 126 (3) Mon Jan 16 16:12[:37] [GMT] 1989 | |
|
4835
4324c797a9e3
(timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents:
4510
diff
changeset
|
127 (4) 6 May 1992 1641-JST (Wednesday) |
|
4324c797a9e3
(timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents:
4510
diff
changeset
|
128 (5) 22-AUG-1993 10:59:12.82" |
| 2908 | 129 (let ((date (or date "")) |
| 130 (year nil) | |
| 131 (month nil) | |
| 132 (day nil) | |
| 133 (time nil) | |
| 134 (zone nil)) ;This may be nil. | |
| 135 (cond ((string-match | |
| 136 "\\([0-9]+\\)[ \t]+\\([^ \t,]+\\)[ \t]+\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9:]+\\)[ \t]*\\'" date) | |
| 137 ;; Styles: (1) and (2) without timezone | |
| 138 (setq year 3 month 2 day 1 time 4 zone nil)) | |
| 139 ((string-match | |
| 140 "\\([0-9]+\\)[ \t]+\\([^ \t,]+\\)[ \t]+\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9:]+\\)[ \t]*\\([-+a-zA-Z0-9]+\\)" date) | |
| 141 ;; Styles: (1) and (2) with timezone and buggy timezone | |
| 142 (setq year 3 month 2 day 1 time 4 zone 5)) | |
| 143 ((string-match | |
| 144 "\\([^ \t,]+\\)[ \t]+\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9:]+\\)[ \t]+\\([0-9]+\\)" date) | |
| 145 ;; Styles: (3) without timezone | |
| 146 (setq year 4 month 1 day 2 time 3 zone nil)) | |
| 147 ((string-match | |
| 148 "\\([^ \t,]+\\)[ \t]+\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9:]+\\)[ \t]+\\([-+a-zA-Z0-9]+\\)[ \t]+\\([0-9]+\\)" date) | |
|
4835
4324c797a9e3
(timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents:
4510
diff
changeset
|
149 ;; Styles: (3) with timezone |
| 2908 | 150 (setq year 5 month 1 day 2 time 3 zone 4)) |
| 151 ((string-match | |
| 152 "\\([0-9]+\\)[ \t]+\\([^ \t,]+\\)[ \t]+\\([0-9]+\\)[ \t]+\\([0-9]+\\)[ \t]*\\([-+a-zA-Z0-9]+\\)" date) | |
| 153 ;; Styles: (4) with timezone | |
| 154 (setq year 3 month 2 day 1 time 4 zone 5)) | |
|
4835
4324c797a9e3
(timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents:
4510
diff
changeset
|
155 ((string-match |
|
4324c797a9e3
(timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents:
4510
diff
changeset
|
156 "\\([0-9]+\\)-\\([A-Za-z]+\\)-\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9]+:[0-9]+\\)\\.[0-9]+" date) |
|
4324c797a9e3
(timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents:
4510
diff
changeset
|
157 ;; Styles: (5) without timezone. |
|
4324c797a9e3
(timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents:
4510
diff
changeset
|
158 (setq year 3 month 2 day 1 time 4 zone nil)) |
| 2908 | 159 ) |
| 160 (if year | |
| 161 (progn | |
| 162 (setq year | |
| 163 (substring date (match-beginning year) (match-end year))) | |
| 164 ;; It is now Dec 1992. 8 years before the end of the World. | |
| 165 (if (< (length year) 4) | |
| 166 (setq year (concat "19" (substring year -2 nil)))) | |
| 167 (setq month | |
| 168 (int-to-string | |
| 169 (cdr | |
| 170 (assoc | |
| 171 (upcase | |
| 172 ;; Don't use `match-end' in order to take 3 | |
| 173 ;; letters from the beginning. | |
| 174 (substring date | |
| 175 (match-beginning month) | |
| 176 (+ (match-beginning month) 3))) | |
| 177 timezone-months-assoc)))) | |
| 178 (setq day | |
| 179 (substring date (match-beginning day) (match-end day))) | |
| 180 (setq time | |
| 181 (substring date (match-beginning time) (match-end time))))) | |
| 182 (if zone | |
| 183 (setq zone | |
| 184 (substring date (match-beginning zone) (match-end zone)))) | |
| 185 ;; Return a vector. | |
| 186 (if year | |
| 187 (vector year month day time zone) | |
| 188 (vector "0" "0" "0" "0" nil)) | |
| 189 )) | |
| 190 | |
| 191 (defun timezone-parse-time (time) | |
| 192 "Parse TIME (HH:MM:SS) and return a vector [hour minute second]. | |
| 193 Recognize HH:MM:SS, HH:MM, HHMMSS, HHMM." | |
| 194 (let ((time (or time "")) | |
| 195 (hour nil) | |
| 196 (minute nil) | |
| 197 (second nil)) | |
| 198 (cond ((string-match "\\`\\([0-9]+\\):\\([0-9]+\\):\\([0-9]+\\)\\'" time) | |
| 199 ;; HH:MM:SS | |
| 200 (setq hour 1 minute 2 second 3)) | |
| 201 ((string-match "\\`\\([0-9]+\\):\\([0-9]+\\)\\'" time) | |
| 202 ;; HH:MM | |
| 203 (setq hour 1 minute 2 second nil)) | |
| 204 ((string-match "\\`\\([0-9][0-9]\\)\\([0-9][0-9]\\)\\([0-9][0-9]\\)\\'" time) | |
| 205 ;; HHMMSS | |
| 206 (setq hour 1 minute 2 second 3)) | |
| 207 ((string-match "\\`\\([0-9][0-9]\\)\\([0-9][0-9]\\)\\'" time) | |
| 208 ;; HHMM | |
| 209 (setq hour 1 minute 2 second nil)) | |
| 210 ) | |
| 211 ;; Return [hour minute second] | |
| 212 (vector | |
| 213 (if hour | |
| 214 (substring time (match-beginning hour) (match-end hour)) "0") | |
| 215 (if minute | |
| 216 (substring time (match-beginning minute) (match-end minute)) "0") | |
| 217 (if second | |
| 218 (substring time (match-beginning second) (match-end second)) "0")) | |
| 219 )) | |
| 220 | |
| 221 | |
| 222 ;; Miscellaneous | |
| 223 | |
| 224 (defun timezone-zone-to-minute (timezone) | |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
225 "Translate TIMEZONE to an integer minute offset from GMT. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
226 TIMEZONE can be a cons cell containing the output of current-time-zone, |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
227 or an integer of the form +-HHMM, or a time zone name." |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
228 (cond |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
229 ((consp timezone) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
230 (/ (car timezone) 60)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
231 (timezone |
| 2908 | 232 (progn |
| 233 (setq timezone | |
| 234 (or (cdr (assoc (upcase timezone) timezone-world-timezones)) | |
| 235 ;; +900 | |
| 236 timezone)) | |
| 237 (if (stringp timezone) | |
| 238 (setq timezone (string-to-int timezone))) | |
| 239 ;; Taking account of minute in timezone. | |
| 240 ;; HHMM -> MM | |
|
4510
10baf5e7550f
(timezone-fix-time, timezone-zone-to-minute): Simplify with `abs'
Paul Eggert <eggert@twinsun.com>
parents:
3505
diff
changeset
|
241 (let* ((abszone (abs timezone)) |
| 2908 | 242 (minutes (+ (* 60 (/ abszone 100)) (% abszone 100)))) |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
243 (if (< timezone 0) (- minutes) minutes)))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
244 (t 0))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
245 |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
246 (defun timezone-time-from-absolute (date seconds) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
247 "Compute the UTC time equivalent to DATE at time SECONDS after midnight. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
248 Return a list suitable as an argument to current-time-zone, |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
249 or nil if the date cannot be thus represented. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
250 DATE is the number of days elapsed since the (imaginary) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
251 Gregorian date Sunday, December 31, 1 BC." |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
252 (let* ((current-time-origin 719162) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
253 ;; (timezone-absolute-from-gregorian 1 1 1970) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
254 (days (- date current-time-origin)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
255 (seconds-per-day (float 86400)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
256 (seconds (+ seconds (* days seconds-per-day))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
257 (current-time-arithmetic-base (float 65536)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
258 (hi (floor (/ seconds current-time-arithmetic-base))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
259 (hibase (* hi current-time-arithmetic-base)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
260 (lo (floor (- seconds hibase)))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
261 (and (< (abs (- seconds (+ hibase lo))) 2) ;; Check for integer overflow. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
262 (cons hi lo)))) |
| 2908 | 263 |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
264 (defun timezone-time-zone-from-absolute (date seconds) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
265 "Compute the local time zone for DATE at time SECONDS after midnight. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
266 Return a list in the same format as current-time-zone's result, |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
267 or nil if the local time zone could not be computed. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
268 DATE is the number of days elapsed since the (imaginary) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
269 Gregorian date Sunday, December 31, 1 BC." |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
270 (and (fboundp 'current-time-zone) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
271 (let ((utc-time (timezone-time-from-absolute date seconds))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
272 (and utc-time |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
273 (let ((zone (current-time-zone utc-time))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
274 (and (car zone) zone)))))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
275 |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
276 (defun timezone-fix-time (date local timezone) |
| 3505 | 277 "Convert DATE (default timezone LOCAL) to YYYY-MM-DD-HH-MM-SS-ZONE vector. |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
278 If LOCAL is nil, it is assumed to be GMT. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
279 If TIMEZONE is nil, use the local time zone." |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
280 (let* ((date (timezone-parse-date date)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
281 (year (string-to-int (aref date 0))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
282 (year (if (< year 100) (+ year 1900) year)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
283 (month (string-to-int (aref date 1))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
284 (day (string-to-int (aref date 2))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
285 (time (timezone-parse-time (aref date 3))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
286 (hour (string-to-int (aref time 0))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
287 (minute (string-to-int (aref time 1))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
288 (second (string-to-int (aref time 2))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
289 (local (or (aref date 4) local)) ;Use original if defined |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
290 (timezone |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
291 (or timezone |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
292 (timezone-time-zone-from-absolute |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
293 (timezone-absolute-from-gregorian month day year) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
294 (+ second (* 60 (+ minute (* 60 hour))))))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
295 (diff (- (timezone-zone-to-minute timezone) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
296 (timezone-zone-to-minute local))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
297 (minute (+ minute diff)) |
|
4510
10baf5e7550f
(timezone-fix-time, timezone-zone-to-minute): Simplify with `abs'
Paul Eggert <eggert@twinsun.com>
parents:
3505
diff
changeset
|
298 (hour-fix (floor minute 60))) |
| 2908 | 299 (setq hour (+ hour hour-fix)) |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
300 (setq minute (- minute (* 60 hour-fix))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
301 ;; HOUR may be larger than 24 or smaller than 0. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
302 (cond ((<= 24 hour) ;24 -> 00 |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
303 (setq hour (- hour 24)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
304 (setq day (1+ day)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
305 (if (< (timezone-last-day-of-month month year) day) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
306 (progn |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
307 (setq month (1+ month)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
308 (setq day 1) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
309 (if (< 12 month) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
310 (progn |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
311 (setq month 1) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
312 (setq year (1+ year)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
313 )) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
314 ))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
315 ((> 0 hour) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
316 (setq hour (+ hour 24)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
317 (setq day (1- day)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
318 (if (> 1 day) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
319 (progn |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
320 (setq month (1- month)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
321 (if (> 1 month) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
322 (progn |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
323 (setq month 12) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
324 (setq year (1- year)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
325 )) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
326 (setq day (timezone-last-day-of-month month year)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
327 ))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
328 ) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
329 (vector year month day hour minute second timezone))) |
| 2908 | 330 |
| 331 ;; Partly copied from Calendar program by Edward M. Reingold. | |
| 332 ;; Thanks a lot. | |
| 333 | |
| 334 (defun timezone-last-day-of-month (month year) | |
| 335 "The last day in MONTH during YEAR." | |
| 336 (if (and (= month 2) (timezone-leap-year-p year)) | |
| 337 29 | |
| 338 (aref [31 28 31 30 31 30 31 31 30 31 30 31] (1- month)))) | |
| 339 | |
| 340 (defun timezone-leap-year-p (year) | |
| 341 "Returns t if YEAR is a Gregorian leap year." | |
| 342 (or (and (zerop (% year 4)) | |
| 343 (not (zerop (% year 100)))) | |
| 344 (zerop (% year 400)))) | |
|
2910
74b7994f2d20
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2908
diff
changeset
|
345 |
|
3494
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
346 (defun timezone-day-number (month day year) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
347 "Return the day number within the year of the date month/day/year." |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
348 (let ((day-of-year (+ day (* 31 (1- month))))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
349 (if (> month 2) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
350 (progn |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
351 (setq day-of-year (- day-of-year (/ (+ 23 (* 4 month)) 10))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
352 (if (timezone-leap-year-p year) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
353 (setq day-of-year (1+ day-of-year))))) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
354 day-of-year)) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
355 |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
356 (defun timezone-absolute-from-gregorian (month day year) |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
357 "The number of days between the Gregorian date 12/31/1 BC and month/day/year. |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
358 The Gregorian date Sunday, December 31, 1 BC is imaginary." |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
359 (+ (timezone-day-number month day year);; Days this year |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
360 (* 365 (1- year));; + Days in prior years |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
361 (/ (1- year) 4);; + Julian leap years |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
362 (- (/ (1- year) 100));; - century years |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
363 (/ (1- year) 400)));; + Gregorian leap years |
|
ddc7da3f66d1
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2910
diff
changeset
|
364 |
|
2910
74b7994f2d20
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
2908
diff
changeset
|
365 ;;; timezone.el ends here |
