0ac7018d22b14bfc0524a485709f7c95fcb5e56e
[bpt/emacs.git] / src / search.c
1 /* String search routines for GNU Emacs.
2 Copyright (C) 1985, 1986, 1987, 1993, 1994 Free Software Foundation, Inc.
3
4 This file is part of GNU Emacs.
5
6 GNU Emacs is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 1, or (at your option)
9 any later version.
10
11 GNU Emacs is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GNU Emacs; see the file COPYING. If not, write to
18 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
19
20
21 #include <config.h>
22 #include "lisp.h"
23 #include "syntax.h"
24 #include "buffer.h"
25 #include "commands.h"
26 #include "blockinput.h"
27
28 #include <sys/types.h>
29 #include "regex.h"
30
31 #define max(a, b) ((a) > (b) ? (a) : (b))
32 #define min(a, b) ((a) < (b) ? (a) : (b))
33
34 /* We compile regexps into this buffer and then use it for searching. */
35
36 struct re_pattern_buffer searchbuf;
37
38 char search_fastmap[0400];
39
40 /* Last regexp we compiled */
41
42 Lisp_Object last_regexp;
43
44 /* Every call to re_match, etc., must pass &search_regs as the regs
45 argument unless you can show it is unnecessary (i.e., if re_match
46 is certainly going to be called again before region-around-match
47 can be called).
48
49 Since the registers are now dynamically allocated, we need to make
50 sure not to refer to the Nth register before checking that it has
51 been allocated by checking search_regs.num_regs.
52
53 The regex code keeps track of whether it has allocated the search
54 buffer using bits in searchbuf. This means that whenever you
55 compile a new pattern, it completely forgets whether it has
56 allocated any registers, and will allocate new registers the next
57 time you call a searching or matching function. Therefore, we need
58 to call re_set_registers after compiling a new pattern or after
59 setting the match registers, so that the regex functions will be
60 able to free or re-allocate it properly. */
61 static struct re_registers search_regs;
62
63 /* The buffer in which the last search was performed, or
64 Qt if the last search was done in a string;
65 Qnil if no searching has been done yet. */
66 static Lisp_Object last_thing_searched;
67
68 /* error condition signalled when regexp compile_pattern fails */
69
70 Lisp_Object Qinvalid_regexp;
71
72 static void set_search_regs ();
73
74 static void
75 matcher_overflow ()
76 {
77 error ("Stack overflow in regexp matcher");
78 }
79
80 #ifdef __STDC__
81 #define CONST const
82 #else
83 #define CONST
84 #endif
85
86 /* Compile a regexp and signal a Lisp error if anything goes wrong. */
87
88 compile_pattern (pattern, bufp, regp, translate)
89 Lisp_Object pattern;
90 struct re_pattern_buffer *bufp;
91 struct re_registers *regp;
92 char *translate;
93 {
94 CONST char *val;
95 Lisp_Object dummy;
96
97 if (EQ (pattern, last_regexp)
98 && translate == bufp->translate)
99 return;
100
101 last_regexp = Qnil;
102 bufp->translate = translate;
103 BLOCK_INPUT;
104 val = (CONST char *) re_compile_pattern ((char *) XSTRING (pattern)->data,
105 XSTRING (pattern)->size, bufp);
106 UNBLOCK_INPUT;
107 if (val)
108 {
109 dummy = build_string (val);
110 while (1)
111 Fsignal (Qinvalid_regexp, Fcons (dummy, Qnil));
112 }
113
114 last_regexp = pattern;
115
116 /* Advise the searching functions about the space we have allocated
117 for register data. */
118 BLOCK_INPUT;
119 if (regp)
120 re_set_registers (bufp, regp, regp->num_regs, regp->start, regp->end);
121 UNBLOCK_INPUT;
122
123 return;
124 }
125
126 /* Error condition used for failing searches */
127 Lisp_Object Qsearch_failed;
128
129 Lisp_Object
130 signal_failure (arg)
131 Lisp_Object arg;
132 {
133 Fsignal (Qsearch_failed, Fcons (arg, Qnil));
134 return Qnil;
135 }
136 \f
137 DEFUN ("looking-at", Flooking_at, Slooking_at, 1, 1, 0,
138 "Return t if text after point matches regular expression PAT.\n\
139 This function modifies the match data that `match-beginning',\n\
140 `match-end' and `match-data' access; save and restore the match\n\
141 data if you want to preserve them.")
142 (string)
143 Lisp_Object string;
144 {
145 Lisp_Object val;
146 unsigned char *p1, *p2;
147 int s1, s2;
148 register int i;
149
150 CHECK_STRING (string, 0);
151 compile_pattern (string, &searchbuf, &search_regs,
152 !NILP (current_buffer->case_fold_search) ? DOWNCASE_TABLE : 0);
153
154 immediate_quit = 1;
155 QUIT; /* Do a pending quit right away, to avoid paradoxical behavior */
156
157 /* Get pointers and sizes of the two strings
158 that make up the visible portion of the buffer. */
159
160 p1 = BEGV_ADDR;
161 s1 = GPT - BEGV;
162 p2 = GAP_END_ADDR;
163 s2 = ZV - GPT;
164 if (s1 < 0)
165 {
166 p2 = p1;
167 s2 = ZV - BEGV;
168 s1 = 0;
169 }
170 if (s2 < 0)
171 {
172 s1 = ZV - BEGV;
173 s2 = 0;
174 }
175
176 i = re_match_2 (&searchbuf, (char *) p1, s1, (char *) p2, s2,
177 point - BEGV, &search_regs,
178 ZV - BEGV);
179 if (i == -2)
180 matcher_overflow ();
181
182 val = (0 <= i ? Qt : Qnil);
183 for (i = 0; i < search_regs.num_regs; i++)
184 if (search_regs.start[i] >= 0)
185 {
186 search_regs.start[i] += BEGV;
187 search_regs.end[i] += BEGV;
188 }
189 XSET (last_thing_searched, Lisp_Buffer, current_buffer);
190 immediate_quit = 0;
191 return val;
192 }
193
194 DEFUN ("string-match", Fstring_match, Sstring_match, 2, 3, 0,
195 "Return index of start of first match for REGEXP in STRING, or nil.\n\
196 If third arg START is non-nil, start search at that index in STRING.\n\
197 For index of first char beyond the match, do (match-end 0).\n\
198 `match-end' and `match-beginning' also give indices of substrings\n\
199 matched by parenthesis constructs in the pattern.")
200 (regexp, string, start)
201 Lisp_Object regexp, string, start;
202 {
203 int val;
204 int s;
205
206 CHECK_STRING (regexp, 0);
207 CHECK_STRING (string, 1);
208
209 if (NILP (start))
210 s = 0;
211 else
212 {
213 int len = XSTRING (string)->size;
214
215 CHECK_NUMBER (start, 2);
216 s = XINT (start);
217 if (s < 0 && -s <= len)
218 s = len + s;
219 else if (0 > s || s > len)
220 args_out_of_range (string, start);
221 }
222
223 compile_pattern (regexp, &searchbuf, &search_regs,
224 !NILP (current_buffer->case_fold_search) ? DOWNCASE_TABLE : 0);
225 immediate_quit = 1;
226 val = re_search (&searchbuf, (char *) XSTRING (string)->data,
227 XSTRING (string)->size, s, XSTRING (string)->size - s,
228 &search_regs);
229 immediate_quit = 0;
230 last_thing_searched = Qt;
231 if (val == -2)
232 matcher_overflow ();
233 if (val < 0) return Qnil;
234 return make_number (val);
235 }
236
237 /* Match REGEXP against STRING, searching all of STRING,
238 and return the index of the match, or negative on failure.
239 This does not clobber the match data. */
240
241 int
242 fast_string_match (regexp, string)
243 Lisp_Object regexp, string;
244 {
245 int val;
246
247 compile_pattern (regexp, &searchbuf, 0, 0);
248 immediate_quit = 1;
249 val = re_search (&searchbuf, (char *) XSTRING (string)->data,
250 XSTRING (string)->size, 0, XSTRING (string)->size,
251 0);
252 immediate_quit = 0;
253 return val;
254 }
255 \f
256 /* Search for COUNT instances of the character TARGET, starting at START.
257 If COUNT is negative, search backwards.
258
259 If we find COUNT instances, set *SHORTAGE to zero, and return the
260 position after the COUNTth match. Note that for reverse motion
261 this is not the same as the usual convention for Emacs motion commands.
262
263 If we don't find COUNT instances before reaching the end of the
264 buffer (or the beginning, if scanning backwards), set *SHORTAGE to
265 the number of TARGETs left unfound, and return the end of the
266 buffer we bumped up against.
267
268 If ALLOW_QUIT is non-zero, set immediate_quit. That's good to do
269 except when inside redisplay. */
270
271 scan_buffer (target, start, count, shortage, allow_quit)
272 int *shortage, start;
273 register int count, target;
274 int allow_quit;
275 {
276 int limit = ((count > 0) ? ZV - 1 : BEGV);
277 int direction = ((count > 0) ? 1 : -1);
278
279 register unsigned char *cursor;
280 unsigned char *base;
281
282 register int ceiling;
283 register unsigned char *ceiling_addr;
284
285 if (shortage != 0)
286 *shortage = 0;
287
288 immediate_quit = allow_quit;
289
290 if (count > 0)
291 while (start != limit + 1)
292 {
293 ceiling = BUFFER_CEILING_OF (start);
294 ceiling = min (limit, ceiling);
295 ceiling_addr = &FETCH_CHAR (ceiling) + 1;
296 base = (cursor = &FETCH_CHAR (start));
297 while (1)
298 {
299 while (*cursor != target && ++cursor != ceiling_addr)
300 ;
301 if (cursor != ceiling_addr)
302 {
303 if (--count == 0)
304 {
305 immediate_quit = 0;
306 return (start + cursor - base + 1);
307 }
308 else
309 if (++cursor == ceiling_addr)
310 break;
311 }
312 else
313 break;
314 }
315 start += cursor - base;
316 }
317 else
318 {
319 start--; /* first character we scan */
320 while (start > limit - 1)
321 { /* we WILL scan under start */
322 ceiling = BUFFER_FLOOR_OF (start);
323 ceiling = max (limit, ceiling);
324 ceiling_addr = &FETCH_CHAR (ceiling) - 1;
325 base = (cursor = &FETCH_CHAR (start));
326 cursor++;
327 while (1)
328 {
329 while (--cursor != ceiling_addr && *cursor != target)
330 ;
331 if (cursor != ceiling_addr)
332 {
333 if (++count == 0)
334 {
335 immediate_quit = 0;
336 return (start + cursor - base + 1);
337 }
338 }
339 else
340 break;
341 }
342 start += cursor - base;
343 }
344 }
345 immediate_quit = 0;
346 if (shortage != 0)
347 *shortage = count * direction;
348 return (start + ((direction == 1 ? 0 : 1)));
349 }
350
351 int
352 find_next_newline_no_quit (from, cnt)
353 register int from, cnt;
354 {
355 return scan_buffer ('\n', from, cnt, (int *) 0, 0);
356 }
357
358 int
359 find_next_newline (from, cnt)
360 register int from, cnt;
361 {
362 return scan_buffer ('\n', from, cnt, (int *) 0, 1);
363 }
364 \f
365 Lisp_Object skip_chars ();
366
367 DEFUN ("skip-chars-forward", Fskip_chars_forward, Sskip_chars_forward, 1, 2, 0,
368 "Move point forward, stopping before a char not in STRING, or at pos LIM.\n\
369 STRING is like the inside of a `[...]' in a regular expression\n\
370 except that `]' is never special and `\\' quotes `^', `-' or `\\'.\n\
371 Thus, with arg \"a-zA-Z\", this skips letters stopping before first nonletter.\n\
372 With arg \"^a-zA-Z\", skips nonletters stopping before first letter.\n\
373 Returns the distance traveled, either zero or positive.")
374 (string, lim)
375 Lisp_Object string, lim;
376 {
377 return skip_chars (1, 0, string, lim);
378 }
379
380 DEFUN ("skip-chars-backward", Fskip_chars_backward, Sskip_chars_backward, 1, 2, 0,
381 "Move point backward, stopping after a char not in STRING, or at pos LIM.\n\
382 See `skip-chars-forward' for details.\n\
383 Returns the distance traveled, either zero or negative.")
384 (string, lim)
385 Lisp_Object string, lim;
386 {
387 return skip_chars (0, 0, string, lim);
388 }
389
390 DEFUN ("skip-syntax-forward", Fskip_syntax_forward, Sskip_syntax_forward, 1, 2, 0,
391 "Move point forward across chars in specified syntax classes.\n\
392 SYNTAX is a string of syntax code characters.\n\
393 Stop before a char whose syntax is not in SYNTAX, or at position LIM.\n\
394 If SYNTAX starts with ^, skip characters whose syntax is NOT in SYNTAX.\n\
395 This function returns the distance traveled, either zero or positive.")
396 (syntax, lim)
397 Lisp_Object syntax, lim;
398 {
399 return skip_chars (1, 1, syntax, lim);
400 }
401
402 DEFUN ("skip-syntax-backward", Fskip_syntax_backward, Sskip_syntax_backward, 1, 2, 0,
403 "Move point backward across chars in specified syntax classes.\n\
404 SYNTAX is a string of syntax code characters.\n\
405 Stop on reaching a char whose syntax is not in SYNTAX, or at position LIM.\n\
406 If SYNTAX starts with ^, skip characters whose syntax is NOT in SYNTAX.\n\
407 This function returns the distance traveled, either zero or negative.")
408 (syntax, lim)
409 Lisp_Object syntax, lim;
410 {
411 return skip_chars (0, 1, syntax, lim);
412 }
413
414 Lisp_Object
415 skip_chars (forwardp, syntaxp, string, lim)
416 int forwardp, syntaxp;
417 Lisp_Object string, lim;
418 {
419 register unsigned char *p, *pend;
420 register unsigned char c;
421 unsigned char fastmap[0400];
422 int negate = 0;
423 register int i;
424
425 CHECK_STRING (string, 0);
426
427 if (NILP (lim))
428 XSET (lim, Lisp_Int, forwardp ? ZV : BEGV);
429 else
430 CHECK_NUMBER_COERCE_MARKER (lim, 1);
431
432 /* In any case, don't allow scan outside bounds of buffer. */
433 /* jla turned this off, for no known reason.
434 bfox turned the ZV part on, and rms turned the
435 BEGV part back on. */
436 if (XINT (lim) > ZV)
437 XFASTINT (lim) = ZV;
438 if (XINT (lim) < BEGV)
439 XFASTINT (lim) = BEGV;
440
441 p = XSTRING (string)->data;
442 pend = p + XSTRING (string)->size;
443 bzero (fastmap, sizeof fastmap);
444
445 if (p != pend && *p == '^')
446 {
447 negate = 1; p++;
448 }
449
450 /* Find the characters specified and set their elements of fastmap.
451 If syntaxp, each character counts as itself.
452 Otherwise, handle backslashes and ranges specially */
453
454 while (p != pend)
455 {
456 c = *p++;
457 if (syntaxp)
458 fastmap[c] = 1;
459 else
460 {
461 if (c == '\\')
462 {
463 if (p == pend) break;
464 c = *p++;
465 }
466 if (p != pend && *p == '-')
467 {
468 p++;
469 if (p == pend) break;
470 while (c <= *p)
471 {
472 fastmap[c] = 1;
473 c++;
474 }
475 p++;
476 }
477 else
478 fastmap[c] = 1;
479 }
480 }
481
482 if (syntaxp && fastmap['-'] != 0)
483 fastmap[' '] = 1;
484
485 /* If ^ was the first character, complement the fastmap. */
486
487 if (negate)
488 for (i = 0; i < sizeof fastmap; i++)
489 fastmap[i] ^= 1;
490
491 {
492 int start_point = point;
493
494 immediate_quit = 1;
495 if (syntaxp)
496 {
497
498 if (forwardp)
499 {
500 while (point < XINT (lim)
501 && fastmap[(unsigned char) syntax_code_spec[(int) SYNTAX (FETCH_CHAR (point))]])
502 SET_PT (point + 1);
503 }
504 else
505 {
506 while (point > XINT (lim)
507 && fastmap[(unsigned char) syntax_code_spec[(int) SYNTAX (FETCH_CHAR (point - 1))]])
508 SET_PT (point - 1);
509 }
510 }
511 else
512 {
513 if (forwardp)
514 {
515 while (point < XINT (lim) && fastmap[FETCH_CHAR (point)])
516 SET_PT (point + 1);
517 }
518 else
519 {
520 while (point > XINT (lim) && fastmap[FETCH_CHAR (point - 1)])
521 SET_PT (point - 1);
522 }
523 }
524 immediate_quit = 0;
525
526 return make_number (point - start_point);
527 }
528 }
529 \f
530 /* Subroutines of Lisp buffer search functions. */
531
532 static Lisp_Object
533 search_command (string, bound, noerror, count, direction, RE)
534 Lisp_Object string, bound, noerror, count;
535 int direction;
536 int RE;
537 {
538 register int np;
539 int lim;
540 int n = direction;
541
542 if (!NILP (count))
543 {
544 CHECK_NUMBER (count, 3);
545 n *= XINT (count);
546 }
547
548 CHECK_STRING (string, 0);
549 if (NILP (bound))
550 lim = n > 0 ? ZV : BEGV;
551 else
552 {
553 CHECK_NUMBER_COERCE_MARKER (bound, 1);
554 lim = XINT (bound);
555 if (n > 0 ? lim < point : lim > point)
556 error ("Invalid search bound (wrong side of point)");
557 if (lim > ZV)
558 lim = ZV;
559 if (lim < BEGV)
560 lim = BEGV;
561 }
562
563 np = search_buffer (string, point, lim, n, RE,
564 (!NILP (current_buffer->case_fold_search)
565 ? XSTRING (current_buffer->case_canon_table)->data : 0),
566 (!NILP (current_buffer->case_fold_search)
567 ? XSTRING (current_buffer->case_eqv_table)->data : 0));
568 if (np <= 0)
569 {
570 if (NILP (noerror))
571 return signal_failure (string);
572 if (!EQ (noerror, Qt))
573 {
574 if (lim < BEGV || lim > ZV)
575 abort ();
576 SET_PT (lim);
577 return Qnil;
578 #if 0 /* This would be clean, but maybe programs depend on
579 a value of nil here. */
580 np = lim;
581 #endif
582 }
583 else
584 return Qnil;
585 }
586
587 if (np < BEGV || np > ZV)
588 abort ();
589
590 SET_PT (np);
591
592 return make_number (np);
593 }
594 \f
595 static int
596 trivial_regexp_p (regexp)
597 Lisp_Object regexp;
598 {
599 int len = XSTRING (regexp)->size;
600 unsigned char *s = XSTRING (regexp)->data;
601 unsigned char c;
602 while (--len >= 0)
603 {
604 switch (*s++)
605 {
606 case '.': case '*': case '+': case '?': case '[': case '^': case '$':
607 return 0;
608 case '\\':
609 if (--len < 0)
610 return 0;
611 switch (*s++)
612 {
613 case '|': case '(': case ')': case '`': case '\'': case 'b':
614 case 'B': case '<': case '>': case 'w': case 'W': case 's':
615 case 'S': case '1': case '2': case '3': case '4': case '5':
616 case '6': case '7': case '8': case '9':
617 return 0;
618 }
619 }
620 }
621 return 1;
622 }
623
624 /* Search for the n'th occurrence of STRING in the current buffer,
625 starting at position POS and stopping at position LIM,
626 treating PAT as a literal string if RE is false or as
627 a regular expression if RE is true.
628
629 If N is positive, searching is forward and LIM must be greater than POS.
630 If N is negative, searching is backward and LIM must be less than POS.
631
632 Returns -x if only N-x occurrences found (x > 0),
633 or else the position at the beginning of the Nth occurrence
634 (if searching backward) or the end (if searching forward). */
635
636 search_buffer (string, pos, lim, n, RE, trt, inverse_trt)
637 Lisp_Object string;
638 int pos;
639 int lim;
640 int n;
641 int RE;
642 register unsigned char *trt;
643 register unsigned char *inverse_trt;
644 {
645 int len = XSTRING (string)->size;
646 unsigned char *base_pat = XSTRING (string)->data;
647 register int *BM_tab;
648 int *BM_tab_base;
649 register int direction = ((n > 0) ? 1 : -1);
650 register int dirlen;
651 int infinity, limit, k, stride_for_teases;
652 register unsigned char *pat, *cursor, *p_limit;
653 register int i, j;
654 unsigned char *p1, *p2;
655 int s1, s2;
656
657 /* Null string is found at starting position. */
658 if (len == 0)
659 {
660 set_search_regs (pos, 0);
661 return pos;
662 }
663
664 /* Searching 0 times means don't move. */
665 if (n == 0)
666 return pos;
667
668 if (RE && !trivial_regexp_p (string))
669 {
670 compile_pattern (string, &searchbuf, &search_regs, (char *) trt);
671
672 immediate_quit = 1; /* Quit immediately if user types ^G,
673 because letting this function finish
674 can take too long. */
675 QUIT; /* Do a pending quit right away,
676 to avoid paradoxical behavior */
677 /* Get pointers and sizes of the two strings
678 that make up the visible portion of the buffer. */
679
680 p1 = BEGV_ADDR;
681 s1 = GPT - BEGV;
682 p2 = GAP_END_ADDR;
683 s2 = ZV - GPT;
684 if (s1 < 0)
685 {
686 p2 = p1;
687 s2 = ZV - BEGV;
688 s1 = 0;
689 }
690 if (s2 < 0)
691 {
692 s1 = ZV - BEGV;
693 s2 = 0;
694 }
695 while (n < 0)
696 {
697 int val;
698 val = re_search_2 (&searchbuf, (char *) p1, s1, (char *) p2, s2,
699 pos - BEGV, lim - pos, &search_regs,
700 /* Don't allow match past current point */
701 pos - BEGV);
702 if (val == -2)
703 {
704 matcher_overflow ();
705 }
706 if (val >= 0)
707 {
708 j = BEGV;
709 for (i = 0; i < search_regs.num_regs; i++)
710 if (search_regs.start[i] >= 0)
711 {
712 search_regs.start[i] += j;
713 search_regs.end[i] += j;
714 }
715 XSET (last_thing_searched, Lisp_Buffer, current_buffer);
716 /* Set pos to the new position. */
717 pos = search_regs.start[0];
718 }
719 else
720 {
721 immediate_quit = 0;
722 return (n);
723 }
724 n++;
725 }
726 while (n > 0)
727 {
728 int val;
729 val = re_search_2 (&searchbuf, (char *) p1, s1, (char *) p2, s2,
730 pos - BEGV, lim - pos, &search_regs,
731 lim - BEGV);
732 if (val == -2)
733 {
734 matcher_overflow ();
735 }
736 if (val >= 0)
737 {
738 j = BEGV;
739 for (i = 0; i < search_regs.num_regs; i++)
740 if (search_regs.start[i] >= 0)
741 {
742 search_regs.start[i] += j;
743 search_regs.end[i] += j;
744 }
745 XSET (last_thing_searched, Lisp_Buffer, current_buffer);
746 pos = search_regs.end[0];
747 }
748 else
749 {
750 immediate_quit = 0;
751 return (0 - n);
752 }
753 n--;
754 }
755 immediate_quit = 0;
756 return (pos);
757 }
758 else /* non-RE case */
759 {
760 #ifdef C_ALLOCA
761 int BM_tab_space[0400];
762 BM_tab = &BM_tab_space[0];
763 #else
764 BM_tab = (int *) alloca (0400 * sizeof (int));
765 #endif
766 {
767 unsigned char *patbuf = (unsigned char *) alloca (len);
768 pat = patbuf;
769 while (--len >= 0)
770 {
771 /* If we got here and the RE flag is set, it's because we're
772 dealing with a regexp known to be trivial, so the backslash
773 just quotes the next character. */
774 if (RE && *base_pat == '\\')
775 {
776 len--;
777 base_pat++;
778 }
779 *pat++ = (trt ? trt[*base_pat++] : *base_pat++);
780 }
781 len = pat - patbuf;
782 pat = base_pat = patbuf;
783 }
784 /* The general approach is that we are going to maintain that we know */
785 /* the first (closest to the present position, in whatever direction */
786 /* we're searching) character that could possibly be the last */
787 /* (furthest from present position) character of a valid match. We */
788 /* advance the state of our knowledge by looking at that character */
789 /* and seeing whether it indeed matches the last character of the */
790 /* pattern. If it does, we take a closer look. If it does not, we */
791 /* move our pointer (to putative last characters) as far as is */
792 /* logically possible. This amount of movement, which I call a */
793 /* stride, will be the length of the pattern if the actual character */
794 /* appears nowhere in the pattern, otherwise it will be the distance */
795 /* from the last occurrence of that character to the end of the */
796 /* pattern. */
797 /* As a coding trick, an enormous stride is coded into the table for */
798 /* characters that match the last character. This allows use of only */
799 /* a single test, a test for having gone past the end of the */
800 /* permissible match region, to test for both possible matches (when */
801 /* the stride goes past the end immediately) and failure to */
802 /* match (where you get nudged past the end one stride at a time). */
803
804 /* Here we make a "mickey mouse" BM table. The stride of the search */
805 /* is determined only by the last character of the putative match. */
806 /* If that character does not match, we will stride the proper */
807 /* distance to propose a match that superimposes it on the last */
808 /* instance of a character that matches it (per trt), or misses */
809 /* it entirely if there is none. */
810
811 dirlen = len * direction;
812 infinity = dirlen - (lim + pos + len + len) * direction;
813 if (direction < 0)
814 pat = (base_pat += len - 1);
815 BM_tab_base = BM_tab;
816 BM_tab += 0400;
817 j = dirlen; /* to get it in a register */
818 /* A character that does not appear in the pattern induces a */
819 /* stride equal to the pattern length. */
820 while (BM_tab_base != BM_tab)
821 {
822 *--BM_tab = j;
823 *--BM_tab = j;
824 *--BM_tab = j;
825 *--BM_tab = j;
826 }
827 i = 0;
828 while (i != infinity)
829 {
830 j = pat[i]; i += direction;
831 if (i == dirlen) i = infinity;
832 if ((int) trt)
833 {
834 k = (j = trt[j]);
835 if (i == infinity)
836 stride_for_teases = BM_tab[j];
837 BM_tab[j] = dirlen - i;
838 /* A translation table is accompanied by its inverse -- see */
839 /* comment following downcase_table for details */
840 while ((j = inverse_trt[j]) != k)
841 BM_tab[j] = dirlen - i;
842 }
843 else
844 {
845 if (i == infinity)
846 stride_for_teases = BM_tab[j];
847 BM_tab[j] = dirlen - i;
848 }
849 /* stride_for_teases tells how much to stride if we get a */
850 /* match on the far character but are subsequently */
851 /* disappointed, by recording what the stride would have been */
852 /* for that character if the last character had been */
853 /* different. */
854 }
855 infinity = dirlen - infinity;
856 pos += dirlen - ((direction > 0) ? direction : 0);
857 /* loop invariant - pos points at where last char (first char if reverse)
858 of pattern would align in a possible match. */
859 while (n != 0)
860 {
861 /* It's been reported that some (broken) compiler thinks that
862 Boolean expressions in an arithmetic context are unsigned.
863 Using an explicit ?1:0 prevents this. */
864 if ((lim - pos - ((direction > 0) ? 1 : 0)) * direction < 0)
865 return (n * (0 - direction));
866 /* First we do the part we can by pointers (maybe nothing) */
867 QUIT;
868 pat = base_pat;
869 limit = pos - dirlen + direction;
870 limit = ((direction > 0)
871 ? BUFFER_CEILING_OF (limit)
872 : BUFFER_FLOOR_OF (limit));
873 /* LIMIT is now the last (not beyond-last!) value
874 POS can take on without hitting edge of buffer or the gap. */
875 limit = ((direction > 0)
876 ? min (lim - 1, min (limit, pos + 20000))
877 : max (lim, max (limit, pos - 20000)));
878 if ((limit - pos) * direction > 20)
879 {
880 p_limit = &FETCH_CHAR (limit);
881 p2 = (cursor = &FETCH_CHAR (pos));
882 /* In this loop, pos + cursor - p2 is the surrogate for pos */
883 while (1) /* use one cursor setting as long as i can */
884 {
885 if (direction > 0) /* worth duplicating */
886 {
887 /* Use signed comparison if appropriate
888 to make cursor+infinity sure to be > p_limit.
889 Assuming that the buffer lies in a range of addresses
890 that are all "positive" (as ints) or all "negative",
891 either kind of comparison will work as long
892 as we don't step by infinity. So pick the kind
893 that works when we do step by infinity. */
894 if ((int) (p_limit + infinity) > (int) p_limit)
895 while ((int) cursor <= (int) p_limit)
896 cursor += BM_tab[*cursor];
897 else
898 while ((unsigned int) cursor <= (unsigned int) p_limit)
899 cursor += BM_tab[*cursor];
900 }
901 else
902 {
903 if ((int) (p_limit + infinity) < (int) p_limit)
904 while ((int) cursor >= (int) p_limit)
905 cursor += BM_tab[*cursor];
906 else
907 while ((unsigned int) cursor >= (unsigned int) p_limit)
908 cursor += BM_tab[*cursor];
909 }
910 /* If you are here, cursor is beyond the end of the searched region. */
911 /* This can happen if you match on the far character of the pattern, */
912 /* because the "stride" of that character is infinity, a number able */
913 /* to throw you well beyond the end of the search. It can also */
914 /* happen if you fail to match within the permitted region and would */
915 /* otherwise try a character beyond that region */
916 if ((cursor - p_limit) * direction <= len)
917 break; /* a small overrun is genuine */
918 cursor -= infinity; /* large overrun = hit */
919 i = dirlen - direction;
920 if ((int) trt)
921 {
922 while ((i -= direction) + direction != 0)
923 if (pat[i] != trt[*(cursor -= direction)])
924 break;
925 }
926 else
927 {
928 while ((i -= direction) + direction != 0)
929 if (pat[i] != *(cursor -= direction))
930 break;
931 }
932 cursor += dirlen - i - direction; /* fix cursor */
933 if (i + direction == 0)
934 {
935 cursor -= direction;
936
937 set_search_regs (pos + cursor - p2 + ((direction > 0)
938 ? 1 - len : 0),
939 len);
940
941 if ((n -= direction) != 0)
942 cursor += dirlen; /* to resume search */
943 else
944 return ((direction > 0)
945 ? search_regs.end[0] : search_regs.start[0]);
946 }
947 else
948 cursor += stride_for_teases; /* <sigh> we lose - */
949 }
950 pos += cursor - p2;
951 }
952 else
953 /* Now we'll pick up a clump that has to be done the hard */
954 /* way because it covers a discontinuity */
955 {
956 limit = ((direction > 0)
957 ? BUFFER_CEILING_OF (pos - dirlen + 1)
958 : BUFFER_FLOOR_OF (pos - dirlen - 1));
959 limit = ((direction > 0)
960 ? min (limit + len, lim - 1)
961 : max (limit - len, lim));
962 /* LIMIT is now the last value POS can have
963 and still be valid for a possible match. */
964 while (1)
965 {
966 /* This loop can be coded for space rather than */
967 /* speed because it will usually run only once. */
968 /* (the reach is at most len + 21, and typically */
969 /* does not exceed len) */
970 while ((limit - pos) * direction >= 0)
971 pos += BM_tab[FETCH_CHAR(pos)];
972 /* now run the same tests to distinguish going off the */
973 /* end, a match or a phony match. */
974 if ((pos - limit) * direction <= len)
975 break; /* ran off the end */
976 /* Found what might be a match.
977 Set POS back to last (first if reverse) char pos. */
978 pos -= infinity;
979 i = dirlen - direction;
980 while ((i -= direction) + direction != 0)
981 {
982 pos -= direction;
983 if (pat[i] != (((int) trt)
984 ? trt[FETCH_CHAR(pos)]
985 : FETCH_CHAR (pos)))
986 break;
987 }
988 /* Above loop has moved POS part or all the way
989 back to the first char pos (last char pos if reverse).
990 Set it once again at the last (first if reverse) char. */
991 pos += dirlen - i- direction;
992 if (i + direction == 0)
993 {
994 pos -= direction;
995
996 set_search_regs (pos + ((direction > 0) ? 1 - len : 0),
997 len);
998
999 if ((n -= direction) != 0)
1000 pos += dirlen; /* to resume search */
1001 else
1002 return ((direction > 0)
1003 ? search_regs.end[0] : search_regs.start[0]);
1004 }
1005 else
1006 pos += stride_for_teases;
1007 }
1008 }
1009 /* We have done one clump. Can we continue? */
1010 if ((lim - pos) * direction < 0)
1011 return ((0 - n) * direction);
1012 }
1013 return pos;
1014 }
1015 }
1016
1017 /* Record beginning BEG and end BEG + LEN
1018 for a match just found in the current buffer. */
1019
1020 static void
1021 set_search_regs (beg, len)
1022 int beg, len;
1023 {
1024 /* Make sure we have registers in which to store
1025 the match position. */
1026 if (search_regs.num_regs == 0)
1027 {
1028 regoff_t *starts, *ends;
1029
1030 starts = (regoff_t *) xmalloc (2 * sizeof (regoff_t));
1031 ends = (regoff_t *) xmalloc (2 * sizeof (regoff_t));
1032 BLOCK_INPUT;
1033 re_set_registers (&searchbuf,
1034 &search_regs,
1035 2, starts, ends);
1036 UNBLOCK_INPUT;
1037 }
1038
1039 search_regs.start[0] = beg;
1040 search_regs.end[0] = beg + len;
1041 XSET (last_thing_searched, Lisp_Buffer, current_buffer);
1042 }
1043 \f
1044 /* Given a string of words separated by word delimiters,
1045 compute a regexp that matches those exact words
1046 separated by arbitrary punctuation. */
1047
1048 static Lisp_Object
1049 wordify (string)
1050 Lisp_Object string;
1051 {
1052 register unsigned char *p, *o;
1053 register int i, len, punct_count = 0, word_count = 0;
1054 Lisp_Object val;
1055
1056 CHECK_STRING (string, 0);
1057 p = XSTRING (string)->data;
1058 len = XSTRING (string)->size;
1059
1060 for (i = 0; i < len; i++)
1061 if (SYNTAX (p[i]) != Sword)
1062 {
1063 punct_count++;
1064 if (i > 0 && SYNTAX (p[i-1]) == Sword) word_count++;
1065 }
1066 if (SYNTAX (p[len-1]) == Sword) word_count++;
1067 if (!word_count) return build_string ("");
1068
1069 val = make_string (p, len - punct_count + 5 * (word_count - 1) + 4);
1070
1071 o = XSTRING (val)->data;
1072 *o++ = '\\';
1073 *o++ = 'b';
1074
1075 for (i = 0; i < len; i++)
1076 if (SYNTAX (p[i]) == Sword)
1077 *o++ = p[i];
1078 else if (i > 0 && SYNTAX (p[i-1]) == Sword && --word_count)
1079 {
1080 *o++ = '\\';
1081 *o++ = 'W';
1082 *o++ = '\\';
1083 *o++ = 'W';
1084 *o++ = '*';
1085 }
1086
1087 *o++ = '\\';
1088 *o++ = 'b';
1089
1090 return val;
1091 }
1092 \f
1093 DEFUN ("search-backward", Fsearch_backward, Ssearch_backward, 1, 4,
1094 "sSearch backward: ",
1095 "Search backward from point for STRING.\n\
1096 Set point to the beginning of the occurrence found, and return point.\n\
1097 An optional second argument bounds the search; it is a buffer position.\n\
1098 The match found must not extend before that position.\n\
1099 Optional third argument, if t, means if fail just return nil (no error).\n\
1100 If not nil and not t, position at limit of search and return nil.\n\
1101 Optional fourth argument is repeat count--search for successive occurrences.\n\
1102 See also the functions `match-beginning', `match-end' and `replace-match'.")
1103 (string, bound, noerror, count)
1104 Lisp_Object string, bound, noerror, count;
1105 {
1106 return search_command (string, bound, noerror, count, -1, 0);
1107 }
1108
1109 DEFUN ("search-forward", Fsearch_forward, Ssearch_forward, 1, 4, "sSearch: ",
1110 "Search forward from point for STRING.\n\
1111 Set point to the end of the occurrence found, and return point.\n\
1112 An optional second argument bounds the search; it is a buffer position.\n\
1113 The match found must not extend after that position. nil is equivalent\n\
1114 to (point-max).\n\
1115 Optional third argument, if t, means if fail just return nil (no error).\n\
1116 If not nil and not t, move to limit of search and return nil.\n\
1117 Optional fourth argument is repeat count--search for successive occurrences.\n\
1118 See also the functions `match-beginning', `match-end' and `replace-match'.")
1119 (string, bound, noerror, count)
1120 Lisp_Object string, bound, noerror, count;
1121 {
1122 return search_command (string, bound, noerror, count, 1, 0);
1123 }
1124
1125 DEFUN ("word-search-backward", Fword_search_backward, Sword_search_backward, 1, 4,
1126 "sWord search backward: ",
1127 "Search backward from point for STRING, ignoring differences in punctuation.\n\
1128 Set point to the beginning of the occurrence found, and return point.\n\
1129 An optional second argument bounds the search; it is a buffer position.\n\
1130 The match found must not extend before that position.\n\
1131 Optional third argument, if t, means if fail just return nil (no error).\n\
1132 If not nil and not t, move to limit of search and return nil.\n\
1133 Optional fourth argument is repeat count--search for successive occurrences.")
1134 (string, bound, noerror, count)
1135 Lisp_Object string, bound, noerror, count;
1136 {
1137 return search_command (wordify (string), bound, noerror, count, -1, 1);
1138 }
1139
1140 DEFUN ("word-search-forward", Fword_search_forward, Sword_search_forward, 1, 4,
1141 "sWord search: ",
1142 "Search forward from point for STRING, ignoring differences in punctuation.\n\
1143 Set point to the end of the occurrence found, and return point.\n\
1144 An optional second argument bounds the search; it is a buffer position.\n\
1145 The match found must not extend after that position.\n\
1146 Optional third argument, if t, means if fail just return nil (no error).\n\
1147 If not nil and not t, move to limit of search and return nil.\n\
1148 Optional fourth argument is repeat count--search for successive occurrences.")
1149 (string, bound, noerror, count)
1150 Lisp_Object string, bound, noerror, count;
1151 {
1152 return search_command (wordify (string), bound, noerror, count, 1, 1);
1153 }
1154
1155 DEFUN ("re-search-backward", Fre_search_backward, Sre_search_backward, 1, 4,
1156 "sRE search backward: ",
1157 "Search backward from point for match for regular expression REGEXP.\n\
1158 Set point to the beginning of the match, and return point.\n\
1159 The match found is the one starting last in the buffer\n\
1160 and yet ending before the origin of the search.\n\
1161 An optional second argument bounds the search; it is a buffer position.\n\
1162 The match found must start at or after that position.\n\
1163 Optional third argument, if t, means if fail just return nil (no error).\n\
1164 If not nil and not t, move to limit of search and return nil.\n\
1165 Optional fourth argument is repeat count--search for successive occurrences.\n\
1166 See also the functions `match-beginning', `match-end' and `replace-match'.")
1167 (regexp, bound, noerror, count)
1168 Lisp_Object regexp, bound, noerror, count;
1169 {
1170 return search_command (regexp, bound, noerror, count, -1, 1);
1171 }
1172
1173 DEFUN ("re-search-forward", Fre_search_forward, Sre_search_forward, 1, 4,
1174 "sRE search: ",
1175 "Search forward from point for regular expression REGEXP.\n\
1176 Set point to the end of the occurrence found, and return point.\n\
1177 An optional second argument bounds the search; it is a buffer position.\n\
1178 The match found must not extend after that position.\n\
1179 Optional third argument, if t, means if fail just return nil (no error).\n\
1180 If not nil and not t, move to limit of search and return nil.\n\
1181 Optional fourth argument is repeat count--search for successive occurrences.\n\
1182 See also the functions `match-beginning', `match-end' and `replace-match'.")
1183 (regexp, bound, noerror, count)
1184 Lisp_Object regexp, bound, noerror, count;
1185 {
1186 return search_command (regexp, bound, noerror, count, 1, 1);
1187 }
1188 \f
1189 DEFUN ("replace-match", Freplace_match, Sreplace_match, 1, 4, 0,
1190 "Replace text matched by last search with NEWTEXT.\n\
1191 If second arg FIXEDCASE is non-nil, do not alter case of replacement text.\n\
1192 Otherwise maybe capitalize the whole text, or maybe just word initials,\n\
1193 based on the replaced text.\n\
1194 If the replaced text has only capital letters\n\
1195 and has at least one multiletter word, convert NEWTEXT to all caps.\n\
1196 If the replaced text has at least one word starting with a capital letter,\n\
1197 then capitalize each word in NEWTEXT.\n\n\
1198 If third arg LITERAL is non-nil, insert NEWTEXT literally.\n\
1199 Otherwise treat `\\' as special:\n\
1200 `\\&' in NEWTEXT means substitute original matched text.\n\
1201 `\\N' means substitute what matched the Nth `\\(...\\)'.\n\
1202 If Nth parens didn't match, substitute nothing.\n\
1203 `\\\\' means insert one `\\'.\n\
1204 FIXEDCASE and LITERAL are optional arguments.\n\
1205 Leaves point at end of replacement text.\n\
1206 \n\
1207 The optional fourth argument STRING can be a string to modify.\n\
1208 In that case, this function creates and returns a new string\n\
1209 which is made by replacing the part of STRING that was matched.")
1210 (newtext, fixedcase, literal, string)
1211 Lisp_Object newtext, fixedcase, literal, string;
1212 {
1213 enum { nochange, all_caps, cap_initial } case_action;
1214 register int pos, last;
1215 int some_multiletter_word;
1216 int some_lowercase;
1217 int some_uppercase;
1218 int some_nonuppercase_initial;
1219 register int c, prevc;
1220 int inslen;
1221
1222 CHECK_STRING (newtext, 0);
1223
1224 if (! NILP (string))
1225 CHECK_STRING (string, 4);
1226
1227 case_action = nochange; /* We tried an initialization */
1228 /* but some C compilers blew it */
1229
1230 if (search_regs.num_regs <= 0)
1231 error ("replace-match called before any match found");
1232
1233 if (NILP (string))
1234 {
1235 if (search_regs.start[0] < BEGV
1236 || search_regs.start[0] > search_regs.end[0]
1237 || search_regs.end[0] > ZV)
1238 args_out_of_range (make_number (search_regs.start[0]),
1239 make_number (search_regs.end[0]));
1240 }
1241 else
1242 {
1243 if (search_regs.start[0] < 0
1244 || search_regs.start[0] > search_regs.end[0]
1245 || search_regs.end[0] > XSTRING (string)->size)
1246 args_out_of_range (make_number (search_regs.start[0]),
1247 make_number (search_regs.end[0]));
1248 }
1249
1250 if (NILP (fixedcase))
1251 {
1252 /* Decide how to casify by examining the matched text. */
1253
1254 last = search_regs.end[0];
1255 prevc = '\n';
1256 case_action = all_caps;
1257
1258 /* some_multiletter_word is set nonzero if any original word
1259 is more than one letter long. */
1260 some_multiletter_word = 0;
1261 some_lowercase = 0;
1262 some_nonuppercase_initial = 0;
1263 some_uppercase = 0;
1264
1265 for (pos = search_regs.start[0]; pos < last; pos++)
1266 {
1267 if (NILP (string))
1268 c = FETCH_CHAR (pos);
1269 else
1270 c = XSTRING (string)->data[pos];
1271
1272 if (LOWERCASEP (c))
1273 {
1274 /* Cannot be all caps if any original char is lower case */
1275
1276 some_lowercase = 1;
1277 if (SYNTAX (prevc) != Sword)
1278 some_nonuppercase_initial = 1;
1279 else
1280 some_multiletter_word = 1;
1281 }
1282 else if (!NOCASEP (c))
1283 {
1284 some_uppercase = 1;
1285 if (SYNTAX (prevc) != Sword)
1286 ;
1287 else
1288 some_multiletter_word = 1;
1289 }
1290 else
1291 {
1292 /* If the initial is a caseless word constituent,
1293 treat that like a lowercase initial. */
1294 if (SYNTAX (prevc) != Sword)
1295 some_nonuppercase_initial = 1;
1296 }
1297
1298 prevc = c;
1299 }
1300
1301 /* Convert to all caps if the old text is all caps
1302 and has at least one multiletter word. */
1303 if (! some_lowercase && some_multiletter_word)
1304 case_action = all_caps;
1305 /* Capitalize each word, if the old text has all capitalized words. */
1306 else if (!some_nonuppercase_initial && some_multiletter_word)
1307 case_action = cap_initial;
1308 else if (!some_nonuppercase_initial && some_uppercase)
1309 /* Should x -> yz, operating on X, give Yz or YZ?
1310 We'll assume the latter. */
1311 case_action = all_caps;
1312 else
1313 case_action = nochange;
1314 }
1315
1316 /* Do replacement in a string. */
1317 if (!NILP (string))
1318 {
1319 Lisp_Object before, after;
1320
1321 before = Fsubstring (string, make_number (0),
1322 make_number (search_regs.start[0]));
1323 after = Fsubstring (string, make_number (search_regs.end[0]), Qnil);
1324
1325 /* Do case substitution into NEWTEXT if desired. */
1326 if (NILP (literal))
1327 {
1328 int lastpos = -1;
1329 /* We build up the substituted string in ACCUM. */
1330 Lisp_Object accum;
1331 Lisp_Object middle;
1332
1333 accum = Qnil;
1334
1335 for (pos = 0; pos < XSTRING (newtext)->size; pos++)
1336 {
1337 int substart = -1;
1338 int subend;
1339
1340 c = XSTRING (newtext)->data[pos];
1341 if (c == '\\')
1342 {
1343 c = XSTRING (newtext)->data[++pos];
1344 if (c == '&')
1345 {
1346 substart = search_regs.start[0];
1347 subend = search_regs.end[0];
1348 }
1349 else if (c >= '1' && c <= '9' && c <= search_regs.num_regs + '0')
1350 {
1351 if (search_regs.start[c - '0'] >= 1)
1352 {
1353 substart = search_regs.start[c - '0'];
1354 subend = search_regs.end[c - '0'];
1355 }
1356 }
1357 }
1358 if (substart >= 0)
1359 {
1360 if (pos - 1 != lastpos + 1)
1361 middle = Fsubstring (newtext, lastpos + 1, pos - 1);
1362 else
1363 middle = Qnil;
1364 accum = concat3 (accum, middle,
1365 Fsubstring (string, make_number (substart),
1366 make_number (subend)));
1367 lastpos = pos;
1368 }
1369 }
1370
1371 if (pos != lastpos + 1)
1372 middle = Fsubstring (newtext, lastpos + 1, pos);
1373 else
1374 middle = Qnil;
1375
1376 newtext = concat2 (accum, middle);
1377 }
1378
1379 if (case_action == all_caps)
1380 newtext = Fupcase (newtext);
1381 else if (case_action == cap_initial)
1382 newtext = upcase_initials (newtext);
1383
1384 return concat3 (before, newtext, after);
1385 }
1386
1387 /* We insert the replacement text before the old text, and then
1388 delete the original text. This means that markers at the
1389 beginning or end of the original will float to the corresponding
1390 position in the replacement. */
1391 SET_PT (search_regs.start[0]);
1392 if (!NILP (literal))
1393 Finsert_and_inherit (1, &newtext);
1394 else
1395 {
1396 struct gcpro gcpro1;
1397 GCPRO1 (newtext);
1398
1399 for (pos = 0; pos < XSTRING (newtext)->size; pos++)
1400 {
1401 int offset = point - search_regs.start[0];
1402
1403 c = XSTRING (newtext)->data[pos];
1404 if (c == '\\')
1405 {
1406 c = XSTRING (newtext)->data[++pos];
1407 if (c == '&')
1408 Finsert_buffer_substring
1409 (Fcurrent_buffer (),
1410 make_number (search_regs.start[0] + offset),
1411 make_number (search_regs.end[0] + offset));
1412 else if (c >= '1' && c <= '9' && c <= search_regs.num_regs + '0')
1413 {
1414 if (search_regs.start[c - '0'] >= 1)
1415 Finsert_buffer_substring
1416 (Fcurrent_buffer (),
1417 make_number (search_regs.start[c - '0'] + offset),
1418 make_number (search_regs.end[c - '0'] + offset));
1419 }
1420 else
1421 insert_char (c);
1422 }
1423 else
1424 insert_char (c);
1425 }
1426 UNGCPRO;
1427 }
1428
1429 inslen = point - (search_regs.start[0]);
1430 del_range (search_regs.start[0] + inslen, search_regs.end[0] + inslen);
1431
1432 if (case_action == all_caps)
1433 Fupcase_region (make_number (point - inslen), make_number (point));
1434 else if (case_action == cap_initial)
1435 upcase_initials_region (make_number (point - inslen), make_number (point));
1436 return Qnil;
1437 }
1438 \f
1439 static Lisp_Object
1440 match_limit (num, beginningp)
1441 Lisp_Object num;
1442 int beginningp;
1443 {
1444 register int n;
1445
1446 CHECK_NUMBER (num, 0);
1447 n = XINT (num);
1448 if (n < 0 || n >= search_regs.num_regs)
1449 args_out_of_range (num, make_number (search_regs.num_regs));
1450 if (search_regs.num_regs <= 0
1451 || search_regs.start[n] < 0)
1452 return Qnil;
1453 return (make_number ((beginningp) ? search_regs.start[n]
1454 : search_regs.end[n]));
1455 }
1456
1457 DEFUN ("match-beginning", Fmatch_beginning, Smatch_beginning, 1, 1, 0,
1458 "Return position of start of text matched by last search.\n\
1459 NUM specifies which parenthesized expression in the last regexp.\n\
1460 Value is nil if NUMth pair didn't match, or there were less than NUM pairs.\n\
1461 Zero means the entire text matched by the whole regexp or whole string.")
1462 (num)
1463 Lisp_Object num;
1464 {
1465 return match_limit (num, 1);
1466 }
1467
1468 DEFUN ("match-end", Fmatch_end, Smatch_end, 1, 1, 0,
1469 "Return position of end of text matched by last search.\n\
1470 ARG, a number, specifies which parenthesized expression in the last regexp.\n\
1471 Value is nil if ARGth pair didn't match, or there were less than ARG pairs.\n\
1472 Zero means the entire text matched by the whole regexp or whole string.")
1473 (num)
1474 Lisp_Object num;
1475 {
1476 return match_limit (num, 0);
1477 }
1478
1479 DEFUN ("match-data", Fmatch_data, Smatch_data, 0, 0, 0,
1480 "Return a list containing all info on what the last search matched.\n\
1481 Element 2N is `(match-beginning N)'; element 2N + 1 is `(match-end N)'.\n\
1482 All the elements are markers or nil (nil if the Nth pair didn't match)\n\
1483 if the last match was on a buffer; integers or nil if a string was matched.\n\
1484 Use `store-match-data' to reinstate the data in this list.")
1485 ()
1486 {
1487 Lisp_Object *data;
1488 int i, len;
1489
1490 if (NILP (last_thing_searched))
1491 error ("match-data called before any match found");
1492
1493 data = (Lisp_Object *) alloca ((2 * search_regs.num_regs)
1494 * sizeof (Lisp_Object));
1495
1496 len = -1;
1497 for (i = 0; i < search_regs.num_regs; i++)
1498 {
1499 int start = search_regs.start[i];
1500 if (start >= 0)
1501 {
1502 if (EQ (last_thing_searched, Qt))
1503 {
1504 XFASTINT (data[2 * i]) = start;
1505 XFASTINT (data[2 * i + 1]) = search_regs.end[i];
1506 }
1507 else if (BUFFERP (last_thing_searched))
1508 {
1509 data[2 * i] = Fmake_marker ();
1510 Fset_marker (data[2 * i],
1511 make_number (start),
1512 last_thing_searched);
1513 data[2 * i + 1] = Fmake_marker ();
1514 Fset_marker (data[2 * i + 1],
1515 make_number (search_regs.end[i]),
1516 last_thing_searched);
1517 }
1518 else
1519 /* last_thing_searched must always be Qt, a buffer, or Qnil. */
1520 abort ();
1521
1522 len = i;
1523 }
1524 else
1525 data[2 * i] = data [2 * i + 1] = Qnil;
1526 }
1527 return Flist (2 * len + 2, data);
1528 }
1529
1530
1531 DEFUN ("store-match-data", Fstore_match_data, Sstore_match_data, 1, 1, 0,
1532 "Set internal data on last search match from elements of LIST.\n\
1533 LIST should have been created by calling `match-data' previously.")
1534 (list)
1535 register Lisp_Object list;
1536 {
1537 register int i;
1538 register Lisp_Object marker;
1539
1540 if (!CONSP (list) && !NILP (list))
1541 list = wrong_type_argument (Qconsp, list);
1542
1543 /* Unless we find a marker with a buffer in LIST, assume that this
1544 match data came from a string. */
1545 last_thing_searched = Qt;
1546
1547 /* Allocate registers if they don't already exist. */
1548 {
1549 int length = XFASTINT (Flength (list)) / 2;
1550
1551 if (length > search_regs.num_regs)
1552 {
1553 if (search_regs.num_regs == 0)
1554 {
1555 search_regs.start
1556 = (regoff_t *) xmalloc (length * sizeof (regoff_t));
1557 search_regs.end
1558 = (regoff_t *) xmalloc (length * sizeof (regoff_t));
1559 }
1560 else
1561 {
1562 search_regs.start
1563 = (regoff_t *) xrealloc (search_regs.start,
1564 length * sizeof (regoff_t));
1565 search_regs.end
1566 = (regoff_t *) xrealloc (search_regs.end,
1567 length * sizeof (regoff_t));
1568 }
1569
1570 BLOCK_INPUT;
1571 re_set_registers (&searchbuf, &search_regs, length,
1572 search_regs.start, search_regs.end);
1573 UNBLOCK_INPUT;
1574 }
1575 }
1576
1577 for (i = 0; i < search_regs.num_regs; i++)
1578 {
1579 marker = Fcar (list);
1580 if (NILP (marker))
1581 {
1582 search_regs.start[i] = -1;
1583 list = Fcdr (list);
1584 }
1585 else
1586 {
1587 if (MARKERP (marker))
1588 {
1589 if (XMARKER (marker)->buffer == 0)
1590 XFASTINT (marker) = 0;
1591 else
1592 XSET (last_thing_searched, Lisp_Buffer,
1593 XMARKER (marker)->buffer);
1594 }
1595
1596 CHECK_NUMBER_COERCE_MARKER (marker, 0);
1597 search_regs.start[i] = XINT (marker);
1598 list = Fcdr (list);
1599
1600 marker = Fcar (list);
1601 if (MARKERP (marker) && XMARKER (marker)->buffer == 0)
1602 XFASTINT (marker) = 0;
1603
1604 CHECK_NUMBER_COERCE_MARKER (marker, 0);
1605 search_regs.end[i] = XINT (marker);
1606 }
1607 list = Fcdr (list);
1608 }
1609
1610 return Qnil;
1611 }
1612
1613 /* Quote a string to inactivate reg-expr chars */
1614
1615 DEFUN ("regexp-quote", Fregexp_quote, Sregexp_quote, 1, 1, 0,
1616 "Return a regexp string which matches exactly STRING and nothing else.")
1617 (str)
1618 Lisp_Object str;
1619 {
1620 register unsigned char *in, *out, *end;
1621 register unsigned char *temp;
1622
1623 CHECK_STRING (str, 0);
1624
1625 temp = (unsigned char *) alloca (XSTRING (str)->size * 2);
1626
1627 /* Now copy the data into the new string, inserting escapes. */
1628
1629 in = XSTRING (str)->data;
1630 end = in + XSTRING (str)->size;
1631 out = temp;
1632
1633 for (; in != end; in++)
1634 {
1635 if (*in == '[' || *in == ']'
1636 || *in == '*' || *in == '.' || *in == '\\'
1637 || *in == '?' || *in == '+'
1638 || *in == '^' || *in == '$')
1639 *out++ = '\\';
1640 *out++ = *in;
1641 }
1642
1643 return make_string (temp, out - temp);
1644 }
1645 \f
1646 syms_of_search ()
1647 {
1648 register int i;
1649
1650 searchbuf.allocated = 100;
1651 searchbuf.buffer = (unsigned char *) malloc (searchbuf.allocated);
1652 searchbuf.fastmap = search_fastmap;
1653
1654 Qsearch_failed = intern ("search-failed");
1655 staticpro (&Qsearch_failed);
1656 Qinvalid_regexp = intern ("invalid-regexp");
1657 staticpro (&Qinvalid_regexp);
1658
1659 Fput (Qsearch_failed, Qerror_conditions,
1660 Fcons (Qsearch_failed, Fcons (Qerror, Qnil)));
1661 Fput (Qsearch_failed, Qerror_message,
1662 build_string ("Search failed"));
1663
1664 Fput (Qinvalid_regexp, Qerror_conditions,
1665 Fcons (Qinvalid_regexp, Fcons (Qerror, Qnil)));
1666 Fput (Qinvalid_regexp, Qerror_message,
1667 build_string ("Invalid regexp"));
1668
1669 last_regexp = Qnil;
1670 staticpro (&last_regexp);
1671
1672 last_thing_searched = Qnil;
1673 staticpro (&last_thing_searched);
1674
1675 defsubr (&Sstring_match);
1676 defsubr (&Slooking_at);
1677 defsubr (&Sskip_chars_forward);
1678 defsubr (&Sskip_chars_backward);
1679 defsubr (&Sskip_syntax_forward);
1680 defsubr (&Sskip_syntax_backward);
1681 defsubr (&Ssearch_forward);
1682 defsubr (&Ssearch_backward);
1683 defsubr (&Sword_search_forward);
1684 defsubr (&Sword_search_backward);
1685 defsubr (&Sre_search_forward);
1686 defsubr (&Sre_search_backward);
1687 defsubr (&Sreplace_match);
1688 defsubr (&Smatch_beginning);
1689 defsubr (&Smatch_end);
1690 defsubr (&Smatch_data);
1691 defsubr (&Sstore_match_data);
1692 defsubr (&Sregexp_quote);
1693 }