annotate lisp/timezone.el @ 82453:d04e217671f9

(ada-create-syntax-table): Move set-syntax-table from here to ... (ada-mode): ... here. Do not change global value of comment-multi-line. Call new function ada-initialize-syntax-table-properties and add new function ada-handle-syntax-table-properties to font-lock-mode-hook. (ada-deactivate-properties, ada-initialize-properties): Replace by new functions ... (ada-handle-syntax-table-properties) (ada-initialize-syntax-table-properties) (ada-set-syntax-table-properties): ... to set up syntax-table properties uniformly, independently from whether font-lock-mode is enabled or not. Handle read-only buffers and do not change undo-list when setting syntax-table properties. (ada-after-change-function): Use ada-set-syntax-table-properties.
author Martin Rudalics <rudalics@gmx.at>
date Sat, 18 Aug 2007 08:37:41 +0000
parents 9355f9b7bbff
children 73661ddc7ac7 f55f9811f5d7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13337
84acc3adcd63 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 12482
diff changeset
1 ;;; timezone.el --- time zone package for GNU Emacs
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
74442
b2e5081b9320 Update copyright years.
Glenn Morris <rgm@gnu.org>
parents: 68651
diff changeset
3 ;; Copyright (C) 1990, 1991, 1992, 1993, 1996, 1999, 2001, 2002, 2003,
75347
e3694f1cb928 Add 2007 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 74442
diff changeset
4 ;; 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
2910
74b7994f2d20 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2908
diff changeset
5
13337
84acc3adcd63 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 12482
diff changeset
6 ;; Author: Masanobu Umeda
84acc3adcd63 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 12482
diff changeset
7 ;; Maintainer: umerin@mse.kyutech.ac.jp
84acc3adcd63 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 12482
diff changeset
8 ;; Keywords: news
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 ;; This file is part of GNU Emacs.
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; GNU Emacs is free software; you can redistribute it and/or modify
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; it under the terms of the GNU General Public License as published by
78236
9355f9b7bbff Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 75347
diff changeset
14 ;; the Free Software Foundation; either version 3, or (at your option)
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; any later version.
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; GNU Emacs is distributed in the hope that it will be useful,
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; GNU General Public License for more details.
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; You should have received a copy of the GNU General Public License
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13337
diff changeset
23 ;; along with GNU Emacs; see the file COPYING. If not, write to the
64091
6fb026ad601f Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 62402
diff changeset
24 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
6fb026ad601f Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 62402
diff changeset
25 ;; Boston, MA 02110-1301, USA.
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
38436
b174db545cfd Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 32290
diff changeset
27 ;;; Commentary:
b174db545cfd Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 32290
diff changeset
28
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 ;;; Code:
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 (defvar timezone-world-timezones
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 '(("PST" . -800)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ("PDT" . -700)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ("MST" . -700)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 ("MDT" . -600)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ("CST" . -600)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ("CDT" . -500)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ("EST" . -500)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 ("EDT" . -400)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ("AST" . -400) ;by <clamen@CS.CMU.EDU>
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 ("NST" . -330) ;by <clamen@CS.CMU.EDU>
9770
9b9006f58e48 (timezone-world-timezones): Add "UT" -> +000.
Richard M. Stallman <rms@gnu.org>
parents: 9503
diff changeset
42 ("UT" . +000)
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 ("GMT" . +000)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 ("BST" . +100)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 ("MET" . +100)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ("EET" . +200)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 ("JST" . +900)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ("GMT+1" . +100) ("GMT+2" . +200) ("GMT+3" . +300)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 ("GMT+4" . +400) ("GMT+5" . +500) ("GMT+6" . +600)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 ("GMT+7" . +700) ("GMT+8" . +800) ("GMT+9" . +900)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 ("GMT+10" . +1000) ("GMT+11" . +1100) ("GMT+12" . +1200) ("GMT+13" . +1300)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 ("GMT-1" . -100) ("GMT-2" . -200) ("GMT-3" . -300)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 ("GMT-4" . -400) ("GMT-5" . -500) ("GMT-6" . -600)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 ("GMT-7" . -700) ("GMT-8" . -800) ("GMT-9" . -900)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 ("GMT-10" . -1000) ("GMT-11" . -1100) ("GMT-12" . -1200))
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
56 "*Time differentials of timezone from GMT in +-HHMM form.
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
57 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
58 because time zone names are ambiguous in practice.
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
59 Use `current-time-zone' instead.")
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 (defvar timezone-months-assoc
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 '(("JAN" . 1)("FEB" . 2)("MAR" . 3)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 ("APR" . 4)("MAY" . 5)("JUN" . 6)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 ("JUL" . 7)("AUG" . 8)("SEP" . 9)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 ("OCT" . 10)("NOV" . 11)("DEC" . 12))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 "Alist of first three letters of a month and its numerical representation.")
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 (defun timezone-make-date-arpa-standard (date &optional local timezone)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 "Convert DATE to an arpanet standard date.
24305
85040d56fb60 (timezone-make-date-sortable, timezone-make-date-arpa-standard): Doc fix.
Dave Love <fx@gnu.org>
parents: 19190
diff changeset
70 Optional 2nd argument LOCAL specifies the default local timezone of the DATE;
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
71 if nil, GMT is assumed.
24305
85040d56fb60 (timezone-make-date-sortable, timezone-make-date-arpa-standard): Doc fix.
Dave Love <fx@gnu.org>
parents: 19190
diff changeset
72 Optional 3rd argument TIMEZONE specifies a time zone to be represented in;
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
73 if nil, the local time zone is assumed."
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
74 (let ((new (timezone-fix-time date local timezone)))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 (timezone-make-arpa-date (aref new 0) (aref new 1) (aref new 2)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 (timezone-make-time-string
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 (aref new 3) (aref new 4) (aref new 5))
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
78 (aref new 6))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 ))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 (defun timezone-make-date-sortable (date &optional local timezone)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 "Convert DATE to a sortable date string.
24305
85040d56fb60 (timezone-make-date-sortable, timezone-make-date-arpa-standard): Doc fix.
Dave Love <fx@gnu.org>
parents: 19190
diff changeset
83 Optional 2nd argument LOCAL specifies the default local timezone of the DATE;
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
84 if nil, GMT is assumed.
24305
85040d56fb60 (timezone-make-date-sortable, timezone-make-date-arpa-standard): Doc fix.
Dave Love <fx@gnu.org>
parents: 19190
diff changeset
85 Optional 3rd argument TIMEZONE specifies a timezone to be represented in;
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
86 if nil, the local time zone is assumed."
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
87 (let ((new (timezone-fix-time date local timezone)))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 (timezone-make-sortable-date (aref new 0) (aref new 1) (aref new 2)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 (timezone-make-time-string
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 (aref new 3) (aref new 4) (aref new 5)))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 ))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 ;;
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 ;; Parsers and Constructors of Date and Time
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 ;;
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 (defun timezone-make-arpa-date (year month day time &optional timezone)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 "Make arpanet standard date string from YEAR, MONTH, DAY, and TIME.
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 Optional argument TIMEZONE specifies a time zone."
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
101 (let ((zone
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
102 (if (listp timezone)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
103 (let* ((m (timezone-zone-to-minute timezone))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
104 (absm (if (< m 0) (- m) m)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
105 (format "%c%02d%02d"
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
106 (if (< m 0) ?- ?+) (/ absm 60) (% absm 60)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
107 timezone)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
108 (format "%02d %s %04d %s %s"
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
109 day
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
110 (capitalize (car (rassq month timezone-months-assoc)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
111 year
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
112 time
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
113 zone)))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 (defun timezone-make-sortable-date (year month day time)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 "Make sortable date string from YEAR, MONTH, DAY, and TIME."
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 (format "%4d%02d%02d%s"
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
118 year month day time))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 (defun timezone-make-time-string (hour minute second)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 "Make time string from HOUR, MINUTE, and SECOND."
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 (format "%02d:%02d:%02d" hour minute second))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 (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
125 "Parse DATE and return a vector [YEAR MONTH DAY TIME TIMEZONE].
32290
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
126 Two-digit dates are `windowed'. Those <69 have 2000 added; otherwise 1900
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
127 is added. Three-digit dates have 1900 added.
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
128 TIMEZONE is nil for DATEs without a zone field.
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
129
4835
4324c797a9e3 (timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents: 4510
diff changeset
130 Understands the following styles:
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 (1) 14 Apr 89 03:20[:12] [GMT]
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 (2) Fri, 17 Mar 89 4:01[:33] [GMT]
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 (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
134 (4) 6 May 1992 1641-JST (Wednesday)
9988
23ad7670da34 (timezone-parse-date): Handle two new formats (6 and 7).
Richard M. Stallman <rms@gnu.org>
parents: 9770
diff changeset
135 (5) 22-AUG-1993 10:59:12.82
23ad7670da34 (timezone-parse-date): Handle two new formats (6 and 7).
Richard M. Stallman <rms@gnu.org>
parents: 9770
diff changeset
136 (6) Thu, 11 Apr 16:17:12 91 [MET]
15632
b7fddad951a0 (timezone-parse-date): Fix previous change.
Karl Heuer <kwzh@gnu.org>
parents: 15614
diff changeset
137 (7) Mon, 6 Jul 16:47:20 T 1992 [MET]
19190
7903b3fb5ec5 (timezone-parse-date): Handle additional style (9).
Richard M. Stallman <rms@gnu.org>
parents: 17627
diff changeset
138 (8) 1996-06-24 21:13:12 [GMT]
7903b3fb5ec5 (timezone-parse-date): Handle additional style (9).
Richard M. Stallman <rms@gnu.org>
parents: 17627
diff changeset
139 (9) 1996-06-24 21:13-ZONE"
15614
6fb29f91d5ec (timezone-parse-date): Handle ISO 8601 dates, so rmailsort does the right
Miles Bader <miles@gnu.org>
parents: 14169
diff changeset
140 ;; Get rid of any text properties.
12482
3f4cd64a4730 (timezone-parse-date): Ignore text properties.
Richard M. Stallman <rms@gnu.org>
parents: 10255
diff changeset
141 (and (stringp date)
3f4cd64a4730 (timezone-parse-date): Ignore text properties.
Richard M. Stallman <rms@gnu.org>
parents: 10255
diff changeset
142 (or (text-properties-at 0 date)
3f4cd64a4730 (timezone-parse-date): Ignore text properties.
Richard M. Stallman <rms@gnu.org>
parents: 10255
diff changeset
143 (next-property-change 0 date))
3f4cd64a4730 (timezone-parse-date): Ignore text properties.
Richard M. Stallman <rms@gnu.org>
parents: 10255
diff changeset
144 (setq date (copy-sequence date))
3f4cd64a4730 (timezone-parse-date): Ignore text properties.
Richard M. Stallman <rms@gnu.org>
parents: 10255
diff changeset
145 (set-text-properties 0 (length date) nil date))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 (let ((date (or date ""))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 (year nil)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 (month nil)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 (day nil)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 (time nil)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 (zone nil)) ;This may be nil.
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 (cond ((string-match
64210
3e480e2df335 (timezone-parse-date): Changed first regexp
Richard M. Stallman <rms@gnu.org>
parents: 64091
diff changeset
153 "\\([0-9]+\\)[ \t]+\\([^ \t,]+\\)[ \t]+\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9:]+\\)[ \t]+\\([-+a-zA-Z0-9]+\\)" date)
17627
2492168c1d05 (timezone-parse-date): Match forms 1 and 2 first.
Richard M. Stallman <rms@gnu.org>
parents: 16942
diff changeset
154 ;; Styles: (1) and (2) with timezone and buggy timezone
2492168c1d05 (timezone-parse-date): Match forms 1 and 2 first.
Richard M. Stallman <rms@gnu.org>
parents: 16942
diff changeset
155 ;; This is most common in mail and news,
2492168c1d05 (timezone-parse-date): Match forms 1 and 2 first.
Richard M. Stallman <rms@gnu.org>
parents: 16942
diff changeset
156 ;; so it is worth trying first.
2492168c1d05 (timezone-parse-date): Match forms 1 and 2 first.
Richard M. Stallman <rms@gnu.org>
parents: 16942
diff changeset
157 (setq year 3 month 2 day 1 time 4 zone 5))
2492168c1d05 (timezone-parse-date): Match forms 1 and 2 first.
Richard M. Stallman <rms@gnu.org>
parents: 16942
diff changeset
158 ((string-match
2492168c1d05 (timezone-parse-date): Match forms 1 and 2 first.
Richard M. Stallman <rms@gnu.org>
parents: 16942
diff changeset
159 "\\([0-9]+\\)[ \t]+\\([^ \t,]+\\)[ \t]+\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9:]+\\)[ \t]*\\'" date)
2492168c1d05 (timezone-parse-date): Match forms 1 and 2 first.
Richard M. Stallman <rms@gnu.org>
parents: 16942
diff changeset
160 ;; Styles: (1) and (2) without timezone
2492168c1d05 (timezone-parse-date): Match forms 1 and 2 first.
Richard M. Stallman <rms@gnu.org>
parents: 16942
diff changeset
161 (setq year 3 month 2 day 1 time 4 zone nil))
2492168c1d05 (timezone-parse-date): Match forms 1 and 2 first.
Richard M. Stallman <rms@gnu.org>
parents: 16942
diff changeset
162 ((string-match
9988
23ad7670da34 (timezone-parse-date): Handle two new formats (6 and 7).
Richard M. Stallman <rms@gnu.org>
parents: 9770
diff changeset
163 "\\([^ \t,]+\\),[ \t]+\\([0-9]+\\)[ \t]+\\([^ \t,]+\\)[ \t]+\\([0-9]+:[0-9:]+\\)[ \t]+\\(T[ \t]+\\|\\)\\([0-9]+\\)[ \t]*\\'" date)
23ad7670da34 (timezone-parse-date): Handle two new formats (6 and 7).
Richard M. Stallman <rms@gnu.org>
parents: 9770
diff changeset
164 ;; Styles: (6) and (7) without timezone
23ad7670da34 (timezone-parse-date): Handle two new formats (6 and 7).
Richard M. Stallman <rms@gnu.org>
parents: 9770
diff changeset
165 (setq year 6 month 3 day 2 time 4 zone nil))
23ad7670da34 (timezone-parse-date): Handle two new formats (6 and 7).
Richard M. Stallman <rms@gnu.org>
parents: 9770
diff changeset
166 ((string-match
23ad7670da34 (timezone-parse-date): Handle two new formats (6 and 7).
Richard M. Stallman <rms@gnu.org>
parents: 9770
diff changeset
167 "\\([^ \t,]+\\),[ \t]+\\([0-9]+\\)[ \t]+\\([^ \t,]+\\)[ \t]+\\([0-9]+:[0-9:]+\\)[ \t]+\\(T[ \t]+\\|\\)\\([0-9]+\\)[ \t]*\\([-+a-zA-Z0-9]+\\)" date)
23ad7670da34 (timezone-parse-date): Handle two new formats (6 and 7).
Richard M. Stallman <rms@gnu.org>
parents: 9770
diff changeset
168 ;; Styles: (6) and (7) with timezone and buggy timezone
23ad7670da34 (timezone-parse-date): Handle two new formats (6 and 7).
Richard M. Stallman <rms@gnu.org>
parents: 9770
diff changeset
169 (setq year 6 month 3 day 2 time 4 zone 7))
23ad7670da34 (timezone-parse-date): Handle two new formats (6 and 7).
Richard M. Stallman <rms@gnu.org>
parents: 9770
diff changeset
170 ((string-match
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 "\\([^ \t,]+\\)[ \t]+\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9:]+\\)[ \t]+\\([0-9]+\\)" date)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 ;; Styles: (3) without timezone
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (setq year 4 month 1 day 2 time 3 zone nil))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 ((string-match
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 "\\([^ \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
176 ;; Styles: (3) with timezone
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 (setq year 5 month 1 day 2 time 3 zone 4))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 ((string-match
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 "\\([0-9]+\\)[ \t]+\\([^ \t,]+\\)[ \t]+\\([0-9]+\\)[ \t]+\\([0-9]+\\)[ \t]*\\([-+a-zA-Z0-9]+\\)" date)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 ;; Styles: (4) with timezone
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 (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
182 ((string-match
24697
4708ef6e279e (timezone-parse-date): Recognize new format used in internet cookies.
Karl Heuer <kwzh@gnu.org>
parents: 24570
diff changeset
183 "\\([0-9]+\\)-\\([A-Za-z]+\\)-\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9]+:[0-9]+\\)\\(\\.[0-9]+\\)?[ \t]+\\([-+a-zA-Z0-9]+\\)" date)
4708ef6e279e (timezone-parse-date): Recognize new format used in internet cookies.
Karl Heuer <kwzh@gnu.org>
parents: 24570
diff changeset
184 ;; Styles: (5) with timezone.
4708ef6e279e (timezone-parse-date): Recognize new format used in internet cookies.
Karl Heuer <kwzh@gnu.org>
parents: 24570
diff changeset
185 (setq year 3 month 2 day 1 time 4 zone 6))
4708ef6e279e (timezone-parse-date): Recognize new format used in internet cookies.
Karl Heuer <kwzh@gnu.org>
parents: 24570
diff changeset
186 ((string-match
24570
d8a0152b923f (timezone-parse-date): Corrected regexp for
Richard M. Stallman <rms@gnu.org>
parents: 24305
diff changeset
187 "\\([0-9]+\\)-\\([A-Za-z]+\\)-\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9]+:[0-9]+\\)\\(\\.[0-9]+\\)?" date)
4835
4324c797a9e3 (timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents: 4510
diff changeset
188 ;; Styles: (5) without timezone.
4324c797a9e3 (timezone-parse-date): Handle new style 22-AUG-1993.
Richard M. Stallman <rms@gnu.org>
parents: 4510
diff changeset
189 (setq year 3 month 2 day 1 time 4 zone nil))
15614
6fb29f91d5ec (timezone-parse-date): Handle ISO 8601 dates, so rmailsort does the right
Miles Bader <miles@gnu.org>
parents: 14169
diff changeset
190 ((string-match
32290
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
191 "\\([0-9]+\\)-\\([0-9]+\\)-\\([0-9]+\\)[ \t]+\\([0-9]+:[0-9]+:[0-9]+\\)[ \t]+\\([-+a-zA-Z0-9]+\\)" date)
15614
6fb29f91d5ec (timezone-parse-date): Handle ISO 8601 dates, so rmailsort does the right
Miles Bader <miles@gnu.org>
parents: 14169
diff changeset
192 ;; Styles: (8) with timezone.
6fb29f91d5ec (timezone-parse-date): Handle ISO 8601 dates, so rmailsort does the right
Miles Bader <miles@gnu.org>
parents: 14169
diff changeset
193 (setq year 1 month 2 day 3 time 4 zone 5))
6fb29f91d5ec (timezone-parse-date): Handle ISO 8601 dates, so rmailsort does the right
Miles Bader <miles@gnu.org>
parents: 14169
diff changeset
194 ((string-match
53047
9f2b82f3752a (timezone-parse-date): Fix style 8 to accept ISO
Alex Schroeder <alex@gnu.org>
parents: 52401
diff changeset
195 "\\([0-9]+\\)-\\([0-9]+\\)-\\([0-9]+\\)[T \t]+\\([0-9]+:[0-9]+\\)[ \t]+\\([-+a-zA-Z0-9:]+\\)" date)
19190
7903b3fb5ec5 (timezone-parse-date): Handle additional style (9).
Richard M. Stallman <rms@gnu.org>
parents: 17627
diff changeset
196 ;; Styles: (8) with timezone with a colon in it.
7903b3fb5ec5 (timezone-parse-date): Handle additional style (9).
Richard M. Stallman <rms@gnu.org>
parents: 17627
diff changeset
197 (setq year 1 month 2 day 3 time 4 zone 5))
7903b3fb5ec5 (timezone-parse-date): Handle additional style (9).
Richard M. Stallman <rms@gnu.org>
parents: 17627
diff changeset
198 ((string-match
53047
9f2b82f3752a (timezone-parse-date): Fix style 8 to accept ISO
Alex Schroeder <alex@gnu.org>
parents: 52401
diff changeset
199 "\\([0-9]+\\)-\\([0-9]+\\)-\\([0-9]+\\)[T \t]+\\([0-9]+:[0-9]+:[0-9]+\\)" date)
15614
6fb29f91d5ec (timezone-parse-date): Handle ISO 8601 dates, so rmailsort does the right
Miles Bader <miles@gnu.org>
parents: 14169
diff changeset
200 ;; Styles: (8) without timezone.
6fb29f91d5ec (timezone-parse-date): Handle ISO 8601 dates, so rmailsort does the right
Miles Bader <miles@gnu.org>
parents: 14169
diff changeset
201 (setq year 1 month 2 day 3 time 4 zone nil))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 )
25383
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
203 (when year
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
204 (setq year (match-string year date))
25577
8a541d5c62c0 (timezone-parse-date): Use < 69 not < 70 to distinguish 20YY from 19YY.
Richard M. Stallman <rms@gnu.org>
parents: 25552
diff changeset
205 ;; Guess ambiguous years. Assume years < 69 don't predate the
27493
005bb11b61bb (timezone-fix-time): Window against 69 for two-digit years. Deal with
Dave Love <fx@gnu.org>
parents: 25577
diff changeset
206 ;; Unix Epoch, so are 2000+. Three-digit years are assumed to
005bb11b61bb (timezone-fix-time): Window against 69 for two-digit years. Deal with
Dave Love <fx@gnu.org>
parents: 25577
diff changeset
207 ;; be relative to 1900.
25383
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
208 (if (< (length year) 4)
62402
a7e02ef1e3d6 Replace `string-to-int' by `string-to-number'.
Juanma Barranquero <lekktu@gmail.com>
parents: 53047
diff changeset
209 (let ((y (string-to-number year)))
25577
8a541d5c62c0 (timezone-parse-date): Use < 69 not < 70 to distinguish 20YY from 19YY.
Richard M. Stallman <rms@gnu.org>
parents: 25552
diff changeset
210 (if (< y 69)
25383
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
211 (setq y (+ y 100)))
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
212 (setq year (int-to-string (+ 1900 y)))))
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
213 (setq month
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
214 (if (= (aref date (+ (match-beginning month) 2)) ?-)
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
215 ;; Handle numeric months, spanning exactly two digits.
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
216 (substring date
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
217 (match-beginning month)
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
218 (+ (match-beginning month) 2))
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
219 (let* ((string (substring date
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
220 (match-beginning month)
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
221 (+ (match-beginning month) 3)))
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
222 (monthnum
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
223 (cdr (assoc (upcase string) timezone-months-assoc))))
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
224 (if monthnum
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
225 (int-to-string monthnum)))))
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
226 (setq day (match-string day date))
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
227 (setq time (match-string time date)))
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
228 (if zone (setq zone (match-string zone date)))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 ;; Return a vector.
16942
eca5dfcd481d (timezone-parse-date): Treat unknown month name
Richard M. Stallman <rms@gnu.org>
parents: 16900
diff changeset
230 (if (and year month)
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 (vector year month day time zone)
25383
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
232 (vector "0" "0" "0" "0" nil))))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 (defun timezone-parse-time (time)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 "Parse TIME (HH:MM:SS) and return a vector [hour minute second].
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 Recognize HH:MM:SS, HH:MM, HHMMSS, HHMM."
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 (let ((time (or time ""))
25383
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
238 hour minute second)
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 (cond ((string-match "\\`\\([0-9]+\\):\\([0-9]+\\):\\([0-9]+\\)\\'" time)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 ;; HH:MM:SS
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 (setq hour 1 minute 2 second 3))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 ((string-match "\\`\\([0-9]+\\):\\([0-9]+\\)\\'" time)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 ;; HH:MM
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 (setq hour 1 minute 2 second nil))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 ((string-match "\\`\\([0-9][0-9]\\)\\([0-9][0-9]\\)\\([0-9][0-9]\\)\\'" time)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 ;; HHMMSS
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 (setq hour 1 minute 2 second 3))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 ((string-match "\\`\\([0-9][0-9]\\)\\([0-9][0-9]\\)\\'" time)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 ;; HHMM
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 (setq hour 1 minute 2 second nil))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 )
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 ;; Return [hour minute second]
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 (vector
25383
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
254 (if hour (match-string hour time) "0")
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
255 (if minute (match-string minute time) "0")
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
256 (if second (match-string second time) "0"))))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
258
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 ;; Miscellaneous
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 (defun timezone-zone-to-minute (timezone)
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
262 "Translate TIMEZONE to an integer minute offset from GMT.
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
263 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
264 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
265 (cond
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
266 ((consp timezone)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
267 (/ (car timezone) 60))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
268 (timezone
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 (progn
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 (setq timezone
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 (or (cdr (assoc (upcase timezone) timezone-world-timezones))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 ;; +900
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 timezone))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 (if (stringp timezone)
62402
a7e02ef1e3d6 Replace `string-to-int' by `string-to-number'.
Juanma Barranquero <lekktu@gmail.com>
parents: 53047
diff changeset
275 (setq timezone (string-to-number timezone)))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 ;; Taking account of minute in timezone.
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 ;; HHMM -> MM
4510
10baf5e7550f (timezone-fix-time, timezone-zone-to-minute): Simplify with `abs'
Paul Eggert <eggert@twinsun.com>
parents: 3505
diff changeset
278 (let* ((abszone (abs timezone))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 (minutes (+ (* 60 (/ abszone 100)) (% abszone 100))))
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
280 (if (< timezone 0) (- minutes) minutes))))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
281 (t 0)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
282
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
283 (defun timezone-time-from-absolute (date seconds)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
284 "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
285 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
286 or nil if the date cannot be thus represented.
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
287 DATE is the number of days elapsed since the (imaginary)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
288 Gregorian date Sunday, December 31, 1 BC."
16476
0bf8dab67f91 (timezone-time-from-absolute): Fix off-by-one
Paul Eggert <eggert@twinsun.com>
parents: 15632
diff changeset
289 (let* ((current-time-origin 719163)
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
290 ;; (timezone-absolute-from-gregorian 1 1 1970)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
291 (days (- date current-time-origin))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
292 (seconds-per-day (float 86400))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
293 (seconds (+ seconds (* days seconds-per-day)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
294 (current-time-arithmetic-base (float 65536))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
295 (hi (floor (/ seconds current-time-arithmetic-base)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
296 (hibase (* hi current-time-arithmetic-base))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
297 (lo (floor (- seconds hibase))))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
298 (and (< (abs (- seconds (+ hibase lo))) 2) ;; Check for integer overflow.
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
299 (cons hi lo))))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
301 (defun timezone-time-zone-from-absolute (date seconds)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
302 "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
303 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
304 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
305 DATE is the number of days elapsed since the (imaginary)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
306 Gregorian date Sunday, December 31, 1 BC."
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
307 (and (fboundp 'current-time-zone)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
308 (let ((utc-time (timezone-time-from-absolute date seconds)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
309 (and utc-time
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
310 (let ((zone (current-time-zone utc-time)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
311 (and (car zone) zone))))))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
312
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
313 (defun timezone-fix-time (date local timezone)
3505
1489eda1a90b entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 3494
diff changeset
314 "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
315 If LOCAL is nil, it is assumed to be GMT.
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
316 If TIMEZONE is nil, use the local time zone."
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
317 (let* ((date (timezone-parse-date date))
62402
a7e02ef1e3d6 Replace `string-to-int' by `string-to-number'.
Juanma Barranquero <lekktu@gmail.com>
parents: 53047
diff changeset
318 (year (string-to-number (aref date 0)))
27493
005bb11b61bb (timezone-fix-time): Window against 69 for two-digit years. Deal with
Dave Love <fx@gnu.org>
parents: 25577
diff changeset
319 (year (cond ((< year 69)
10255
d4119f1137f9 (timezone-fix-time): For year values < 50, add 2000.
Richard M. Stallman <rms@gnu.org>
parents: 9988
diff changeset
320 (+ year 2000))
d4119f1137f9 (timezone-fix-time): For year values < 50, add 2000.
Richard M. Stallman <rms@gnu.org>
parents: 9988
diff changeset
321 ((< year 100)
d4119f1137f9 (timezone-fix-time): For year values < 50, add 2000.
Richard M. Stallman <rms@gnu.org>
parents: 9988
diff changeset
322 (+ year 1900))
27493
005bb11b61bb (timezone-fix-time): Window against 69 for two-digit years. Deal with
Dave Love <fx@gnu.org>
parents: 25577
diff changeset
323 ((< year 1000) ; possible 3-digit years.
005bb11b61bb (timezone-fix-time): Window against 69 for two-digit years. Deal with
Dave Love <fx@gnu.org>
parents: 25577
diff changeset
324 (+ year 1900))
10255
d4119f1137f9 (timezone-fix-time): For year values < 50, add 2000.
Richard M. Stallman <rms@gnu.org>
parents: 9988
diff changeset
325 (t year)))
62402
a7e02ef1e3d6 Replace `string-to-int' by `string-to-number'.
Juanma Barranquero <lekktu@gmail.com>
parents: 53047
diff changeset
326 (month (string-to-number (aref date 1)))
a7e02ef1e3d6 Replace `string-to-int' by `string-to-number'.
Juanma Barranquero <lekktu@gmail.com>
parents: 53047
diff changeset
327 (day (string-to-number (aref date 2)))
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
328 (time (timezone-parse-time (aref date 3)))
62402
a7e02ef1e3d6 Replace `string-to-int' by `string-to-number'.
Juanma Barranquero <lekktu@gmail.com>
parents: 53047
diff changeset
329 (hour (string-to-number (aref time 0)))
a7e02ef1e3d6 Replace `string-to-int' by `string-to-number'.
Juanma Barranquero <lekktu@gmail.com>
parents: 53047
diff changeset
330 (minute (string-to-number (aref time 1)))
a7e02ef1e3d6 Replace `string-to-int' by `string-to-number'.
Juanma Barranquero <lekktu@gmail.com>
parents: 53047
diff changeset
331 (second (string-to-number (aref time 2)))
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
332 (local (or (aref date 4) local)) ;Use original if defined
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
333 (timezone
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
334 (or timezone
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
335 (timezone-time-zone-from-absolute
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
336 (timezone-absolute-from-gregorian month day year)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
337 (+ second (* 60 (+ minute (* 60 hour)))))))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
338 (diff (- (timezone-zone-to-minute timezone)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
339 (timezone-zone-to-minute local)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
340 (minute (+ minute diff))
4510
10baf5e7550f (timezone-fix-time, timezone-zone-to-minute): Simplify with `abs'
Paul Eggert <eggert@twinsun.com>
parents: 3505
diff changeset
341 (hour-fix (floor minute 60)))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342 (setq hour (+ hour hour-fix))
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
343 (setq minute (- minute (* 60 hour-fix)))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
344 ;; HOUR may be larger than 24 or smaller than 0.
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
345 (cond ((<= 24 hour) ;24 -> 00
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
346 (setq hour (- hour 24))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
347 (setq day (1+ day))
32290
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
348 (when (< (timezone-last-day-of-month month year) day)
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
349 (setq month (1+ month))
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
350 (setq day 1)
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
351 (when (< 12 month)
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
352 (setq month 1)
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
353 (setq year (1+ year)))))
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
354 ((> 0 hour)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
355 (setq hour (+ hour 24))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
356 (setq day (1- day))
32290
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
357 (when (> 1 day)
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
358 (setq month (1- month))
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
359 (when (> 1 month)
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
360 (setq month 12)
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
361 (setq year (1- year)))
0d473fed67ba (timezone-parse-date): Doc fix. Fix regexps for (5)
Dave Love <fx@gnu.org>
parents: 27493
diff changeset
362 (setq day (timezone-last-day-of-month month year)))))
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
363 (vector year month day hour minute second timezone)))
2908
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
364
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365 ;; Partly copied from Calendar program by Edward M. Reingold.
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
366 ;; Thanks a lot.
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
367
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
368 (defun timezone-last-day-of-month (month year)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
369 "The last day in MONTH during YEAR."
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
370 (if (and (= month 2) (timezone-leap-year-p year))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
371 29
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
372 (aref [31 28 31 30 31 30 31 31 30 31 30 31] (1- month))))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
373
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
374 (defun timezone-leap-year-p (year)
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
375 "Returns t if YEAR is a Gregorian leap year."
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
376 (or (and (zerop (% year 4))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
377 (not (zerop (% year 100))))
fea2f9ef375b Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
378 (zerop (% year 400))))
2910
74b7994f2d20 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2908
diff changeset
379
3494
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
380 (defun timezone-day-number (month day year)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
381 "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
382 (let ((day-of-year (+ day (* 31 (1- month)))))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
383 (if (> month 2)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
384 (progn
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
385 (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
386 (if (timezone-leap-year-p year)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
387 (setq day-of-year (1+ day-of-year)))))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
388 day-of-year))
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
389
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
390 (defun timezone-absolute-from-gregorian (month day year)
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
391 "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
392 The Gregorian date Sunday, December 31, 1 BC is imaginary."
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
393 (+ (timezone-day-number month day year);; Days this year
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
394 (* 365 (1- year));; + Days in prior years
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
395 (/ (1- year) 4);; + Julian leap years
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
396 (- (/ (1- year) 100));; - century years
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
397 (/ (1- year) 400)));; + Gregorian leap years
ddc7da3f66d1 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2910
diff changeset
398
25383
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
399 (provide 'timezone)
57e815ace9e2 Mode provide to end.
Dave Love <fx@gnu.org>
parents: 24697
diff changeset
400
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 38436
diff changeset
401 ;;; arch-tag: e23d5bc6-f32d-48ba-8996-323e9d654b3f
2910
74b7994f2d20 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 2908
diff changeset
402 ;;; timezone.el ends here