/[pcre]/code/trunk/pcreposix.c
ViewVC logotype

Contents of /code/trunk/pcreposix.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 518 - (hide annotations) (download)
Tue May 18 15:47:01 2010 UTC (4 years, 7 months ago) by ph10
File MIME type: text/plain
File size: 14664 byte(s)
Added PCRE_UCP and related stuff to make \w etc use Unicode properties.

1 nigel 3 /*************************************************
2     * Perl-Compatible Regular Expressions *
3     *************************************************/
4    
5 nigel 77 /* PCRE is a library of functions to support regular expressions whose syntax
6     and semantics are as close as possible to those of the Perl 5 language.
7 nigel 3
8 nigel 77 Written by Philip Hazel
9 ph10 518 Copyright (c) 1997-2010 University of Cambridge
10 nigel 3
11     -----------------------------------------------------------------------------
12 nigel 75 Redistribution and use in source and binary forms, with or without
13     modification, are permitted provided that the following conditions are met:
14 nigel 3
15 nigel 75 * Redistributions of source code must retain the above copyright notice,
16     this list of conditions and the following disclaimer.
17 nigel 3
18 nigel 75 * Redistributions in binary form must reproduce the above copyright
19     notice, this list of conditions and the following disclaimer in the
20     documentation and/or other materials provided with the distribution.
21 nigel 3
22 nigel 75 * Neither the name of the University of Cambridge nor the names of its
23     contributors may be used to endorse or promote products derived from
24     this software without specific prior written permission.
25 nigel 29
26 nigel 75 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
27     AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
28     IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
29     ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
30     LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
31     CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
32     SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
33     INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
34     CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
35     ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
36     POSSIBILITY OF SUCH DAMAGE.
37 nigel 3 -----------------------------------------------------------------------------
38     */
39    
40 nigel 77
41     /* This module is a wrapper that provides a POSIX API to the underlying PCRE
42     functions. */
43    
44    
45 ph10 200 #ifdef HAVE_CONFIG_H
46 ph10 236 #include "config.h"
47 ph10 200 #endif
48 ph10 199
49    
50 ph10 200 /* Ensure that the PCREPOSIX_EXP_xxx macros are set appropriately for
51 ph10 199 compiling these functions. This must come before including pcreposix.h, where
52     they are set for an application (using these functions) if they have not
53     previously been set. */
54    
55     #if defined(_WIN32) && !defined(PCRE_STATIC)
56     # define PCREPOSIX_EXP_DECL extern __declspec(dllexport)
57     # define PCREPOSIX_EXP_DEFN __declspec(dllexport)
58     #endif
59    
60 ph10 236 #include "pcre.h"
61 nigel 77 #include "pcre_internal.h"
62 nigel 3 #include "pcreposix.h"
63    
64    
65 nigel 77 /* Table to translate PCRE compile time error codes into POSIX error codes. */
66 nigel 3
67 nigel 73 static const int eint[] = {
68 nigel 77 0, /* no error */
69     REG_EESCAPE, /* \ at end of pattern */
70     REG_EESCAPE, /* \c at end of pattern */
71     REG_EESCAPE, /* unrecognized character follows \ */
72     REG_BADBR, /* numbers out of order in {} quantifier */
73 ph10 461 /* 5 */
74 nigel 77 REG_BADBR, /* number too big in {} quantifier */
75     REG_EBRACK, /* missing terminating ] for character class */
76     REG_ECTYPE, /* invalid escape sequence in character class */
77     REG_ERANGE, /* range out of order in character class */
78     REG_BADRPT, /* nothing to repeat */
79 ph10 461 /* 10 */
80 nigel 77 REG_BADRPT, /* operand of unlimited repeat could match the empty string */
81     REG_ASSERT, /* internal error: unexpected repeat */
82     REG_BADPAT, /* unrecognized character after (? */
83     REG_BADPAT, /* POSIX named classes are supported only within a class */
84     REG_EPAREN, /* missing ) */
85 ph10 461 /* 15 */
86 nigel 77 REG_ESUBREG, /* reference to non-existent subpattern */
87     REG_INVARG, /* erroffset passed as NULL */
88     REG_INVARG, /* unknown option bit(s) set */
89     REG_EPAREN, /* missing ) after comment */
90     REG_ESIZE, /* parentheses nested too deeply */
91 ph10 461 /* 20 */
92 nigel 77 REG_ESIZE, /* regular expression too large */
93     REG_ESPACE, /* failed to get memory */
94 ph10 418 REG_EPAREN, /* unmatched parentheses */
95 nigel 77 REG_ASSERT, /* internal error: code overflow */
96     REG_BADPAT, /* unrecognized character after (?< */
97 ph10 461 /* 25 */
98 nigel 77 REG_BADPAT, /* lookbehind assertion is not fixed length */
99 nigel 91 REG_BADPAT, /* malformed number or name after (?( */
100 nigel 93 REG_BADPAT, /* conditional group contains more than two branches */
101 nigel 77 REG_BADPAT, /* assertion expected after (?( */
102 ph10 166 REG_BADPAT, /* (?R or (?[+-]digits must be followed by ) */
103 ph10 461 /* 30 */
104 nigel 77 REG_ECTYPE, /* unknown POSIX class name */
105     REG_BADPAT, /* POSIX collating elements are not supported */
106     REG_INVARG, /* this version of PCRE is not compiled with PCRE_UTF8 support */
107     REG_BADPAT, /* spare error */
108     REG_BADPAT, /* character value in \x{...} sequence is too large */
109 ph10 461 /* 35 */
110 nigel 77 REG_BADPAT, /* invalid condition (?(0) */
111     REG_BADPAT, /* \C not allowed in lookbehind assertion */
112     REG_EESCAPE, /* PCRE does not support \L, \l, \N, \U, or \u */
113     REG_BADPAT, /* number after (?C is > 255 */
114     REG_BADPAT, /* closing ) for (?C expected */
115 ph10 461 /* 40 */
116 nigel 77 REG_BADPAT, /* recursive call could loop indefinitely */
117     REG_BADPAT, /* unrecognized character after (?P */
118 nigel 93 REG_BADPAT, /* syntax error in subpattern name (missing terminator) */
119 nigel 91 REG_BADPAT, /* two named subpatterns have the same name */
120 nigel 77 REG_BADPAT, /* invalid UTF-8 string */
121 ph10 461 /* 45 */
122 nigel 77 REG_BADPAT, /* support for \P, \p, and \X has not been compiled */
123     REG_BADPAT, /* malformed \P or \p sequence */
124 nigel 91 REG_BADPAT, /* unknown property name after \P or \p */
125     REG_BADPAT, /* subpattern name is too long (maximum 32 characters) */
126     REG_BADPAT, /* too many named subpatterns (maximum 10,000) */
127 ph10 461 /* 50 */
128 nigel 91 REG_BADPAT, /* repeated subpattern is too long */
129 nigel 93 REG_BADPAT, /* octal value is greater than \377 (not in UTF-8 mode) */
130     REG_BADPAT, /* internal error: overran compiling workspace */
131     REG_BADPAT, /* internal error: previously-checked referenced subpattern not found */
132     REG_BADPAT, /* DEFINE group contains more than one branch */
133 ph10 461 /* 55 */
134 nigel 93 REG_BADPAT, /* repeating a DEFINE group is not allowed */
135     REG_INVARG, /* inconsistent NEWLINE options */
136 ph10 166 REG_BADPAT, /* \g is not followed followed by an (optionally braced) non-zero number */
137 ph10 418 REG_BADPAT, /* a numbered reference must not be zero */
138 ph10 510 REG_BADPAT, /* an argument is not allowed for (*ACCEPT), (*FAIL), or (*COMMIT) */
139 ph10 418 /* 60 */
140 ph10 461 REG_BADPAT, /* (*VERB) not recognized */
141 ph10 268 REG_BADPAT, /* number is too big */
142 ph10 286 REG_BADPAT, /* subpattern name expected */
143 ph10 336 REG_BADPAT, /* digit expected after (?+ */
144 ph10 457 REG_BADPAT, /* ] is an invalid data character in JavaScript compatibility mode */
145     /* 65 */
146 ph10 510 REG_BADPAT, /* different names for subpatterns of the same number are not allowed */
147     REG_BADPAT, /* (*MARK) must have an argument */
148 ph10 518 REG_INVARG, /* this version of PCRE is not compiled with PCRE_UCP support */
149 nigel 3 };
150    
151     /* Table of texts corresponding to POSIX error codes */
152    
153 nigel 73 static const char *const pstring[] = {
154 nigel 3 "", /* Dummy for value 0 */
155     "internal error", /* REG_ASSERT */
156     "invalid repeat counts in {}", /* BADBR */
157     "pattern error", /* BADPAT */
158     "? * + invalid", /* BADRPT */
159     "unbalanced {}", /* EBRACE */
160     "unbalanced []", /* EBRACK */
161     "collation error - not relevant", /* ECOLLATE */
162     "bad class", /* ECTYPE */
163     "bad escape sequence", /* EESCAPE */
164     "empty expression", /* EMPTY */
165     "unbalanced ()", /* EPAREN */
166     "bad range inside []", /* ERANGE */
167     "expression too big", /* ESIZE */
168     "failed to get memory", /* ESPACE */
169     "bad back reference", /* ESUBREG */
170     "bad argument", /* INVARG */
171     "match failed" /* NOMATCH */
172     };
173    
174    
175    
176    
177     /*************************************************
178     * Translate error code to string *
179     *************************************************/
180    
181 ph10 359 PCREPOSIX_EXP_DEFN size_t PCRE_CALL_CONVENTION
182 nigel 3 regerror(int errcode, const regex_t *preg, char *errbuf, size_t errbuf_size)
183     {
184 nigel 7 const char *message, *addmessage;
185     size_t length, addlength;
186 nigel 3
187 nigel 7 message = (errcode >= (int)(sizeof(pstring)/sizeof(char *)))?
188 nigel 3 "unknown error code" : pstring[errcode];
189 nigel 7 length = strlen(message) + 1;
190 nigel 3
191 nigel 7 addmessage = " at offset ";
192     addlength = (preg != NULL && (int)preg->re_erroffset != -1)?
193     strlen(addmessage) + 6 : 0;
194 nigel 3
195     if (errbuf_size > 0)
196     {
197 nigel 7 if (addlength > 0 && errbuf_size >= length + addlength)
198 nigel 23 sprintf(errbuf, "%s%s%-6d", message, addmessage, (int)preg->re_erroffset);
199 nigel 3 else
200     {
201     strncpy(errbuf, message, errbuf_size - 1);
202     errbuf[errbuf_size-1] = 0;
203     }
204     }
205    
206 nigel 7 return length + addlength;
207 nigel 3 }
208    
209    
210    
211    
212     /*************************************************
213     * Free store held by a regex *
214     *************************************************/
215    
216 ph10 359 PCREPOSIX_EXP_DEFN void PCRE_CALL_CONVENTION
217 nigel 3 regfree(regex_t *preg)
218     {
219     (pcre_free)(preg->re_pcre);
220     }
221    
222    
223    
224    
225     /*************************************************
226     * Compile a regular expression *
227     *************************************************/
228    
229     /*
230     Arguments:
231     preg points to a structure for recording the compiled expression
232     pattern the pattern to compile
233     cflags compilation flags
234    
235     Returns: 0 on success
236     various non-zero codes on failure
237     */
238    
239 ph10 359 PCREPOSIX_EXP_DEFN int PCRE_CALL_CONVENTION
240 nigel 3 regcomp(regex_t *preg, const char *pattern, int cflags)
241     {
242 nigel 7 const char *errorptr;
243 nigel 3 int erroffset;
244 nigel 77 int errorcode;
245 nigel 3 int options = 0;
246    
247 ph10 432 if ((cflags & REG_ICASE) != 0) options |= PCRE_CASELESS;
248     if ((cflags & REG_NEWLINE) != 0) options |= PCRE_MULTILINE;
249     if ((cflags & REG_DOTALL) != 0) options |= PCRE_DOTALL;
250     if ((cflags & REG_NOSUB) != 0) options |= PCRE_NO_AUTO_CAPTURE;
251     if ((cflags & REG_UTF8) != 0) options |= PCRE_UTF8;
252 ph10 518 if ((cflags & REG_UCP) != 0) options |= PCRE_UCP;
253 ph10 432 if ((cflags & REG_UNGREEDY) != 0) options |= PCRE_UNGREEDY;
254 nigel 3
255 nigel 77 preg->re_pcre = pcre_compile2(pattern, options, &errorcode, &errorptr,
256     &erroffset, NULL);
257 nigel 3 preg->re_erroffset = erroffset;
258    
259 ph10 461 /* Safety: if the error code is too big for the translation vector (which
260 ph10 418 should not happen, but we all make mistakes), return REG_BADPAT. */
261 nigel 3
262 ph10 461 if (preg->re_pcre == NULL)
263 ph10 418 {
264     return (errorcode < sizeof(eint)/sizeof(const int))?
265     eint[errorcode] : REG_BADPAT;
266 ph10 461 }
267 ph10 418
268 nigel 71 preg->re_nsub = pcre_info((const pcre *)preg->re_pcre, NULL, NULL);
269 nigel 3 return 0;
270     }
271    
272    
273    
274    
275     /*************************************************
276     * Match a regular expression *
277     *************************************************/
278    
279 nigel 41 /* Unfortunately, PCRE requires 3 ints of working space for each captured
280     substring, so we have to get and release working store instead of just using
281     the POSIX structures as was done in earlier releases when PCRE needed only 2
282 nigel 63 ints. However, if the number of possible capturing brackets is small, use a
283     block of store on the stack, to reduce the use of malloc/free. The threshold is
284 nigel 87 in a macro that can be changed at configure time.
285 nigel 41
286 nigel 87 If REG_NOSUB was specified at compile time, the PCRE_NO_AUTO_CAPTURE flag will
287     be set. When this is the case, the nmatch and pmatch arguments are ignored, and
288     the only result is yes/no/error. */
289    
290 ph10 359 PCREPOSIX_EXP_DEFN int PCRE_CALL_CONVENTION
291 nigel 69 regexec(const regex_t *preg, const char *string, size_t nmatch,
292 nigel 3 regmatch_t pmatch[], int eflags)
293     {
294 ph10 332 int rc, so, eo;
295 nigel 3 int options = 0;
296 nigel 41 int *ovector = NULL;
297 nigel 63 int small_ovector[POSIX_MALLOC_THRESHOLD * 3];
298     BOOL allocated_ovector = FALSE;
299 nigel 87 BOOL nosub =
300     (((const pcre *)preg->re_pcre)->options & PCRE_NO_AUTO_CAPTURE) != 0;
301 nigel 3
302     if ((eflags & REG_NOTBOL) != 0) options |= PCRE_NOTBOL;
303     if ((eflags & REG_NOTEOL) != 0) options |= PCRE_NOTEOL;
304 ph10 388 if ((eflags & REG_NOTEMPTY) != 0) options |= PCRE_NOTEMPTY;
305 nigel 3
306 nigel 69 ((regex_t *)preg)->re_erroffset = (size_t)(-1); /* Only has meaning after compile */
307 nigel 3
308 ph10 461 /* When no string data is being returned, or no vector has been passed in which
309 ph10 432 to put it, ensure that nmatch is zero. Otherwise, ensure the vector for holding
310     the return data is large enough. */
311 nigel 87
312 ph10 432 if (nosub || pmatch == NULL) nmatch = 0;
313 nigel 87
314     else if (nmatch > 0)
315 nigel 41 {
316 nigel 63 if (nmatch <= POSIX_MALLOC_THRESHOLD)
317     {
318     ovector = &(small_ovector[0]);
319     }
320     else
321     {
322 nigel 87 if (nmatch > INT_MAX/(sizeof(int) * 3)) return REG_ESPACE;
323 nigel 63 ovector = (int *)malloc(sizeof(int) * nmatch * 3);
324     if (ovector == NULL) return REG_ESPACE;
325     allocated_ovector = TRUE;
326     }
327 nigel 41 }
328    
329 ph10 332 /* REG_STARTEND is a BSD extension, to allow for non-NUL-terminated strings.
330     The man page from OS X says "REG_STARTEND affects only the location of the
331 ph10 345 string, not how it is matched". That is why the "so" value is used to bump the
332 ph10 332 start location rather than being passed as a PCRE "starting offset". */
333    
334 ph10 345 if ((eflags & REG_STARTEND) != 0)
335 ph10 332 {
336     so = pmatch[0].rm_so;
337     eo = pmatch[0].rm_eo;
338 ph10 345 }
339     else
340 ph10 332 {
341     so = 0;
342     eo = strlen(string);
343     }
344    
345     rc = pcre_exec((const pcre *)preg->re_pcre, NULL, string + so, (eo - so),
346 nigel 71 0, options, ovector, nmatch * 3);
347 nigel 3
348 nigel 41 if (rc == 0) rc = nmatch; /* All captured slots were filled in */
349 nigel 3
350 ph10 499 /* Successful match */
351    
352 nigel 41 if (rc >= 0)
353 nigel 3 {
354 nigel 7 size_t i;
355 nigel 87 if (!nosub)
356 nigel 41 {
357 nigel 87 for (i = 0; i < (size_t)rc; i++)
358     {
359     pmatch[i].rm_so = ovector[i*2];
360     pmatch[i].rm_eo = ovector[i*2+1];
361     }
362     if (allocated_ovector) free(ovector);
363     for (; i < nmatch; i++) pmatch[i].rm_so = pmatch[i].rm_eo = -1;
364 nigel 41 }
365 nigel 3 return 0;
366     }
367    
368 ph10 499 /* Unsuccessful match */
369    
370     if (allocated_ovector) free(ovector);
371     switch(rc)
372 nigel 3 {
373 ph10 499 /* ========================================================================== */
374     /* These cases are never obeyed. This is a fudge that causes a compile-time
375     error if the vector eint, which is indexed by compile-time error number, is
376     not the correct length. It seems to be the only way to do such a check at
377     compile time, as the sizeof() operator does not work in the C preprocessor.
378 ph10 507 As all the PCRE_ERROR_xxx values are negative, we can use 0 and 1. */
379 ph10 499
380     case 0:
381     case (sizeof(eint)/sizeof(int) == ERRCOUNT):
382     return REG_ASSERT;
383     /* ========================================================================== */
384    
385     case PCRE_ERROR_NOMATCH: return REG_NOMATCH;
386     case PCRE_ERROR_NULL: return REG_INVARG;
387     case PCRE_ERROR_BADOPTION: return REG_INVARG;
388     case PCRE_ERROR_BADMAGIC: return REG_INVARG;
389     case PCRE_ERROR_UNKNOWN_NODE: return REG_ASSERT;
390     case PCRE_ERROR_NOMEMORY: return REG_ESPACE;
391     case PCRE_ERROR_MATCHLIMIT: return REG_ESPACE;
392     case PCRE_ERROR_BADUTF8: return REG_INVARG;
393     case PCRE_ERROR_BADUTF8_OFFSET: return REG_INVARG;
394     default: return REG_ASSERT;
395 nigel 3 }
396     }
397    
398     /* End of pcreposix.c */

Properties

Name Value
svn:eol-style native
svn:keywords "Author Date Id Revision Url"

webmaster@exim.org
ViewVC Help
Powered by ViewVC 1.1.12