2000-03-31 10:58:54 -04:00
|
|
|
#
|
|
|
|
# Secret Labs' Regular Expression Engine
|
|
|
|
#
|
|
|
|
# re-compatible interface for the sre matching engine
|
|
|
|
#
|
2001-01-14 11:06:11 -04:00
|
|
|
# Copyright (c) 1998-2001 by Secret Labs AB. All rights reserved.
|
2000-03-31 10:58:54 -04:00
|
|
|
#
|
2000-08-01 15:20:07 -03:00
|
|
|
# This version of the SRE library can be redistributed under CNRI's
|
|
|
|
# Python 1.6 license. For any other use, please contact Secret Labs
|
|
|
|
# AB (info@pythonware.com).
|
|
|
|
#
|
2000-03-31 10:58:54 -04:00
|
|
|
# Portions of this engine have been developed in cooperation with
|
2000-08-01 15:20:07 -03:00
|
|
|
# CNRI. Hewlett-Packard provided funding for 1.6 integration and
|
2000-03-31 10:58:54 -04:00
|
|
|
# other compatibility work.
|
|
|
|
#
|
|
|
|
|
|
|
|
import sre_compile
|
2000-06-29 05:58:44 -03:00
|
|
|
import sre_parse
|
2000-03-31 10:58:54 -04:00
|
|
|
|
2000-07-23 18:46:17 -03:00
|
|
|
import string
|
|
|
|
|
2000-06-01 14:39:12 -03:00
|
|
|
# flags
|
2001-01-14 11:06:11 -04:00
|
|
|
I = IGNORECASE = sre_compile.SRE_FLAG_IGNORECASE # ignore case
|
|
|
|
L = LOCALE = sre_compile.SRE_FLAG_LOCALE # assume current 8-bit locale
|
|
|
|
U = UNICODE = sre_compile.SRE_FLAG_UNICODE # assume unicode locale
|
|
|
|
M = MULTILINE = sre_compile.SRE_FLAG_MULTILINE # make anchors look for newline
|
|
|
|
S = DOTALL = sre_compile.SRE_FLAG_DOTALL # make dot match newline
|
|
|
|
X = VERBOSE = sre_compile.SRE_FLAG_VERBOSE # ignore whitespace and comments
|
2000-06-01 14:39:12 -03:00
|
|
|
|
2001-01-14 11:06:11 -04:00
|
|
|
# sre extensions (experimental, don't rely on these)
|
|
|
|
T = TEMPLATE = sre_compile.SRE_FLAG_TEMPLATE # disable backtracking
|
|
|
|
DEBUG = sre_compile.SRE_FLAG_DEBUG # dump pattern after compilation
|
2000-06-29 05:58:44 -03:00
|
|
|
|
|
|
|
# sre exception
|
2000-06-29 13:57:40 -03:00
|
|
|
error = sre_compile.error
|
2000-06-29 05:58:44 -03:00
|
|
|
|
2000-03-31 10:58:54 -04:00
|
|
|
# --------------------------------------------------------------------
|
|
|
|
# public interface
|
|
|
|
|
|
|
|
def match(pattern, string, flags=0):
|
2001-01-14 11:06:11 -04:00
|
|
|
"""Try to apply the pattern at the start of the string, returning
|
|
|
|
a match object, or None if no match was found."""
|
2000-06-01 14:39:12 -03:00
|
|
|
return _compile(pattern, flags).match(string)
|
2000-03-31 10:58:54 -04:00
|
|
|
|
|
|
|
def search(pattern, string, flags=0):
|
2001-01-14 11:06:11 -04:00
|
|
|
"""Scan through string looking for a match to the pattern, returning
|
|
|
|
a match object, or None if no match was found."""
|
2000-06-01 14:39:12 -03:00
|
|
|
return _compile(pattern, flags).search(string)
|
|
|
|
|
|
|
|
def sub(pattern, repl, string, count=0):
|
2001-01-14 11:06:11 -04:00
|
|
|
"""Return the string obtained by replacing the leftmost
|
|
|
|
non-overlapping occurrences of the pattern in string by the
|
|
|
|
replacement repl"""
|
2000-08-07 17:59:04 -03:00
|
|
|
return _compile(pattern, 0).sub(repl, string, count)
|
2000-06-01 14:39:12 -03:00
|
|
|
|
|
|
|
def subn(pattern, repl, string, count=0):
|
2001-01-14 11:06:11 -04:00
|
|
|
"""Return a 2-tuple containing (new_string, number).
|
|
|
|
new_string is the string obtained by replacing the leftmost
|
|
|
|
non-overlapping occurrences of the pattern in the source
|
|
|
|
string by the replacement repl. number is the number of
|
|
|
|
substitutions that were made."""
|
2000-08-07 17:59:04 -03:00
|
|
|
return _compile(pattern, 0).subn(repl, string, count)
|
2000-06-01 14:39:12 -03:00
|
|
|
|
|
|
|
def split(pattern, string, maxsplit=0):
|
2001-01-14 11:06:11 -04:00
|
|
|
"""Split the source string by the occurrences of the pattern,
|
|
|
|
returning a list containing the resulting substrings."""
|
2000-08-07 17:59:04 -03:00
|
|
|
return _compile(pattern, 0).split(string, maxsplit)
|
2000-03-31 10:58:54 -04:00
|
|
|
|
2000-06-01 14:39:12 -03:00
|
|
|
def findall(pattern, string, maxsplit=0):
|
2001-01-14 11:06:11 -04:00
|
|
|
"""Return a list of all non-overlapping matches in the string.
|
|
|
|
|
|
|
|
If one or more groups are present in the pattern, return a
|
|
|
|
list of groups; this will be a list of tuples if the pattern
|
|
|
|
has more than one group.
|
|
|
|
|
|
|
|
Empty matches are included in the result."""
|
2000-08-07 17:59:04 -03:00
|
|
|
return _compile(pattern, 0).findall(string, maxsplit)
|
2000-06-01 14:39:12 -03:00
|
|
|
|
|
|
|
def compile(pattern, flags=0):
|
2001-01-14 11:06:11 -04:00
|
|
|
"Compile a regular expression pattern, returning a pattern object."
|
2000-06-01 14:39:12 -03:00
|
|
|
return _compile(pattern, flags)
|
|
|
|
|
2000-07-23 18:46:17 -03:00
|
|
|
def purge():
|
2001-01-14 11:06:11 -04:00
|
|
|
"Clear the regular expression cache"
|
2000-07-23 18:46:17 -03:00
|
|
|
_cache.clear()
|
|
|
|
|
2000-06-29 05:58:44 -03:00
|
|
|
def template(pattern, flags=0):
|
2001-01-14 11:06:11 -04:00
|
|
|
"Compile a template pattern, returning a pattern object"
|
|
|
|
|
2000-06-29 05:58:44 -03:00
|
|
|
return _compile(pattern, flags|T)
|
|
|
|
|
2000-06-01 14:39:12 -03:00
|
|
|
def escape(pattern):
|
2001-01-14 11:06:11 -04:00
|
|
|
"Escape all non-alphanumeric characters in pattern."
|
2000-06-01 14:39:12 -03:00
|
|
|
s = list(pattern)
|
|
|
|
for i in range(len(pattern)):
|
|
|
|
c = pattern[i]
|
|
|
|
if not ("a" <= c <= "z" or "A" <= c <= "Z" or "0" <= c <= "9"):
|
|
|
|
if c == "\000":
|
|
|
|
s[i] = "\\000"
|
|
|
|
else:
|
|
|
|
s[i] = "\\" + c
|
2000-07-23 18:46:17 -03:00
|
|
|
return _join(s, pattern)
|
2000-03-31 10:58:54 -04:00
|
|
|
|
|
|
|
# --------------------------------------------------------------------
|
2000-06-01 14:39:12 -03:00
|
|
|
# internals
|
|
|
|
|
|
|
|
_cache = {}
|
|
|
|
_MAXCACHE = 100
|
|
|
|
|
2000-07-23 18:46:17 -03:00
|
|
|
def _join(seq, sep):
|
|
|
|
# internal: join into string having the same type as sep
|
|
|
|
return string.join(seq, sep[:0])
|
|
|
|
|
2000-08-07 17:59:04 -03:00
|
|
|
def _compile(*key):
|
2000-06-01 14:39:12 -03:00
|
|
|
# internal: compile pattern
|
2000-08-07 17:59:04 -03:00
|
|
|
p = _cache.get(key)
|
|
|
|
if p is not None:
|
|
|
|
return p
|
|
|
|
pattern, flags = key
|
|
|
|
if type(pattern) not in sre_compile.STRING_TYPES:
|
2000-06-01 14:39:12 -03:00
|
|
|
return pattern
|
2000-08-01 19:47:49 -03:00
|
|
|
try:
|
|
|
|
p = sre_compile.compile(pattern, flags)
|
|
|
|
except error, v:
|
|
|
|
raise error, v # invalid expression
|
2000-06-01 14:39:12 -03:00
|
|
|
if len(_cache) >= _MAXCACHE:
|
|
|
|
_cache.clear()
|
|
|
|
_cache[key] = p
|
|
|
|
return p
|
|
|
|
|
2000-09-21 14:03:25 -03:00
|
|
|
def _expand(pattern, match, template):
|
|
|
|
# internal: match.expand implementation hook
|
|
|
|
template = sre_parse.parse_template(template, pattern)
|
|
|
|
return sre_parse.expand_template(template, match)
|
|
|
|
|
2000-06-01 14:39:12 -03:00
|
|
|
def _sub(pattern, template, string, count=0):
|
|
|
|
# internal: pattern.sub implementation hook
|
|
|
|
return _subn(pattern, template, string, count)[0]
|
|
|
|
|
|
|
|
def _subn(pattern, template, string, count=0):
|
|
|
|
# internal: pattern.subn implementation hook
|
|
|
|
if callable(template):
|
2000-06-18 17:27:10 -03:00
|
|
|
filter = template
|
2000-06-01 14:39:12 -03:00
|
|
|
else:
|
2000-06-30 04:50:59 -03:00
|
|
|
template = sre_parse.parse_template(template, pattern)
|
2000-06-01 14:39:12 -03:00
|
|
|
def filter(match, template=template):
|
2000-06-29 05:58:44 -03:00
|
|
|
return sre_parse.expand_template(template, match)
|
2000-06-01 14:39:12 -03:00
|
|
|
n = i = 0
|
|
|
|
s = []
|
|
|
|
append = s.append
|
2000-06-29 13:57:40 -03:00
|
|
|
c = pattern.scanner(string)
|
2000-06-01 14:39:12 -03:00
|
|
|
while not count or n < count:
|
|
|
|
m = c.search()
|
|
|
|
if not m:
|
|
|
|
break
|
2000-06-30 04:50:59 -03:00
|
|
|
b, e = m.span()
|
2000-06-29 21:27:46 -03:00
|
|
|
if i < b:
|
|
|
|
append(string[i:b])
|
2000-06-01 14:39:12 -03:00
|
|
|
append(filter(m))
|
2000-06-30 04:50:59 -03:00
|
|
|
i = e
|
2000-06-01 14:39:12 -03:00
|
|
|
n = n + 1
|
2000-06-29 21:27:46 -03:00
|
|
|
append(string[i:])
|
2000-07-23 18:46:17 -03:00
|
|
|
return _join(s, string[:0]), n
|
2000-03-31 10:58:54 -04:00
|
|
|
|
2000-06-01 14:39:12 -03:00
|
|
|
def _split(pattern, string, maxsplit=0):
|
|
|
|
# internal: pattern.split implementation hook
|
|
|
|
n = i = 0
|
|
|
|
s = []
|
|
|
|
append = s.append
|
2000-06-29 13:57:40 -03:00
|
|
|
extend = s.extend
|
|
|
|
c = pattern.scanner(string)
|
2000-06-29 21:27:46 -03:00
|
|
|
g = pattern.groups
|
2000-06-01 14:39:12 -03:00
|
|
|
while not maxsplit or n < maxsplit:
|
|
|
|
m = c.search()
|
|
|
|
if not m:
|
|
|
|
break
|
2000-06-30 04:50:59 -03:00
|
|
|
b, e = m.span()
|
|
|
|
if b == e:
|
|
|
|
if i >= len(string):
|
|
|
|
break
|
|
|
|
continue
|
2000-06-29 13:57:40 -03:00
|
|
|
append(string[i:b])
|
2000-06-30 04:50:59 -03:00
|
|
|
if g and b != e:
|
|
|
|
extend(m.groups())
|
|
|
|
i = e
|
2000-06-01 14:39:12 -03:00
|
|
|
n = n + 1
|
2000-06-29 15:03:25 -03:00
|
|
|
append(string[i:])
|
2000-06-01 14:39:12 -03:00
|
|
|
return s
|
2000-06-30 10:55:15 -03:00
|
|
|
|
|
|
|
# register myself for pickling
|
|
|
|
|
|
|
|
import copy_reg
|
|
|
|
|
|
|
|
def _pickle(p):
|
|
|
|
return _compile, (p.pattern, p.flags)
|
|
|
|
|
2000-08-07 17:59:04 -03:00
|
|
|
copy_reg.pickle(type(_compile("", 0)), _pickle, _compile)
|
2000-07-02 14:33:27 -03:00
|
|
|
|
|
|
|
# --------------------------------------------------------------------
|
|
|
|
# experimental stuff (see python-dev discussions for details)
|
|
|
|
|
|
|
|
class Scanner:
|
|
|
|
def __init__(self, lexicon):
|
2000-08-01 15:20:07 -03:00
|
|
|
from sre_constants import BRANCH, SUBPATTERN
|
2000-07-02 14:33:27 -03:00
|
|
|
self.lexicon = lexicon
|
2000-07-23 18:46:17 -03:00
|
|
|
# combine phrases into a compound pattern
|
2000-07-02 14:33:27 -03:00
|
|
|
p = []
|
2000-07-23 18:46:17 -03:00
|
|
|
s = sre_parse.Pattern()
|
2000-07-02 14:33:27 -03:00
|
|
|
for phrase, action in lexicon:
|
2000-07-23 18:46:17 -03:00
|
|
|
p.append(sre_parse.SubPattern(s, [
|
2000-08-01 15:20:07 -03:00
|
|
|
(SUBPATTERN, (len(p), sre_parse.parse(phrase))),
|
2000-07-23 18:46:17 -03:00
|
|
|
]))
|
|
|
|
p = sre_parse.SubPattern(s, [(BRANCH, (None, p))])
|
|
|
|
s.groups = len(p)
|
|
|
|
self.scanner = sre_compile.compile(p)
|
2000-07-02 14:33:27 -03:00
|
|
|
def scan(self, string):
|
|
|
|
result = []
|
|
|
|
append = result.append
|
|
|
|
match = self.scanner.match
|
|
|
|
i = 0
|
|
|
|
while 1:
|
|
|
|
m = match(string, i)
|
|
|
|
if not m:
|
|
|
|
break
|
|
|
|
j = m.end()
|
|
|
|
if i == j:
|
|
|
|
break
|
2000-07-02 19:59:57 -03:00
|
|
|
action = self.lexicon[m.lastindex][1]
|
2000-07-02 14:33:27 -03:00
|
|
|
if callable(action):
|
2001-01-14 11:06:11 -04:00
|
|
|
self.match = m
|
2000-07-02 14:33:27 -03:00
|
|
|
action = action(self, m.group())
|
|
|
|
if action is not None:
|
|
|
|
append(action)
|
|
|
|
i = j
|
|
|
|
return result, string[i:]
|