Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 1 | r"""Test correct treatment of various string literals by the parser. |
| 2 | |
| 3 | There are four types of string literals: |
| 4 | |
Antoine Pitrou | 3a5d4cb | 2012-01-12 22:46:19 +0100 | [diff] [blame] | 5 | 'abc' -- normal str |
| 6 | r'abc' -- raw str |
| 7 | b'xyz' -- normal bytes |
| 8 | br'xyz' | rb'xyz' -- raw bytes |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 9 | |
| 10 | The difference between normal and raw strings is of course that in a |
| 11 | raw string, \ escapes (while still used to determine the end of the |
| 12 | literal) are not interpreted, so that r'\x00' contains four |
| 13 | characters: a backslash, an x, and two zeros; while '\x00' contains a |
| 14 | single character (code point zero). |
| 15 | |
| 16 | The tricky thing is what should happen when non-ASCII bytes are used |
| 17 | inside literals. For bytes literals, this is considered illegal. But |
| 18 | for str literals, those bytes are supposed to be decoded using the |
| 19 | encoding declared for the file (UTF-8 by default). |
| 20 | |
| 21 | We have to test this with various file encodings. We also test it with |
| 22 | exec()/eval(), which uses a different code path. |
| 23 | |
| 24 | This file is really about correct treatment of encodings and |
Ezio Melotti | 1392500 | 2011-03-16 11:05:33 +0200 | [diff] [blame] | 25 | backslashes. It doesn't concern itself with issues like single |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 26 | vs. double quotes or singly- vs. triply-quoted strings: that's dealt |
| 27 | with elsewhere (I assume). |
| 28 | """ |
| 29 | |
| 30 | import os |
| 31 | import sys |
| 32 | import shutil |
| 33 | import tempfile |
| 34 | import unittest |
Antoine Pitrou | bbf5361 | 2012-01-12 22:36:48 +0100 | [diff] [blame] | 35 | import test.support |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 36 | |
| 37 | |
| 38 | TEMPLATE = r"""# coding: %s |
| 39 | a = 'x' |
| 40 | assert ord(a) == 120 |
| 41 | b = '\x01' |
| 42 | assert ord(b) == 1 |
| 43 | c = r'\x01' |
| 44 | assert list(map(ord, c)) == [92, 120, 48, 49] |
| 45 | d = '\x81' |
| 46 | assert ord(d) == 0x81 |
| 47 | e = r'\x81' |
| 48 | assert list(map(ord, e)) == [92, 120, 56, 49] |
| 49 | f = '\u1881' |
| 50 | assert ord(f) == 0x1881 |
| 51 | g = r'\u1881' |
| 52 | assert list(map(ord, g)) == [92, 117, 49, 56, 56, 49] |
| 53 | """ |
| 54 | |
| 55 | |
| 56 | def byte(i): |
| 57 | return bytes([i]) |
| 58 | |
| 59 | |
| 60 | class TestLiterals(unittest.TestCase): |
| 61 | |
| 62 | def setUp(self): |
| 63 | self.save_path = sys.path[:] |
| 64 | self.tmpdir = tempfile.mkdtemp() |
| 65 | sys.path.insert(0, self.tmpdir) |
| 66 | |
| 67 | def tearDown(self): |
| 68 | sys.path = self.save_path |
| 69 | shutil.rmtree(self.tmpdir, ignore_errors=True) |
| 70 | |
| 71 | def test_template(self): |
| 72 | # Check that the template doesn't contain any non-printables |
| 73 | # except for \n. |
| 74 | for c in TEMPLATE: |
| 75 | assert c == '\n' or ' ' <= c <= '~', repr(c) |
| 76 | |
| 77 | def test_eval_str_normal(self): |
| 78 | self.assertEqual(eval(""" 'x' """), 'x') |
| 79 | self.assertEqual(eval(r""" '\x01' """), chr(1)) |
| 80 | self.assertEqual(eval(""" '\x01' """), chr(1)) |
| 81 | self.assertEqual(eval(r""" '\x81' """), chr(0x81)) |
| 82 | self.assertEqual(eval(""" '\x81' """), chr(0x81)) |
| 83 | self.assertEqual(eval(r""" '\u1881' """), chr(0x1881)) |
| 84 | self.assertEqual(eval(""" '\u1881' """), chr(0x1881)) |
| 85 | |
| 86 | def test_eval_str_raw(self): |
| 87 | self.assertEqual(eval(""" r'x' """), 'x') |
| 88 | self.assertEqual(eval(r""" r'\x01' """), '\\' + 'x01') |
| 89 | self.assertEqual(eval(""" r'\x01' """), chr(1)) |
| 90 | self.assertEqual(eval(r""" r'\x81' """), '\\' + 'x81') |
| 91 | self.assertEqual(eval(""" r'\x81' """), chr(0x81)) |
| 92 | self.assertEqual(eval(r""" r'\u1881' """), '\\' + 'u1881') |
| 93 | self.assertEqual(eval(""" r'\u1881' """), chr(0x1881)) |
| 94 | |
| 95 | def test_eval_bytes_normal(self): |
| 96 | self.assertEqual(eval(""" b'x' """), b'x') |
| 97 | self.assertEqual(eval(r""" b'\x01' """), byte(1)) |
| 98 | self.assertEqual(eval(""" b'\x01' """), byte(1)) |
| 99 | self.assertEqual(eval(r""" b'\x81' """), byte(0x81)) |
| 100 | self.assertRaises(SyntaxError, eval, """ b'\x81' """) |
| 101 | self.assertEqual(eval(r""" b'\u1881' """), b'\\' + b'u1881') |
| 102 | self.assertRaises(SyntaxError, eval, """ b'\u1881' """) |
| 103 | |
| 104 | def test_eval_bytes_raw(self): |
| 105 | self.assertEqual(eval(""" br'x' """), b'x') |
Antoine Pitrou | 3a5d4cb | 2012-01-12 22:46:19 +0100 | [diff] [blame] | 106 | self.assertEqual(eval(""" rb'x' """), b'x') |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 107 | self.assertEqual(eval(r""" br'\x01' """), b'\\' + b'x01') |
Antoine Pitrou | 3a5d4cb | 2012-01-12 22:46:19 +0100 | [diff] [blame] | 108 | self.assertEqual(eval(r""" rb'\x01' """), b'\\' + b'x01') |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 109 | self.assertEqual(eval(""" br'\x01' """), byte(1)) |
Antoine Pitrou | 3a5d4cb | 2012-01-12 22:46:19 +0100 | [diff] [blame] | 110 | self.assertEqual(eval(""" rb'\x01' """), byte(1)) |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 111 | self.assertEqual(eval(r""" br'\x81' """), b"\\" + b"x81") |
Antoine Pitrou | 3a5d4cb | 2012-01-12 22:46:19 +0100 | [diff] [blame] | 112 | self.assertEqual(eval(r""" rb'\x81' """), b"\\" + b"x81") |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 113 | self.assertRaises(SyntaxError, eval, """ br'\x81' """) |
Antoine Pitrou | 3a5d4cb | 2012-01-12 22:46:19 +0100 | [diff] [blame] | 114 | self.assertRaises(SyntaxError, eval, """ rb'\x81' """) |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 115 | self.assertEqual(eval(r""" br'\u1881' """), b"\\" + b"u1881") |
Antoine Pitrou | 3a5d4cb | 2012-01-12 22:46:19 +0100 | [diff] [blame] | 116 | self.assertEqual(eval(r""" rb'\u1881' """), b"\\" + b"u1881") |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 117 | self.assertRaises(SyntaxError, eval, """ br'\u1881' """) |
Antoine Pitrou | 3a5d4cb | 2012-01-12 22:46:19 +0100 | [diff] [blame] | 118 | self.assertRaises(SyntaxError, eval, """ rb'\u1881' """) |
| 119 | self.assertRaises(SyntaxError, eval, """ bb'' """) |
| 120 | self.assertRaises(SyntaxError, eval, """ rr'' """) |
| 121 | self.assertRaises(SyntaxError, eval, """ brr'' """) |
| 122 | self.assertRaises(SyntaxError, eval, """ bbr'' """) |
| 123 | self.assertRaises(SyntaxError, eval, """ rrb'' """) |
| 124 | self.assertRaises(SyntaxError, eval, """ rbb'' """) |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 125 | |
| 126 | def check_encoding(self, encoding, extra=""): |
| 127 | modname = "xx_" + encoding.replace("-", "_") |
| 128 | fn = os.path.join(self.tmpdir, modname + ".py") |
| 129 | f = open(fn, "w", encoding=encoding) |
| 130 | try: |
| 131 | f.write(TEMPLATE % encoding) |
| 132 | f.write(extra) |
| 133 | finally: |
| 134 | f.close() |
| 135 | __import__(modname) |
| 136 | del sys.modules[modname] |
| 137 | |
| 138 | def test_file_utf_8(self): |
| 139 | extra = "z = '\u1234'; assert ord(z) == 0x1234\n" |
| 140 | self.check_encoding("utf-8", extra) |
| 141 | |
| 142 | def test_file_utf_8_error(self): |
| 143 | extra = "b'\x80'\n" |
| 144 | self.assertRaises(SyntaxError, self.check_encoding, "utf-8", extra) |
| 145 | |
| 146 | def test_file_utf8(self): |
Marc-André Lemburg | 8f36af7 | 2011-02-25 15:42:01 +0000 | [diff] [blame] | 147 | self.check_encoding("utf-8") |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 148 | |
| 149 | def test_file_iso_8859_1(self): |
| 150 | self.check_encoding("iso-8859-1") |
| 151 | |
| 152 | def test_file_latin_1(self): |
| 153 | self.check_encoding("latin-1") |
| 154 | |
| 155 | def test_file_latin9(self): |
| 156 | self.check_encoding("latin9") |
| 157 | |
| 158 | |
Antoine Pitrou | bbf5361 | 2012-01-12 22:36:48 +0100 | [diff] [blame] | 159 | def test_main(): |
| 160 | test.support.run_unittest(__name__) |
| 161 | |
Guido van Rossum | 29fd712 | 2007-11-12 01:13:56 +0000 | [diff] [blame] | 162 | if __name__ == "__main__": |
Antoine Pitrou | bbf5361 | 2012-01-12 22:36:48 +0100 | [diff] [blame] | 163 | test_main() |