blob: 606ed700dfd049ad072c1ae6e72494add0fdb1fb [file] [log] [blame]
Jeremy Hylton4336eda2004-08-07 19:25:33 +00001import compiler
Neil Schemenauerf3694702005-06-02 05:55:20 +00002from compiler.ast import flatten
Neal Norwitz07c60712006-04-13 06:34:59 +00003import os, sys, time, unittest
Jeremy Hylton4336eda2004-08-07 19:25:33 +00004import test.test_support
Raymond Hettingered20ad82004-09-04 20:09:13 +00005from random import random
Jeremy Hylton4336eda2004-08-07 19:25:33 +00006
Neal Norwitz07c60712006-04-13 06:34:59 +00007# How much time in seconds can pass before we print a 'Still working' message.
8_PRINT_WORKING_MSG_INTERVAL = 5 * 60
9
Georg Brandlab496842007-01-27 17:43:02 +000010class TrivialContext(object):
11 def __enter__(self):
12 return self
13 def __exit__(self, *exc_info):
14 pass
15
Jeremy Hylton4336eda2004-08-07 19:25:33 +000016class CompilerTest(unittest.TestCase):
17
18 def testCompileLibrary(self):
19 # A simple but large test. Compile all the code in the
20 # standard library and its test suite. This doesn't verify
21 # that any of the code is correct, merely the compiler is able
22 # to generate some kind of code for it.
Tim Peters2841af42006-01-07 23:20:46 +000023
Neal Norwitz07c60712006-04-13 06:34:59 +000024 next_time = time.time() + _PRINT_WORKING_MSG_INTERVAL
Jeremy Hylton4336eda2004-08-07 19:25:33 +000025 libdir = os.path.dirname(unittest.__file__)
26 testdir = os.path.dirname(test.test_support.__file__)
27
28 for dir in [libdir, testdir]:
Tim Peters2a5f6562004-08-08 16:37:37 +000029 for basename in os.listdir(dir):
Neal Norwitz07c60712006-04-13 06:34:59 +000030 # Print still working message since this test can be really slow
31 if next_time <= time.time():
32 next_time = time.time() + _PRINT_WORKING_MSG_INTERVAL
33 print >>sys.__stdout__, \
34 ' testCompileLibrary still working, be patient...'
Neal Norwitzdd28d1c2006-04-28 04:34:43 +000035 sys.__stdout__.flush()
Neal Norwitz07c60712006-04-13 06:34:59 +000036
Tim Peters2a5f6562004-08-08 16:37:37 +000037 if not basename.endswith(".py"):
Jeremy Hylton4336eda2004-08-07 19:25:33 +000038 continue
Guido van Rossum5bde08d2006-03-02 04:24:01 +000039 if not TEST_ALL and random() < 0.98:
Raymond Hettingered20ad82004-09-04 20:09:13 +000040 continue
Tim Peters2a5f6562004-08-08 16:37:37 +000041 path = os.path.join(dir, basename)
Tim Petersb6ecc162004-08-08 16:32:54 +000042 if test.test_support.verbose:
Tim Peters2a5f6562004-08-08 16:37:37 +000043 print "compiling", path
Michael W. Hudson29589a02004-10-11 15:34:31 +000044 f = open(path, "U")
Jeremy Hylton4336eda2004-08-07 19:25:33 +000045 buf = f.read()
46 f.close()
Neal Norwitzf8950652005-10-24 00:01:37 +000047 if "badsyntax" in basename or "bad_coding" in basename:
Tim Peters0955f292004-08-08 16:43:59 +000048 self.assertRaises(SyntaxError, compiler.compile,
49 buf, basename, "exec")
50 else:
Martin v. Löwis15bfc3b2006-03-01 21:11:49 +000051 try:
52 compiler.compile(buf, basename, "exec")
53 except Exception, e:
Martin v. Löwisd9bfeac2006-03-01 23:24:34 +000054 args = list(e.args)
55 args[0] += "[in file %s]" % basename
56 e.args = tuple(args)
Martin v. Löwis15bfc3b2006-03-01 21:11:49 +000057 raise
Jeremy Hylton4336eda2004-08-07 19:25:33 +000058
Brett Cannonf4189912005-04-09 02:30:16 +000059 def testNewClassSyntax(self):
60 compiler.compile("class foo():pass\n\n","<string>","exec")
Tim Peterse8906822005-04-20 17:45:13 +000061
Guido van Rossum5bde08d2006-03-02 04:24:01 +000062 def testYieldExpr(self):
63 compiler.compile("def g(): yield\n\n", "<string>", "exec")
64
Georg Brandlf57c54d2006-06-22 14:46:46 +000065 def testTryExceptFinally(self):
66 # Test that except and finally clauses in one try stmt are recognized
67 c = compiler.compile("try:\n 1/0\nexcept:\n e = 1\nfinally:\n f = 1",
68 "<string>", "exec")
69 dct = {}
70 exec c in dct
71 self.assertEquals(dct.get('e'), 1)
72 self.assertEquals(dct.get('f'), 1)
73
Georg Brandl1bb62302006-05-03 18:18:32 +000074 def testDefaultArgs(self):
75 self.assertRaises(SyntaxError, compiler.parse, "def foo(a=1, b): pass")
76
Georg Brandledd9b0d2006-07-29 09:33:26 +000077 def testDocstrings(self):
78 c = compiler.compile('"doc"', '<string>', 'exec')
79 self.assert_('__doc__' in c.co_names)
80 c = compiler.compile('def f():\n "doc"', '<string>', 'exec')
81 g = {}
82 exec c in g
83 self.assertEquals(g['f'].__doc__, "doc")
84
Jeremy Hylton566d9342004-09-07 15:28:01 +000085 def testLineNo(self):
86 # Test that all nodes except Module have a correct lineno attribute.
87 filename = __file__
Georg Brandlb2afe852006-06-09 20:43:48 +000088 if filename.endswith((".pyc", ".pyo")):
Jeremy Hylton566d9342004-09-07 15:28:01 +000089 filename = filename[:-1]
90 tree = compiler.parseFile(filename)
91 self.check_lineno(tree)
92
93 def check_lineno(self, node):
94 try:
95 self._check_lineno(node)
96 except AssertionError:
97 print node.__class__, node.lineno
98 raise
99
100 def _check_lineno(self, node):
101 if not node.__class__ in NOLINENO:
Tim Peters0e9980f2004-09-12 03:49:31 +0000102 self.assert_(isinstance(node.lineno, int),
Jeremy Hylton566d9342004-09-07 15:28:01 +0000103 "lineno=%s on %s" % (node.lineno, node.__class__))
Tim Peters0e9980f2004-09-12 03:49:31 +0000104 self.assert_(node.lineno > 0,
Jeremy Hylton566d9342004-09-07 15:28:01 +0000105 "lineno=%s on %s" % (node.lineno, node.__class__))
106 for child in node.getChildNodes():
107 self.check_lineno(child)
108
Neil Schemenauerf3694702005-06-02 05:55:20 +0000109 def testFlatten(self):
110 self.assertEquals(flatten([1, [2]]), [1, 2])
111 self.assertEquals(flatten((1, (2,))), [1, 2])
112
Neil Schemenauer06ded092006-08-04 16:20:30 +0000113 def testNestedScope(self):
114 c = compiler.compile('def g():\n'
115 ' a = 1\n'
116 ' def f(): return a + 2\n'
117 ' return f()\n'
118 'result = g()',
119 '<string>',
120 'exec')
121 dct = {}
122 exec c in dct
123 self.assertEquals(dct.get('result'), 3)
124
Neil Schemenauer4c6b0d52006-08-16 23:38:05 +0000125 def testGenExp(self):
126 c = compiler.compile('list((i,j) for i in range(3) if i < 3'
127 ' for j in range(4) if j > 2)',
128 '<string>',
129 'eval')
130 self.assertEquals(eval(c), [(0, 3), (1, 3), (2, 3)])
131
Georg Brandlab496842007-01-27 17:43:02 +0000132 def testWith(self):
133 # SF bug 1638243
134 c = compiler.compile('from __future__ import with_statement\n'
135 'def f():\n'
136 ' with TrivialContext():\n'
137 ' return 1\n'
138 'result = f()',
139 '<string>',
140 'exec' )
141 dct = {'TrivialContext': TrivialContext}
142 exec c in dct
143 self.assertEquals(dct.get('result'), 1)
144
145 def testWithAss(self):
146 c = compiler.compile('from __future__ import with_statement\n'
147 'def f():\n'
148 ' with TrivialContext() as tc:\n'
149 ' return 1\n'
150 'result = f()',
151 '<string>',
152 'exec' )
153 dct = {'TrivialContext': TrivialContext}
154 exec c in dct
155 self.assertEquals(dct.get('result'), 1)
156
Tim Petersb1ccc4d2006-08-04 22:00:35 +0000157
Martin v. Löwisa5136192007-09-04 14:19:28 +0000158 def _testErrEnc(self, src, text, offset):
159 try:
160 compile(src, "", "exec")
161 except SyntaxError, e:
162 self.assertEquals(e.offset, offset)
163 self.assertEquals(e.text, text)
164
165 def testSourceCodeEncodingsError(self):
166 # Test SyntaxError with encoding definition
167 sjis = "print '\x83\x70\x83\x43\x83\x5c\x83\x93', '\n"
168 ascii = "print '12345678', '\n"
169 encdef = "#! -*- coding: ShiftJIS -*-\n"
170
171 # ascii source without encdef
172 self._testErrEnc(ascii, ascii, 19)
173
174 # ascii source with encdef
175 self._testErrEnc(encdef+ascii, ascii, 19)
176
177 # non-ascii source with encdef
178 self._testErrEnc(encdef+sjis, sjis, 19)
179
180 # ShiftJIS source without encdef
181 self._testErrEnc(sjis, sjis, 19)
182
183
Jeremy Hylton566d9342004-09-07 15:28:01 +0000184NOLINENO = (compiler.ast.Module, compiler.ast.Stmt, compiler.ast.Discard)
185
186###############################################################################
187# code below is just used to trigger some possible errors, for the benefit of
188# testLineNo
189###############################################################################
190
191class Toto:
192 """docstring"""
193 pass
194
195a, b = 2, 3
196[c, d] = 5, 6
197l = [(x, y) for x, y in zip(range(5), range(5,10))]
198l[0]
199l[3:4]
Georg Brandlf57c54d2006-06-22 14:46:46 +0000200d = {'a': 2}
201d = {}
202t = ()
203t = (1, 2)
204l = []
205l = [1, 2]
Jeremy Hylton566d9342004-09-07 15:28:01 +0000206if l:
207 pass
208else:
209 a, b = b, a
210
211try:
212 print yo
213except:
214 yo = 3
215else:
216 yo += 3
Tim Peters0e9980f2004-09-12 03:49:31 +0000217
Jeremy Hylton566d9342004-09-07 15:28:01 +0000218try:
219 a += b
220finally:
221 b = 0
Tim Peters0e9980f2004-09-12 03:49:31 +0000222
Michael W. Hudsone0b855f2004-11-08 16:46:02 +0000223from math import *
224
Jeremy Hylton566d9342004-09-07 15:28:01 +0000225###############################################################################
226
Jeremy Hylton4336eda2004-08-07 19:25:33 +0000227def test_main():
Raymond Hettingered20ad82004-09-04 20:09:13 +0000228 global TEST_ALL
229 TEST_ALL = test.test_support.is_resource_enabled("compiler")
Jeremy Hylton4336eda2004-08-07 19:25:33 +0000230 test.test_support.run_unittest(CompilerTest)
231
232if __name__ == "__main__":
233 test_main()