From d5ceb4896708c638bd6fd5371e99afd7a85bea20 Mon Sep 17 00:00:00 2001 From: Stefan Behnel Date: Thu, 25 Nov 2010 08:09:30 +0100 Subject: [PATCH] copied boolean tests from CPython's regr tests --- tests/run/python_bool_type.pyx | 200 +++++++++++++++++++++++++++++++++ 1 file changed, 200 insertions(+) create mode 100644 tests/run/python_bool_type.pyx diff --git a/tests/run/python_bool_type.pyx b/tests/run/python_bool_type.pyx new file mode 100644 index 00000000..8e3ce97f --- /dev/null +++ b/tests/run/python_bool_type.pyx @@ -0,0 +1,200 @@ + +# tests copied from test/test_bool.py in Py2.7 + +cdef assertEqual(a,b): + assert a == b, '%r != %r' % (a,b) + +cdef assertIs(a,b): + assert a is b, '%r is not %r' % (a,b) + +cdef assertIsNot(a,b): + assert a is not b, '%r is %r' % (a,b) + +cdef assertNotIsInstance(a,b): + assert not isinstance(a,b), 'isinstance(%r, %s)' % (a,b) + + +def test_int(): + """ + >>> test_int() + """ + assertEqual(int(False), 0) + assertIsNot(int(False), False) + assertEqual(int(True), 1) + assertIsNot(int(True), True) + +def test_float(): + """ + >>> test_float() + """ + assertEqual(float(False), 0.0) + assertIsNot(float(False), False) + assertEqual(float(True), 1.0) + assertIsNot(float(True), True) + +def test_repr(): + """ + >>> test_repr() + """ + assertEqual(repr(False), 'False') + assertEqual(repr(True), 'True') + assertEqual(eval(repr(False)), False) + assertEqual(eval(repr(True)), True) + +def test_str(): + """ + >>> test_str() + """ + assertEqual(str(False), 'False') + assertEqual(str(True), 'True') + +def test_math(): + """ + >>> test_math() + """ + assertEqual(+False, 0) + assertIsNot(+False, False) + assertEqual(-False, 0) + assertIsNot(-False, False) + assertEqual(abs(False), 0) + assertIsNot(abs(False), False) + assertEqual(+True, 1) + assertIsNot(+True, True) + assertEqual(-True, -1) + assertEqual(abs(True), 1) + assertIsNot(abs(True), True) + assertEqual(~False, -1) + assertEqual(~True, -2) + + assertEqual(False+2, 2) + assertEqual(True+2, 3) + assertEqual(2+False, 2) + assertEqual(2+True, 3) + + assertEqual(False+False, 0) + assertIsNot(False+False, False) + assertEqual(False+True, 1) + assertIsNot(False+True, True) + assertEqual(True+False, 1) + assertIsNot(True+False, True) + assertEqual(True+True, 2) + + assertEqual(True-True, 0) + assertIsNot(True-True, False) + assertEqual(False-False, 0) + assertIsNot(False-False, False) + assertEqual(True-False, 1) + assertIsNot(True-False, True) + assertEqual(False-True, -1) + + assertEqual(True*1, 1) + assertEqual(False*1, 0) + assertIsNot(False*1, False) + + assertEqual(True/1, 1) + assertIsNot(True/1, True) + assertEqual(False/1, 0) + assertIsNot(False/1, False) + + for b in False, True: + for i in 0, 1, 2: + assertEqual(b**i, int(b)**i) + assertIsNot(b**i, bool(int(b)**i)) + + for a in False, True: + for b in False, True: + assertIs(a&b, bool(int(a)&int(b))) + assertIs(a|b, bool(int(a)|int(b))) + assertIs(a^b, bool(int(a)^int(b))) + assertEqual(a&int(b), int(a)&int(b)) + assertIsNot(a&int(b), bool(int(a)&int(b))) + assertEqual(a|int(b), int(a)|int(b)) + assertIsNot(a|int(b), bool(int(a)|int(b))) + assertEqual(a^int(b), int(a)^int(b)) + assertIsNot(a^int(b), bool(int(a)^int(b))) + assertEqual(int(a)&b, int(a)&int(b)) + assertIsNot(int(a)&b, bool(int(a)&int(b))) + assertEqual(int(a)|b, int(a)|int(b)) + assertIsNot(int(a)|b, bool(int(a)|int(b))) + assertEqual(int(a)^b, int(a)^int(b)) + assertIsNot(int(a)^b, bool(int(a)^int(b))) + + assertIs(1==1, True) + assertIs(1==0, False) + assertIs(0<1, True) + assertIs(1<0, False) + assertIs(0<=0, True) + assertIs(1<=0, False) + assertIs(1>0, True) + assertIs(1>1, False) + assertIs(1>=1, True) + assertIs(0>=1, False) + assertIs(0!=1, True) + assertIs(0!=0, False) + + x = [1] + assertIs(x is x, True) + assertIs(x is not x, False) + + assertIs(1 in x, True) + assertIs(0 in x, False) + assertIs(1 not in x, False) + assertIs(0 not in x, True) + + x = {1: 2} + assertIs(x is x, True) + assertIs(x is not x, False) + + assertIs(1 in x, True) + assertIs(0 in x, False) + assertIs(1 not in x, False) + assertIs(0 not in x, True) + + assertIs(not True, False) + assertIs(not False, True) + +def test_convert(): + """ + >>> test_convert() + """ + assertIs(bool(10), True) + assertIs(bool(1), True) + assertIs(bool(-1), True) + assertIs(bool(0), False) + assertIs(bool("hello"), True) + assertIs(bool(""), False) + assertIs(bool(), False) + +def test_isinstance(): + """ + >>> test_isinstance() + """ + assertIs(isinstance(True, bool), True) + assertIs(isinstance(False, bool), True) + assertIs(isinstance(True, int), True) + assertIs(isinstance(False, int), True) + assertIs(isinstance(1, bool), False) + assertIs(isinstance(0, bool), False) + +def test_issubclass(): + """ + >>> test_issubclass() + """ + assertIs(issubclass(bool, int), True) + assertIs(issubclass(int, bool), False) + +def test_boolean(): + """ + >>> test_boolean() + """ + assertEqual(True & 1, 1) + assertNotIsInstance(True & 1, bool) + assertIs(True & True, True) + + assertEqual(True | 1, 1) + assertNotIsInstance(True | 1, bool) + assertIs(True | True, True) + + assertEqual(True ^ 1, 0) + assertNotIsInstance(True ^ 1, bool) + assertIs(True ^ True, False) -- 2.26.2