2 * Implements the regexp and regsub commands for Jim
4 * (c) 2008 Steve Bennett <steveb@workware.net.au>
6 * Uses C library regcomp()/regexec() for the matching.
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the above
15 * copyright notice, this list of conditions and the following
16 * disclaimer in the documentation and/or other materials
17 * provided with the distribution.
19 * THIS SOFTWARE IS PROVIDED BY THE JIM TCL PROJECT ``AS IS'' AND ANY
20 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
21 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
22 * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
23 * JIM TCL PROJECT OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
24 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
25 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
26 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
28 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
29 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
30 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32 * The views and conclusions contained in the software and documentation
33 * are those of the authors and should not be interpreted as representing
34 * official policies, either expressed or implied, of the Jim Tcl Project.
36 * Based on code originally from Tcl 6.7:
38 * Copyright 1987-1991 Regents of the University of California
39 * Permission to use, copy, modify, and distribute this
40 * software and its documentation for any purpose and without
41 * fee is hereby granted, provided that the above copyright
42 * notice appear in all copies. The University of California
43 * makes no representations about the suitability of this
44 * software for any purpose. It is provided "as is" without
45 * express or implied warranty.
51 #include "jimautoconf.h"
52 #if defined(JIM_REGEXP)
53 #include "jimregexp.h"
59 static void FreeRegexpInternalRep(Jim_Interp
*interp
, Jim_Obj
*objPtr
)
61 regfree(objPtr
->internalRep
.regexpValue
.compre
);
62 Jim_Free(objPtr
->internalRep
.regexpValue
.compre
);
65 static const Jim_ObjType regexpObjType
= {
67 FreeRegexpInternalRep
,
73 static regex_t
*SetRegexpFromAny(Jim_Interp
*interp
, Jim_Obj
*objPtr
, unsigned flags
)
79 /* Check if the object is already an uptodate variable */
80 if (objPtr
->typePtr
== ®expObjType
&&
81 objPtr
->internalRep
.regexpValue
.compre
&& objPtr
->internalRep
.regexpValue
.flags
== flags
) {
83 return objPtr
->internalRep
.regexpValue
.compre
;
86 /* Not a regexp or the flags do not match */
88 /* Get the string representation */
89 pattern
= Jim_String(objPtr
);
90 compre
= Jim_Alloc(sizeof(regex_t
));
92 if ((ret
= regcomp(compre
, pattern
, REG_EXTENDED
| flags
)) != 0) {
95 regerror(ret
, compre
, buf
, sizeof(buf
));
96 Jim_SetResultFormatted(interp
, "couldn't compile regular expression pattern: %s", buf
);
102 Jim_FreeIntRep(interp
, objPtr
);
104 objPtr
->typePtr
= ®expObjType
;
105 objPtr
->internalRep
.regexpValue
.flags
= flags
;
106 objPtr
->internalRep
.regexpValue
.compre
= compre
;
111 int Jim_RegexpCmd(Jim_Interp
*interp
, int argc
, Jim_Obj
*const *argv
)
119 regmatch_t
*pmatch
= NULL
;
123 const char *source_str
;
126 Jim_Obj
*resultListObj
= NULL
;
127 int regcomp_flags
= 0;
131 OPT_INDICES
, OPT_NOCASE
, OPT_LINE
, OPT_ALL
, OPT_INLINE
, OPT_START
, OPT_END
133 static const char * const options
[] = {
134 "-indices", "-nocase", "-line", "-all", "-inline", "-start", "--", NULL
139 Jim_WrongNumArgs(interp
, 1, argv
,
140 "?switches? exp string ?matchVar? ?subMatchVar subMatchVar ...?");
144 for (i
= 1; i
< argc
; i
++) {
145 const char *opt
= Jim_String(argv
[i
]);
150 if (Jim_GetEnum(interp
, argv
[i
], options
, &option
, "switch", JIM_ERRMSG
| JIM_ENUM_ABBREV
) != JIM_OK
) {
153 if (option
== OPT_END
) {
163 regcomp_flags
|= REG_ICASE
;
167 regcomp_flags
|= REG_NEWLINE
;
182 if (Jim_GetIndex(interp
, argv
[i
], &offset
) != JIM_OK
) {
192 regex
= SetRegexpFromAny(interp
, argv
[i
], regcomp_flags
);
197 pattern
= Jim_String(argv
[i
]);
198 source_str
= Jim_GetString(argv
[i
+ 1], &source_len
);
200 num_vars
= argc
- i
- 2;
204 Jim_SetResultString(interp
, "regexp match variables not allowed when using -inline",
209 num_vars
= regex
->re_nsub
+ 1;
212 pmatch
= Jim_Alloc((num_vars
+ 1) * sizeof(*pmatch
));
214 /* If an offset has been specified, adjust for that now.
215 * If it points past the end of the string, point to the terminating null
219 offset
+= source_len
+ 1;
221 if (offset
> source_len
) {
222 source_str
+= source_len
;
224 else if (offset
> 0) {
225 source_str
+= offset
;
227 eflags
|= REG_NOTBOL
;
231 resultListObj
= Jim_NewListObj(interp
, NULL
, 0);
235 match
= regexec(regex
, source_str
, num_vars
+ 1, pmatch
, eflags
);
236 if (match
>= REG_BADPAT
) {
239 regerror(match
, regex
, buf
, sizeof(buf
));
240 Jim_SetResultFormatted(interp
, "error while matching pattern: %s", buf
);
245 if (match
== REG_NOMATCH
) {
251 if (opt_all
&& !opt_inline
) {
252 /* Just count the number of matches, so skip the substitution h */
257 * If additional variable names have been specified, return
258 * index information in those variables.
262 for (i
+= 2; opt_inline
? j
< num_vars
: i
< argc
; i
++, j
++) {
266 resultObj
= Jim_NewListObj(interp
, NULL
, 0);
269 resultObj
= Jim_NewStringObj(interp
, "", 0);
272 if (pmatch
[j
].rm_so
== -1) {
274 Jim_ListAppendElement(interp
, resultObj
, Jim_NewIntObj(interp
, -1));
275 Jim_ListAppendElement(interp
, resultObj
, Jim_NewIntObj(interp
, -1));
279 int len
= pmatch
[j
].rm_eo
- pmatch
[j
].rm_so
;
282 Jim_ListAppendElement(interp
, resultObj
, Jim_NewIntObj(interp
,
283 offset
+ pmatch
[j
].rm_so
));
284 Jim_ListAppendElement(interp
, resultObj
, Jim_NewIntObj(interp
,
285 offset
+ pmatch
[j
].rm_so
+ len
- 1));
288 Jim_AppendString(interp
, resultObj
, source_str
+ pmatch
[j
].rm_so
, len
);
293 Jim_ListAppendElement(interp
, resultListObj
, resultObj
);
296 /* And now set the result variable */
297 result
= Jim_SetVariable(interp
, argv
[i
], resultObj
);
299 if (result
!= JIM_OK
) {
300 Jim_FreeObj(interp
, resultObj
);
307 if (opt_all
&& (pattern
[0] != '^' || (regcomp_flags
& REG_NEWLINE
)) && *source_str
) {
308 if (pmatch
[0].rm_eo
) {
309 offset
+= pmatch
[0].rm_eo
;
310 source_str
+= pmatch
[0].rm_eo
;
323 if (result
== JIM_OK
) {
325 Jim_SetResult(interp
, resultListObj
);
328 Jim_SetResultInt(interp
, num_matches
);
336 #define MAX_SUB_MATCHES 50
338 int Jim_RegsubCmd(Jim_Interp
*interp
, int argc
, Jim_Obj
*const *argv
)
340 int regcomp_flags
= 0;
341 int regexec_flags
= 0;
347 regmatch_t pmatch
[MAX_SUB_MATCHES
+ 1];
353 const char *source_str
;
355 const char *replace_str
;
360 OPT_NOCASE
, OPT_LINE
, OPT_ALL
, OPT_START
, OPT_END
362 static const char * const options
[] = {
363 "-nocase", "-line", "-all", "-start", "--", NULL
368 Jim_WrongNumArgs(interp
, 1, argv
,
369 "?switches? exp string subSpec ?varName?");
373 for (i
= 1; i
< argc
; i
++) {
374 const char *opt
= Jim_String(argv
[i
]);
379 if (Jim_GetEnum(interp
, argv
[i
], options
, &option
, "switch", JIM_ERRMSG
| JIM_ENUM_ABBREV
) != JIM_OK
) {
382 if (option
== OPT_END
) {
388 regcomp_flags
|= REG_ICASE
;
392 regcomp_flags
|= REG_NEWLINE
;
403 if (Jim_GetIndex(interp
, argv
[i
], &offset
) != JIM_OK
) {
409 if (argc
- i
!= 3 && argc
- i
!= 4) {
413 regex
= SetRegexpFromAny(interp
, argv
[i
], regcomp_flags
);
417 pattern
= Jim_String(argv
[i
]);
419 source_str
= Jim_GetString(argv
[i
+ 1], &source_len
);
420 replace_str
= Jim_GetString(argv
[i
+ 2], &replace_len
);
421 varname
= argv
[i
+ 3];
423 /* Create the result string */
424 resultObj
= Jim_NewStringObj(interp
, "", 0);
426 /* If an offset has been specified, adjust for that now.
427 * If it points past the end of the string, point to the terminating null
431 offset
+= source_len
+ 1;
433 if (offset
> source_len
) {
436 else if (offset
< 0) {
441 /* Copy the part before -start */
442 Jim_AppendString(interp
, resultObj
, source_str
, offset
);
445 * The following loop is to handle multiple matches within the
446 * same source string; each iteration handles one match and its
447 * corresponding substitution. If "-all" hasn't been specified
448 * then the loop body only gets executed once.
451 n
= source_len
- offset
;
452 p
= source_str
+ offset
;
454 int match
= regexec(regex
, p
, MAX_SUB_MATCHES
, pmatch
, regexec_flags
);
456 if (match
>= REG_BADPAT
) {
459 regerror(match
, regex
, buf
, sizeof(buf
));
460 Jim_SetResultFormatted(interp
, "error while matching pattern: %s", buf
);
463 if (match
== REG_NOMATCH
) {
470 * Copy the portion of the source string before the match to the
473 Jim_AppendString(interp
, resultObj
, p
, pmatch
[0].rm_so
);
476 * Append the subSpec (replace_str) argument to the variable, making appropriate
477 * substitutions. This code is a bit hairy because of the backslash
478 * conventions and because the code saves up ranges of characters in
479 * subSpec to reduce the number of calls to Jim_SetVar.
482 for (j
= 0; j
< replace_len
; j
++) {
484 int c
= replace_str
[j
];
489 else if (c
== '\\' && j
< replace_len
) {
490 c
= replace_str
[++j
];
491 if ((c
>= '0') && (c
<= '9')) {
494 else if ((c
== '\\') || (c
== '&')) {
495 Jim_AppendString(interp
, resultObj
, replace_str
+ j
, 1);
499 Jim_AppendString(interp
, resultObj
, replace_str
+ j
- 1, 2);
504 Jim_AppendString(interp
, resultObj
, replace_str
+ j
, 1);
507 if ((idx
< MAX_SUB_MATCHES
) && pmatch
[idx
].rm_so
!= -1 && pmatch
[idx
].rm_eo
!= -1) {
508 Jim_AppendString(interp
, resultObj
, p
+ pmatch
[idx
].rm_so
,
509 pmatch
[idx
].rm_eo
- pmatch
[idx
].rm_so
);
513 p
+= pmatch
[0].rm_eo
;
514 n
-= pmatch
[0].rm_eo
;
516 /* If -all is not specified, or there is no source left, we are done */
517 if (!opt_all
|| n
== 0) {
521 /* An anchored pattern without -line must be done */
522 if ((regcomp_flags
& REG_NEWLINE
) == 0 && pattern
[0] == '^') {
526 /* If the pattern is empty, need to step forwards */
527 if (pattern
[0] == '\0' && n
) {
528 /* Need to copy the char we are moving over */
529 Jim_AppendString(interp
, resultObj
, p
, 1);
534 regexec_flags
|= REG_NOTBOL
;
538 * Copy the portion of the string after the last match to the
541 Jim_AppendString(interp
, resultObj
, p
, -1);
543 /* And now set or return the result variable */
545 result
= Jim_SetVariable(interp
, varname
, resultObj
);
547 if (result
== JIM_OK
) {
548 Jim_SetResultInt(interp
, num_matches
);
551 Jim_FreeObj(interp
, resultObj
);
555 Jim_SetResult(interp
, resultObj
);
562 int Jim_regexpInit(Jim_Interp
*interp
)
564 if (Jim_PackageProvide(interp
, "regexp", "1.0", JIM_ERRMSG
))
567 Jim_CreateCommand(interp
, "regexp", Jim_RegexpCmd
, NULL
, NULL
);
568 Jim_CreateCommand(interp
, "regsub", Jim_RegsubCmd
, NULL
, NULL
);