blob: dfaee173ef725bf2372283010f34ac956212131f [file] [log] [blame]
Benjamin Peterson55e00f22008-08-17 18:02:44 +00001"""
2Test the API of the symtable module.
3"""
Neal Norwitz89886ab2005-11-25 03:15:49 +00004import symtable
Neal Norwitzcd3e2192006-01-23 07:49:36 +00005import unittest
Jeremy Hylton5e7cb242001-02-02 18:24:26 +00006
Jeremy Hylton5e7cb242001-02-02 18:24:26 +00007
Jeremy Hylton42d90162003-07-15 20:24:27 +00008
Benjamin Peterson55e00f22008-08-17 18:02:44 +00009TEST_CODE = """
10import sys
Jeremy Hyltonbc2a62f2005-10-20 14:27:21 +000011
Benjamin Peterson55e00f22008-08-17 18:02:44 +000012glob = 42
13
14class Mine:
15 instance_var = 24
16 def a_method(p1, p2):
17 pass
18
19def spam(a, b, *var, **kw):
20 global bar
21 bar = 47
22 x = 23
23 glob
24 def internal():
25 return x
26 return internal
27
28def foo():
29 pass
30
31def namespace_test(): pass
32def namespace_test(): pass
33"""
34
35
36def find_block(block, name):
37 for ch in block.get_children():
38 if ch.get_name() == name:
39 return ch
40
Neal Norwitzcd3e2192006-01-23 07:49:36 +000041
42class SymtableTest(unittest.TestCase):
Benjamin Peterson55e00f22008-08-17 18:02:44 +000043
44 top = symtable.symtable(TEST_CODE, "?", "exec")
45 # These correspond to scopes in TEST_CODE
46 Mine = find_block(top, "Mine")
47 a_method = find_block(Mine, "a_method")
48 spam = find_block(top, "spam")
49 internal = find_block(spam, "internal")
50 foo = find_block(top, "foo")
51
52 def test_type(self):
53 self.assertEqual(self.top.get_type(), "module")
54 self.assertEqual(self.Mine.get_type(), "class")
55 self.assertEqual(self.a_method.get_type(), "function")
56 self.assertEqual(self.spam.get_type(), "function")
57 self.assertEqual(self.internal.get_type(), "function")
58
59 def test_optimized(self):
60 self.assertFalse(self.top.is_optimized())
61 self.assertFalse(self.top.has_exec())
62
63 self.assertTrue(self.spam.is_optimized())
64
65 def test_nested(self):
66 self.assertFalse(self.top.is_nested())
67 self.assertFalse(self.Mine.is_nested())
68 self.assertFalse(self.spam.is_nested())
69 self.assertTrue(self.internal.is_nested())
70
71 def test_children(self):
72 self.assertTrue(self.top.has_children())
73 self.assertTrue(self.Mine.has_children())
74 self.assertFalse(self.foo.has_children())
75
76 def test_lineno(self):
77 self.assertEqual(self.top.get_lineno(), 0)
78 self.assertEqual(self.spam.get_lineno(), 11)
79
80 def test_function_info(self):
81 func = self.spam
Benjamin Petersonb462da82012-01-03 16:23:11 -060082 self.assertEqual(sorted(func.get_parameters()), ["a", "b", "kw", "var"])
Benjamin Petersona8d70372012-01-03 16:24:39 -060083 expected = ["a", "b", "internal", "kw", "var", "x"]
Benjamin Petersonb462da82012-01-03 16:23:11 -060084 self.assertEqual(sorted(func.get_locals()), expected)
85 self.assertEqual(sorted(func.get_globals()), ["bar", "glob"])
Benjamin Petersonb71caf12008-08-20 12:55:31 +000086 self.assertEqual(self.internal.get_frees(), ("x",))
Benjamin Peterson55e00f22008-08-17 18:02:44 +000087
88 def test_globals(self):
89 self.assertTrue(self.spam.lookup("glob").is_global())
Jeremy Hyltonf37708e2009-03-31 15:26:37 +000090 self.assertFalse(self.spam.lookup("glob").is_declared_global())
Benjamin Peterson55e00f22008-08-17 18:02:44 +000091 self.assertTrue(self.spam.lookup("bar").is_global())
Jeremy Hyltonf37708e2009-03-31 15:26:37 +000092 self.assertTrue(self.spam.lookup("bar").is_declared_global())
Benjamin Peterson55e00f22008-08-17 18:02:44 +000093 self.assertFalse(self.internal.lookup("x").is_global())
94 self.assertFalse(self.Mine.lookup("instance_var").is_global())
95
96 def test_local(self):
97 self.assertTrue(self.spam.lookup("x").is_local())
98 self.assertFalse(self.internal.lookup("x").is_local())
99
100 def test_referenced(self):
101 self.assertTrue(self.internal.lookup("x").is_referenced())
102 self.assertTrue(self.spam.lookup("internal").is_referenced())
103 self.assertFalse(self.spam.lookup("x").is_referenced())
104
105 def test_parameters(self):
106 for sym in ("a", "var", "kw"):
107 self.assertTrue(self.spam.lookup(sym).is_parameter())
108 self.assertFalse(self.spam.lookup("x").is_parameter())
109
110 def test_symbol_lookup(self):
111 self.assertEqual(len(self.top.get_identifiers()),
112 len(self.top.get_symbols()))
113
114 self.assertRaises(KeyError, self.top.lookup, "not_here")
115
116 def test_namespaces(self):
117 self.assertTrue(self.top.lookup("Mine").is_namespace())
118 self.assertTrue(self.Mine.lookup("a_method").is_namespace())
119 self.assertTrue(self.top.lookup("spam").is_namespace())
120 self.assertTrue(self.spam.lookup("internal").is_namespace())
121 self.assertTrue(self.top.lookup("namespace_test").is_namespace())
122 self.assertFalse(self.spam.lookup("x").is_namespace())
123
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000124 self.assertTrue(self.top.lookup("spam").get_namespace() is self.spam)
Benjamin Peterson55e00f22008-08-17 18:02:44 +0000125 ns_test = self.top.lookup("namespace_test")
126 self.assertEqual(len(ns_test.get_namespaces()), 2)
127 self.assertRaises(ValueError, ns_test.get_namespace)
128
129 def test_assigned(self):
130 self.assertTrue(self.spam.lookup("x").is_assigned())
131 self.assertTrue(self.spam.lookup("bar").is_assigned())
132 self.assertTrue(self.top.lookup("spam").is_assigned())
133 self.assertTrue(self.Mine.lookup("a_method").is_assigned())
134 self.assertFalse(self.internal.lookup("x").is_assigned())
135
Yury Selivanovf8cb8a12016-09-08 20:50:03 -0700136 def test_annotated(self):
137 st1 = symtable.symtable('def f():\n x: int\n', 'test', 'exec')
138 st2 = st1.get_children()[0]
139 self.assertTrue(st2.lookup('x').is_local())
140 self.assertTrue(st2.lookup('x').is_annotated())
141 self.assertFalse(st2.lookup('x').is_global())
142 st3 = symtable.symtable('def f():\n x = 1\n', 'test', 'exec')
143 st4 = st3.get_children()[0]
144 self.assertTrue(st4.lookup('x').is_local())
145 self.assertFalse(st4.lookup('x').is_annotated())
146
Benjamin Peterson55e00f22008-08-17 18:02:44 +0000147 def test_imported(self):
148 self.assertTrue(self.top.lookup("sys").is_imported())
149
150 def test_name(self):
151 self.assertEqual(self.top.get_name(), "top")
152 self.assertEqual(self.spam.get_name(), "spam")
153 self.assertEqual(self.spam.lookup("x").get_name(), "x")
154 self.assertEqual(self.Mine.get_name(), "Mine")
155
156 def test_class_info(self):
Benjamin Petersonb71caf12008-08-20 12:55:31 +0000157 self.assertEqual(self.Mine.get_methods(), ('a_method',))
Benjamin Peterson55e00f22008-08-17 18:02:44 +0000158
159 def test_filename_correct(self):
160 ### Bug tickler: SyntaxError file name correct whether error raised
161 ### while parsing or building symbol table.
Serhiy Storchaka8b583392016-12-11 14:39:01 +0200162 def checkfilename(brokencode, offset):
Benjamin Peterson55e00f22008-08-17 18:02:44 +0000163 try:
164 symtable.symtable(brokencode, "spam", "exec")
165 except SyntaxError as e:
166 self.assertEqual(e.filename, "spam")
Serhiy Storchaka8b583392016-12-11 14:39:01 +0200167 self.assertEqual(e.lineno, 1)
168 self.assertEqual(e.offset, offset)
Benjamin Peterson55e00f22008-08-17 18:02:44 +0000169 else:
170 self.fail("no SyntaxError for %r" % (brokencode,))
Serhiy Storchaka8b583392016-12-11 14:39:01 +0200171 checkfilename("def f(x): foo)(", 14) # parse-time
172 checkfilename("def f(x): global x", 10) # symtable-build-time
Serhiy Storchaka9305d832016-06-18 13:53:36 +0300173 symtable.symtable("pass", b"spam", "exec")
Serhiy Storchakafebc3322016-08-06 23:29:29 +0300174 with self.assertWarns(DeprecationWarning), \
175 self.assertRaises(TypeError):
Serhiy Storchaka9305d832016-06-18 13:53:36 +0300176 symtable.symtable("pass", bytearray(b"spam"), "exec")
Serhiy Storchakafebc3322016-08-06 23:29:29 +0300177 with self.assertWarns(DeprecationWarning):
178 symtable.symtable("pass", memoryview(b"spam"), "exec")
Serhiy Storchaka9305d832016-06-18 13:53:36 +0300179 with self.assertRaises(TypeError):
180 symtable.symtable("pass", list(b"spam"), "exec")
Neal Norwitzcd3e2192006-01-23 07:49:36 +0000181
182 def test_eval(self):
183 symbols = symtable.symtable("42", "?", "eval")
184
185 def test_single(self):
186 symbols = symtable.symtable("42", "?", "single")
187
188 def test_exec(self):
189 symbols = symtable.symtable("def f(x): return x", "?", "exec")
190
191
Neal Norwitzcd3e2192006-01-23 07:49:36 +0000192if __name__ == '__main__':
Zachary Ware38c707e2015-04-13 15:00:43 -0500193 unittest.main()