blob: c7ec50fe51a667882d27bb906011a35810b25af3 [file] [log] [blame]
Brett Cannon6192df12008-05-10 02:58:26 +00001import test.test_support
2compiler = test.test_support.import_module('compiler', deprecated=True)
Neil Schemenauerf3694702005-06-02 05:55:20 +00003from compiler.ast import flatten
Neal Norwitz07c60712006-04-13 06:34:59 +00004import os, sys, time, unittest
Raymond Hettingered20ad82004-09-04 20:09:13 +00005from random import random
Eric Smith14cae962008-03-19 03:13:34 +00006from StringIO import StringIO
Jeremy Hylton4336eda2004-08-07 19:25:33 +00007
Neal Norwitz07c60712006-04-13 06:34:59 +00008# How much time in seconds can pass before we print a 'Still working' message.
9_PRINT_WORKING_MSG_INTERVAL = 5 * 60
10
Georg Brandlab496842007-01-27 17:43:02 +000011class TrivialContext(object):
12 def __enter__(self):
13 return self
14 def __exit__(self, *exc_info):
15 pass
16
Jeremy Hylton4336eda2004-08-07 19:25:33 +000017class CompilerTest(unittest.TestCase):
18
19 def testCompileLibrary(self):
20 # A simple but large test. Compile all the code in the
21 # standard library and its test suite. This doesn't verify
22 # that any of the code is correct, merely the compiler is able
23 # to generate some kind of code for it.
Tim Peters2841af42006-01-07 23:20:46 +000024
Neal Norwitz07c60712006-04-13 06:34:59 +000025 next_time = time.time() + _PRINT_WORKING_MSG_INTERVAL
Jeremy Hylton4336eda2004-08-07 19:25:33 +000026 libdir = os.path.dirname(unittest.__file__)
27 testdir = os.path.dirname(test.test_support.__file__)
28
29 for dir in [libdir, testdir]:
Tim Peters2a5f6562004-08-08 16:37:37 +000030 for basename in os.listdir(dir):
Neal Norwitz07c60712006-04-13 06:34:59 +000031 # Print still working message since this test can be really slow
32 if next_time <= time.time():
33 next_time = time.time() + _PRINT_WORKING_MSG_INTERVAL
34 print >>sys.__stdout__, \
35 ' testCompileLibrary still working, be patient...'
Neal Norwitzdd28d1c2006-04-28 04:34:43 +000036 sys.__stdout__.flush()
Neal Norwitz07c60712006-04-13 06:34:59 +000037
Tim Peters2a5f6562004-08-08 16:37:37 +000038 if not basename.endswith(".py"):
Jeremy Hylton4336eda2004-08-07 19:25:33 +000039 continue
Guido van Rossum5bde08d2006-03-02 04:24:01 +000040 if not TEST_ALL and random() < 0.98:
Raymond Hettingered20ad82004-09-04 20:09:13 +000041 continue
Tim Peters2a5f6562004-08-08 16:37:37 +000042 path = os.path.join(dir, basename)
Tim Petersb6ecc162004-08-08 16:32:54 +000043 if test.test_support.verbose:
Tim Peters2a5f6562004-08-08 16:37:37 +000044 print "compiling", path
Michael W. Hudson29589a02004-10-11 15:34:31 +000045 f = open(path, "U")
Jeremy Hylton4336eda2004-08-07 19:25:33 +000046 buf = f.read()
47 f.close()
Neal Norwitzf8950652005-10-24 00:01:37 +000048 if "badsyntax" in basename or "bad_coding" in basename:
Tim Peters0955f292004-08-08 16:43:59 +000049 self.assertRaises(SyntaxError, compiler.compile,
50 buf, basename, "exec")
51 else:
Martin v. Löwis15bfc3b2006-03-01 21:11:49 +000052 try:
53 compiler.compile(buf, basename, "exec")
54 except Exception, e:
Martin v. Löwisd9bfeac2006-03-01 23:24:34 +000055 args = list(e.args)
Christian Heimesc5f05e42008-02-23 17:40:11 +000056 args.append("in file %s]" % basename)
57 #args[0] += "[in file %s]" % basename
Martin v. Löwisd9bfeac2006-03-01 23:24:34 +000058 e.args = tuple(args)
Martin v. Löwis15bfc3b2006-03-01 21:11:49 +000059 raise
Jeremy Hylton4336eda2004-08-07 19:25:33 +000060
Brett Cannonf4189912005-04-09 02:30:16 +000061 def testNewClassSyntax(self):
62 compiler.compile("class foo():pass\n\n","<string>","exec")
Tim Peterse8906822005-04-20 17:45:13 +000063
Guido van Rossum5bde08d2006-03-02 04:24:01 +000064 def testYieldExpr(self):
65 compiler.compile("def g(): yield\n\n", "<string>", "exec")
66
Amaury Forgeot d'Arc67f24f12008-08-20 00:08:47 +000067 def testKeywordAfterStarargs(self):
68 def f(*args, **kwargs):
69 self.assertEqual((args, kwargs), ((2,3), {'x': 1, 'y': 4}))
70 c = compiler.compile('f(x=1, *(2, 3), y=4)', '<string>', 'exec')
71 exec c in {'f': f}
72
73 self.assertRaises(SyntaxError, compiler.parse, "foo(a=1, b)")
74 self.assertRaises(SyntaxError, compiler.parse, "foo(1, *args, 3)")
75
Georg Brandlf57c54d2006-06-22 14:46:46 +000076 def testTryExceptFinally(self):
77 # Test that except and finally clauses in one try stmt are recognized
78 c = compiler.compile("try:\n 1/0\nexcept:\n e = 1\nfinally:\n f = 1",
79 "<string>", "exec")
80 dct = {}
81 exec c in dct
82 self.assertEquals(dct.get('e'), 1)
83 self.assertEquals(dct.get('f'), 1)
84
Georg Brandl1bb62302006-05-03 18:18:32 +000085 def testDefaultArgs(self):
86 self.assertRaises(SyntaxError, compiler.parse, "def foo(a=1, b): pass")
87
Georg Brandledd9b0d2006-07-29 09:33:26 +000088 def testDocstrings(self):
89 c = compiler.compile('"doc"', '<string>', 'exec')
90 self.assert_('__doc__' in c.co_names)
91 c = compiler.compile('def f():\n "doc"', '<string>', 'exec')
92 g = {}
93 exec c in g
94 self.assertEquals(g['f'].__doc__, "doc")
95
Jeremy Hylton566d9342004-09-07 15:28:01 +000096 def testLineNo(self):
97 # Test that all nodes except Module have a correct lineno attribute.
98 filename = __file__
Georg Brandlb2afe852006-06-09 20:43:48 +000099 if filename.endswith((".pyc", ".pyo")):
Jeremy Hylton566d9342004-09-07 15:28:01 +0000100 filename = filename[:-1]
101 tree = compiler.parseFile(filename)
102 self.check_lineno(tree)
103
104 def check_lineno(self, node):
105 try:
106 self._check_lineno(node)
107 except AssertionError:
108 print node.__class__, node.lineno
109 raise
110
111 def _check_lineno(self, node):
112 if not node.__class__ in NOLINENO:
Tim Peters0e9980f2004-09-12 03:49:31 +0000113 self.assert_(isinstance(node.lineno, int),
Jeremy Hylton566d9342004-09-07 15:28:01 +0000114 "lineno=%s on %s" % (node.lineno, node.__class__))
Tim Peters0e9980f2004-09-12 03:49:31 +0000115 self.assert_(node.lineno > 0,
Jeremy Hylton566d9342004-09-07 15:28:01 +0000116 "lineno=%s on %s" % (node.lineno, node.__class__))
117 for child in node.getChildNodes():
118 self.check_lineno(child)
119
Neil Schemenauerf3694702005-06-02 05:55:20 +0000120 def testFlatten(self):
121 self.assertEquals(flatten([1, [2]]), [1, 2])
122 self.assertEquals(flatten((1, (2,))), [1, 2])
123
Neil Schemenauer06ded092006-08-04 16:20:30 +0000124 def testNestedScope(self):
125 c = compiler.compile('def g():\n'
126 ' a = 1\n'
127 ' def f(): return a + 2\n'
128 ' return f()\n'
129 'result = g()',
130 '<string>',
131 'exec')
132 dct = {}
133 exec c in dct
134 self.assertEquals(dct.get('result'), 3)
135
Neil Schemenauer4c6b0d52006-08-16 23:38:05 +0000136 def testGenExp(self):
137 c = compiler.compile('list((i,j) for i in range(3) if i < 3'
138 ' for j in range(4) if j > 2)',
139 '<string>',
140 'eval')
141 self.assertEquals(eval(c), [(0, 3), (1, 3), (2, 3)])
142
Georg Brandlab496842007-01-27 17:43:02 +0000143 def testWith(self):
144 # SF bug 1638243
145 c = compiler.compile('from __future__ import with_statement\n'
146 'def f():\n'
147 ' with TrivialContext():\n'
148 ' return 1\n'
149 'result = f()',
150 '<string>',
151 'exec' )
152 dct = {'TrivialContext': TrivialContext}
153 exec c in dct
154 self.assertEquals(dct.get('result'), 1)
155
156 def testWithAss(self):
157 c = compiler.compile('from __future__ import with_statement\n'
158 'def f():\n'
159 ' with TrivialContext() as tc:\n'
160 ' return 1\n'
161 'result = f()',
162 '<string>',
163 'exec' )
164 dct = {'TrivialContext': TrivialContext}
165 exec c in dct
166 self.assertEquals(dct.get('result'), 1)
167
Tim Petersb1ccc4d2006-08-04 22:00:35 +0000168
Eric Smith14cae962008-03-19 03:13:34 +0000169 def testPrintFunction(self):
170 c = compiler.compile('from __future__ import print_function\n'
171 'print("a", "b", sep="**", end="++", '
172 'file=output)',
173 '<string>',
174 'exec' )
175 dct = {'output': StringIO()}
176 exec c in dct
177 self.assertEquals(dct['output'].getvalue(), 'a**b++')
178
Martin v. Löwisa5136192007-09-04 14:19:28 +0000179 def _testErrEnc(self, src, text, offset):
180 try:
181 compile(src, "", "exec")
182 except SyntaxError, e:
183 self.assertEquals(e.offset, offset)
184 self.assertEquals(e.text, text)
185
186 def testSourceCodeEncodingsError(self):
187 # Test SyntaxError with encoding definition
188 sjis = "print '\x83\x70\x83\x43\x83\x5c\x83\x93', '\n"
189 ascii = "print '12345678', '\n"
190 encdef = "#! -*- coding: ShiftJIS -*-\n"
191
192 # ascii source without encdef
193 self._testErrEnc(ascii, ascii, 19)
194
195 # ascii source with encdef
196 self._testErrEnc(encdef+ascii, ascii, 19)
197
198 # non-ascii source with encdef
199 self._testErrEnc(encdef+sjis, sjis, 19)
200
201 # ShiftJIS source without encdef
202 self._testErrEnc(sjis, sjis, 19)
203
204
Jeremy Hylton566d9342004-09-07 15:28:01 +0000205NOLINENO = (compiler.ast.Module, compiler.ast.Stmt, compiler.ast.Discard)
206
207###############################################################################
208# code below is just used to trigger some possible errors, for the benefit of
209# testLineNo
210###############################################################################
211
212class Toto:
213 """docstring"""
214 pass
215
216a, b = 2, 3
217[c, d] = 5, 6
218l = [(x, y) for x, y in zip(range(5), range(5,10))]
219l[0]
220l[3:4]
Georg Brandlf57c54d2006-06-22 14:46:46 +0000221d = {'a': 2}
222d = {}
223t = ()
224t = (1, 2)
225l = []
226l = [1, 2]
Jeremy Hylton566d9342004-09-07 15:28:01 +0000227if l:
228 pass
229else:
230 a, b = b, a
231
232try:
233 print yo
234except:
235 yo = 3
236else:
237 yo += 3
Tim Peters0e9980f2004-09-12 03:49:31 +0000238
Jeremy Hylton566d9342004-09-07 15:28:01 +0000239try:
240 a += b
241finally:
242 b = 0
Tim Peters0e9980f2004-09-12 03:49:31 +0000243
Michael W. Hudsone0b855f2004-11-08 16:46:02 +0000244from math import *
245
Jeremy Hylton566d9342004-09-07 15:28:01 +0000246###############################################################################
247
Jeremy Hylton4336eda2004-08-07 19:25:33 +0000248def test_main():
Raymond Hettingered20ad82004-09-04 20:09:13 +0000249 global TEST_ALL
250 TEST_ALL = test.test_support.is_resource_enabled("compiler")
Jeremy Hylton4336eda2004-08-07 19:25:33 +0000251 test.test_support.run_unittest(CompilerTest)
252
253if __name__ == "__main__":
254 test_main()