Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 1 | # |
| 2 | # Secret Labs' Regular Expression Engine |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 3 | # |
| 4 | # re-compatible interface for the sre matching engine |
| 5 | # |
| 6 | # Copyright (c) 1998-2000 by Secret Labs AB. All rights reserved. |
| 7 | # |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 8 | # Portions of this engine have been developed in cooperation with |
Fredrik Lundh | 22d2546 | 2000-07-01 17:50:59 +0000 | [diff] [blame] | 9 | # CNRI. Hewlett-Packard provided funding for 2.0 integration and |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 10 | # other compatibility work. |
| 11 | # |
| 12 | |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 13 | import sre_compile |
Fredrik Lundh | 436c3d58 | 2000-06-29 08:58:44 +0000 | [diff] [blame] | 14 | import sre_parse |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 15 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 16 | # flags |
| 17 | I = IGNORECASE = sre_compile.SRE_FLAG_IGNORECASE |
| 18 | L = LOCALE = sre_compile.SRE_FLAG_LOCALE |
| 19 | M = MULTILINE = sre_compile.SRE_FLAG_MULTILINE |
| 20 | S = DOTALL = sre_compile.SRE_FLAG_DOTALL |
| 21 | X = VERBOSE = sre_compile.SRE_FLAG_VERBOSE |
| 22 | |
Fredrik Lundh | df02d0b | 2000-06-30 07:08:20 +0000 | [diff] [blame] | 23 | # sre extensions (may or may not be in 2.0 final) |
Fredrik Lundh | 436c3d58 | 2000-06-29 08:58:44 +0000 | [diff] [blame] | 24 | T = TEMPLATE = sre_compile.SRE_FLAG_TEMPLATE |
| 25 | U = UNICODE = sre_compile.SRE_FLAG_UNICODE |
| 26 | |
| 27 | # sre exception |
Fredrik Lundh | be2211e | 2000-06-29 16:57:40 +0000 | [diff] [blame] | 28 | error = sre_compile.error |
Fredrik Lundh | 436c3d58 | 2000-06-29 08:58:44 +0000 | [diff] [blame] | 29 | |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 30 | # -------------------------------------------------------------------- |
| 31 | # public interface |
| 32 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 33 | # FIXME: add docstrings |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 34 | |
| 35 | def match(pattern, string, flags=0): |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 36 | return _compile(pattern, flags).match(string) |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 37 | |
| 38 | def search(pattern, string, flags=0): |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 39 | return _compile(pattern, flags).search(string) |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 40 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 41 | def sub(pattern, repl, string, count=0): |
| 42 | return _compile(pattern).sub(repl, string, count) |
| 43 | |
| 44 | def subn(pattern, repl, string, count=0): |
| 45 | return _compile(pattern).subn(repl, string, count) |
| 46 | |
| 47 | def split(pattern, string, maxsplit=0): |
| 48 | return _compile(pattern).split(string, maxsplit) |
| 49 | |
| 50 | def findall(pattern, string, maxsplit=0): |
| 51 | return _compile(pattern).findall(string, maxsplit) |
| 52 | |
| 53 | def compile(pattern, flags=0): |
| 54 | return _compile(pattern, flags) |
| 55 | |
Fredrik Lundh | 436c3d58 | 2000-06-29 08:58:44 +0000 | [diff] [blame] | 56 | def template(pattern, flags=0): |
| 57 | return _compile(pattern, flags|T) |
| 58 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 59 | def escape(pattern): |
| 60 | s = list(pattern) |
| 61 | for i in range(len(pattern)): |
| 62 | c = pattern[i] |
| 63 | if not ("a" <= c <= "z" or "A" <= c <= "Z" or "0" <= c <= "9"): |
| 64 | if c == "\000": |
| 65 | s[i] = "\\000" |
| 66 | else: |
| 67 | s[i] = "\\" + c |
| 68 | return pattern[:0].join(s) |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 69 | |
| 70 | # -------------------------------------------------------------------- |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 71 | # internals |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 72 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 73 | _cache = {} |
| 74 | _MAXCACHE = 100 |
Guido van Rossum | 7627c0d | 2000-03-31 14:58:54 +0000 | [diff] [blame] | 75 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 76 | def _compile(pattern, flags=0): |
| 77 | # internal: compile pattern |
| 78 | tp = type(pattern) |
| 79 | if tp not in (type(""), type(u"")): |
| 80 | return pattern |
| 81 | key = (tp, pattern, flags) |
| 82 | try: |
| 83 | return _cache[key] |
| 84 | except KeyError: |
| 85 | pass |
| 86 | p = sre_compile.compile(pattern, flags) |
| 87 | if len(_cache) >= _MAXCACHE: |
| 88 | _cache.clear() |
| 89 | _cache[key] = p |
| 90 | return p |
| 91 | |
Fredrik Lundh | 0640e11 | 2000-06-30 13:55:15 +0000 | [diff] [blame] | 92 | def purge(): |
| 93 | # clear pattern cache |
| 94 | _cache.clear() |
| 95 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 96 | def _sub(pattern, template, string, count=0): |
| 97 | # internal: pattern.sub implementation hook |
| 98 | return _subn(pattern, template, string, count)[0] |
| 99 | |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 100 | def _subn(pattern, template, string, count=0): |
| 101 | # internal: pattern.subn implementation hook |
| 102 | if callable(template): |
Andrew M. Kuchling | e8d52af | 2000-06-18 20:27:10 +0000 | [diff] [blame] | 103 | filter = template |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 104 | else: |
Fredrik Lundh | 90a0791 | 2000-06-30 07:50:59 +0000 | [diff] [blame] | 105 | template = sre_parse.parse_template(template, pattern) |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 106 | def filter(match, template=template): |
Fredrik Lundh | 436c3d58 | 2000-06-29 08:58:44 +0000 | [diff] [blame] | 107 | return sre_parse.expand_template(template, match) |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 108 | n = i = 0 |
| 109 | s = [] |
| 110 | append = s.append |
Fredrik Lundh | be2211e | 2000-06-29 16:57:40 +0000 | [diff] [blame] | 111 | c = pattern.scanner(string) |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 112 | while not count or n < count: |
| 113 | m = c.search() |
| 114 | if not m: |
| 115 | break |
Fredrik Lundh | 90a0791 | 2000-06-30 07:50:59 +0000 | [diff] [blame] | 116 | b, e = m.span() |
Fredrik Lundh | 01016fe | 2000-06-30 00:27:46 +0000 | [diff] [blame] | 117 | if i < b: |
| 118 | append(string[i:b]) |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 119 | append(filter(m)) |
Fredrik Lundh | 90a0791 | 2000-06-30 07:50:59 +0000 | [diff] [blame] | 120 | i = e |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 121 | n = n + 1 |
Fredrik Lundh | 01016fe | 2000-06-30 00:27:46 +0000 | [diff] [blame] | 122 | append(string[i:]) |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 123 | return string[:0].join(s), n |
| 124 | |
| 125 | def _split(pattern, string, maxsplit=0): |
| 126 | # internal: pattern.split implementation hook |
| 127 | n = i = 0 |
| 128 | s = [] |
| 129 | append = s.append |
Fredrik Lundh | be2211e | 2000-06-29 16:57:40 +0000 | [diff] [blame] | 130 | extend = s.extend |
| 131 | c = pattern.scanner(string) |
Fredrik Lundh | 01016fe | 2000-06-30 00:27:46 +0000 | [diff] [blame] | 132 | g = pattern.groups |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 133 | while not maxsplit or n < maxsplit: |
| 134 | m = c.search() |
| 135 | if not m: |
| 136 | break |
Fredrik Lundh | 90a0791 | 2000-06-30 07:50:59 +0000 | [diff] [blame] | 137 | b, e = m.span() |
| 138 | if b == e: |
| 139 | if i >= len(string): |
| 140 | break |
| 141 | continue |
Fredrik Lundh | be2211e | 2000-06-29 16:57:40 +0000 | [diff] [blame] | 142 | append(string[i:b]) |
Fredrik Lundh | 90a0791 | 2000-06-30 07:50:59 +0000 | [diff] [blame] | 143 | if g and b != e: |
| 144 | extend(m.groups()) |
| 145 | i = e |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 146 | n = n + 1 |
Fredrik Lundh | 8094611 | 2000-06-29 18:03:25 +0000 | [diff] [blame] | 147 | append(string[i:]) |
Jeremy Hylton | b1aa195 | 2000-06-01 17:39:12 +0000 | [diff] [blame] | 148 | return s |
Fredrik Lundh | 0640e11 | 2000-06-30 13:55:15 +0000 | [diff] [blame] | 149 | |
| 150 | # register myself for pickling |
| 151 | |
| 152 | import copy_reg |
| 153 | |
| 154 | def _pickle(p): |
| 155 | return _compile, (p.pattern, p.flags) |
| 156 | |
| 157 | copy_reg.pickle(type(_compile("")), _pickle, _compile) |
Fredrik Lundh | 7cafe4d | 2000-07-02 17:33:27 +0000 | [diff] [blame] | 158 | |
| 159 | # -------------------------------------------------------------------- |
| 160 | # experimental stuff (see python-dev discussions for details) |
| 161 | |
| 162 | class Scanner: |
| 163 | def __init__(self, lexicon): |
| 164 | self.lexicon = lexicon |
| 165 | p = [] |
| 166 | for phrase, action in lexicon: |
| 167 | p.append("(?:%s)(?P#%d)" % (phrase, len(p))) |
Fredrik Lundh | 019bcb5 | 2000-07-02 22:59:57 +0000 | [diff] [blame] | 168 | self.scanner = _compile("|".join(p)) |
Fredrik Lundh | 7cafe4d | 2000-07-02 17:33:27 +0000 | [diff] [blame] | 169 | def scan(self, string): |
| 170 | result = [] |
| 171 | append = result.append |
| 172 | match = self.scanner.match |
| 173 | i = 0 |
| 174 | while 1: |
| 175 | m = match(string, i) |
| 176 | if not m: |
| 177 | break |
| 178 | j = m.end() |
| 179 | if i == j: |
| 180 | break |
Fredrik Lundh | 019bcb5 | 2000-07-02 22:59:57 +0000 | [diff] [blame] | 181 | action = self.lexicon[m.lastindex][1] |
Fredrik Lundh | 7cafe4d | 2000-07-02 17:33:27 +0000 | [diff] [blame] | 182 | if callable(action): |
| 183 | self.match = match |
| 184 | action = action(self, m.group()) |
| 185 | if action is not None: |
| 186 | append(action) |
| 187 | i = j |
| 188 | return result, string[i:] |