Some fixes to follow coding conventions in files maintained by FSF.
[bpt/emacs.git] / lisp / emacs-lisp / regexp-opt.el
CommitLineData
55535639 1;;; regexp-opt.el --- generate efficient regexps to match strings
56329bc5 2
c0056275 3;; Copyright (C) 1994,95,96,97,98,99,2000 Free Software Foundation, Inc.
56329bc5 4
5762abec 5;; Author: Simon Marshall <simon@gnu.org>
fcc31755 6;; Maintainer: FSF
370893a1 7;; Keywords: strings, regexps, extensions
56329bc5
RS
8
9;; This file is part of GNU Emacs.
10
11;; GNU Emacs is free software; you can redistribute it and/or modify
12;; it under the terms of the GNU General Public License as published by
13;; the Free Software Foundation; either version 2, or (at your option)
14;; any later version.
15
16;; GNU Emacs is distributed in the hope that it will be useful,
17;; but WITHOUT ANY WARRANTY; without even the implied warranty of
18;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19;; GNU General Public License for more details.
20
21;; You should have received a copy of the GNU General Public License
22;; along with GNU Emacs; see the file COPYING. If not, write to the
23;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
24;; Boston, MA 02111-1307, USA.
25
26;;; Commentary:
27
b02b54a8 28;; The "opt" in "regexp-opt" stands for "optim\\(al\\|i[sz]e\\)".
56329bc5 29;;
25544ce1
SM
30;; This package generates a regexp from a given list of strings (which matches
31;; one of those strings) so that the regexp generated by:
56329bc5 32;;
25544ce1
SM
33;; (regexp-opt strings)
34;;
35;; is equivalent to, but more efficient than, the regexp generated by:
36;;
37;; (mapconcat 'regexp-quote strings "\\|")
56329bc5
RS
38;;
39;; For example:
40;;
41;; (let ((strings '("cond" "if" "when" "unless" "while"
42;; "let" "let*" "progn" "prog1" "prog2"
43;; "save-restriction" "save-excursion" "save-window-excursion"
44;; "save-current-buffer" "save-match-data"
45;; "catch" "throw" "unwind-protect" "condition-case")))
46;; (concat "(" (regexp-opt strings t) "\\>"))
47;; => "(\\(c\\(atch\\|ond\\(ition-case\\)?\\)\\|if\\|let\\*?\\|prog[12n]\\|save-\\(current-buffer\\|excursion\\|match-data\\|restriction\\|window-excursion\\)\\|throw\\|un\\(less\\|wind-protect\\)\\|wh\\(en\\|ile\\)\\)\\>"
48;;
25544ce1
SM
49;; Searching using the above example `regexp-opt' regexp takes approximately
50;; two-thirds of the time taken using the equivalent `mapconcat' regexp.
51
56329bc5
RS
52;; Since this package was written to produce efficient regexps, not regexps
53;; efficiently, it is probably not a good idea to in-line too many calls in
54;; your code, unless you use the following trick with `eval-when-compile':
55;;
56;; (defvar definition-regexp
57;; (eval-when-compile
58;; (concat "^("
59;; (regexp-opt '("defun" "defsubst" "defmacro" "defalias"
60;; "defvar" "defconst") t)
61;; "\\>")))
62;;
63;; The `byte-compile' code will be as if you had defined the variable thus:
64;;
65;; (defvar definition-regexp
66;; "^(\\(def\\(alias\\|const\\|macro\\|subst\\|un\\|var\\)\\)\\>")
67;;
25544ce1
SM
68;; Note that if you use this trick for all instances of `regexp-opt' and
69;; `regexp-opt-depth' in your code, regexp-opt.el would only have to be loaded
70;; at compile time. But note also that using this trick means that should
71;; regexp-opt.el be changed, perhaps to fix a bug or to add a feature to
72;; improve the efficiency of `regexp-opt' regexps, you would have to recompile
73;; your code for such changes to have effect in your code.
74
75;; Originally written for font-lock.el, from an idea from Stig's hl319.el, with
b02b54a8
GM
76;; thanks for ideas also to Michael Ernst, Bob Glickstein, Dan Nicolaescu and
77;; Stefan Monnier.
78;; No doubt `regexp-opt' doesn't always produce optimal regexps, so code, ideas
79;; or any other information to improve things are welcome.
c0056275
SM
80;;
81;; One possible improvement would be to compile '("aa" "ab" "ba" "bb")
82;; into "[ab][ab]" rather than "a[ab]\\|b[ab]". I'm not sure it's worth
83;; it but if someone knows how to do it without going through too many
84;; contortions, I'm all ears.
56329bc5 85\f
c0056275 86;;; Code:
56329bc5
RS
87
88;;;###autoload
89(defun regexp-opt (strings &optional paren)
90 "Return a regexp to match a string in STRINGS.
582305b0
RS
91Each string should be unique in STRINGS and should not contain any regexps,
92quoted or not. If optional PAREN is non-nil, ensure that the returned regexp
93is enclosed by at least one regexp grouping construct.
56329bc5
RS
94The returned regexp is typically more efficient than the equivalent regexp:
95
908bb42f
SM
96 (let ((open (if PAREN \"\\\\(\" \"\")) (close (if PAREN \"\\\\)\" \"\")))
97 (concat open (mapconcat 'regexp-quote STRINGS \"\\\\|\") close))
98
99If PAREN is `words', then the resulting regexp is additionally surrounded
100by \\=\\< and \\>."
56329bc5
RS
101 (save-match-data
102 ;; Recurse on the sorted list.
908bb42f
SM
103 (let* ((max-lisp-eval-depth (* 1024 1024))
104 (completion-ignore-case nil)
105 (words (eq paren 'words))
106 (open (cond ((stringp paren) paren) (paren "\\(")))
107 (sorted-strings (sort (copy-sequence strings) 'string-lessp))
108 (re (regexp-opt-group sorted-strings open)))
109 (if words (concat "\\<" re "\\>") re))))
56329bc5
RS
110
111;;;###autoload
112(defun regexp-opt-depth (regexp)
113 "Return the depth of REGEXP.
114This means the number of regexp grouping constructs (parenthesised expressions)
115in REGEXP."
116 (save-match-data
117 ;; Hack to signal an error if REGEXP does not have balanced parentheses.
118 (string-match regexp "")
119 ;; Count the number of open parentheses in REGEXP.
120 (let ((count 0) start)
ac5cb26d
SM
121 (while (string-match "\\(\\`\\|[^\\]\\)\\\\\\(\\\\\\\\\\)*([^?]"
122 regexp start)
56329bc5
RS
123 (setq count (1+ count) start (match-end 0)))
124 count)))
125\f
126;;; Workhorse functions.
127
128(eval-when-compile
129 (require 'cl))
130
56329bc5 131(defun regexp-opt-group (strings &optional paren lax)
c0056275
SM
132 "Return a regexp to match a string in STRINGS.
133If PAREN non-nil, output regexp parentheses around returned regexp.
134If LAX non-nil, don't output parentheses if it doesn't require them.
135Merges keywords to avoid backtracking in Emacs' regexp matcher.
136
137The basic idea is to find the shortest common prefix or suffix, remove it
138and recurse. If there is no prefix, we divide the list into two so that
139\(at least) one half will have at least a one-character common prefix.
140
141Also we delay the addition of grouping parenthesis as long as possible
142until we're sure we need them, and try to remove one-character sequences
143so we can use character sets rather than grouping parenthesis."
144 (let* ((open-group (cond ((stringp paren) paren) (paren "\\(?:") (t "")))
56329bc5
RS
145 (close-group (if paren "\\)" ""))
146 (open-charset (if lax "" open-group))
c0056275 147 (close-charset (if lax "" close-group)))
56329bc5 148 (cond
b02b54a8
GM
149 ;;
150 ;; If there are no strings, just return the empty string.
151 ((= (length strings) 0)
152 "")
153 ;;
56329bc5
RS
154 ;; If there is only one string, just return it.
155 ((= (length strings) 1)
156 (if (= (length (car strings)) 1)
157 (concat open-charset (regexp-quote (car strings)) close-charset)
158 (concat open-group (regexp-quote (car strings)) close-group)))
159 ;;
160 ;; If there is an empty string, remove it and recurse on the rest.
161 ((= (length (car strings)) 0)
162 (concat open-charset
163 (regexp-opt-group (cdr strings) t t) "?"
164 close-charset))
165 ;;
c0056275
SM
166 ;; If there are several one-char strings, use charsets
167 ((and (= (length (car strings)) 1)
168 (let ((strs (cdr strings)))
169 (while (and strs (/= (length (car strs)) 1))
170 (pop strs))
171 strs))
172 (let (letters rest)
173 ;; Collect one-char strings
174 (dolist (s strings)
5cda4b07 175 (if (= (length s) 1) (push (string-to-char s) letters) (push s rest)))
c0056275
SM
176
177 (if rest
178 ;; several one-char strings: take them and recurse
179 ;; on the rest (first so as to match the longest).
180 (concat open-group
181 (regexp-opt-group (nreverse rest))
182 "\\|" (regexp-opt-charset letters)
183 close-group)
184 ;; all are one-char strings: just return a character set.
185 (concat open-charset
186 (regexp-opt-charset letters)
187 close-charset))))
56329bc5
RS
188 ;;
189 ;; We have a list of different length strings.
190 (t
c0056275
SM
191 (let ((prefix (try-completion "" (mapcar 'list strings))))
192 (if (> (length prefix) 0)
193 ;; common prefix: take it and recurse on the suffixes.
194 (let* ((n (length prefix))
195 (suffixes (mapcar (lambda (s) (substring s n)) strings)))
bba6564c 196 (concat open-group
c0056275
SM
197 (regexp-quote prefix)
198 (regexp-opt-group suffixes t t)
bba6564c 199 close-group))
c0056275
SM
200
201 (let* ((sgnirts (mapcar (lambda (s)
202 (concat (nreverse (string-to-list s))))
203 strings))
204 (xiffus (try-completion "" (mapcar 'list sgnirts))))
205 (if (> (length xiffus) 0)
206 ;; common suffix: take it and recurse on the prefixes.
207 (let* ((n (- (length xiffus)))
7e1d6bdb
SM
208 (prefixes
209 ;; Sorting is necessary in cases such as ("ad" "d").
210 (sort (mapcar (lambda (s) (substring s 0 n)) strings)
211 'string-lessp)))
bba6564c 212 (concat open-group
c0056275
SM
213 (regexp-opt-group prefixes t t)
214 (regexp-quote
215 (concat (nreverse (string-to-list xiffus))))
bba6564c 216 close-group))
c0056275
SM
217
218 ;; Otherwise, divide the list into those that start with a
219 ;; particular letter and those that do not, and recurse on them.
220 (let* ((char (char-to-string (string-to-char (car strings))))
221 (half1 (all-completions char (mapcar 'list strings)))
222 (half2 (nthcdr (length half1) strings)))
223 (concat open-group
224 (regexp-opt-group half1)
225 "\\|" (regexp-opt-group half2)
226 close-group))))))))))
227
56329bc5
RS
228
229(defun regexp-opt-charset (chars)
230 ;;
231 ;; Return a regexp to match a character in CHARS.
232 ;;
233 ;; The basic idea is to find character ranges. Also we take care in the
234 ;; position of character set meta characters in the character set regexp.
235 ;;
5cda4b07
SM
236 (let* ((charmap (make-char-table 'case-table))
237 (start -1) (end -2)
56329bc5
RS
238 (charset "")
239 (bracket "") (dash "") (caret ""))
240 ;;
241 ;; Make a character map but extract character set meta characters.
5cda4b07 242 (dolist (char chars)
25544ce1
SM
243 (case char
244 (?\]
245 (setq bracket "]"))
246 (?^
247 (setq caret "^"))
248 (?-
249 (setq dash "-"))
250 (otherwise
251 (aset charmap char t))))
56329bc5
RS
252 ;;
253 ;; Make a character set from the map using ranges where applicable.
5cda4b07
SM
254 (map-char-table
255 (lambda (c v)
256 (when v
257 (if (= (1- c) end) (setq end c)
258 (if (> end (+ start 2))
259 (setq charset (format "%s%c-%c" charset start end))
260 (while (>= end start)
261 (setq charset (format "%s%c" charset start))
262 (incf start)))
263 (setq start c end c))))
264 charmap)
265 (when (>= end start)
266 (if (> end (+ start 2))
267 (setq charset (format "%s%c-%c" charset start end))
268 (while (>= end start)
269 (setq charset (format "%s%c" charset start))
270 (incf start))))
56329bc5
RS
271 ;;
272 ;; Make sure a caret is not first and a dash is first or last.
273 (if (and (string-equal charset "") (string-equal bracket ""))
274 (concat "[" dash caret "]")
275 (concat "[" bracket charset caret dash "]"))))
276
277(provide 'regexp-opt)
278
279;;; regexp-opt.el ends here