Benjamin Peterson | ee8712c | 2008-05-20 21:35:26 +0000 | [diff] [blame] | 1 | from test.support import verbose, TestFailed |
Eric S. Raymond | d8c628b | 2001-02-09 11:46:37 +0000 | [diff] [blame] | 2 | import sys |
Benjamin Peterson | ee8712c | 2008-05-20 21:35:26 +0000 | [diff] [blame] | 3 | import test.support as support |
Christian Heimes | f6cd967 | 2008-03-26 13:45:42 +0000 | [diff] [blame] | 4 | import unittest |
| 5 | |
Benjamin Peterson | ee8712c | 2008-05-20 21:35:26 +0000 | [diff] [blame] | 6 | maxsize = support.MAX_Py_ssize_t |
Marc-André Lemburg | d70141a | 2000-06-30 10:26:29 +0000 | [diff] [blame] | 7 | |
| 8 | # test string formatting operator (I am not sure if this is being tested |
| 9 | # elsewhere but, surely, some of the given cases are *not* tested because |
| 10 | # they crash python) |
| 11 | # test on unicode strings as well |
| 12 | |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 13 | overflowok = 1 |
Guido van Rossum | b5a755e | 2007-07-18 18:15:48 +0000 | [diff] [blame] | 14 | overflowrequired = 0 |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 15 | |
Christian Heimes | a612dc0 | 2008-02-24 13:08:18 +0000 | [diff] [blame] | 16 | def testformat(formatstr, args, output=None, limit=None): |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 17 | if verbose: |
| 18 | if output: |
Walter Dörwald | 38e43c2 | 2007-06-09 16:13:23 +0000 | [diff] [blame] | 19 | print("%r %% %r =? %r ..." %\ |
| 20 | (formatstr, args, output), end=' ') |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 21 | else: |
Walter Dörwald | 38e43c2 | 2007-06-09 16:13:23 +0000 | [diff] [blame] | 22 | print("%r %% %r works? ..." % (formatstr, args), end=' ') |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 23 | try: |
| 24 | result = formatstr % args |
| 25 | except OverflowError: |
| 26 | if not overflowok: |
| 27 | raise |
| 28 | if verbose: |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 29 | print('overflow (this is fine)') |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 30 | else: |
Guido van Rossum | b5a755e | 2007-07-18 18:15:48 +0000 | [diff] [blame] | 31 | if overflowrequired: |
| 32 | if verbose: |
| 33 | print('no') |
| 34 | print("overflow expected on %r %% %r" % (formatstr, args)) |
Christian Heimes | a612dc0 | 2008-02-24 13:08:18 +0000 | [diff] [blame] | 35 | elif output and limit is None and result != output: |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 36 | if verbose: |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 37 | print('no') |
Christian Heimes | f6cd967 | 2008-03-26 13:45:42 +0000 | [diff] [blame] | 38 | #print("%r %% %r == %r != %r" %\ |
| 39 | # (formatstr, args, result, output)) |
| 40 | raise AssertionError("%r %% %r == %r != %r" % |
| 41 | (formatstr, args, result, output)) |
Christian Heimes | a612dc0 | 2008-02-24 13:08:18 +0000 | [diff] [blame] | 42 | # when 'limit' is specified, it determines how many characters |
| 43 | # must match exactly; lengths must always match. |
| 44 | # ex: limit=5, '12345678' matches '12345___' |
| 45 | # (mainly for floating point format tests for which an exact match |
| 46 | # can't be guaranteed due to rounding and representation errors) |
| 47 | elif output and limit is not None and ( |
| 48 | len(result)!=len(output) or result[:limit]!=output[:limit]): |
| 49 | if verbose: |
| 50 | print('no') |
| 51 | print("%s %% %s == %s != %s" % \ |
| 52 | (repr(formatstr), repr(args), repr(result), repr(output))) |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 53 | else: |
| 54 | if verbose: |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 55 | print('yes') |
Marc-André Lemburg | d70141a | 2000-06-30 10:26:29 +0000 | [diff] [blame] | 56 | |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 57 | |
Christian Heimes | f6cd967 | 2008-03-26 13:45:42 +0000 | [diff] [blame] | 58 | class FormatTest(unittest.TestCase): |
| 59 | def test_format(self): |
| 60 | testformat("%.1d", (1,), "1") |
| 61 | testformat("%.*d", (sys.maxsize,1)) # expect overflow |
| 62 | testformat("%.100d", (1,), '0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001') |
| 63 | testformat("%#.117x", (1,), '0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001') |
| 64 | testformat("%#.118x", (1,), '0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001') |
Marc-André Lemburg | d70141a | 2000-06-30 10:26:29 +0000 | [diff] [blame] | 65 | |
Christian Heimes | f6cd967 | 2008-03-26 13:45:42 +0000 | [diff] [blame] | 66 | testformat("%f", (1.0,), "1.000000") |
| 67 | # these are trying to test the limits of the internal magic-number-length |
| 68 | # formatting buffer, if that number changes then these tests are less |
| 69 | # effective |
| 70 | testformat("%#.*g", (109, -1.e+49/3.)) |
| 71 | testformat("%#.*g", (110, -1.e+49/3.)) |
| 72 | testformat("%#.*g", (110, -1.e+100/3.)) |
| 73 | # test some ridiculously large precision, expect overflow |
| 74 | testformat('%12.*f', (123456, 1.0)) |
| 75 | # check for internal overflow validation on length of precision |
| 76 | overflowrequired = 1 |
| 77 | testformat("%#.*g", (110, -1.e+100/3.)) |
| 78 | testformat("%#.*G", (110, -1.e+100/3.)) |
| 79 | testformat("%#.*f", (110, -1.e+100/3.)) |
| 80 | testformat("%#.*F", (110, -1.e+100/3.)) |
| 81 | overflowrequired = 0 |
| 82 | # Formatting of integers. Overflow is not ok |
| 83 | overflowok = 0 |
| 84 | testformat("%x", 10, "a") |
| 85 | testformat("%x", 100000000000, "174876e800") |
| 86 | testformat("%o", 10, "12") |
| 87 | testformat("%o", 100000000000, "1351035564000") |
| 88 | testformat("%d", 10, "10") |
| 89 | testformat("%d", 100000000000, "100000000000") |
| 90 | big = 123456789012345678901234567890 |
| 91 | testformat("%d", big, "123456789012345678901234567890") |
| 92 | testformat("%d", -big, "-123456789012345678901234567890") |
| 93 | testformat("%5d", -big, "-123456789012345678901234567890") |
| 94 | testformat("%31d", -big, "-123456789012345678901234567890") |
| 95 | testformat("%32d", -big, " -123456789012345678901234567890") |
| 96 | testformat("%-32d", -big, "-123456789012345678901234567890 ") |
| 97 | testformat("%032d", -big, "-0123456789012345678901234567890") |
| 98 | testformat("%-032d", -big, "-123456789012345678901234567890 ") |
| 99 | testformat("%034d", -big, "-000123456789012345678901234567890") |
| 100 | testformat("%034d", big, "0000123456789012345678901234567890") |
| 101 | testformat("%0+34d", big, "+000123456789012345678901234567890") |
| 102 | testformat("%+34d", big, " +123456789012345678901234567890") |
| 103 | testformat("%34d", big, " 123456789012345678901234567890") |
| 104 | testformat("%.2d", big, "123456789012345678901234567890") |
| 105 | testformat("%.30d", big, "123456789012345678901234567890") |
| 106 | testformat("%.31d", big, "0123456789012345678901234567890") |
| 107 | testformat("%32.31d", big, " 0123456789012345678901234567890") |
| 108 | testformat("%d", float(big), "123456________________________", 6) |
| 109 | big = 0x1234567890abcdef12345 # 21 hex digits |
| 110 | testformat("%x", big, "1234567890abcdef12345") |
| 111 | testformat("%x", -big, "-1234567890abcdef12345") |
| 112 | testformat("%5x", -big, "-1234567890abcdef12345") |
| 113 | testformat("%22x", -big, "-1234567890abcdef12345") |
| 114 | testformat("%23x", -big, " -1234567890abcdef12345") |
| 115 | testformat("%-23x", -big, "-1234567890abcdef12345 ") |
| 116 | testformat("%023x", -big, "-01234567890abcdef12345") |
| 117 | testformat("%-023x", -big, "-1234567890abcdef12345 ") |
| 118 | testformat("%025x", -big, "-0001234567890abcdef12345") |
| 119 | testformat("%025x", big, "00001234567890abcdef12345") |
| 120 | testformat("%0+25x", big, "+0001234567890abcdef12345") |
| 121 | testformat("%+25x", big, " +1234567890abcdef12345") |
| 122 | testformat("%25x", big, " 1234567890abcdef12345") |
| 123 | testformat("%.2x", big, "1234567890abcdef12345") |
| 124 | testformat("%.21x", big, "1234567890abcdef12345") |
| 125 | testformat("%.22x", big, "01234567890abcdef12345") |
| 126 | testformat("%23.22x", big, " 01234567890abcdef12345") |
| 127 | testformat("%-23.22x", big, "01234567890abcdef12345 ") |
| 128 | testformat("%X", big, "1234567890ABCDEF12345") |
| 129 | testformat("%#X", big, "0X1234567890ABCDEF12345") |
| 130 | testformat("%#x", big, "0x1234567890abcdef12345") |
| 131 | testformat("%#x", -big, "-0x1234567890abcdef12345") |
| 132 | testformat("%#.23x", -big, "-0x001234567890abcdef12345") |
| 133 | testformat("%#+.23x", big, "+0x001234567890abcdef12345") |
| 134 | testformat("%# .23x", big, " 0x001234567890abcdef12345") |
| 135 | testformat("%#+.23X", big, "+0X001234567890ABCDEF12345") |
| 136 | testformat("%#-+.23X", big, "+0X001234567890ABCDEF12345") |
| 137 | testformat("%#-+26.23X", big, "+0X001234567890ABCDEF12345") |
| 138 | testformat("%#-+27.23X", big, "+0X001234567890ABCDEF12345 ") |
| 139 | testformat("%#+27.23X", big, " +0X001234567890ABCDEF12345") |
| 140 | # next one gets two leading zeroes from precision, and another from the |
| 141 | # 0 flag and the width |
| 142 | testformat("%#+027.23X", big, "+0X0001234567890ABCDEF12345") |
| 143 | # same, except no 0 flag |
| 144 | testformat("%#+27.23X", big, " +0X001234567890ABCDEF12345") |
| 145 | testformat("%x", float(big), "123456_______________", 6) |
| 146 | big = 0o12345670123456701234567012345670 # 32 octal digits |
| 147 | testformat("%o", big, "12345670123456701234567012345670") |
| 148 | testformat("%o", -big, "-12345670123456701234567012345670") |
| 149 | testformat("%5o", -big, "-12345670123456701234567012345670") |
| 150 | testformat("%33o", -big, "-12345670123456701234567012345670") |
| 151 | testformat("%34o", -big, " -12345670123456701234567012345670") |
| 152 | testformat("%-34o", -big, "-12345670123456701234567012345670 ") |
| 153 | testformat("%034o", -big, "-012345670123456701234567012345670") |
| 154 | testformat("%-034o", -big, "-12345670123456701234567012345670 ") |
| 155 | testformat("%036o", -big, "-00012345670123456701234567012345670") |
| 156 | testformat("%036o", big, "000012345670123456701234567012345670") |
| 157 | testformat("%0+36o", big, "+00012345670123456701234567012345670") |
| 158 | testformat("%+36o", big, " +12345670123456701234567012345670") |
| 159 | testformat("%36o", big, " 12345670123456701234567012345670") |
| 160 | testformat("%.2o", big, "12345670123456701234567012345670") |
| 161 | testformat("%.32o", big, "12345670123456701234567012345670") |
| 162 | testformat("%.33o", big, "012345670123456701234567012345670") |
| 163 | testformat("%34.33o", big, " 012345670123456701234567012345670") |
| 164 | testformat("%-34.33o", big, "012345670123456701234567012345670 ") |
| 165 | testformat("%o", big, "12345670123456701234567012345670") |
| 166 | testformat("%#o", big, "0o12345670123456701234567012345670") |
| 167 | testformat("%#o", -big, "-0o12345670123456701234567012345670") |
| 168 | testformat("%#.34o", -big, "-0o0012345670123456701234567012345670") |
| 169 | testformat("%#+.34o", big, "+0o0012345670123456701234567012345670") |
| 170 | testformat("%# .34o", big, " 0o0012345670123456701234567012345670") |
| 171 | testformat("%#+.34o", big, "+0o0012345670123456701234567012345670") |
| 172 | testformat("%#-+.34o", big, "+0o0012345670123456701234567012345670") |
| 173 | testformat("%#-+37.34o", big, "+0o0012345670123456701234567012345670") |
| 174 | testformat("%#+37.34o", big, "+0o0012345670123456701234567012345670") |
| 175 | # next one gets one leading zero from precision |
| 176 | testformat("%.33o", big, "012345670123456701234567012345670") |
| 177 | # base marker shouldn't change that, since "0" is redundant |
| 178 | testformat("%#.33o", big, "0o012345670123456701234567012345670") |
| 179 | # but reduce precision, and base marker should add a zero |
| 180 | testformat("%#.32o", big, "0o12345670123456701234567012345670") |
| 181 | # one leading zero from precision, and another from "0" flag & width |
| 182 | testformat("%034.33o", big, "0012345670123456701234567012345670") |
| 183 | # base marker shouldn't change that |
| 184 | testformat("%0#34.33o", big, "0o012345670123456701234567012345670") |
| 185 | testformat("%o", float(big), "123456__________________________", 6) |
| 186 | # Some small ints, in both Python int and flavors). |
| 187 | testformat("%d", 42, "42") |
| 188 | testformat("%d", -42, "-42") |
| 189 | testformat("%d", 42, "42") |
| 190 | testformat("%d", -42, "-42") |
| 191 | testformat("%d", 42.0, "42") |
| 192 | testformat("%#x", 1, "0x1") |
| 193 | testformat("%#x", 1, "0x1") |
| 194 | testformat("%#X", 1, "0X1") |
| 195 | testformat("%#X", 1, "0X1") |
| 196 | testformat("%#x", 1.0, "0x1") |
| 197 | testformat("%#o", 1, "0o1") |
| 198 | testformat("%#o", 1, "0o1") |
| 199 | testformat("%#o", 0, "0o0") |
| 200 | testformat("%#o", 0, "0o0") |
| 201 | testformat("%o", 0, "0") |
| 202 | testformat("%o", 0, "0") |
| 203 | testformat("%d", 0, "0") |
| 204 | testformat("%d", 0, "0") |
| 205 | testformat("%#x", 0, "0x0") |
| 206 | testformat("%#x", 0, "0x0") |
| 207 | testformat("%#X", 0, "0X0") |
| 208 | testformat("%#X", 0, "0X0") |
| 209 | testformat("%x", 0x42, "42") |
| 210 | testformat("%x", -0x42, "-42") |
| 211 | testformat("%x", 0x42, "42") |
| 212 | testformat("%x", -0x42, "-42") |
| 213 | testformat("%x", float(0x42), "42") |
| 214 | testformat("%o", 0o42, "42") |
| 215 | testformat("%o", -0o42, "-42") |
| 216 | testformat("%o", 0o42, "42") |
| 217 | testformat("%o", -0o42, "-42") |
| 218 | testformat("%o", float(0o42), "42") |
| 219 | # Test exception for unknown format characters |
| 220 | if verbose: |
| 221 | print('Testing exceptions') |
| 222 | def test_exc(formatstr, args, exception, excmsg): |
| 223 | try: |
| 224 | testformat(formatstr, args) |
| 225 | except exception as exc: |
| 226 | if str(exc) == excmsg: |
| 227 | if verbose: |
| 228 | print("yes") |
| 229 | else: |
| 230 | if verbose: print('no') |
| 231 | print('Unexpected ', exception, ':', repr(str(exc))) |
| 232 | except: |
| 233 | if verbose: print('no') |
| 234 | print('Unexpected exception') |
| 235 | raise |
| 236 | else: |
| 237 | raise TestFailed('did not get expected exception: %s' % excmsg) |
| 238 | test_exc('abc %a', 1, ValueError, |
| 239 | "unsupported format character 'a' (0x61) at index 5") |
| 240 | #test_exc(unicode('abc %\u3000','raw-unicode-escape'), 1, ValueError, |
| 241 | # "unsupported format character '?' (0x3000) at index 5") |
| 242 | test_exc('%d', '1', TypeError, "%d format: a number is required, not str") |
| 243 | test_exc('%g', '1', TypeError, "a float is required") |
| 244 | test_exc('no format', '1', TypeError, |
| 245 | "not all arguments converted during string formatting") |
| 246 | test_exc('no format', '1', TypeError, |
| 247 | "not all arguments converted during string formatting") |
Marc-André Lemburg | d70141a | 2000-06-30 10:26:29 +0000 | [diff] [blame] | 248 | |
Christian Heimes | f6cd967 | 2008-03-26 13:45:42 +0000 | [diff] [blame] | 249 | if maxsize == 2**31-1: |
| 250 | # crashes 2.2.1 and earlier: |
| 251 | try: |
| 252 | "%*d"%(maxsize, -127) |
| 253 | except MemoryError: |
| 254 | pass |
| 255 | else: |
| 256 | raise TestFailed('"%*d"%(maxsize, -127) should fail') |
Guido van Rossum | b5a755e | 2007-07-18 18:15:48 +0000 | [diff] [blame] | 257 | |
Christian Heimes | f6cd967 | 2008-03-26 13:45:42 +0000 | [diff] [blame] | 258 | def test_main(): |
Benjamin Peterson | ee8712c | 2008-05-20 21:35:26 +0000 | [diff] [blame] | 259 | support.run_unittest(FormatTest) |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 260 | |
Tim Peters | 38fd5b6 | 2000-09-21 05:43:11 +0000 | [diff] [blame] | 261 | |
Christian Heimes | f6cd967 | 2008-03-26 13:45:42 +0000 | [diff] [blame] | 262 | if __name__ == "__main__": |
| 263 | unittest.main() |