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

Contents of /code/trunk/pcreposix.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 432 - (hide annotations) (download)
Wed Sep 2 16:02:56 2009 UTC (5 years, 2 months ago) by ph10
File MIME type: text/plain
File size: 13740 byte(s)
Add REG_UNGREEDY (non-standard) to the POSIX interface.

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 388 Copyright (c) 1997-2009 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 418 /* 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 418 /* 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 418 /* 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 418 /* 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 418 /* 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 418 /* 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 418 /* 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 418 /* 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 418 /* 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 418 /* 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 418 /* 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     REG_BADPAT, /* (*VERB) with an argument is not supported */
139     /* 60 */
140     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     REG_BADPAT /* ] is an invalid data character in JavaScript compatibility mode */
145 nigel 3 };
146    
147     /* Table of texts corresponding to POSIX error codes */
148    
149 nigel 73 static const char *const pstring[] = {
150 nigel 3 "", /* Dummy for value 0 */
151     "internal error", /* REG_ASSERT */
152     "invalid repeat counts in {}", /* BADBR */
153     "pattern error", /* BADPAT */
154     "? * + invalid", /* BADRPT */
155     "unbalanced {}", /* EBRACE */
156     "unbalanced []", /* EBRACK */
157     "collation error - not relevant", /* ECOLLATE */
158     "bad class", /* ECTYPE */
159     "bad escape sequence", /* EESCAPE */
160     "empty expression", /* EMPTY */
161     "unbalanced ()", /* EPAREN */
162     "bad range inside []", /* ERANGE */
163     "expression too big", /* ESIZE */
164     "failed to get memory", /* ESPACE */
165     "bad back reference", /* ESUBREG */
166     "bad argument", /* INVARG */
167     "match failed" /* NOMATCH */
168     };
169    
170    
171    
172    
173     /*************************************************
174     * Translate error code to string *
175     *************************************************/
176    
177 ph10 359 PCREPOSIX_EXP_DEFN size_t PCRE_CALL_CONVENTION
178 nigel 3 regerror(int errcode, const regex_t *preg, char *errbuf, size_t errbuf_size)
179     {
180 nigel 7 const char *message, *addmessage;
181     size_t length, addlength;
182 nigel 3
183 nigel 7 message = (errcode >= (int)(sizeof(pstring)/sizeof(char *)))?
184 nigel 3 "unknown error code" : pstring[errcode];
185 nigel 7 length = strlen(message) + 1;
186 nigel 3
187 nigel 7 addmessage = " at offset ";
188     addlength = (preg != NULL && (int)preg->re_erroffset != -1)?
189     strlen(addmessage) + 6 : 0;
190 nigel 3
191     if (errbuf_size > 0)
192     {
193 nigel 7 if (addlength > 0 && errbuf_size >= length + addlength)
194 nigel 23 sprintf(errbuf, "%s%s%-6d", message, addmessage, (int)preg->re_erroffset);
195 nigel 3 else
196     {
197     strncpy(errbuf, message, errbuf_size - 1);
198     errbuf[errbuf_size-1] = 0;
199     }
200     }
201    
202 nigel 7 return length + addlength;
203 nigel 3 }
204    
205    
206    
207    
208     /*************************************************
209     * Free store held by a regex *
210     *************************************************/
211    
212 ph10 359 PCREPOSIX_EXP_DEFN void PCRE_CALL_CONVENTION
213 nigel 3 regfree(regex_t *preg)
214     {
215     (pcre_free)(preg->re_pcre);
216     }
217    
218    
219    
220    
221     /*************************************************
222     * Compile a regular expression *
223     *************************************************/
224    
225     /*
226     Arguments:
227     preg points to a structure for recording the compiled expression
228     pattern the pattern to compile
229     cflags compilation flags
230    
231     Returns: 0 on success
232     various non-zero codes on failure
233     */
234    
235 ph10 359 PCREPOSIX_EXP_DEFN int PCRE_CALL_CONVENTION
236 nigel 3 regcomp(regex_t *preg, const char *pattern, int cflags)
237     {
238 nigel 7 const char *errorptr;
239 nigel 3 int erroffset;
240 nigel 77 int errorcode;
241 nigel 3 int options = 0;
242    
243 ph10 432 if ((cflags & REG_ICASE) != 0) options |= PCRE_CASELESS;
244     if ((cflags & REG_NEWLINE) != 0) options |= PCRE_MULTILINE;
245     if ((cflags & REG_DOTALL) != 0) options |= PCRE_DOTALL;
246     if ((cflags & REG_NOSUB) != 0) options |= PCRE_NO_AUTO_CAPTURE;
247     if ((cflags & REG_UTF8) != 0) options |= PCRE_UTF8;
248     if ((cflags & REG_UNGREEDY) != 0) options |= PCRE_UNGREEDY;
249 nigel 3
250 nigel 77 preg->re_pcre = pcre_compile2(pattern, options, &errorcode, &errorptr,
251     &erroffset, NULL);
252 nigel 3 preg->re_erroffset = erroffset;
253    
254 ph10 418 /* Safety: if the error code is too big for the translation vector (which
255     should not happen, but we all make mistakes), return REG_BADPAT. */
256 nigel 3
257 ph10 418 if (preg->re_pcre == NULL)
258     {
259     return (errorcode < sizeof(eint)/sizeof(const int))?
260     eint[errorcode] : REG_BADPAT;
261     }
262    
263 nigel 71 preg->re_nsub = pcre_info((const pcre *)preg->re_pcre, NULL, NULL);
264 nigel 3 return 0;
265     }
266    
267    
268    
269    
270     /*************************************************
271     * Match a regular expression *
272     *************************************************/
273    
274 nigel 41 /* Unfortunately, PCRE requires 3 ints of working space for each captured
275     substring, so we have to get and release working store instead of just using
276     the POSIX structures as was done in earlier releases when PCRE needed only 2
277 nigel 63 ints. However, if the number of possible capturing brackets is small, use a
278     block of store on the stack, to reduce the use of malloc/free. The threshold is
279 nigel 87 in a macro that can be changed at configure time.
280 nigel 41
281 nigel 87 If REG_NOSUB was specified at compile time, the PCRE_NO_AUTO_CAPTURE flag will
282     be set. When this is the case, the nmatch and pmatch arguments are ignored, and
283     the only result is yes/no/error. */
284    
285 ph10 359 PCREPOSIX_EXP_DEFN int PCRE_CALL_CONVENTION
286 nigel 69 regexec(const regex_t *preg, const char *string, size_t nmatch,
287 nigel 3 regmatch_t pmatch[], int eflags)
288     {
289 ph10 332 int rc, so, eo;
290 nigel 3 int options = 0;
291 nigel 41 int *ovector = NULL;
292 nigel 63 int small_ovector[POSIX_MALLOC_THRESHOLD * 3];
293     BOOL allocated_ovector = FALSE;
294 nigel 87 BOOL nosub =
295     (((const pcre *)preg->re_pcre)->options & PCRE_NO_AUTO_CAPTURE) != 0;
296 nigel 3
297     if ((eflags & REG_NOTBOL) != 0) options |= PCRE_NOTBOL;
298     if ((eflags & REG_NOTEOL) != 0) options |= PCRE_NOTEOL;
299 ph10 388 if ((eflags & REG_NOTEMPTY) != 0) options |= PCRE_NOTEMPTY;
300 nigel 3
301 nigel 69 ((regex_t *)preg)->re_erroffset = (size_t)(-1); /* Only has meaning after compile */
302 nigel 3
303 ph10 432 /* When no string data is being returned, or no vector has been passed in which
304     to put it, ensure that nmatch is zero. Otherwise, ensure the vector for holding
305     the return data is large enough. */
306 nigel 87
307 ph10 432 if (nosub || pmatch == NULL) nmatch = 0;
308 nigel 87
309     else if (nmatch > 0)
310 nigel 41 {
311 nigel 63 if (nmatch <= POSIX_MALLOC_THRESHOLD)
312     {
313     ovector = &(small_ovector[0]);
314     }
315     else
316     {
317 nigel 87 if (nmatch > INT_MAX/(sizeof(int) * 3)) return REG_ESPACE;
318 nigel 63 ovector = (int *)malloc(sizeof(int) * nmatch * 3);
319     if (ovector == NULL) return REG_ESPACE;
320     allocated_ovector = TRUE;
321     }
322 nigel 41 }
323    
324 ph10 332 /* REG_STARTEND is a BSD extension, to allow for non-NUL-terminated strings.
325     The man page from OS X says "REG_STARTEND affects only the location of the
326 ph10 345 string, not how it is matched". That is why the "so" value is used to bump the
327 ph10 332 start location rather than being passed as a PCRE "starting offset". */
328    
329 ph10 345 if ((eflags & REG_STARTEND) != 0)
330 ph10 332 {
331     so = pmatch[0].rm_so;
332     eo = pmatch[0].rm_eo;
333 ph10 345 }
334     else
335 ph10 332 {
336     so = 0;
337     eo = strlen(string);
338     }
339    
340     rc = pcre_exec((const pcre *)preg->re_pcre, NULL, string + so, (eo - so),
341 nigel 71 0, options, ovector, nmatch * 3);
342 nigel 3
343 nigel 41 if (rc == 0) rc = nmatch; /* All captured slots were filled in */
344 nigel 3
345 nigel 41 if (rc >= 0)
346 nigel 3 {
347 nigel 7 size_t i;
348 nigel 87 if (!nosub)
349 nigel 41 {
350 nigel 87 for (i = 0; i < (size_t)rc; i++)
351     {
352     pmatch[i].rm_so = ovector[i*2];
353     pmatch[i].rm_eo = ovector[i*2+1];
354     }
355     if (allocated_ovector) free(ovector);
356     for (; i < nmatch; i++) pmatch[i].rm_so = pmatch[i].rm_eo = -1;
357 nigel 41 }
358 nigel 3 return 0;
359     }
360    
361 nigel 41 else
362 nigel 3 {
363 nigel 63 if (allocated_ovector) free(ovector);
364 nigel 41 switch(rc)
365     {
366     case PCRE_ERROR_NOMATCH: return REG_NOMATCH;
367     case PCRE_ERROR_NULL: return REG_INVARG;
368     case PCRE_ERROR_BADOPTION: return REG_INVARG;
369     case PCRE_ERROR_BADMAGIC: return REG_INVARG;
370     case PCRE_ERROR_UNKNOWN_NODE: return REG_ASSERT;
371     case PCRE_ERROR_NOMEMORY: return REG_ESPACE;
372 nigel 73 case PCRE_ERROR_MATCHLIMIT: return REG_ESPACE;
373     case PCRE_ERROR_BADUTF8: return REG_INVARG;
374     case PCRE_ERROR_BADUTF8_OFFSET: return REG_INVARG;
375 nigel 41 default: return REG_ASSERT;
376     }
377 nigel 3 }
378     }
379    
380     /* 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