Guido van Rossum | a0e4c1b | 1997-07-17 14:52:48 +0000 | [diff] [blame] | 1 | #!/usr/local/bin/python |
| 2 | # -*- mode: python -*- |
| 3 | # $Id$ |
| 4 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 5 | from test_support import verbose, TestFailed |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 6 | import re |
Guido van Rossum | a0e4c1b | 1997-07-17 14:52:48 +0000 | [diff] [blame] | 7 | import reop |
Guido van Rossum | e8b8131 | 1997-07-15 18:47:48 +0000 | [diff] [blame] | 8 | import sys, os, string, traceback |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 9 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 10 | # Misc tests from Tim Peters' re.doc |
| 11 | |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 12 | if verbose: |
| 13 | print 'Running tests on re.sub' |
| 14 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 15 | try: |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 16 | assert re.sub("(?i)b+", "x", "bbbb BBBB") == 'x x' |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 17 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 18 | def bump_num(matchobj): |
| 19 | int_value = int(matchobj.group(0)) |
| 20 | return str(int_value + 1) |
| 21 | |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 22 | assert re.sub(r'\d+', bump_num, '08.2 -2 23x99y') == '9.3 -3 24x100y' |
| 23 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 24 | assert re.sub('.', lambda m: r"\n", 'x') == '\\n' |
| 25 | assert re.sub('.', r"\n", 'x') == '\n' |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 26 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 27 | s = r"\1\1" |
| 28 | assert re.sub('(.)', s, 'x') == 'xx' |
| 29 | assert re.sub('(.)', re.escape(s), 'x') == s |
| 30 | assert re.sub('(.)', lambda m: s, 'x') == s |
| 31 | |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 32 | assert re.sub('(?P<a>x)', '\g<a>\g<a>', 'xx') == 'xxxx' |
| 33 | |
Guido van Rossum | 95e8053 | 1997-08-13 22:34:14 +0000 | [diff] [blame] | 34 | assert re.sub('a', r'\t\n\v\r\f\a\b\B\Z\a\A\w\W\s\S\d\D', 'a') == '\t\n\v\r\f\a\bBZ\aAwWsSdD' |
| 35 | assert re.sub('a', '\t\n\v\r\f\a', 'a') == '\t\n\v\r\f\a' |
| 36 | assert re.sub('a', '\t\n\v\r\f\a', 'a') == (chr(9)+chr(10)+chr(11)+chr(13)+chr(12)+chr(7)) |
| 37 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 38 | except AssertionError: |
| 39 | raise TestFailed, "re.sub" |
| 40 | |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 41 | if verbose: |
| 42 | print 'Running tests on symbolic references' |
| 43 | |
| 44 | try: |
| 45 | re.sub('(?P<a>x)', '\g<a', 'xx') |
| 46 | except re.error, reason: |
| 47 | pass |
| 48 | else: |
| 49 | raise TestFailed, "symbolic reference" |
| 50 | |
| 51 | try: |
| 52 | re.sub('(?P<a>x)', '\g<', 'xx') |
| 53 | except re.error, reason: |
| 54 | pass |
| 55 | else: |
| 56 | raise TestFailed, "symbolic reference" |
| 57 | |
| 58 | try: |
| 59 | re.sub('(?P<a>x)', '\g', 'xx') |
| 60 | except re.error, reason: |
| 61 | pass |
| 62 | else: |
| 63 | raise TestFailed, "symbolic reference" |
| 64 | |
| 65 | try: |
| 66 | re.sub('(?P<a>x)', '\g<a a>', 'xx') |
| 67 | except re.error, reason: |
| 68 | pass |
| 69 | else: |
| 70 | raise TestFailed, "symbolic reference" |
| 71 | |
| 72 | try: |
| 73 | re.sub('(?P<a>x)', '\g<ab>', 'xx') |
| 74 | except IndexError, reason: |
| 75 | pass |
| 76 | else: |
| 77 | raise TestFailed, "symbolic reference" |
| 78 | |
| 79 | try: |
| 80 | re.sub('(?P<a>x)|(?P<b>y)', '\g<b>', 'xx') |
| 81 | except re.error, reason: |
| 82 | pass |
| 83 | else: |
| 84 | raise TestFailed, "symbolic reference" |
| 85 | |
| 86 | try: |
| 87 | re.sub('(?P<a>x)|(?P<b>y)', '\\2', 'xx') |
| 88 | except re.error, reason: |
| 89 | pass |
| 90 | else: |
| 91 | raise TestFailed, "symbolic reference" |
| 92 | |
| 93 | if verbose: |
| 94 | print 'Running tests on re.subn' |
| 95 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 96 | try: |
| 97 | assert re.subn("(?i)b+", "x", "bbbb BBBB") == ('x x', 2) |
| 98 | assert re.subn("b+", "x", "bbbb BBBB") == ('x BBBB', 1) |
| 99 | assert re.subn("b+", "x", "xyz") == ('xyz', 0) |
| 100 | assert re.subn("b*", "x", "xyz") == ('xxxyxzx', 4) |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 101 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 102 | except AssertionError: |
| 103 | raise TestFailed, "re.subn" |
| 104 | |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 105 | if verbose: |
| 106 | print 'Running tests on re.split' |
| 107 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 108 | try: |
| 109 | assert re.split(":", ":a:b::c") == ['', 'a', 'b', '', 'c'] |
| 110 | assert re.split(":*", ":a:b::c") == ['', 'a', 'b', 'c'] |
| 111 | assert re.split("(:*)", ":a:b::c") == ['', ':', 'a', ':', 'b', '::', 'c'] |
| 112 | assert re.split("(?::*)", ":a:b::c") == ['', 'a', 'b', 'c'] |
| 113 | assert re.split("(:)*", ":a:b::c") == ['', ':', 'a', ':', 'b', ':', 'c'] |
| 114 | assert re.split("([b:]+)", ":a:b::c") == ['', ':', 'a', ':b::', 'c'] |
| 115 | assert re.split("(b)|(:+)", ":a:b::c") == \ |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 116 | ['', None, ':', 'a', None, ':', '', 'b', None, '', None, '::', 'c'] |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 117 | assert re.split("(?:b)|(?::+)", ":a:b::c") == ['', 'a', '', '', 'c'] |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 118 | |
Guido van Rossum | 23b2257 | 1997-07-17 22:36:14 +0000 | [diff] [blame] | 119 | except AssertionError: |
| 120 | raise TestFailed, "re.split" |
| 121 | |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 122 | from re_tests import * |
Guido van Rossum | 4994657 | 1997-07-18 04:26:25 +0000 | [diff] [blame] | 123 | if verbose: |
| 124 | print 'Running re_tests test suite' |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 125 | |
| 126 | for t in tests: |
Guido van Rossum | a0e4c1b | 1997-07-17 14:52:48 +0000 | [diff] [blame] | 127 | sys.stdout.flush() |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 128 | pattern=s=outcome=repl=expected=None |
| 129 | if len(t)==5: |
| 130 | pattern, s, outcome, repl, expected = t |
| 131 | elif len(t)==3: |
| 132 | pattern, s, outcome = t |
| 133 | else: |
| 134 | raise ValueError, ('Test tuples should have 3 or 5 fields',t) |
| 135 | |
| 136 | try: |
| 137 | obj=re.compile(pattern) |
| 138 | except re.error: |
| 139 | if outcome==SYNTAX_ERROR: pass # Expected a syntax error |
| 140 | else: |
| 141 | print '=== Syntax error:', t |
Guido van Rossum | 95e8053 | 1997-08-13 22:34:14 +0000 | [diff] [blame] | 142 | except KeyboardInterrupt: raise KeyboardInterrupt |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 143 | except: |
| 144 | print '*** Unexpected error ***' |
Guido van Rossum | 1d8b758 | 1997-07-11 21:14:53 +0000 | [diff] [blame] | 145 | if verbose: |
| 146 | traceback.print_exc(file=sys.stdout) |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 147 | else: |
| 148 | try: |
| 149 | result=obj.search(s) |
Guido van Rossum | a0e4c1b | 1997-07-17 14:52:48 +0000 | [diff] [blame] | 150 | except (re.error, reop.error), msg: |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 151 | print '=== Unexpected exception', t, repr(msg) |
| 152 | if outcome==SYNTAX_ERROR: |
| 153 | # This should have been a syntax error; forget it. |
| 154 | pass |
| 155 | elif outcome==FAIL: |
| 156 | if result is None: pass # No match, as expected |
| 157 | else: print '=== Succeeded incorrectly', t |
| 158 | elif outcome==SUCCEED: |
| 159 | if result is not None: |
| 160 | # Matched, as expected, so now we compute the |
| 161 | # result string and compare it to our expected result. |
| 162 | start, end = result.span(0) |
Guido van Rossum | a0e4c1b | 1997-07-17 14:52:48 +0000 | [diff] [blame] | 163 | vardict={'found': result.group(0), |
| 164 | 'groups': result.group(), |
| 165 | 'flags': result.re.flags} |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 166 | for i in range(1, 100): |
| 167 | try: |
| 168 | gi = result.group(i) |
Guido van Rossum | 035aae0 | 1997-07-11 20:47:58 +0000 | [diff] [blame] | 169 | # Special hack because else the string concat fails: |
Guido van Rossum | a0e4c1b | 1997-07-17 14:52:48 +0000 | [diff] [blame] | 170 | if gi is None: |
| 171 | gi = "None" |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 172 | except IndexError: |
Guido van Rossum | 23b8d4c | 1997-07-15 15:49:52 +0000 | [diff] [blame] | 173 | gi = "Error" |
Guido van Rossum | 847ed4a | 1997-07-15 15:40:57 +0000 | [diff] [blame] | 174 | vardict['g%d' % i] = gi |
Guido van Rossum | e8b8131 | 1997-07-15 18:47:48 +0000 | [diff] [blame] | 175 | for i in result.re.groupindex.keys(): |
| 176 | try: |
| 177 | gi = result.group(i) |
Guido van Rossum | a0e4c1b | 1997-07-17 14:52:48 +0000 | [diff] [blame] | 178 | if gi is None: |
| 179 | gi = "None" |
Guido van Rossum | e8b8131 | 1997-07-15 18:47:48 +0000 | [diff] [blame] | 180 | except IndexError: |
Guido van Rossum | a0e4c1b | 1997-07-17 14:52:48 +0000 | [diff] [blame] | 181 | gi = "Error" |
| 182 | vardict[i] = gi |
Guido van Rossum | 8e0ce30 | 1997-07-11 19:34:44 +0000 | [diff] [blame] | 183 | repl=eval(repl, vardict) |
| 184 | if repl!=expected: |
| 185 | print '=== grouping error', t, |
| 186 | print repr(repl)+' should be '+repr(expected) |
| 187 | else: |
| 188 | print '=== Failed incorrectly', t |
Guido van Rossum | 95e8053 | 1997-08-13 22:34:14 +0000 | [diff] [blame] | 189 | |
| 190 | # Try the match with IGNORECASE enabled, and check that it |
| 191 | # still succeeds. |
| 192 | obj=re.compile(pattern, re.IGNORECASE) |
| 193 | result=obj.search(s) |
| 194 | if result==None: |
| 195 | print '=== Fails on case-insensitive match', t |