1 const char pcrs_rcs[] = "$Id: pcrs.c,v 1.15 2001/09/20 16:11:06 steudten Exp $";
3 /*********************************************************************
5 * File : $Source: /cvsroot/ijbswa/current/pcrs.c,v $
7 * Purpose : pcrs is a supplement to the pcre library by Philip Hazel
8 * <ph10@cam.ac.uk> and adds Perl-style substitution. That
9 * is, it mimics Perl's 's' operator. See pcrs(3) for details.
12 * Copyright : Written and Copyright (C) 2000, 2001 by Andreas S. Oesterhelt
13 * <andreas@oesterhelt.org>
15 * This program is free software; you can redistribute it
16 * and/or modify it under the terms of the GNU Lesser
17 * General Public License (LGPL), version 2.1, which should
18 * be included in this distribution (see LICENSE.txt), with
19 * the exception that the permission to replace that license
20 * with the GNU General Public License (GPL) given in section
21 * 3 is restricted to version 2 of the GPL.
23 * This program is distributed in the hope that it will
24 * be useful, but WITHOUT ANY WARRANTY; without even the
25 * implied warranty of MERCHANTABILITY or FITNESS FOR A
26 * PARTICULAR PURPOSE. See the license for more details.
28 * The GNU Lesser General Public License should be included
29 * with this file. If not, you can view it at
30 * http://www.gnu.org/licenses/lgpl.html
31 * or write to the Free Software Foundation, Inc., 59
32 * Temple Place - Suite 330, Boston, MA 02111-1307, USA.
36 * Revision 1.15 2001/09/20 16:11:06 steudten
38 * Add casting for some string functions.
40 * Revision 1.14 2001/09/09 21:41:57 oes
41 * Fixing yet another silly bug
43 * Revision 1.13 2001/09/06 14:05:59 oes
46 * Revision 1.12 2001/08/18 11:35:00 oes
47 * - Introduced pcrs_strerror()
48 * - made some NULL arguments non-fatal
49 * - added support for \n \r \e \b \t \f \a \0 in substitute
50 * - made quoting adhere to standard rules
51 * - added warning for bad backrefs
52 * - added pcrs_execute_list()
54 * - bugfix & cosmetics
56 * Revision 1.11 2001/08/15 15:32:03 oes
57 * - Added support for Perl's special variables $+, $' and $`
58 * - Improved the substitute parser
59 * - Replaced the hard limit for the maximum number of matches
60 * by dynamic reallocation
62 * Revision 1.10 2001/08/05 13:13:11 jongfoster
63 * Making parameters "const" where possible.
65 * Revision 1.9 2001/07/18 17:27:00 oes
66 * Changed interface; Cosmetics
68 * Revision 1.8 2001/06/29 21:45:41 oes
69 * Indentation, CRLF->LF, Tab-> Space
71 * Revision 1.7 2001/06/29 13:33:04 oes
72 * - Cleaned up, renamed and reordered functions,
75 * - Replaced globalflag with a general flags int
76 * that holds PCRS_GLOBAL, PCRS_SUCCESS, and PCRS_TRIVIAL
77 * - Introduced trivial option that will prevent pcrs
78 * from honouring backreferences in the substitute,
79 * which is useful for large substitutes that are
80 * red in from somewhere and saves the pain of escaping
82 * - Introduced convenience function pcrs_free_joblist()
83 * - Split pcrs_make_job() into pcrs_compile(), which still
84 * takes a complete s/// comand as argument and parses it,
85 * and a new function pcrs_make_job, which takes the
86 * three separate components. This should make for a
87 * much friendlier frontend.
88 * - Removed create_pcrs_job() which was useless
89 * - Fixed a bug in pcrs_execute
90 * - Success flag is now handled by pcrs instead of user
92 * Revision 1.6 2001/06/03 19:12:45 oes
95 * Revision 1.5 2001/05/29 09:50:24 jongfoster
96 * (Fixed one int -> size_t)
98 * Revision 1.4 2001/05/25 14:12:40 oes
99 * Fixed bug: Empty substitutes now detected
101 * Revision 1.3 2001/05/25 11:03:55 oes
102 * Added sanity check for NULL jobs to pcrs_exec_substitution
104 * Revision 1.2 2001/05/22 18:46:04 oes
106 * Added support for PCRE_UNGREEDY behaviour to pcrs,
107 * which is selected by the (nonstandard and therefore
108 * capital) letter 'U' in the option string.
109 * It causes the quantifiers to be ungreedy by default.
110 * Appending a ? turns back to greedy (!).
112 * Revision 1.1.1.1 2001/05/15 13:59:02 oes
113 * Initial import of version 2.9.3 source tree
116 *********************************************************************/
125 const char pcrs_h_rcs[] = PCRS_H_VERSION;
127 /*********************************************************************
129 * Function : pcrs_strerror
131 * Description : Return a string describing a given error code.
134 * 1 : error = the error code
136 * Returns : char * to the descriptive string
138 *********************************************************************/
139 const char *pcrs_strerror(const int error)
145 /* Passed-through PCRE error: */
146 case PCRE_ERROR_NOMEMORY: return "(pcre:) No memory";
148 /* Shouldn't happen unless PCRE or PCRS bug, or user messed with compiled job: */
149 case PCRE_ERROR_NULL: return "(pcre:) NULL code or subject or ovector";
150 case PCRE_ERROR_BADOPTION: return "(pcre:) Unrecognized option bit";
151 case PCRE_ERROR_BADMAGIC: return "(pcre:) Bad magic number in code";
152 case PCRE_ERROR_UNKNOWN_NODE: return "(pcre:) Bad node in pattern";
154 /* Can't happen / not passed: */
155 case PCRE_ERROR_NOSUBSTRING: return "(pcre:) Fire in power supply";
156 case PCRE_ERROR_NOMATCH: return "(pcre:) Water in power supply";
159 case PCRS_ERR_NOMEM: return "(pcrs:) No memory";
160 case PCRS_ERR_CMDSYNTAX: return "(pcrs:) Syntax error while parsing command";
161 case PCRS_ERR_STUDY: return "(pcrs:) PCRE error while studying the pattern";
162 case PCRS_ERR_BADJOB: return "(pcrs:) Bad job - NULL job, pattern or substitute";
163 case PCRS_WARN_BADREF: return "(pcrs:) Backreference out of range";
166 default: return "Unknown error";
169 /* error >= 0: No error */
170 return "(pcrs:) Everything's just fine. Thanks for asking.";
175 /*********************************************************************
177 * Function : pcrs_parse_perl_options
179 * Description : This function parses a string containing the options to
180 * Perl's s/// operator. It returns an integer that is the
181 * pcre equivalent of the symbolic optstring.
182 * Since pcre doesn't know about Perl's 'g' (global) or pcrs',
183 * 'T' (trivial) options but pcrs needs them, the corresponding
184 * flags are set if 'g'or 'T' is encountered.
185 * Note: The 'T' and 'U' options do not conform to Perl.
188 * 1 : optstring = string with options in perl syntax
189 * 2 : flags = see description
191 * Returns : option integer suitable for pcre
193 *********************************************************************/
194 int pcrs_parse_perl_options(const char *optstring, int *flags)
200 if (NULL == optstring) return 0;
202 for (i=0; i < strlen(optstring); i++)
206 case 'e': break; /* ToDo ;-) */
207 case 'g': *flags |= PCRS_GLOBAL; break;
208 case 'i': rc |= PCRE_CASELESS; break;
209 case 'm': rc |= PCRE_MULTILINE; break;
211 case 's': rc |= PCRE_DOTALL; break;
212 case 'x': rc |= PCRE_EXTENDED; break;
213 case 'U': rc |= PCRE_UNGREEDY; break;
214 case 'T': *flags |= PCRS_TRIVIAL; break;
223 /*********************************************************************
225 * Function : pcrs_compile_replacement
227 * Description : This function takes a Perl-style replacement (2nd argument
228 * to the s/// operator and returns a compiled pcrs_substitute,
229 * or NULL if memory allocation for the substitute structure
233 * 1 : replacement = replacement part of s/// operator
235 * 2 : trivialflag = Flag that causes backreferences to be
237 * 3 : capturecount = Number of capturing subpatterns in
238 * the pattern. Needed for $+ handling.
239 * 4 : errptr = pointer to an integer in which error
240 * conditions can be returned.
242 * Returns : pcrs_substitute data structure, or NULL if an
243 * error is encountered. In that case, *errptr has
246 *********************************************************************/
247 pcrs_substitute *pcrs_compile_replacement(const char *replacement, int trivialflag, int capturecount, int *errptr)
249 int length, i, k, l, quoted;
253 i = k = l = quoted = 0;
258 if (NULL == replacement)
266 if (NULL == (r = (pcrs_substitute *)malloc(sizeof(pcrs_substitute))))
268 *errptr = PCRS_ERR_NOMEM;
271 memset(r, '\0', sizeof(pcrs_substitute));
273 length = strlen(replacement);
275 if (NULL == (text = (char *)malloc(length + 1)))
278 *errptr = PCRS_ERR_NOMEM;
281 memset(text, '\0', length + 1);
285 * In trivial mode, just copy the substitute text
289 text = strncpy(text, replacement, length + 1);
294 * Else, parse, cut out and record all backreferences
301 if (replacement[i] == '\\')
305 text[k++] = replacement[i++];
310 if (replacement[i+1] && strchr("tnrfae0", replacement[i+1]))
312 switch(replacement[++i])
348 if (replacement[i] == '$' && !quoted && i < length - 1)
350 char *symbol, symbols[] = "'`+&";
351 r->block_length[l] = k - r->block_offset[l];
353 /* Numerical backreferences */
354 if (isdigit((int) replacement[i + 1]))
356 while (i < length && isdigit((int) replacement[++i]))
358 r->backref[l] = r->backref[l] * 10 + replacement[i] - 48;
360 if (r->backref[l] > capturecount)
362 *errptr = PCRS_WARN_BADREF;
366 /* Symbolic backreferences: */
367 else if (NULL != (symbol = strchr(symbols, replacement[i + 1])))
370 if (symbol - symbols == 2) /* $+ */
372 r->backref[l] = capturecount;
374 else if (symbol - symbols == 3) /* $& */
380 r->backref[l] = PCRS_MAX_SUBMATCHES + 1 - (symbol - symbols);
385 /* Invalid backref -> plain '$' */
391 /* Valid and in range? -> record */
392 if (r->backref[l] < PCRS_MAX_SUBMATCHES + 2)
394 r->backref_count[r->backref[l]] += 1;
395 r->block_offset[++l] = k;
399 *errptr = PCRS_WARN_BADREF;
405 /* Plain chars are copied */
406 text[k++] = replacement[i++];
409 } /* -END- if (!trivialflag) */
416 r->block_length[l] = k - r->block_offset[l];
423 /*********************************************************************
425 * Function : pcrs_free_job
427 * Description : Frees the memory used by a pcrs_job struct and its
428 * dependant structures.
431 * 1 : job = pointer to the pcrs_job structure to be freed
433 * Returns : a pointer to the next job, if there was any, or
436 *********************************************************************/
437 pcrs_job *pcrs_free_job(pcrs_job *job)
448 if (job->pattern != NULL) free(job->pattern);
449 if (job->hints != NULL) free(job->hints);
450 if (job->substitute != NULL)
452 if (job->substitute->text != NULL) free(job->substitute->text);
453 free(job->substitute);
462 /*********************************************************************
464 * Function : pcrs_free_joblist
466 * Description : Iterates through a chained list of pcrs_job's and
467 * frees them using pcrs_free_job.
470 * 1 : joblist = pointer to the first pcrs_job structure to
475 *********************************************************************/
476 void pcrs_free_joblist(pcrs_job *joblist)
478 while ( NULL != (joblist = pcrs_free_job(joblist)) ) {};
485 /*********************************************************************
487 * Function : pcrs_compile_command
489 * Description : Parses a string with a Perl-style s/// command,
490 * calls pcrs_compile, and returns a corresponding
491 * pcrs_job, or NULL if parsing or compiling the job
495 * 1 : command = string with perl-style s/// command
496 * 2 : errptr = pointer to an integer in which error
497 * conditions can be returned.
499 * Returns : a corresponding pcrs_job data structure, or NULL
500 * if an error was encountered. In that case, *errptr
503 *********************************************************************/
504 pcrs_job *pcrs_compile_command(const char *command, int *errptr)
506 int i, k, l, limit, quoted = FALSE;
514 * Tokenize the perl command
516 limit = strlen(command);
519 *errptr = PCRS_ERR_CMDSYNTAX;
524 delimiter = command[1];
527 tokens[l] = (char *) malloc(limit + 1);
529 for (i=0; i <= limit; i++)
532 if (command[i] == delimiter && !quoted)
539 tokens[0][k++] = '\0';
540 tokens[++l] = tokens[0] + k;
544 else if (command[i] == '\\' && !quoted)
547 if (command[i+1] == delimiter) continue;
553 tokens[0][k++] = command[i];
561 *errptr = PCRS_ERR_CMDSYNTAX;
566 newjob = pcrs_compile(tokens[1], tokens[2], tokens[3], errptr);
573 /*********************************************************************
575 * Function : pcrs_compile
577 * Description : Takes the three arguments to a perl s/// command
578 * and compiles a pcrs_job structure from them.
581 * 1 : pattern = string with perl-style pattern
582 * 2 : substitute = string with perl-style substitute
583 * 3 : options = string with perl-style options
584 * 4 : errptr = pointer to an integer in which error
585 * conditions can be returned.
587 * Returns : a corresponding pcrs_job data structure, or NULL
588 * if an error was encountered. In that case, *errptr
591 *********************************************************************/
592 pcrs_job *pcrs_compile(const char *pattern, const char *substitute, const char *options, int *errptr)
602 * Handle NULL arguments
604 if (pattern == NULL) pattern = "";
605 if (substitute == NULL) substitute = "";
609 * Get and init memory
611 if (NULL == (newjob = (pcrs_job *)malloc(sizeof(pcrs_job))))
613 *errptr = PCRS_ERR_NOMEM;
616 memset(newjob, '\0', sizeof(pcrs_job));
620 * Evaluate the options
622 newjob->options = pcrs_parse_perl_options(options, &flags);
623 newjob->flags = flags;
627 * Compile the pattern
629 newjob->pattern = pcre_compile(pattern, newjob->options, &error, errptr, NULL);
630 if (newjob->pattern == NULL)
632 pcrs_free_job(newjob);
638 * Generate hints. This has little overhead, since the
639 * hints will be NULL for a boring pattern anyway.
641 newjob->hints = pcre_study(newjob->pattern, 0, &error);
644 *errptr = PCRS_ERR_STUDY;
645 pcrs_free_job(newjob);
651 * Determine the number of capturing subpatterns.
652 * This is needed for handling $+ in the substitute.
654 if (0 > (*errptr = pcre_fullinfo(newjob->pattern, newjob->hints, PCRE_INFO_CAPTURECOUNT, &capturecount)))
656 pcrs_free_job(newjob);
662 * Compile the substitute
664 if (NULL == (newjob->substitute = pcrs_compile_replacement(substitute, newjob->flags & PCRS_TRIVIAL, capturecount, errptr)))
666 pcrs_free_job(newjob);
675 /*********************************************************************
677 * Function : pcrs_execute_list
679 * Description : This is a multiple job wrapper for pcrs_execute().
680 * Apply the regular substitutions defined by the jobs in
681 * the joblist to the subject.
682 * The subject itself is left untouched, memory for the result
683 * is malloc()ed and it is the caller's responsibility to free
684 * the result when it's no longer needed.
687 * 1 : joblist = the chained list of pcrs_jobs to be executed
688 * 2 : subject = the subject string
689 * 3 : subject_length = the subject's length
690 * INCLUDING the terminating zero, if string!
691 * 4 : result = char** for returning the result
692 * 5 : result_length = size_t* for returning the result's length
694 * Returns : On success, the number of substitutions that were made.
695 * May be > 1 if job->flags contained PCRS_GLOBAL
696 * On failiure, the (negative) pcre error code describing the
697 * failiure, which may be translated to text using pcrs_strerror().
699 *********************************************************************/
700 int pcrs_execute_list(pcrs_job *joblist, char *subject, size_t subject_length, char **result, size_t *result_length)
704 int hits, total_hits;
707 *result_length = subject_length;
708 hits = total_hits = 0;
710 for (job = joblist; job != NULL; job = job->next)
712 hits = pcrs_execute(job, old, *result_length, &new, result_length);
714 if (old != subject) free(old);
733 /*********************************************************************
735 * Function : pcrs_execute
737 * Description : Apply the regular substitution defined by the job to the
739 * The subject itself is left untouched, memory for the result
740 * is malloc()ed and it is the caller's responsibility to free
741 * the result when it's no longer needed.
744 * 1 : job = the pcrs_job to be executed
745 * 2 : subject = the subject (== original) string
746 * 3 : subject_length = the subject's length
747 * INCLUDING the terminating zero, if string!
748 * 4 : result = char** for returning the result
749 * 5 : result_length = size_t* for returning the result's length
751 * Returns : On success, the number of substitutions that were made.
752 * May be > 1 if job->flags contained PCRS_GLOBAL
753 * On failiure, the (negative) pcre error code describing the
754 * failiure, which may be translated to text using pcrs_strerror().
756 *********************************************************************/
757 int pcrs_execute(pcrs_job *job, char *subject, size_t subject_length, char **result, size_t *result_length)
759 int offsets[3 * PCRS_MAX_SUBMATCHES],
765 max_matches = PCRS_MAX_MATCH_INIT;
766 pcrs_match *matches, *dummy;
772 * Sanity check & memory allocation
774 if (job == NULL || job->pattern == NULL || job->substitute == NULL)
777 return(PCRS_ERR_BADJOB);
780 if (NULL == (matches = (pcrs_match *)malloc(max_matches * sizeof(pcrs_match))))
783 return(PCRS_ERR_NOMEM);
785 memset(matches, '\0', max_matches * sizeof(pcrs_match));
789 * Find the pattern and calculate the space
790 * requirements for the result
792 newsize=subject_length;
794 while ((submatches = pcre_exec(job->pattern, job->hints, subject, subject_length, offset, 0, offsets, 3 * PCRS_MAX_SUBMATCHES)) > 0)
796 job->flags |= PCRS_SUCCESS;
797 matches[i].submatches = submatches;
799 for (k=0; k < submatches; k++)
801 matches[i].submatch_offset[k] = offsets[2 * k];
803 /* Note: Non-found optional submatches have length -1-(-1)==0 */
804 matches[i].submatch_length[k] = offsets[2 * k + 1] - offsets[2 * k];
806 /* reserve mem for each submatch as often as it is ref'd */
807 newsize += matches[i].submatch_length[k] * job->substitute->backref_count[k];
809 /* plus replacement text size minus match text size */
810 newsize += strlen(job->substitute->text) - matches[i].submatch_length[0];
812 /* chunk before match */
813 matches[i].submatch_offset[PCRS_MAX_SUBMATCHES] = 0;
814 matches[i].submatch_length[PCRS_MAX_SUBMATCHES] = offsets[0];
815 newsize += offsets[0] * job->substitute->backref_count[PCRS_MAX_SUBMATCHES];
817 /* chunk after match */
818 matches[i].submatch_offset[PCRS_MAX_SUBMATCHES + 1] = offsets[1];
819 matches[i].submatch_length[PCRS_MAX_SUBMATCHES + 1] = subject_length - offsets[1] - 1;
820 newsize += (subject_length - offsets[1]) * job->substitute->backref_count[PCRS_MAX_SUBMATCHES + 1];
822 /* Storage for matches exhausted? -> Extend! */
823 if (++i >= max_matches)
825 max_matches = (int) (max_matches * PCRS_MAX_MATCH_GROW);
826 if (NULL == (dummy = (pcrs_match *)realloc(matches, max_matches * sizeof(pcrs_match))))
830 return(PCRS_ERR_NOMEM);
835 /* Non-global search or limit reached? */
836 if (!(job->flags & PCRS_GLOBAL)) break;
838 /* Don't loop on empty matches */
839 if (offsets[1] == offset)
840 /* FIXME: is offset an int or a size_t? Previous line compares
841 * against int, the next one compares against size_t.
843 if ((size_t)offset < subject_length)
847 /* Go find the next one */
851 /* Pass pcre error through if (bad) failiure */
852 if (submatches < PCRE_ERROR_NOMATCH)
861 * Get memory for the result
863 if ((*result = (char *)malloc(newsize)) == NULL) /* must be free()d by caller */
866 return PCRS_ERR_NOMEM;
874 result_offset = *result;
876 for (i=0; i < matches_found; i++)
878 /* copy the chunk preceding the match */
879 memcpy(result_offset, subject + offset, matches[i].submatch_offset[0] - offset);
880 result_offset += matches[i].submatch_offset[0] - offset;
882 /* For every segment of the substitute.. */
883 for (k=0; k <= job->substitute->backrefs; k++)
885 /* ...copy its text.. */
886 memcpy(result_offset, job->substitute->text + job->substitute->block_offset[k], job->substitute->block_length[k]);
887 result_offset += job->substitute->block_length[k];
889 /* ..plus, if it's not the last chunk, i.e.: There *is* a backref.. */
890 if (k != job->substitute->backrefs
891 /* ..in legal range.. */
892 && job->substitute->backref[k] < PCRS_MAX_SUBMATCHES + 2
893 /* ..and referencing a nonempty match.. */
894 && matches[i].submatch_length[job->substitute->backref[k]] > 0)
896 /* ..copy the submatch that is ref'd. */
899 subject + matches[i].submatch_offset[job->substitute->backref[k]],
900 matches[i].submatch_length[job->substitute->backref[k]]
902 result_offset += matches[i].submatch_length[job->substitute->backref[k]];
905 offset = matches[i].submatch_offset[0] + matches[i].submatch_length[0];
909 memcpy(result_offset, subject + offset, subject_length - offset);
911 *result_length = newsize;
913 return matches_found;