annotate lisp/mail/rfc822.el @ 12185:7a18efea682a

(read_char_minibuf_menu_prompt): If the char to type doesn't match the prompt string, show the char explicitly.
author Karl Heuer <kwzh@gnu.org>
date Sun, 11 Jun 1995 20:09:49 +0000
parents 9e7ec92a4fdf
children 83f275dcd93a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
658
7cbd4fcd8b0f *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 584
diff changeset
1 ;;; rfc822.el --- hairy rfc822 parser for mail and news and suchlike
7cbd4fcd8b0f *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 584
diff changeset
2
845
213978acbc1e entered into RCS
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 814
diff changeset
3 ;; Copyright (C) 1986, 87, 1990 Free Software Foundation, Inc.
213978acbc1e entered into RCS
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 814
diff changeset
4
789
71d052f72ac1 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 658
diff changeset
5 ;; Author: Richard Mlynarik <mly@eddie.mit.edu>
71d052f72ac1 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 658
diff changeset
6 ;; Maintainer: FSF
814
38b2499cb3e9 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 804
diff changeset
7 ;; Keywords: mail
789
71d052f72ac1 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 658
diff changeset
8
43
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;; This file is part of GNU Emacs.
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; GNU Emacs is free software; you can redistribute it and/or modify
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; it under the terms of the GNU General Public License as published by
804
33aaf4b71a1d *** empty log message ***
Roland McGrath <roland@gnu.org>
parents: 789
diff changeset
13 ;; the Free Software Foundation; either version 2, or (at your option)
43
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; any later version.
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; GNU Emacs is distributed in the hope that it will be useful,
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; GNU General Public License for more details.
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; You should have received a copy of the GNU General Public License
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; along with GNU Emacs; see the file COPYING. If not, write to
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24
2315
9e7ec92a4fdf Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
25 ;;; Commentary:
9e7ec92a4fdf Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
26
9e7ec92a4fdf Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
27 ;; Support functions for parsing RFC-822 headers, used by mail and news
9e7ec92a4fdf Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
28 ;; modes.
9e7ec92a4fdf Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
29
789
71d052f72ac1 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 658
diff changeset
30 ;;; Code:
71d052f72ac1 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 658
diff changeset
31
43
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 ;; uses address-start free, throws to address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 (defun rfc822-bad-address (reason)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 (save-restriction
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 (insert "_^_")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 (narrow-to-region address-start
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 (if (re-search-forward "[,;]" nil t)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 (max (point-min) (1- (point)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 (point-max)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ;; make the error string be suitable for inclusion in (...)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 (let ((losers '("\\" "(" ")" "\n")))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 (while losers
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 (goto-char (point-min))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 (while (search-forward (car losers) nil t)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 (backward-char 1)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 (insert ?\\)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 (forward-char 1))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 (setq losers (cdr losers))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 (goto-char (point-min)) (insert "(Unparsable address -- "
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 reason
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 ":\n\t \"")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 (goto-char (point-max)) (insert "\")"))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 (rfc822-nuke-whitespace)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 (throw 'address (buffer-substring address-start (point))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 (defun rfc822-nuke-whitespace (&optional leave-space)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 (let (ch)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 (while (cond ((eobp)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 nil)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 ((= (setq ch (following-char)) ?\()
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 (forward-char 1)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 (while (if (eobp)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 (rfc822-bad-address "Unbalanced comment (...)")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 (/= (setq ch (following-char)) ?\)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 (cond ((looking-at "[^()\\]+")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 (replace-match ""))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 ((= ch ?\()
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 (rfc822-nuke-whitespace))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 ((< (point) (1- (point-max)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 (delete-char 2))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 (t
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 (rfc822-bad-address "orphaned backslash"))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 ;; delete remaining "()"
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 (forward-char -1)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 (delete-char 2)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 t)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 ((memq ch '(?\ ?\t ?\n))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 (delete-region (point)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 (progn (skip-chars-forward " \t\n") (point)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 t)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 (t
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 nil)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 (or (not leave-space)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 (eobp)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 (bobp)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 (= (preceding-char) ?\ )
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 (insert ?\ ))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 (defun rfc822-looking-at (regex &optional leave-space)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 (if (cond ((stringp regex)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 (if (looking-at regex)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 (progn (goto-char (match-end 0))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 t)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 (t
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 (if (and (not (eobp))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 (= (following-char) regex))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 (progn (forward-char 1)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98 t))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 (let ((tem (match-data)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 (rfc822-nuke-whitespace leave-space)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
101 (store-match-data tem)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 t)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 (defun rfc822-snarf-word ()
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 ;; word is atom | quoted-string
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 (cond ((= (following-char) ?\")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 ;; quoted-string
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 (or (rfc822-looking-at "\"\\([^\"\\\n]\\|\\\\.\\|\\\\\n\\)*\"")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 (rfc822-bad-address "Unterminated quoted string")))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 ((rfc822-looking-at "[^][\000-\037\177-\377 ()<>@,;:\\\".]+")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 ;; atom
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 )
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 (t
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 (rfc822-bad-address "Rubbish in address"))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 (defun rfc822-snarf-words ()
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
117 (rfc822-snarf-word)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 (while (rfc822-looking-at ?.)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 (rfc822-snarf-word)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 (defun rfc822-snarf-subdomain ()
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 ;; sub-domain is domain-ref | domain-literal
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 (cond ((= (following-char) ?\[)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 ;; domain-ref
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 (or (rfc822-looking-at "\\[\\([^][\\\n]\\|\\\\.\\|\\\\\n\\)*\\]")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 (rfc822-bad-address "Unterminated domain literal [...]")))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 ((rfc822-looking-at "[^][\000-\037\177-\377 ()<>@,;:\\\".]+")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 ;; domain-literal = atom
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 )
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 (t
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 (rfc822-bad-address "Rubbish in host/domain specification"))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 (defun rfc822-snarf-domain ()
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 (rfc822-snarf-subdomain)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 (while (rfc822-looking-at ?.)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 (rfc822-snarf-subdomain)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 (defun rfc822-snarf-frob-list (name separator terminator snarfer
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 &optional return)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 (let ((first t)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 (list ())
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 tem)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 (while (cond ((eobp)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 (rfc822-bad-address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 (format "End of addresses in middle of %s" name)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 ((rfc822-looking-at terminator)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 nil)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 ((rfc822-looking-at separator)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 ;; multiple separators are allowed and do nothing.
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 (while (rfc822-looking-at separator))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 t)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 (first
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 t)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 (t
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 (rfc822-bad-address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 (format "Gubbish in middle of %s" name))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 (setq tem (funcall snarfer)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 first nil)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 (and return tem
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 (setq list (if (listp tem)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 (nconc (reverse tem) list)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 (cons tem list)))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 (nreverse list)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 ;; return either an address (a string) or a list of addresses
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 (defun rfc822-addresses-1 (&optional allow-groups)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 ;; Looking for an rfc822 `address'
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 ;; Either a group (1*word ":" [#mailbox] ";")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 ;; or a mailbox (addr-spec | 1*word route-addr)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 ;; addr-spec is (local-part "@" domain)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 ;; route-addr is ("<" [1#("@" domain) ":"] addr-spec ">")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 ;; local-part is (word *("." word))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 ;; word is (atom | quoted-string)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 ;; quoted-string is ("\([^\"\\n]\|\\.\|\\\n\)")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 ;; atom is [^\000-\037\177 ()<>@,;:\".[]]+
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 ;; domain is sub-domain *("." sub-domain)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 ;; sub-domain is domain-ref | domain-literal
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 ;; domain-literal is "[" *(dtext | quoted-pair) "]"
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 ;; dtext is "[^][\\n"
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 ;; domain-ref is atom
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 (let ((address-start (point))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 (n 0))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 (catch 'address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 ;; optimize common cases:
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 ;; foo
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 ;; foo.bar@bar.zap
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 ;; followed by "\\'\\|,\\|([^()\\]*)\\'"
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 ;; other common cases are:
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 ;; foo bar <foo.bar@baz.zap>
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 ;; "foo bar" <foo.bar@baz.zap>
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 ;; those aren't hacked yet.
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 (if (and (rfc822-looking-at "[^][\000-\037\177-\377 ()<>@,;:\\\"]+\\(\\|@[^][\000-\037\177-\377 ()<>@,;:\\\"]+\\)" t)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 (progn (or (eobp)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 (rfc822-looking-at ?,))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 (progn
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 ;; rfc822-looking-at may have inserted a space
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 (or (bobp) (/= (preceding-char) ?\ ) (delete-char -1))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 ;; relying on the fact that rfc822-looking-at <char>
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 ;; doesn't mung match-data
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 (throw 'address (buffer-substring address-start (match-end 0)))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 (goto-char address-start)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 (while t
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 (cond ((and (= n 1) (rfc822-looking-at ?@))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 ;; local-part@domain
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 (rfc822-snarf-domain)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 (throw 'address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 (buffer-substring address-start (point))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 ((rfc822-looking-at ?:)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
209 (cond ((not allow-groups)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 (rfc822-bad-address "A group name may not appear here"))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
211 ((= n 0)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 (rfc822-bad-address "No name for :...; group")))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 ;; group
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 (throw 'address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 ;; return a list of addresses
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 (rfc822-snarf-frob-list ":...; group" ?\, ?\;
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 'rfc822-addresses-1 t)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 ((rfc822-looking-at ?<)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 (let ((start (point))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 (strip t))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 (cond ((rfc822-looking-at ?>)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 ;; empty path
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 ())
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 ((and (not (eobp)) (= (following-char) ?\@))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 ;; <@foo.bar,@baz:quux@abcd.efg>
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 (rfc822-snarf-frob-list "<...> address" ?\, ?\:
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 (function (lambda ()
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 (if (rfc822-looking-at ?\@)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 (rfc822-snarf-domain)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 (rfc822-bad-address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 "Gubbish in route-addr")))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 (rfc822-snarf-words)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 (or (rfc822-looking-at ?@)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 (rfc822-bad-address "Malformed <..@..> address"))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 (rfc822-snarf-domain)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 (setq strip nil))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 ((progn (rfc822-snarf-words) (rfc822-looking-at ?@))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 ; allow <foo> (losing unix seems to do this)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 (rfc822-snarf-domain)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 (let ((end (point)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 (if (rfc822-looking-at ?\>)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 (throw 'address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 (buffer-substring (if strip start (1- start))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 (if strip end (1+ end))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 (rfc822-bad-address "Unterminated <...> address")))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 ((looking-at "[^][\000-\037\177-\377 ()<>@,;:\\.]")
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 ;; this allows "." to be part of the words preceding
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 ;; an addr-spec, since many broken mailers output
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 ;; "Hern K. Herklemeyer III
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 ;; <yank@megadeath.dod.gods-own-country>"
125
59aa7f7963b9 *** empty log message ***
root <root>
parents: 122
diff changeset
251 (let ((again t))
59aa7f7963b9 *** empty log message ***
root <root>
parents: 122
diff changeset
252 (while again
59aa7f7963b9 *** empty log message ***
root <root>
parents: 122
diff changeset
253 (or (= n 0) (bobp) (= (preceding-char) ?\ )
59aa7f7963b9 *** empty log message ***
root <root>
parents: 122
diff changeset
254 (insert ?\ ))
126
f46f3b32950b *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 125
diff changeset
255 (rfc822-snarf-words)
125
59aa7f7963b9 *** empty log message ***
root <root>
parents: 122
diff changeset
256 (setq n (1+ n))
59aa7f7963b9 *** empty log message ***
root <root>
parents: 122
diff changeset
257 (setq again (or (rfc822-looking-at ?.)
59aa7f7963b9 *** empty log message ***
root <root>
parents: 122
diff changeset
258 (looking-at "[^][\000-\037\177-\377 ()<>@,;:\\.]"))))))
43
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 ((= n 0)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 (throw 'address nil))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 ((= n 1) ; allow "foo" (losing unix seems to do this)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
262 (throw 'address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 (buffer-substring address-start (point))))
125
59aa7f7963b9 *** empty log message ***
root <root>
parents: 122
diff changeset
264 ((> n 1)
59aa7f7963b9 *** empty log message ***
root <root>
parents: 122
diff changeset
265 (rfc822-bad-address "Missing comma between addresses or badly-formatted address"))
59aa7f7963b9 *** empty log message ***
root <root>
parents: 122
diff changeset
266 ((or (eobp) (= (following-char) ?,))
43
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 (rfc822-bad-address "Missing comma or route-spec"))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 (t
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 (rfc822-bad-address "Strange character or missing comma")))))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 (defun rfc822-addresses (header-text)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 (if (string-match "\\`[ \t]*\\([^][\000-\037\177-\377 ()<>@,;:\\\".]+\\)[ \t]*\\'"
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 header-text)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 ;; Make very simple case moderately fast.
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 (list (substring header-text (match-beginning 1) (match-end 1)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 (let ((buf (generate-new-buffer " rfc822")))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278 (unwind-protect
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 (save-excursion
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280 (set-buffer buf)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 (make-local-variable 'case-fold-search)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 (setq case-fold-search nil) ;For speed(?)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 (insert header-text)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 ;; unfold continuation lines
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 (goto-char (point-min))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 (while (re-search-forward "\\([^\\]\\(\\\\\\\\\\)*\\)\n[ \t]" nil t)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 (replace-match "\\1 " t))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 (goto-char (point-min))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 (rfc822-nuke-whitespace)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 (let ((list ())
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 tem
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 address-start); this is for rfc822-bad-address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 (while (not (eobp))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 (setq address-start (point))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 (setq tem
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 (catch 'address ; this is for rfc822-bad-address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 (cond ((rfc822-looking-at ?\,)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 nil)
122
bd2c08be4389 *** empty log message ***
root <root>
parents: 43
diff changeset
301 ((looking-at "[][\000-\037\177-\377@;:\\.>)]")
43
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 (forward-char)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 (rfc822-bad-address
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 (format "Strange character \\%c found"
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 (preceding-char))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 (t
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 (rfc822-addresses-1 t)))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 (cond ((null tem))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
309 ((stringp tem)
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
310 (setq list (cons tem list)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 (t
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 (setq list (nconc (nreverse tem) list)))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 (nreverse list)))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 (and buf (kill-buffer buf))))))
3e1aeff0200f Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315
584
4cd7543be581 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 126
diff changeset
316 (provide 'rfc822)
4cd7543be581 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 126
diff changeset
317
658
7cbd4fcd8b0f *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 584
diff changeset
318 ;;; rfc822.el ends here