1 # module 're' -- A collection of regular expression operations
3 r
"""Support for regular expressions (RE).
5 This module provides regular expression matching operations similar to
6 those found in Perl. It's 8-bit clean: the strings being processed may
7 contain both null bytes and characters whose high bit is set. Regular
8 expression pattern strings may not contain null bytes, but can specify
9 the null byte using the \\number notation. Characters with the high
10 bit set may be included.
12 Regular expressions can contain both special and ordinary
13 characters. Most ordinary characters, like "A", "a", or "0", are the
14 simplest regular expressions; they simply match themselves. You can
15 concatenate ordinary characters, so last matches the string 'last'.
17 The special characters are:
18 "." Matches any character except a newline.
19 "^" Matches the start of the string.
20 "$" Matches the end of the string.
21 "*" Matches 0 or more (greedy) repetitions of the preceding RE.
22 Greedy means that it will match as many repetitions as possible.
23 "+" Matches 1 or more (greedy) repetitions of the preceding RE.
24 "?" Matches 0 or 1 (greedy) of the preceding RE.
25 *?,+?,?? Non-greedy versions of the previous three special characters.
26 {m,n} Matches from m to n repetitions of the preceding RE.
27 {m,n}? Non-greedy version of the above.
28 "\\" Either escapes special characters or signals a special sequence.
29 [] Indicates a set of characters.
30 A "^" as the first character indicates a complementing set.
31 "|" A|B, creates an RE that will match either A or B.
32 (...) Matches the RE inside the parentheses.
33 The contents can be retrieved or matched later in the string.
34 (?iLmsx) Set the I, L, M, S, or X flag for the RE.
35 (?:...) Non-grouping version of regular parentheses.
36 (?P<name>...) The substring matched by the group is accessible by name.
37 (?P=name) Matches the text matched earlier by the group named name.
38 (?#...) A comment; ignored.
39 (?=...) Matches if ... matches next, but doesn't consume the string.
40 (?!...) Matches if ... doesn't match next.
42 The special sequences consist of "\\" and a character from the list
43 below. If the ordinary character is not on the list, then the
44 resulting RE will match the second character.
45 \\number Matches the contents of the group of the same number.
46 \\A Matches only at the start of the string.
47 \\Z Matches only at the end of the string.
48 \\b Matches the empty string, but only at the start or end of a word.
49 \\B Matches the empty string, but not at the start or end of a word.
50 \\d Matches any decimal digit; equivalent to the set [0-9].
51 \\D Matches any non-digit character; equivalent to the set [^0-9].
52 \\s Matches any whitespace character; equivalent to [ \\t\\n\\r\\f\\v].
53 \\S Matches any non-whitespace character; equiv. to [^ \\t\\n\\r\\f\\v].
54 \\w Matches any alphanumeric character; equivalent to [a-zA-Z0-9_].
55 With LOCALE, it will match the set [0-9_] plus characters defined
56 as letters for the current locale.
57 \\W Matches the complement of \\w.
58 \\\\ Matches a literal backslash.
60 This module exports the following functions:
61 match Match a regular expression pattern to the beginning of a string.
62 search Search a string for the presence of a pattern.
63 sub Substitute occurrences of a pattern found in a string.
64 subn Same as sub, but also return the number of substitutions made.
65 split Split a string by the occurrences of a pattern.
66 findall Find all occurrences of a pattern in a string.
67 compile Compile a pattern into a RegexObject.
68 escape Backslash all non-alphanumerics in a string.
70 This module exports the following classes:
71 RegexObject Holds a compiled regular expression pattern.
72 MatchObject Contains information about pattern matches.
74 Some of the functions in this module takes flags as optional parameters:
75 I IGNORECASE Perform case-insensitive matching.
76 L LOCALE Make \w, \W, \b, \B, dependent on the current locale.
77 M MULTILINE "^" matches the beginning of lines as well as the string.
78 "$" matches the end of lines as well as the string.
79 S DOTALL "." matches any character at all, including the newline.
80 X VERBOSE Ignore whitespace and comments for nicer looking RE's.
82 This module also defines an exception 'error'.
90 __all__
= ["match","search","sub","subn","split","findall","escape","compile",
91 "I","L","M","S","X","IGNORECASE","LOCALE","MULTILINE","DOTALL",
95 # First, the public part of the interface:
98 # pcre.error and re.error should be the same, since exceptions can be
99 # raised from either module.
117 def _cachecompile(pattern
, flags
=0):
118 key
= (pattern
, flags
)
123 value
= compile(pattern
, flags
)
124 if len(_cache
) >= _MAXCACHE
:
129 def match(pattern
, string
, flags
=0):
130 """match (pattern, string[, flags]) -> MatchObject or None
132 If zero or more characters at the beginning of string match the
133 regular expression pattern, return a corresponding MatchObject
134 instance. Return None if the string does not match the pattern;
135 note that this is different from a zero-length match.
137 Note: If you want to locate a match anywhere in string, use
142 return _cachecompile(pattern
, flags
).match(string
)
144 def search(pattern
, string
, flags
=0):
145 """search (pattern, string[, flags]) -> MatchObject or None
147 Scan through string looking for a location where the regular
148 expression pattern produces a match, and return a corresponding
149 MatchObject instance. Return None if no position in the string
150 matches the pattern; note that this is different from finding a
151 zero-length match at some point in the string.
154 return _cachecompile(pattern
, flags
).search(string
)
156 def sub(pattern
, repl
, string
, count
=0):
157 """sub(pattern, repl, string[, count=0]) -> string
159 Return the string obtained by replacing the leftmost
160 non-overlapping occurrences of pattern in string by the
161 replacement repl. If the pattern isn't found, string is returned
162 unchanged. repl can be a string or a function; if a function, it
163 is called for every non-overlapping occurrence of pattern. The
164 function takes a single match object argument, and returns the
167 The pattern may be a string or a regex object; if you need to
168 specify regular expression flags, you must use a regex object, or
169 use embedded modifiers in a pattern; e.g.
170 sub("(?i)b+", "x", "bbbb BBBB") returns 'x x'.
172 The optional argument count is the maximum number of pattern
173 occurrences to be replaced; count must be a non-negative integer,
174 and the default value of 0 means to replace all occurrences.
177 if type(pattern
) == type(''):
178 pattern
= _cachecompile(pattern
)
179 return pattern
.sub(repl
, string
, count
)
181 def subn(pattern
, repl
, string
, count
=0):
182 """subn(pattern, repl, string[, count=0]) -> (string, num substitutions)
184 Perform the same operation as sub(), but return a tuple
185 (new_string, number_of_subs_made).
188 if type(pattern
) == type(''):
189 pattern
= _cachecompile(pattern
)
190 return pattern
.subn(repl
, string
, count
)
192 def split(pattern
, string
, maxsplit
=0):
193 """split(pattern, string[, maxsplit=0]) -> list of strings
195 Split string by the occurrences of pattern. If capturing
196 parentheses are used in pattern, then the text of all groups in
197 the pattern are also returned as part of the resulting list. If
198 maxsplit is nonzero, at most maxsplit splits occur, and the
199 remainder of the string is returned as the final element of the
203 if type(pattern
) == type(''):
204 pattern
= _cachecompile(pattern
)
205 return pattern
.split(string
, maxsplit
)
207 def findall(pattern
, string
):
208 """findall(pattern, string) -> list
210 Return a list of all non-overlapping matches of pattern in
211 string. If one or more groups are present in the pattern, return a
212 list of groups; this will be a list of tuples if the pattern has
213 more than one group. Empty matches are included in the result.
216 if type(pattern
) == type(''):
217 pattern
= _cachecompile(pattern
)
218 return pattern
.findall(string
)
221 """escape(string) -> string
223 Return string with all non-alphanumerics backslashed; this is
224 useful if you want to match an arbitrary literal string that may
225 have regular expression metacharacters in it.
228 result
= list(pattern
)
229 for i
in range(len(pattern
)):
231 if not char
.isalnum():
232 if char
=='\000': result
[i
] = '\\000'
233 else: result
[i
] = '\\'+char
234 return ''.join(result
)
236 def compile(pattern
, flags
=0):
237 """compile(pattern[, flags]) -> RegexObject
239 Compile a regular expression pattern into a regular expression
240 object, which can be used for matching using its match() and
245 code
=pcre_compile(pattern
, flags
, groupindex
)
246 return RegexObject(pattern
, flags
, code
, groupindex
)
254 """Holds a compiled regular expression pattern.
257 match Match the pattern to the beginning of a string.
258 search Search a string for the presence of the pattern.
259 sub Substitute occurrences of the pattern found in a string.
260 subn Same as sub, but also return the number of substitutions made.
261 split Split a string by the occurrences of the pattern.
262 findall Find all occurrences of the pattern in a string.
266 def __init__(self
, pattern
, flags
, code
, groupindex
):
269 self
.pattern
= pattern
270 self
.groupindex
= groupindex
272 def search(self
, string
, pos
=0, endpos
=None):
273 """search(string[, pos][, endpos]) -> MatchObject or None
275 Scan through string looking for a location where this regular
276 expression produces a match, and return a corresponding
277 MatchObject instance. Return None if no position in the string
278 matches the pattern; note that this is different from finding
279 a zero-length match at some point in the string. The optional
280 pos and endpos parameters have the same meaning as for the
284 if endpos
is None or endpos
>len(string
):
286 if endpos
<pos
: endpos
=pos
287 regs
= self
.code
.match(string
, pos
, endpos
, 0)
290 self
._num
_regs
=len(regs
)
292 return MatchObject(self
,
297 def match(self
, string
, pos
=0, endpos
=None):
298 """match(string[, pos][, endpos]) -> MatchObject or None
300 If zero or more characters at the beginning of string match
301 this regular expression, return a corresponding MatchObject
302 instance. Return None if the string does not match the
303 pattern; note that this is different from a zero-length match.
305 Note: If you want to locate a match anywhere in string, use
308 The optional second parameter pos gives an index in the string
309 where the search is to start; it defaults to 0. This is not
310 completely equivalent to slicing the string; the '' pattern
311 character matches at the real beginning of the string and at
312 positions just after a newline, but not necessarily at the
313 index where the search is to start.
315 The optional parameter endpos limits how far the string will
316 be searched; it will be as if the string is endpos characters
317 long, so only the characters from pos to endpos will be
318 searched for a match.
321 if endpos
is None or endpos
>len(string
):
323 if endpos
<pos
: endpos
=pos
324 regs
= self
.code
.match(string
, pos
, endpos
, ANCHORED
)
327 self
._num
_regs
=len(regs
)
328 return MatchObject(self
,
333 def sub(self
, repl
, string
, count
=0):
334 """sub(repl, string[, count=0]) -> string
336 Return the string obtained by replacing the leftmost
337 non-overlapping occurrences of the compiled pattern in string
338 by the replacement repl. If the pattern isn't found, string is
341 Identical to the sub() function, using the compiled pattern.
344 return self
.subn(repl
, string
, count
)[0]
346 def subn(self
, repl
, source
, count
=0):
347 """subn(repl, string[, count=0]) -> tuple
349 Perform the same operation as sub(), but return a tuple
350 (new_string, number_of_subs_made).
354 raise error
, "negative substitution count"
357 n
= 0 # Number of matches
358 pos
= 0 # Where to start searching
359 lastmatch
= -1 # End of last match
360 results
= [] # Substrings making up the result
363 if type(repl
) is type(''):
364 # See if repl contains group references (if it does,
365 # pcre_expand will attempt to call _Dummy.group, which
366 # results in a TypeError)
368 repl
= pcre_expand(_Dummy
, repl
)
369 except (error
, TypeError):
370 m
= MatchObject(self
, source
, 0, end
, [])
371 repl
= lambda m
, repl
=repl
, expand
=pcre_expand
: expand(m
, repl
)
375 m
= MatchObject(self
, source
, 0, end
, [])
377 match
= self
.code
.match
378 append
= results
.append
379 while n
< count
and pos
<= end
:
380 regs
= match(source
, pos
, end
, 0)
383 self
._num
_regs
= len(regs
)
385 if i
== j
== lastmatch
:
386 # Empty match adjacent to previous match
388 append(source
[lastmatch
:pos
])
391 append(source
[pos
:i
])
400 # Last match was empty; don't try here again
402 append(source
[lastmatch
:pos
])
405 return (''.join(results
), n
)
407 def split(self
, source
, maxsplit
=0):
408 """split(source[, maxsplit=0]) -> list of strings
410 Split string by the occurrences of the compiled pattern. If
411 capturing parentheses are used in the pattern, then the text
412 of all groups in the pattern are also returned as part of the
413 resulting list. If maxsplit is nonzero, at most maxsplit
414 splits occur, and the remainder of the string is returned as
415 the final element of the list.
419 raise error
, "negative split count"
421 maxsplit
= sys
.maxint
427 match
= self
.code
.match
428 append
= results
.append
430 regs
= match(source
, pos
, end
, 0)
440 append(source
[lastmatch
:i
])
444 if a
== -1 or b
== -1:
451 append(source
[lastmatch
:])
454 def findall(self
, source
):
455 """findall(source) -> list
457 Return a list of all non-overlapping matches of the compiled
458 pattern in string. If one or more groups are present in the
459 pattern, return a list of groups; this will be a list of
460 tuples if the pattern has more than one group. Empty matches
461 are included in the result.
467 match
= self
.code
.match
468 append
= results
.append
470 regs
= match(source
, pos
, end
, 0)
483 gr
.append(source
[a
:b
])
489 # The following 3 functions were contributed by Mike Fletcher, and
490 # allow pickling and unpickling of RegexObject instances.
491 def __getinitargs__(self
):
492 return (None,None,None,None) # any 4 elements, to work around
494 # pickle/cPickle modules not yet
495 # ignoring the __init__ function
496 def __getstate__(self
):
497 return self
.pattern
, self
.flags
, self
.groupindex
498 def __setstate__(self
, statetuple
):
499 self
.pattern
= statetuple
[0]
500 self
.flags
= statetuple
[1]
501 self
.groupindex
= statetuple
[2]
502 self
.code
= apply(pcre_compile
, statetuple
)
505 # Dummy class used by _subn_string(). Has 'group' to avoid core dump.
509 """Holds a compiled regular expression pattern.
512 start Return the index of the start of a matched substring.
513 end Return the index of the end of a matched substring.
514 span Return a tuple of (start, end) of a matched substring.
515 groups Return a tuple of all the subgroups of the match.
516 group Return one or more subgroups of the match.
517 groupdict Return a dictionary of all the named subgroups of the match.
521 def __init__(self
, re
, string
, pos
, endpos
, regs
):
528 def start(self
, g
= 0):
529 """start([group=0]) -> int or None
531 Return the index of the start of the substring matched by
532 group; group defaults to zero (meaning the whole matched
533 substring). Return -1 if group exists but did not contribute
537 if type(g
) == type(''):
539 g
= self
.re
.groupindex
[g
]
540 except (KeyError, TypeError):
541 raise IndexError, 'group %s is undefined' % `g`
542 return self
.regs
[g
][0]
544 def end(self
, g
= 0):
545 """end([group=0]) -> int or None
547 Return the indices of the end of the substring matched by
548 group; group defaults to zero (meaning the whole matched
549 substring). Return -1 if group exists but did not contribute
553 if type(g
) == type(''):
555 g
= self
.re
.groupindex
[g
]
556 except (KeyError, TypeError):
557 raise IndexError, 'group %s is undefined' % `g`
558 return self
.regs
[g
][1]
560 def span(self
, g
= 0):
561 """span([group=0]) -> tuple
563 Return the 2-tuple (m.start(group), m.end(group)). Note that
564 if group did not contribute to the match, this is (-1,
565 -1). Group defaults to zero (meaning the whole matched
569 if type(g
) == type(''):
571 g
= self
.re
.groupindex
[g
]
572 except (KeyError, TypeError):
573 raise IndexError, 'group %s is undefined' % `g`
576 def groups(self
, default
=None):
577 """groups([default=None]) -> tuple
579 Return a tuple containing all the subgroups of the match, from
580 1 up to however many groups are in the pattern. The default
581 argument is used for groups that did not participate in the
586 for g
in range(1, self
.re
._num
_regs
):
588 if a
== -1 or b
== -1:
589 result
.append(default
)
591 result
.append(self
.string
[a
:b
])
594 def group(self
, *groups
):
595 """group([group1, group2, ...]) -> string or tuple
597 Return one or more subgroups of the match. If there is a
598 single argument, the result is a single string; if there are
599 multiple arguments, the result is a tuple with one item per
600 argument. Without arguments, group1 defaults to zero (i.e. the
601 whole match is returned). If a groupN argument is zero, the
602 corresponding return value is the entire matching string; if
603 it is in the inclusive range [1..99], it is the string
604 matching the the corresponding parenthesized group. If a group
605 number is negative or larger than the number of groups defined
606 in the pattern, an IndexError exception is raised. If a group
607 is contained in a part of the pattern that did not match, the
608 corresponding result is None. If a group is contained in a
609 part of the pattern that matched multiple times, the last
612 If the regular expression uses the (?P<name>...) syntax, the
613 groupN arguments may also be strings identifying groups by
614 their group name. If a string argument is not used as a group
615 name in the pattern, an IndexError exception is raised.
622 if type(g
) == type(''):
624 g
= self
.re
.groupindex
[g
]
625 except (KeyError, TypeError):
626 raise IndexError, 'group %s is undefined' % `g`
627 if g
>= len(self
.regs
):
628 raise IndexError, 'group %s is undefined' % `g`
630 if a
== -1 or b
== -1:
633 result
.append(self
.string
[a
:b
])
636 elif len(result
) == 1:
641 def groupdict(self
, default
=None):
642 """groupdict([default=None]) -> dictionary
644 Return a dictionary containing all the named subgroups of the
645 match, keyed by the subgroup name. The default argument is
646 used for groups that did not participate in the match.
650 for name
, index
in self
.re
.groupindex
.items():
651 a
, b
= self
.regs
[index
]
652 if a
== -1 or b
== -1:
655 dict[name
] = self
.string
[a
:b
]