Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 1 | "Test the functionality of Python classes implementing operators." |
| 2 | |
Barry Warsaw | 408b6d3 | 2002-07-30 23:27:12 +0000 | [diff] [blame] | 3 | from test.test_support import TestFailed |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 4 | |
| 5 | testmeths = [ |
| 6 | |
| 7 | # Binary operations |
| 8 | "add", |
| 9 | "radd", |
| 10 | "sub", |
| 11 | "rsub", |
| 12 | "mul", |
| 13 | "rmul", |
Neal Norwitz | bcc0db8 | 2006-03-24 08:14:36 +0000 | [diff] [blame] | 14 | "truediv", |
| 15 | "rtruediv", |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 16 | "mod", |
| 17 | "rmod", |
| 18 | "divmod", |
| 19 | "rdivmod", |
| 20 | "pow", |
| 21 | "rpow", |
| 22 | "rshift", |
| 23 | "rrshift", |
| 24 | "lshift", |
| 25 | "rlshift", |
| 26 | "and", |
| 27 | "rand", |
| 28 | "or", |
| 29 | "ror", |
| 30 | "xor", |
| 31 | "rxor", |
| 32 | |
| 33 | # List/dict operations |
| 34 | "contains", |
| 35 | "getitem", |
| 36 | "getslice", |
| 37 | "setitem", |
| 38 | "setslice", |
| 39 | "delitem", |
| 40 | "delslice", |
| 41 | |
| 42 | # Unary operations |
| 43 | "neg", |
| 44 | "pos", |
| 45 | "abs", |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 46 | |
| 47 | # generic operations |
| 48 | "init", |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 49 | ] |
| 50 | |
| 51 | # These need to return something other than None |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 52 | # "hash", |
| 53 | # "str", |
| 54 | # "repr", |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 55 | # "int", |
| 56 | # "long", |
| 57 | # "float", |
| 58 | # "oct", |
| 59 | # "hex", |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 60 | |
| 61 | # These are separate because they can influence the test of other methods. |
| 62 | # "getattr", |
| 63 | # "setattr", |
| 64 | # "delattr", |
| 65 | |
| 66 | class AllTests: |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 67 | def __hash__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 68 | print("__hash__:", args) |
Trent Mick | d68d0a6 | 2000-10-04 17:50:59 +0000 | [diff] [blame] | 69 | return hash(id(self)) |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 70 | |
| 71 | def __str__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 72 | print("__str__:", args) |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 73 | return "AllTests" |
| 74 | |
| 75 | def __repr__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 76 | print("__repr__:", args) |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 77 | return "AllTests" |
| 78 | |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 79 | def __int__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 80 | print("__int__:", args) |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 81 | return 1 |
| 82 | |
| 83 | def __float__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 84 | print("__float__:", args) |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 85 | return 1.0 |
| 86 | |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 87 | def __oct__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 88 | print("__oct__:", args) |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 89 | return '01' |
| 90 | |
| 91 | def __hex__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 92 | print("__hex__:", args) |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 93 | return '0x1' |
| 94 | |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 95 | def __cmp__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 96 | print("__cmp__:", args) |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 97 | return 0 |
| 98 | |
Guido van Rossum | 47b9ff6 | 2006-08-24 00:41:19 +0000 | [diff] [blame] | 99 | def __eq__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 100 | print("__eq__:", args) |
Guido van Rossum | 47b9ff6 | 2006-08-24 00:41:19 +0000 | [diff] [blame] | 101 | return True |
| 102 | |
| 103 | def __ne__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 104 | print("__ne__:", args) |
Guido van Rossum | 47b9ff6 | 2006-08-24 00:41:19 +0000 | [diff] [blame] | 105 | return False |
| 106 | |
| 107 | def __lt__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 108 | print("__lt__:", args) |
Guido van Rossum | 47b9ff6 | 2006-08-24 00:41:19 +0000 | [diff] [blame] | 109 | return False |
| 110 | |
| 111 | def __le__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 112 | print("__le__:", args) |
Guido van Rossum | 47b9ff6 | 2006-08-24 00:41:19 +0000 | [diff] [blame] | 113 | return True |
| 114 | |
| 115 | def __gt__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 116 | print("__gt__:", args) |
Guido van Rossum | 47b9ff6 | 2006-08-24 00:41:19 +0000 | [diff] [blame] | 117 | return False |
| 118 | |
| 119 | def __ge__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 120 | print("__ge__:", args) |
Guido van Rossum | 47b9ff6 | 2006-08-24 00:41:19 +0000 | [diff] [blame] | 121 | return True |
| 122 | |
Barry Warsaw | 07d8d64 | 2001-08-20 20:29:07 +0000 | [diff] [blame] | 123 | def __del__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 124 | print("__del__:", args) |
Barry Warsaw | 07d8d64 | 2001-08-20 20:29:07 +0000 | [diff] [blame] | 125 | |
Tim Peters | 0170521 | 2001-12-11 19:28:47 +0000 | [diff] [blame] | 126 | # Synthesize AllTests methods from the names in testmeths. |
| 127 | |
| 128 | method_template = """\ |
| 129 | def __%(method)s__(self, *args): |
Georg Brandl | 88fc664 | 2007-02-09 21:28:07 +0000 | [diff] [blame] | 130 | print("__%(method)s__:", args) |
Tim Peters | 0170521 | 2001-12-11 19:28:47 +0000 | [diff] [blame] | 131 | """ |
| 132 | |
Thomas Wouters | 4cdada9 | 2006-04-15 09:19:16 +0000 | [diff] [blame] | 133 | d = {} |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 134 | for method in testmeths: |
Georg Brandl | 7cae87c | 2006-09-06 06:51:57 +0000 | [diff] [blame] | 135 | exec(method_template % locals(), d) |
Thomas Wouters | 4cdada9 | 2006-04-15 09:19:16 +0000 | [diff] [blame] | 136 | for k in d: |
| 137 | setattr(AllTests, k, d[k]) |
| 138 | del d, k |
Tim Peters | 0170521 | 2001-12-11 19:28:47 +0000 | [diff] [blame] | 139 | del method, method_template |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 140 | |
| 141 | # this also tests __init__ of course. |
| 142 | testme = AllTests() |
| 143 | |
| 144 | # Binary operations |
| 145 | |
| 146 | testme + 1 |
| 147 | 1 + testme |
| 148 | |
| 149 | testme - 1 |
| 150 | 1 - testme |
| 151 | |
| 152 | testme * 1 |
| 153 | 1 * testme |
| 154 | |
Neal Norwitz | bcc0db8 | 2006-03-24 08:14:36 +0000 | [diff] [blame] | 155 | testme / 1 |
| 156 | 1 / testme |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 157 | |
| 158 | testme % 1 |
| 159 | 1 % testme |
| 160 | |
| 161 | divmod(testme,1) |
| 162 | divmod(1, testme) |
| 163 | |
| 164 | testme ** 1 |
| 165 | 1 ** testme |
| 166 | |
| 167 | testme >> 1 |
| 168 | 1 >> testme |
| 169 | |
| 170 | testme << 1 |
| 171 | 1 << testme |
| 172 | |
| 173 | testme & 1 |
| 174 | 1 & testme |
| 175 | |
| 176 | testme | 1 |
| 177 | 1 | testme |
| 178 | |
| 179 | testme ^ 1 |
| 180 | 1 ^ testme |
| 181 | |
| 182 | |
| 183 | # List/dict operations |
| 184 | |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 185 | class Empty: pass |
| 186 | |
| 187 | try: |
| 188 | 1 in Empty() |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 189 | print('failed, should have raised TypeError') |
Thomas Wouters | 89f507f | 2006-12-13 04:49:30 +0000 | [diff] [blame] | 190 | except TypeError: |
| 191 | pass |
| 192 | |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 193 | 1 in testme |
| 194 | |
| 195 | testme[1] |
| 196 | testme[1] = 1 |
| 197 | del testme[1] |
| 198 | |
| 199 | testme[:42] |
| 200 | testme[:42] = "The Answer" |
| 201 | del testme[:42] |
| 202 | |
| 203 | testme[2:1024:10] |
| 204 | testme[2:1024:10] = "A lot" |
| 205 | del testme[2:1024:10] |
| 206 | |
| 207 | testme[:42, ..., :24:, 24, 100] |
| 208 | testme[:42, ..., :24:, 24, 100] = "Strange" |
| 209 | del testme[:42, ..., :24:, 24, 100] |
| 210 | |
| 211 | |
| 212 | # Now remove the slice hooks to see if converting normal slices to slice |
| 213 | # object works. |
| 214 | |
| 215 | del AllTests.__getslice__ |
| 216 | del AllTests.__setslice__ |
| 217 | del AllTests.__delslice__ |
| 218 | |
Barry Warsaw | 07d8d64 | 2001-08-20 20:29:07 +0000 | [diff] [blame] | 219 | import sys |
| 220 | if sys.platform[:4] != 'java': |
| 221 | testme[:42] |
| 222 | testme[:42] = "The Answer" |
| 223 | del testme[:42] |
| 224 | else: |
| 225 | # This works under Jython, but the actual slice values are |
| 226 | # different. |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 227 | print("__getitem__: (slice(0, 42, None),)") |
| 228 | print("__setitem__: (slice(0, 42, None), 'The Answer')") |
| 229 | print("__delitem__: (slice(0, 42, None),)") |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 230 | |
| 231 | # Unary operations |
| 232 | |
| 233 | -testme |
| 234 | +testme |
| 235 | abs(testme) |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 236 | int(testme) |
Guido van Rossum | e2a383d | 2007-01-15 16:59:06 +0000 | [diff] [blame] | 237 | int(testme) |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 238 | float(testme) |
| 239 | oct(testme) |
| 240 | hex(testme) |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 241 | |
| 242 | # And the rest... |
| 243 | |
| 244 | hash(testme) |
| 245 | repr(testme) |
| 246 | str(testme) |
| 247 | |
| 248 | testme == 1 |
| 249 | testme < 1 |
| 250 | testme > 1 |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 251 | testme != 1 |
| 252 | 1 == testme |
| 253 | 1 < testme |
| 254 | 1 > testme |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 255 | 1 != testme |
| 256 | |
| 257 | # This test has to be last (duh.) |
| 258 | |
| 259 | del testme |
Barry Warsaw | 07d8d64 | 2001-08-20 20:29:07 +0000 | [diff] [blame] | 260 | if sys.platform[:4] == 'java': |
| 261 | import java |
| 262 | java.lang.System.gc() |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 263 | |
| 264 | # Interfering tests |
| 265 | |
| 266 | class ExtraTests: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 267 | def __getattr__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 268 | print("__getattr__:", args) |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 269 | return "SomeVal" |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 270 | |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 271 | def __setattr__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 272 | print("__setattr__:", args) |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 273 | |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 274 | def __delattr__(self, *args): |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 275 | print("__delattr__:", args) |
Thomas Wouters | 1d75a79 | 2000-08-17 22:37:32 +0000 | [diff] [blame] | 276 | |
| 277 | testme = ExtraTests() |
| 278 | testme.spam |
| 279 | testme.eggs = "spam, spam, spam and ham" |
| 280 | del testme.cardinal |
Guido van Rossum | 2312024 | 2001-01-18 23:47:15 +0000 | [diff] [blame] | 281 | |
| 282 | |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 283 | # return values of some method are type-checked |
| 284 | class BadTypeClass: |
| 285 | def __int__(self): |
| 286 | return None |
| 287 | __float__ = __int__ |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 288 | __str__ = __int__ |
| 289 | __repr__ = __int__ |
| 290 | __oct__ = __int__ |
| 291 | __hex__ = __int__ |
| 292 | |
| 293 | def check_exc(stmt, exception): |
| 294 | """Raise TestFailed if executing 'stmt' does not raise 'exception' |
| 295 | """ |
| 296 | try: |
Georg Brandl | 7cae87c | 2006-09-06 06:51:57 +0000 | [diff] [blame] | 297 | exec(stmt) |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 298 | except exception: |
| 299 | pass |
| 300 | else: |
| 301 | raise TestFailed, "%s should raise %s" % (stmt, exception) |
| 302 | |
| 303 | check_exc("int(BadTypeClass())", TypeError) |
| 304 | check_exc("float(BadTypeClass())", TypeError) |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 305 | check_exc("str(BadTypeClass())", TypeError) |
| 306 | check_exc("repr(BadTypeClass())", TypeError) |
| 307 | check_exc("oct(BadTypeClass())", TypeError) |
| 308 | check_exc("hex(BadTypeClass())", TypeError) |
| 309 | |
Guido van Rossum | 2312024 | 2001-01-18 23:47:15 +0000 | [diff] [blame] | 310 | # Test correct errors from hash() on objects with comparisons but no __hash__ |
| 311 | |
| 312 | class C0: |
| 313 | pass |
| 314 | |
| 315 | hash(C0()) # This should work; the next two should raise TypeError |
| 316 | |
| 317 | class C1: |
| 318 | def __cmp__(self, other): return 0 |
| 319 | |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 320 | check_exc("hash(C1())", TypeError) |
Guido van Rossum | 2312024 | 2001-01-18 23:47:15 +0000 | [diff] [blame] | 321 | |
| 322 | class C2: |
| 323 | def __eq__(self, other): return 1 |
| 324 | |
Neil Schemenauer | 3a313e3 | 2004-07-19 16:29:17 +0000 | [diff] [blame] | 325 | check_exc("hash(C2())", TypeError) |
Guido van Rossum | 16b93b3 | 2002-06-13 21:32:51 +0000 | [diff] [blame] | 326 | |
| 327 | # Test for SF bug 532646 |
| 328 | |
| 329 | class A: |
| 330 | pass |
| 331 | A.__call__ = A() |
| 332 | a = A() |
| 333 | try: |
| 334 | a() # This should not segfault |
| 335 | except RuntimeError: |
| 336 | pass |
| 337 | else: |
| 338 | raise TestFailed, "how could this not have overflowed the stack?" |
Guido van Rossum | 2c9590f | 2002-10-29 19:08:29 +0000 | [diff] [blame] | 339 | |
| 340 | |
| 341 | # Tests for exceptions raised in instance_getattr2(). |
| 342 | |
| 343 | def booh(self): |
| 344 | raise AttributeError, "booh" |
| 345 | |
| 346 | class A: |
| 347 | a = property(booh) |
| 348 | try: |
| 349 | A().a # Raised AttributeError: A instance has no attribute 'a' |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 350 | except AttributeError as x: |
Michael W. Hudson | abb103b | 2005-05-04 11:59:38 +0000 | [diff] [blame] | 351 | if str(x) != "booh": |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 352 | print("attribute error for A().a got masked:", str(x)) |
Guido van Rossum | 2c9590f | 2002-10-29 19:08:29 +0000 | [diff] [blame] | 353 | |
| 354 | class E: |
| 355 | __eq__ = property(booh) |
| 356 | E() == E() # In debug mode, caused a C-level assert() to fail |
| 357 | |
| 358 | class I: |
| 359 | __init__ = property(booh) |
| 360 | try: |
| 361 | I() # In debug mode, printed XXX undetected error and raises AttributeError |
Guido van Rossum | b940e11 | 2007-01-10 16:19:56 +0000 | [diff] [blame] | 362 | except AttributeError as x: |
Guido van Rossum | 2c9590f | 2002-10-29 19:08:29 +0000 | [diff] [blame] | 363 | pass |
| 364 | else: |
Guido van Rossum | be19ed7 | 2007-02-09 05:37:30 +0000 | [diff] [blame] | 365 | print("attribute error for I.__init__ got masked") |
Thomas Wouters | 73e5a5b | 2006-06-08 15:35:45 +0000 | [diff] [blame] | 366 | |
| 367 | |
| 368 | # Test comparison and hash of methods |
| 369 | class A: |
| 370 | def __init__(self, x): |
| 371 | self.x = x |
| 372 | def f(self): |
| 373 | pass |
| 374 | def g(self): |
| 375 | pass |
| 376 | def __eq__(self, other): |
| 377 | return self.x == other.x |
| 378 | def __hash__(self): |
| 379 | return self.x |
| 380 | class B(A): |
| 381 | pass |
| 382 | |
| 383 | a1 = A(1) |
| 384 | a2 = A(2) |
| 385 | assert a1.f == a1.f |
| 386 | assert a1.f != a2.f |
| 387 | assert a1.f != a1.g |
| 388 | assert a1.f == A(1).f |
| 389 | assert hash(a1.f) == hash(a1.f) |
| 390 | assert hash(a1.f) == hash(A(1).f) |
| 391 | |
| 392 | assert A.f != a1.f |
| 393 | assert A.f != A.g |
| 394 | assert B.f == A.f |
| 395 | assert hash(B.f) == hash(A.f) |
| 396 | |
| 397 | # the following triggers a SystemError in 2.4 |
| 398 | a = A(hash(A.f.im_func)^(-1)) |
| 399 | hash(a.f) |