2 * Copyright (c) 1992, 1993, 1994
3 * The Regents of the University of California. All rights reserved.
4 * Copyright (c) 1992, 1993, 1994, 1995, 1996
5 * Keith Bostic. All rights reserved.
7 * See the LICENSE file for redistribution information.
13 static const char sccsid
[] = "$Id: ex_subst.c,v 10.50 2002/02/09 21:18:23 skimo Exp $ (Berkeley) $Date: 2002/02/09 21:18:23 $";
16 #include <sys/types.h>
17 #include <sys/queue.h>
20 #include <bitstring.h>
29 #include "../common/common.h"
32 #define SUB_FIRST 0x01 /* The 'r' flag isn't reasonable. */
33 #define SUB_MUSTSETR 0x02 /* The 'r' flag is required. */
35 static int re_conv
__P((SCR
*, CHAR_T
**, size_t *, int *));
36 static int re_cscope_conv
__P((SCR
*, CHAR_T
**, size_t *, int *));
37 static int re_sub
__P((SCR
*,
38 CHAR_T
*, CHAR_T
**, size_t *, size_t *, regmatch_t
[10]));
39 static int re_tag_conv
__P((SCR
*, CHAR_T
**, size_t *, int *));
40 static int s
__P((SCR
*, EXCMD
*, CHAR_T
*, regex_t
*, u_int
));
44 * [line [,line]] s[ubstitute] [[/;]pat[/;]/repl[/;] [cgr] [count] [#lp]]
46 * Substitute on lines matching a pattern.
48 * PUBLIC: int ex_s __P((SCR *, EXCMD *));
51 ex_s(SCR
*sp
, EXCMD
*cmdp
)
57 CHAR_T
*bp
, *p
, *ptrn
, *rep
, *t
;
60 * Skip leading white space.
63 * Historic vi allowed any non-alphanumeric to serve as the
64 * substitution command delimiter.
67 * If the arguments are empty, it's the same as &, i.e. we
68 * repeat the last substitution.
72 for (p
= cmdp
->argv
[0]->bp
,
73 len
= cmdp
->argv
[0]->len
; len
> 0; --len
, ++p
) {
78 subagain
: return (ex_subagain(sp
, cmdp
));
81 if (isalnum(delim
) || delim
== '\\')
82 return (s(sp
, cmdp
, p
, &sp
->subre_c
, SUB_MUSTSETR
));
86 * The full-blown substitute command reset the remembered
87 * state of the 'c' and 'g' suffices.
89 sp
->c_suffix
= sp
->g_suffix
= 0;
92 * Get the pattern string, toss escaping characters.
95 * Historic vi accepted any of the following forms:
97 * :s/abc/def/ change "abc" to "def"
98 * :s/abc/def change "abc" to "def"
99 * :s/abc/ delete "abc"
100 * :s/abc delete "abc"
104 * Only toss an escaping character if it escapes a delimiter.
105 * This means that "s/A/\\\\f" replaces "A" with "\\f". It
106 * would be nice to be more regular, i.e. for each layer of
107 * escaping a single escaping character is removed, but that's
108 * not how the historic vi worked.
110 for (ptrn
= t
= p
;;) {
111 if (p
[0] == '\0' || p
[0] == delim
) {
116 * Nul terminate the pattern string -- it's passed
117 * to regcomp which doesn't understand anything else.
125 else if (p
[1] == '\\')
131 * If the pattern string is empty, use the last RE (not just the
132 * last substitution RE).
135 if (sp
->re
== NULL
) {
136 ex_emsg(sp
, NULL
, EXM_NOPREVRE
);
140 /* Re-compile the RE if necessary. */
141 if (!F_ISSET(sp
, SC_RE_SEARCH
) &&
142 re_compile(sp
, sp
->re
, sp
->re_len
,
143 NULL
, NULL
, &sp
->re_c
, SEARCH_CSEARCH
| SEARCH_MSG
))
149 * Compile the RE. Historic practice is that substitutes set
150 * the search direction as well as both substitute and search
151 * RE's. We compile the RE twice, as we don't want to bother
152 * ref counting the pattern string and (opaque) structure.
154 if (re_compile(sp
, ptrn
, t
- ptrn
, &sp
->re
,
155 &sp
->re_len
, &sp
->re_c
, SEARCH_CSEARCH
| SEARCH_MSG
))
157 if (re_compile(sp
, ptrn
, t
- ptrn
, &sp
->subre
,
158 &sp
->subre_len
, &sp
->subre_c
, SEARCH_CSUBST
| SEARCH_MSG
))
162 sp
->searchdir
= FORWARD
;
167 * Get the replacement string.
169 * The special character & (\& if O_MAGIC not set) matches the
170 * entire RE. No handling of & is required here, it's done by
173 * The special character ~ (\~ if O_MAGIC not set) inserts the
174 * previous replacement string into this replacement string.
175 * Count ~'s to figure out how much space we need. We could
176 * special case nonexistent last patterns or whether or not
177 * O_MAGIC is set, but it's probably not worth the effort.
181 * Only toss an escaping character if it escapes a delimiter or
182 * if O_MAGIC is set and it escapes a tilde.
185 * If the entire replacement pattern is "%", then use the last
186 * replacement pattern. This semantic was added to vi in System
187 * V and then percolated elsewhere, presumably around the time
188 * that it was added to their version of ed(1).
190 if (p
[0] == L('\0') || p
[0] == delim
) {
193 if (sp
->repl
!= NULL
)
197 } else if (p
[0] == L('%') && (p
[1] == L('\0') || p
[1] == delim
))
198 p
+= p
[1] == delim
? 2 : 1;
200 for (rep
= p
, len
= 0;
201 p
[0] != L('\0') && p
[0] != delim
; ++p
, ++len
)
204 GET_SPACE_RETW(sp
, bp
, blen
, len
);
205 for (t
= bp
, len
= 0, p
= rep
;;) {
206 if (p
[0] == L('\0') || p
[0] == delim
) {
211 if (p
[0] == L('\\')) {
214 else if (p
[1] == L('\\')) {
217 } else if (p
[1] == L('~')) {
219 if (!O_ISSET(sp
, O_MAGIC
))
222 } else if (p
[0] == L('~') && O_ISSET(sp
, O_MAGIC
)) {
224 MEMCPYW(t
, sp
->repl
, sp
->repl_len
);
232 if ((sp
->repl_len
= len
) != 0) {
233 if (sp
->repl
!= NULL
)
235 if ((sp
->repl
= malloc(len
* sizeof(CHAR_T
))) == NULL
) {
236 msgq(sp
, M_SYSERR
, NULL
);
237 FREE_SPACEW(sp
, bp
, blen
);
240 MEMCPYW(sp
->repl
, bp
, len
);
242 FREE_SPACEW(sp
, bp
, blen
);
244 return (s(sp
, cmdp
, p
, re
, flags
));
249 * [line [,line]] & [cgr] [count] [#lp]]
251 * Substitute using the last substitute RE and replacement pattern.
253 * PUBLIC: int ex_subagain __P((SCR *, EXCMD *));
256 ex_subagain(SCR
*sp
, EXCMD
*cmdp
)
258 if (sp
->subre
== NULL
) {
259 ex_emsg(sp
, NULL
, EXM_NOPREVRE
);
262 if (!F_ISSET(sp
, SC_RE_SUBST
) &&
263 re_compile(sp
, sp
->subre
, sp
->subre_len
,
264 NULL
, NULL
, &sp
->subre_c
, SEARCH_CSUBST
| SEARCH_MSG
))
267 cmdp
, cmdp
->argc
? cmdp
->argv
[0]->bp
: NULL
, &sp
->subre_c
, 0));
272 * [line [,line]] ~ [cgr] [count] [#lp]]
274 * Substitute using the last RE and last substitute replacement pattern.
276 * PUBLIC: int ex_subtilde __P((SCR *, EXCMD *));
279 ex_subtilde(SCR
*sp
, EXCMD
*cmdp
)
281 if (sp
->re
== NULL
) {
282 ex_emsg(sp
, NULL
, EXM_NOPREVRE
);
285 if (!F_ISSET(sp
, SC_RE_SEARCH
) && re_compile(sp
, sp
->re
,
286 sp
->re_len
, NULL
, NULL
, &sp
->re_c
, SEARCH_CSEARCH
| SEARCH_MSG
))
289 cmdp
, cmdp
->argc
? cmdp
->argv
[0]->bp
: NULL
, &sp
->re_c
, 0));
294 * Do the substitution. This stuff is *really* tricky. There are lots of
295 * special cases, and general nastiness. Don't mess with it unless you're
298 * The nasty part of the substitution is what happens when the replacement
299 * string contains newlines. It's a bit tricky -- consider the information
300 * that has to be retained for "s/f\(o\)o/^M\1^M\1/". The solution here is
301 * to build a set of newline offsets which we use to break the line up later,
302 * when the replacement is done. Don't change it unless you're *damned*
305 #define NEEDNEWLINE(sp) { \
306 if (sp->newl_len == sp->newl_cnt) { \
307 sp->newl_len += 25; \
308 REALLOC(sp, sp->newl, size_t *, \
309 sp->newl_len * sizeof(size_t)); \
310 if (sp->newl == NULL) { \
317 #define BUILD(sp, l, len) { \
318 if (lbclen + (len) > lblen) { \
319 lblen += MAX(lbclen + (len), 256); \
320 REALLOC(sp, lb, CHAR_T *, lblen * sizeof(CHAR_T)); \
326 MEMCPYW(lb + lbclen, l, len); \
330 #define NEEDSP(sp, len, pnt) { \
331 if (lbclen + (len) > lblen) { \
332 lblen += MAX(lbclen + (len), 256); \
333 REALLOC(sp, lb, CHAR_T *, lblen * sizeof(CHAR_T)); \
343 s(SCR
*sp
, EXCMD
*cmdp
, CHAR_T
*s
, regex_t
*re
, u_int flags
)
348 db_recno_t elno
, lno
, slno
;
350 regmatch_t match
[10];
351 size_t blen
, cnt
, last
, lbclen
, lblen
, len
, llen
;
352 size_t offset
, saved_offset
, scno
;
353 int cflag
, lflag
, nflag
, pflag
, rflag
;
354 int didsub
, do_eol_match
, eflags
, empty_ok
, eval
;
355 int linechanged
, matched
, quit
, rval
;
366 * Historically, the 'g' and 'c' suffices were always toggled as flags,
367 * so ":s/A/B/" was the same as ":s/A/B/ccgg". If O_EDCOMPATIBLE was
368 * not set, they were initialized to 0 for all substitute commands. If
369 * O_EDCOMPATIBLE was set, they were initialized to 0 only if the user
370 * specified substitute/replacement patterns (see ex_s()).
372 if (!O_ISSET(sp
, O_EDCOMPATIBLE
))
373 sp
->c_suffix
= sp
->g_suffix
= 0;
376 * Historic vi permitted the '#', 'l' and 'p' options in vi mode, but
377 * it only displayed the last change. I'd disallow them, but they are
378 * useful in combination with the [v]global commands. In the current
379 * model the problem is combining them with the 'c' flag -- the screen
380 * would have to flip back and forth between the confirm screen and the
381 * ex print screen, which would be pretty awful. We do display all
382 * changes, though, for what that's worth.
385 * Historic vi was fairly strict about the order of "options", the
386 * count, and "flags". I'm somewhat fuzzy on the difference between
387 * options and flags, anyway, so this is a simpler approach, and we
388 * just take it them in whatever order the user gives them. (The ex
389 * usage statement doesn't reflect this.)
391 cflag
= lflag
= nflag
= pflag
= rflag
= 0;
394 for (lno
= OOBLNO
; *s
!= '\0'; ++s
)
405 case '0': case '1': case '2': case '3': case '4':
406 case '5': case '6': case '7': case '8': case '9':
410 nret
= nget_uslong(sp
, &ul
, s
, &s
, 10);
412 if (*s
== '\0') /* Loop increment correction. */
414 if (nret
!= NUM_OK
) {
415 if (nret
== NUM_OVER
)
416 msgq(sp
, M_ERR
, "153|Count overflow");
417 else if (nret
== NUM_UNDER
)
418 msgq(sp
, M_ERR
, "154|Count underflow");
420 msgq(sp
, M_SYSERR
, NULL
);
424 * In historic vi, the count was inclusive from the
427 cmdp
->addr1
.lno
= cmdp
->addr2
.lno
;
428 cmdp
->addr2
.lno
+= lno
- 1;
429 if (!db_exist(sp
, cmdp
->addr2
.lno
) &&
430 db_last(sp
, &cmdp
->addr2
.lno
))
437 sp
->c_suffix
= !sp
->c_suffix
;
439 /* Ex text structure initialization. */
440 if (F_ISSET(sp
, SC_EX
)) {
441 memset(&tiq
, 0, sizeof(TEXTH
));
446 sp
->g_suffix
= !sp
->g_suffix
;
455 if (LF_ISSET(SUB_FIRST
)) {
457 "155|Regular expression specified; r flag meaningless");
460 if (!F_ISSET(sp
, SC_RE_SEARCH
)) {
461 ex_emsg(sp
, NULL
, EXM_NOPREVRE
);
471 if (*s
!= '\0' || !rflag
&& LF_ISSET(SUB_MUSTSETR
)) {
472 usage
: ex_emsg(sp
, cmdp
->cmd
->usage
, EXM_USAGE
);
476 noargs
: if (F_ISSET(sp
, SC_VI
) && sp
->c_suffix
&& (lflag
|| nflag
|| pflag
)) {
478 "156|The #, l and p flags may not be combined with the c flag in vi mode");
483 * bp: if interactive, line cache
484 * blen: if interactive, line cache length
485 * lb: build buffer pointer.
486 * lbclen: current length of built buffer.
487 * lblen; length of build buffer.
490 blen
= lbclen
= lblen
= 0;
492 /* For each line... */
493 lno
= cmdp
->addr1
.lno
== 0 ? 1 : cmdp
->addr1
.lno
;
494 for (matched
= quit
= 0,
495 elno
= cmdp
->addr2
.lno
; !quit
&& lno
<= elno
; ++lno
) {
497 /* Someone's unhappy, time to stop. */
502 if (db_get(sp
, lno
, DBG_FATAL
, &s
, &llen
))
506 * Make a local copy if doing confirmation -- when calling
507 * the confirm routine we're likely to lose the cached copy.
511 GET_SPACE_RETW(sp
, bp
, blen
, llen
);
513 ADD_SPACE_RETW(sp
, bp
, blen
, llen
);
514 MEMCPYW(bp
, s
, llen
);
518 /* Start searching from the beginning. */
522 /* Reset the build buffer offset. */
525 /* Reset empty match flag. */
529 * We don't want to have to do a setline if the line didn't
530 * change -- keep track of whether or not this line changed.
531 * If doing confirmations, don't want to keep setting the
532 * line if change is refused -- keep track of substitutions.
534 didsub
= linechanged
= 0;
536 /* New line, do an EOL match. */
539 /* It's not nul terminated, but we pretend it is. */
540 eflags
= REG_STARTEND
;
543 * The search area is from s + offset to the EOL.
545 * Generally, match[0].rm_so is the offset of the start
546 * of the match from the start of the search, and offset
547 * is the offset of the start of the last search.
549 nextmatch
: match
[0].rm_so
= 0;
550 match
[0].rm_eo
= len
;
552 /* Get the next match. */
553 eval
= regexec(re
, s
+ offset
, 10, match
, eflags
);
556 * There wasn't a match or if there was an error, deal with
557 * it. If there was a previous match in this line, resolve
558 * the changes into the database. Otherwise, just move on.
560 if (eval
== REG_NOMATCH
)
563 re_error(sp
, eval
, re
);
568 /* Only the first search can match an anchored expression. */
569 eflags
|= REG_NOTBOL
;
573 * It's possible to match 0-length strings -- for example, the
574 * command s;a*;X;, when matched against the string "aabb" will
575 * result in "XbXbX", i.e. the matches are "aa", the space
576 * between the b's and the space between the b's and the end of
577 * the string. There is a similar space between the beginning
578 * of the string and the a's. The rule that we use (because vi
579 * historically used it) is that any 0-length match, occurring
580 * immediately after a match, is ignored. Otherwise, the above
581 * example would have resulted in "XXbXbX". Another example is
582 * incorrectly using " *" to replace groups of spaces with one
585 * The way we do this is that if we just had a successful match,
586 * the starting offset does not skip characters, and the match
587 * is empty, ignore the match and move forward. If there's no
588 * more characters in the string, we were attempting to match
589 * after the last character, so quit.
591 if (!empty_ok
&& match
[0].rm_so
== 0 && match
[0].rm_eo
== 0) {
595 BUILD(sp
, s
+ offset
, 1)
601 /* Confirm change. */
604 * Set the cursor position for confirmation. Note,
605 * if we matched on a '$', the cursor may be past
608 from
.lno
= to
.lno
= lno
;
609 from
.cno
= match
[0].rm_so
+ offset
;
610 to
.cno
= match
[0].rm_eo
+ offset
;
612 * Both ex and vi have to correct for a change before
613 * the first character in the line.
616 from
.cno
= to
.cno
= 0;
617 if (F_ISSET(sp
, SC_VI
)) {
619 * Only vi has to correct for a change after
620 * the last character in the line.
623 * It would be nice to change the vi code so
624 * that we could display a cursor past EOL.
628 if (from
.cno
>= llen
)
633 if (vs_refresh(sp
, 1))
636 vs_update(sp
, msg_cat(sp
,
637 "169|Confirm change? [n]", NULL
), NULL
);
639 if (v_event_get(sp
, &ev
, 0, 0))
641 switch (ev
.e_event
) {
649 v_event_err(sp
, &ev
);
653 if (ex_print(sp
, cmdp
, &from
, &to
, 0) ||
654 ex_scprint(sp
, &from
, &to
))
656 if (ex_txt(sp
, &tiq
, 0, TXT_CR
))
658 ev
.e_c
= tiq
.cqh_first
->lb
[0];
667 BUILD(sp
, s
+offset
, match
[0].rm_eo
);
670 /* Set the quit/interrupted flags. */
672 F_SET(sp
->gp
, G_INTERRUPTED
);
675 * Resolve any changes, then return to (and
676 * exit from) the main loop.
683 * Set the cursor to the last position changed, converting
684 * from 1-based to 0-based.
687 sp
->cno
= match
[0].rm_so
;
689 /* Copy the bytes before the match into the build buffer. */
690 BUILD(sp
, s
+ offset
, match
[0].rm_so
);
692 /* Substitute the matching bytes. */
694 if (re_sub(sp
, s
+ offset
, &lb
, &lbclen
, &lblen
, match
))
697 /* Set the change flag so we know this line was modified. */
700 /* Move past the matched bytes. */
701 skip
: offset
+= match
[0].rm_eo
;
702 len
-= match
[0].rm_eo
;
704 /* A match cannot be followed by an empty pattern. */
708 * If doing a global change with confirmation, we have to
709 * update the screen. The basic idea is to store the line
710 * so the screen update routines can find it, and restart.
712 if (didsub
&& sp
->c_suffix
&& sp
->g_suffix
) {
714 * The new search offset will be the end of the
717 saved_offset
= lbclen
;
719 /* Copy the rest of the line. */
721 BUILD(sp
, s
+ offset
, len
)
723 /* Set the new offset. */
724 offset
= saved_offset
;
726 /* Store inserted lines, adjusting the build buffer. */
730 cnt
< sp
->newl_cnt
; ++cnt
, ++lno
, ++elno
) {
731 if (db_insert(sp
, lno
,
732 lb
+ last
, sp
->newl
[cnt
] - last
))
734 last
= sp
->newl
[cnt
] + 1;
735 ++sp
->rptlines
[L_ADDED
];
742 /* Store and retrieve the line. */
743 if (db_set(sp
, lno
, lb
+ last
, lbclen
))
745 if (db_get(sp
, lno
, DBG_FATAL
, &s
, &llen
))
747 ADD_SPACE_RETW(sp
, bp
, blen
, llen
)
748 MEMCPYW(bp
, s
, llen
);
752 /* Restart the build. */
754 BUILD(sp
, s
, offset
);
757 * If we haven't already done the after-the-string
758 * match, do one. Set REG_NOTEOL so the '$' pattern
765 eflags
|= REG_NOTEOL
;
773 * If at the end of the string, do a test for the after
774 * the string match. Set REG_NOTEOL so the '$' pattern
777 if (sp
->g_suffix
&& do_eol_match
) {
780 eflags
|= REG_NOTEOL
;
785 endmatch
: if (!linechanged
)
788 /* Copy any remaining bytes into the build buffer. */
790 BUILD(sp
, s
+ offset
, len
)
792 /* Store inserted lines, adjusting the build buffer. */
796 cnt
< sp
->newl_cnt
; ++cnt
, ++lno
, ++elno
) {
798 lno
, lb
+ last
, sp
->newl
[cnt
] - last
))
800 last
= sp
->newl
[cnt
] + 1;
801 ++sp
->rptlines
[L_ADDED
];
807 /* Store the changed line. */
808 if (db_set(sp
, lno
, lb
+ last
, lbclen
))
811 /* Update changed line counter. */
812 if (sp
->rptlchange
!= lno
) {
813 sp
->rptlchange
= lno
;
814 ++sp
->rptlines
[L_CHANGED
];
819 * Display as necessary. Historic practice is to only
820 * display the last line of a line split into multiple
823 if (lflag
|| nflag
|| pflag
) {
824 from
.lno
= to
.lno
= lno
;
825 from
.cno
= to
.cno
= 0;
827 (void)ex_print(sp
, cmdp
, &from
, &to
, E_C_LIST
);
829 (void)ex_print(sp
, cmdp
, &from
, &to
, E_C_HASH
);
831 (void)ex_print(sp
, cmdp
, &from
, &to
, E_C_PRINT
);
837 * Historically, vi attempted to leave the cursor at the same place if
838 * the substitution was done at the current cursor position. Otherwise
839 * it moved it to the first non-blank of the last line changed. There
840 * were some problems: for example, :s/$/foo/ with the cursor on the
841 * last character of the line left the cursor on the last character, or
842 * the & command with multiple occurrences of the matching string in the
843 * line usually left the cursor in a fairly random position.
845 * We try to do the same thing, with the exception that if the user is
846 * doing substitution with confirmation, we move to the last line about
847 * which the user was consulted, as opposed to the last line that they
848 * actually changed. This prevents a screen flash if the user doesn't
849 * change many of the possible lines.
851 if (!sp
->c_suffix
&& (sp
->lno
!= slno
|| sp
->cno
!= scno
)) {
853 (void)nonblank(sp
, sp
->lno
, &sp
->cno
);
857 * If not in a global command, and nothing matched, say so.
858 * Else, if none of the lines displayed, put something up.
862 if (!F_ISSET(sp
, SC_EX_GLOBAL
)) {
863 msgq(sp
, M_ERR
, "157|No match found");
866 } else if (!lflag
&& !nflag
&& !pflag
)
867 F_SET(cmdp
, E_AUTOPRINT
);
874 FREE_SPACEW(sp
, bp
, blen
);
884 * PUBLIC: int re_compile __P((SCR *,
885 * PUBLIC: CHAR_T *, size_t, CHAR_T **, size_t *, regex_t *, u_int));
888 re_compile(SCR
*sp
, CHAR_T
*ptrn
, size_t plen
, CHAR_T
**ptrnp
, size_t *lenp
, regex_t
*rep
, u_int flags
)
891 int reflags
, replaced
, rval
;
896 if (LF_ISSET(SEARCH_EXTEND
))
897 reflags
|= REG_EXTENDED
;
898 if (LF_ISSET(SEARCH_IC
))
899 reflags
|= REG_ICASE
;
900 if (LF_ISSET(SEARCH_LITERAL
))
901 reflags
|= REG_NOSPEC
;
902 if (!LF_ISSET(SEARCH_NOOPT
| SEARCH_CSCOPE
| SEARCH_TAG
)) {
903 if (O_ISSET(sp
, O_EXTENDED
))
904 reflags
|= REG_EXTENDED
;
905 if (O_ISSET(sp
, O_IGNORECASE
))
906 reflags
|= REG_ICASE
;
907 if (O_ISSET(sp
, O_ICLOWER
))
910 if (LF_ISSET(SEARCH_ICL
)) {
911 iclower
: for (p
= ptrn
, len
= plen
; len
> 0; ++p
, --len
)
915 reflags
|= REG_ICASE
;
918 /* If we're replacing a saved value, clear the old one. */
919 if (LF_ISSET(SEARCH_CSEARCH
) && F_ISSET(sp
, SC_RE_SEARCH
)) {
921 F_CLR(sp
, SC_RE_SEARCH
);
923 if (LF_ISSET(SEARCH_CSUBST
) && F_ISSET(sp
, SC_RE_SUBST
)) {
924 regfree(&sp
->subre_c
);
925 F_CLR(sp
, SC_RE_SUBST
);
929 * If we're saving the string, it's a pattern we haven't seen before,
930 * so convert the vi-style RE's to POSIX 1003.2 RE's. Save a copy for
931 * later recompilation. Free any previously saved value.
935 if (LF_ISSET(SEARCH_CSCOPE
)) {
936 if (re_cscope_conv(sp
, &ptrn
, &plen
, &replaced
))
940 * Currently, the match-any-<blank> expression used in
941 * re_cscope_conv() requires extended RE's. This may
942 * not be right or safe.
944 reflags
|= REG_EXTENDED
;
945 } else if (LF_ISSET(SEARCH_TAG
)) {
946 if (re_tag_conv(sp
, &ptrn
, &plen
, &replaced
))
948 } else if (!LF_ISSET(SEARCH_LITERAL
))
949 if (re_conv(sp
, &ptrn
, &plen
, &replaced
))
952 /* Discard previous pattern. */
953 if (*ptrnp
!= NULL
) {
961 * Copy the string into allocated memory.
964 * Regcomp isn't 8-bit clean, so the pattern is nul-terminated
965 * for now. There's just no other solution.
967 MALLOC(sp
, *ptrnp
, CHAR_T
*, (plen
+ 1) * sizeof(CHAR_T
));
968 if (*ptrnp
!= NULL
) {
969 MEMCPYW(*ptrnp
, ptrn
, plen
);
970 (*ptrnp
)[plen
] = '\0';
973 /* Free up conversion-routine-allocated memory. */
975 FREE_SPACEW(sp
, ptrn
, 0);
985 * Regcomp isn't 8-bit clean, so we just lost if the pattern
986 * contained a nul. Bummer!
988 if ((rval
= regcomp(rep
, ptrn
, /* plen, */ reflags
)) != 0) {
989 if (LF_ISSET(SEARCH_MSG
))
990 re_error(sp
, rval
, rep
);
994 if (LF_ISSET(SEARCH_CSEARCH
))
995 F_SET(sp
, SC_RE_SEARCH
);
996 if (LF_ISSET(SEARCH_CSUBST
))
997 F_SET(sp
, SC_RE_SUBST
);
1004 * Convert vi's regular expressions into something that the
1005 * the POSIX 1003.2 RE functions can handle.
1007 * There are three conversions we make to make vi's RE's (specifically
1008 * the global, search, and substitute patterns) work with POSIX RE's.
1010 * 1: If O_MAGIC is not set, strip backslashes from the magic character
1011 * set (.[*~) that have them, and add them to the ones that don't.
1012 * 2: If O_MAGIC is not set, the string "\~" is replaced with the text
1013 * from the last substitute command's replacement string. If O_MAGIC
1014 * is set, it's the string "~".
1015 * 3: The pattern \<ptrn\> does "word" searches, convert it to use the
1019 * This doesn't exactly match the historic behavior of vi because we do
1020 * the ~ substitution before calling the RE engine, so magic characters
1021 * in the replacement string will be expanded by the RE engine, and they
1022 * weren't historically. It's a bug.
1025 re_conv(SCR
*sp
, CHAR_T
**ptrnp
, size_t *plenp
, int *replacedp
)
1027 size_t blen
, len
, needlen
;
1032 * First pass through, we figure out how much space we'll need.
1033 * We do it in two passes, on the grounds that most of the time
1034 * the user is doing a search and won't have magic characters.
1035 * That way we can skip most of the memory allocation and copies.
1038 for (p
= *ptrnp
, len
= *plenp
, needlen
= 0; len
> 0; ++p
, --len
)
1046 needlen
+= RE_WSTART_LEN
+ 1;
1050 needlen
+= RE_WSTOP_LEN
+ 1;
1053 if (!O_ISSET(sp
, O_MAGIC
)) {
1055 needlen
+= sp
->repl_len
;
1061 if (!O_ISSET(sp
, O_MAGIC
)) {
1073 if (O_ISSET(sp
, O_MAGIC
)) {
1075 needlen
+= sp
->repl_len
;
1081 if (!O_ISSET(sp
, O_MAGIC
)) {
1096 /* Get enough memory to hold the final pattern. */
1098 GET_SPACE_RETW(sp
, bp
, blen
, needlen
);
1100 for (p
= *ptrnp
, len
= *plenp
, t
= bp
; len
> 0; ++p
, --len
)
1108 RE_WSTART
, RE_WSTART_LEN
);
1113 RE_WSTOP
, RE_WSTOP_LEN
);
1117 if (O_ISSET(sp
, O_MAGIC
))
1121 sp
->repl
, sp
->repl_len
);
1128 if (O_ISSET(sp
, O_MAGIC
))
1140 if (O_ISSET(sp
, O_MAGIC
)) {
1141 MEMCPYW(t
, sp
->repl
, sp
->repl_len
);
1149 if (!O_ISSET(sp
, O_MAGIC
))
1165 * Convert a tags search path into something that the POSIX
1166 * 1003.2 RE functions can handle.
1169 re_tag_conv(SCR
*sp
, CHAR_T
**ptrnp
, size_t *plenp
, int *replacedp
)
1177 /* Max memory usage is 2 times the length of the string. */
1179 GET_SPACE_RETW(sp
, bp
, blen
, len
* 2);
1184 /* If the last character is a '/' or '?', we just strip it. */
1185 if (len
> 0 && (p
[len
- 1] == '/' || p
[len
- 1] == '?'))
1188 /* If the next-to-last or last character is a '$', it's magic. */
1189 if (len
> 0 && p
[len
- 1] == '$') {
1195 /* If the first character is a '/' or '?', we just strip it. */
1196 if (len
> 0 && (p
[0] == '/' || p
[0] == '?')) {
1201 /* If the first or second character is a '^', it's magic. */
1208 * Escape every other magic character we can find, meanwhile stripping
1209 * the backslashes ctags inserts when escaping the search delimiter
1212 for (; len
> 0; --len
) {
1213 if (p
[0] == '\\' && (p
[1] == '/' || p
[1] == '?')) {
1216 } else if (strchr("^.[]$*", p
[0]))
1230 * Convert a cscope search path into something that the POSIX
1231 * 1003.2 RE functions can handle.
1234 re_cscope_conv(SCR
*sp
, CHAR_T
**ptrnp
, size_t *plenp
, int *replacedp
)
1236 size_t blen
, len
, nspaces
;
1243 * Each space in the source line printed by cscope represents an
1244 * arbitrary sequence of spaces, tabs, and comments.
1246 #define CSCOPE_RE_SPACE "([ \t]|/\\*([^*]|\\*/)*\\*/)*"
1247 #define CSCOPE_LEN sizeof(CSCOPE_RE_SPACE) - 1
1248 CHAR2INT(sp
, CSCOPE_RE_SPACE
, CSCOPE_LEN
, wp
, wlen
);
1249 for (nspaces
= 0, p
= *ptrnp
, len
= *plenp
; len
> 0; ++p
, --len
)
1254 * Allocate plenty of space:
1255 * the string, plus potential escaping characters;
1256 * nspaces + 2 copies of CSCOPE_RE_SPACE;
1257 * ^, $, nul terminator characters.
1260 len
= (p
- *ptrnp
) * 2 + (nspaces
+ 2) * sizeof(CSCOPE_RE_SPACE
) + 3;
1261 GET_SPACE_RETW(sp
, bp
, blen
, len
);
1267 MEMCPYW(t
, wp
, wlen
);
1270 for (len
= *plenp
; len
> 0; ++p
, --len
)
1272 MEMCPYW(t
, wp
, wlen
);
1275 if (strchr("\\^.[]$*+?()|{}", *p
))
1280 MEMCPYW(t
, wp
, wlen
);
1291 * Report a regular expression error.
1293 * PUBLIC: void re_error __P((SCR *, int, regex_t *));
1296 re_error(SCR
*sp
, int errcode
, regex_t
*preg
)
1301 s
= regerror(errcode
, preg
, "", 0);
1302 if ((oe
= malloc(s
)) == NULL
)
1303 msgq(sp
, M_SYSERR
, NULL
);
1305 (void)regerror(errcode
, preg
, oe
, s
);
1306 msgq(sp
, M_ERR
, "RE error: %s", oe
);
1313 * Do the substitution for a regular expression.
1316 re_sub(SCR
*sp
, CHAR_T
*ip
, CHAR_T
**lbp
, size_t *lbclenp
, size_t *lblenp
, regmatch_t
*match
)
1323 enum { C_NOTSET
, C_LOWER
, C_ONELOWER
, C_ONEUPPER
, C_UPPER
} conv
;
1324 size_t lbclen
, lblen
; /* Local copies. */
1325 size_t mlen
; /* Match length. */
1326 size_t rpl
; /* Remaining replacement length. */
1327 CHAR_T
*rp
; /* Replacement pointer. */
1329 int no
; /* Match replacement offset. */
1330 CHAR_T
*p
, *t
; /* Buffer pointers. */
1331 CHAR_T
*lb
; /* Local copies. */
1333 lb
= *lbp
; /* Get local copies. */
1340 * There are some special sequences that vi provides in the
1341 * replacement patterns.
1342 * & string the RE matched (\& if nomagic set)
1343 * \# n-th regular subexpression
1344 * \E end \U, \L conversion
1345 * \e end \U, \L conversion
1346 * \l convert the next character to lower-case
1347 * \L convert to lower-case, until \E, \e, or end of replacement
1348 * \u convert the next character to upper-case
1349 * \U convert to upper-case, until \E, \e, or end of replacement
1351 * Otherwise, since this is the lowest level of replacement, discard
1352 * all escaping characters. This (hopefully) matches historic practice.
1354 #define OUTCH(ch, nltrans) { \
1355 CHAR_T __ch = (ch); \
1356 u_int __value = KEY_VAL(sp, __ch); \
1357 if (nltrans && (__value == K_CR || __value == K_NL)) { \
1359 sp->newl[sp->newl_cnt++] = lbclen; \
1360 } else if (conv != C_NOTSET) { \
1366 if (isupper(__ch)) \
1367 __ch = tolower(__ch); \
1373 if (islower(__ch)) \
1374 __ch = toupper(__ch); \
1385 for (rp
= sp
->repl
, rpl
= sp
->repl_len
, p
= lb
+ lbclen
; rpl
--;) {
1386 switch (ch
= *rp
++) {
1388 if (O_ISSET(sp
, O_MAGIC
)) {
1400 if (!O_ISSET(sp
, O_MAGIC
)) {
1405 case '0': case '1': case '2': case '3': case '4':
1406 case '5': case '6': case '7': case '8': case '9':
1408 subzero
: if (match
[no
].rm_so
== -1 ||
1409 match
[no
].rm_eo
== -1)
1411 mlen
= match
[no
].rm_eo
- match
[no
].rm_so
;
1412 for (t
= ip
+ match
[no
].rm_so
; mlen
--; ++t
)
1444 *lbp
= lb
; /* Update caller's information. */