Walter Dörwald | 1f5947b | 2007-05-22 16:52:54 +0000 | [diff] [blame] | 1 | from test.test_support import TestFailed |
Guido van Rossum | 24512e6 | 2000-03-06 21:00:29 +0000 | [diff] [blame] | 2 | |
| 3 | class base_set: |
| 4 | |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 5 | def __init__(self, el): |
| 6 | self.el = el |
Guido van Rossum | 24512e6 | 2000-03-06 21:00:29 +0000 | [diff] [blame] | 7 | |
| 8 | class set(base_set): |
| 9 | |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 10 | def __contains__(self, el): |
| 11 | return self.el == el |
Guido van Rossum | 24512e6 | 2000-03-06 21:00:29 +0000 | [diff] [blame] | 12 | |
| 13 | class seq(base_set): |
| 14 | |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 15 | def __getitem__(self, n): |
| 16 | return [self.el][n] |
Guido van Rossum | 24512e6 | 2000-03-06 21:00:29 +0000 | [diff] [blame] | 17 | |
| 18 | def check(ok, *args): |
| 19 | if not ok: |
Collin Winter | 3add4d7 | 2007-08-29 23:37:32 +0000 | [diff] [blame] | 20 | raise TestFailed(" ".join(map(str, args))) |
Guido van Rossum | 24512e6 | 2000-03-06 21:00:29 +0000 | [diff] [blame] | 21 | |
| 22 | a = base_set(1) |
| 23 | b = set(1) |
| 24 | c = seq(1) |
| 25 | |
| 26 | check(1 in b, "1 not in set(1)") |
| 27 | check(0 not in b, "0 in set(1)") |
| 28 | check(1 in c, "1 not in seq(1)") |
| 29 | check(0 not in c, "0 in seq(1)") |
| 30 | |
| 31 | try: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 32 | 1 in a |
| 33 | check(0, "in base_set did not raise error") |
Tim Peters | de9725f | 2001-05-05 10:06:17 +0000 | [diff] [blame] | 34 | except TypeError: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 35 | pass |
Guido van Rossum | 24512e6 | 2000-03-06 21:00:29 +0000 | [diff] [blame] | 36 | |
| 37 | try: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 38 | 1 not in a |
| 39 | check(0, "not in base_set did not raise error") |
Tim Peters | de9725f | 2001-05-05 10:06:17 +0000 | [diff] [blame] | 40 | except TypeError: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 41 | pass |
Guido van Rossum | da2361a | 2000-03-07 15:52:01 +0000 | [diff] [blame] | 42 | |
| 43 | # Test char in string |
| 44 | |
| 45 | check('c' in 'abc', "'c' not in 'abc'") |
| 46 | check('d' not in 'abc', "'d' in 'abc'") |
| 47 | |
Barry Warsaw | 817918c | 2002-08-06 16:58:21 +0000 | [diff] [blame] | 48 | check('' in '', "'' not in ''") |
| 49 | check('' in 'abc', "'' not in 'abc'") |
Guido van Rossum | da2361a | 2000-03-07 15:52:01 +0000 | [diff] [blame] | 50 | |
| 51 | try: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 52 | None in 'abc' |
| 53 | check(0, "None in 'abc' did not raise error") |
Guido van Rossum | da2361a | 2000-03-07 15:52:01 +0000 | [diff] [blame] | 54 | except TypeError: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 55 | pass |
Guido van Rossum | 45ad3c4 | 2000-04-10 13:52:13 +0000 | [diff] [blame] | 56 | |
Guido van Rossum | 45ad3c4 | 2000-04-10 13:52:13 +0000 | [diff] [blame] | 57 | |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 58 | # A collection of tests on builtin sequence types |
Guido van Rossum | 805365e | 2007-05-07 22:24:25 +0000 | [diff] [blame] | 59 | a = list(range(10)) |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 60 | for i in a: |
Walter Dörwald | 70a6b49 | 2004-02-12 17:35:32 +0000 | [diff] [blame] | 61 | check(i in a, "%r not in %r" % (i, a)) |
| 62 | check(16 not in a, "16 not in %r" % (a,)) |
| 63 | check(a not in a, "%s not in %r" % (a, a)) |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 64 | |
| 65 | a = tuple(a) |
| 66 | for i in a: |
Walter Dörwald | 70a6b49 | 2004-02-12 17:35:32 +0000 | [diff] [blame] | 67 | check(i in a, "%r not in %r" % (i, a)) |
| 68 | check(16 not in a, "16 not in %r" % (a,)) |
| 69 | check(a not in a, "%r not in %r" % (a, a)) |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 70 | |
| 71 | class Deviant1: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 72 | """Behaves strangely when compared |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 73 | |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 74 | This class is designed to make sure that the contains code |
| 75 | works when the list is modified during the check. |
| 76 | """ |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 77 | |
Guido van Rossum | 805365e | 2007-05-07 22:24:25 +0000 | [diff] [blame] | 78 | aList = list(range(15)) |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 79 | |
| 80 | def __cmp__(self, other): |
| 81 | if other == 12: |
| 82 | self.aList.remove(12) |
| 83 | self.aList.remove(13) |
| 84 | self.aList.remove(14) |
| 85 | return 1 |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 86 | |
| 87 | check(Deviant1() not in Deviant1.aList, "Deviant1 failed") |
| 88 | |
| 89 | class Deviant2: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 90 | """Behaves strangely when compared |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 91 | |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 92 | This class raises an exception during comparison. That in |
| 93 | turn causes the comparison to fail with a TypeError. |
| 94 | """ |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 95 | |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 96 | def __cmp__(self, other): |
| 97 | if other == 4: |
Collin Winter | 3add4d7 | 2007-08-29 23:37:32 +0000 | [diff] [blame] | 98 | raise RuntimeError("gotcha") |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 99 | |
| 100 | try: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 101 | check(Deviant2() not in a, "oops") |
Jeremy Hylton | 035a07e | 2000-04-27 21:40:08 +0000 | [diff] [blame] | 102 | except TypeError: |
Fred Drake | 004d5e6 | 2000-10-23 17:22:08 +0000 | [diff] [blame] | 103 | pass |