blob: 783a34c9a94b3ceacb51827ab56cb66138f619b9 [file] [log] [blame]
Jeremy Hylton4336eda2004-08-07 19:25:33 +00001import compiler
Neil Schemenauerf3694702005-06-02 05:55:20 +00002from compiler.ast import flatten
Thomas Wouters49fd7fa2006-04-21 10:40:58 +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
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00007# How much time in seconds can pass before we print a 'Still working' message.
8_PRINT_WORKING_MSG_INTERVAL = 5 * 60
9
Jeremy Hylton4336eda2004-08-07 19:25:33 +000010class CompilerTest(unittest.TestCase):
11
12 def testCompileLibrary(self):
13 # A simple but large test. Compile all the code in the
14 # standard library and its test suite. This doesn't verify
15 # that any of the code is correct, merely the compiler is able
16 # to generate some kind of code for it.
Tim Peters2841af42006-01-07 23:20:46 +000017
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000018 next_time = time.time() + _PRINT_WORKING_MSG_INTERVAL
Jeremy Hylton4336eda2004-08-07 19:25:33 +000019 libdir = os.path.dirname(unittest.__file__)
20 testdir = os.path.dirname(test.test_support.__file__)
21
Guido van Rossumf59677a2006-11-22 04:55:53 +000022 for dir in [libdir, testdir]:
23 for basename in os.listdir(dir):
24 # Print still working message since this test can be really slow
25 if next_time <= time.time():
26 next_time = time.time() + _PRINT_WORKING_MSG_INTERVAL
27 print >>sys.__stdout__, \
28 ' testCompileLibrary still working, be patient...'
29 sys.__stdout__.flush()
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000030
Guido van Rossumf59677a2006-11-22 04:55:53 +000031 if not basename.endswith(".py"):
32 continue
33 if not TEST_ALL and random() < 0.98:
34 continue
35 path = os.path.join(dir, basename)
36 if test.test_support.verbose:
37 print "compiling", path
38 f = open(path, "U")
39 buf = f.read()
40 f.close()
41 if "badsyntax" in basename or "bad_coding" in basename:
42 self.assertRaises(SyntaxError, compiler.compile,
43 buf, basename, "exec")
44 else:
45 try:
46 compiler.compile(buf, basename, "exec")
47 except Exception, e:
48 args = list(e.args)
49 args[0] += "[in file %s]" % basename
50 e.args = tuple(args)
51 raise
Jeremy Hylton4336eda2004-08-07 19:25:33 +000052
Brett Cannonf4189912005-04-09 02:30:16 +000053 def testNewClassSyntax(self):
54 compiler.compile("class foo():pass\n\n","<string>","exec")
Tim Peterse8906822005-04-20 17:45:13 +000055
Guido van Rossum5bde08d2006-03-02 04:24:01 +000056 def testYieldExpr(self):
57 compiler.compile("def g(): yield\n\n", "<string>", "exec")
58
Thomas Wouters0e3f5912006-08-11 14:57:12 +000059 def testTryExceptFinally(self):
60 # Test that except and finally clauses in one try stmt are recognized
61 c = compiler.compile("try:\n 1/0\nexcept:\n e = 1\nfinally:\n f = 1",
62 "<string>", "exec")
63 dct = {}
Georg Brandl7cae87c2006-09-06 06:51:57 +000064 exec(c, dct)
Thomas Wouters0e3f5912006-08-11 14:57:12 +000065 self.assertEquals(dct.get('e'), 1)
66 self.assertEquals(dct.get('f'), 1)
67
Thomas Wouters477c8d52006-05-27 19:21:47 +000068 def testDefaultArgs(self):
69 self.assertRaises(SyntaxError, compiler.parse, "def foo(a=1, b): pass")
70
Thomas Wouters0e3f5912006-08-11 14:57:12 +000071 def testDocstrings(self):
72 c = compiler.compile('"doc"', '<string>', 'exec')
73 self.assert_('__doc__' in c.co_names)
74 c = compiler.compile('def f():\n "doc"', '<string>', 'exec')
75 g = {}
Georg Brandl7cae87c2006-09-06 06:51:57 +000076 exec(c, g)
Thomas Wouters0e3f5912006-08-11 14:57:12 +000077 self.assertEquals(g['f'].__doc__, "doc")
78
Jeremy Hylton566d9342004-09-07 15:28:01 +000079 def testLineNo(self):
80 # Test that all nodes except Module have a correct lineno attribute.
81 filename = __file__
Thomas Wouters0e3f5912006-08-11 14:57:12 +000082 if filename.endswith((".pyc", ".pyo")):
Jeremy Hylton566d9342004-09-07 15:28:01 +000083 filename = filename[:-1]
84 tree = compiler.parseFile(filename)
85 self.check_lineno(tree)
86
87 def check_lineno(self, node):
88 try:
89 self._check_lineno(node)
90 except AssertionError:
91 print node.__class__, node.lineno
92 raise
93
94 def _check_lineno(self, node):
95 if not node.__class__ in NOLINENO:
Tim Peters0e9980f2004-09-12 03:49:31 +000096 self.assert_(isinstance(node.lineno, int),
Jeremy Hylton566d9342004-09-07 15:28:01 +000097 "lineno=%s on %s" % (node.lineno, node.__class__))
Tim Peters0e9980f2004-09-12 03:49:31 +000098 self.assert_(node.lineno > 0,
Jeremy Hylton566d9342004-09-07 15:28:01 +000099 "lineno=%s on %s" % (node.lineno, node.__class__))
100 for child in node.getChildNodes():
101 self.check_lineno(child)
102
Neil Schemenauerf3694702005-06-02 05:55:20 +0000103 def testFlatten(self):
104 self.assertEquals(flatten([1, [2]]), [1, 2])
105 self.assertEquals(flatten((1, (2,))), [1, 2])
106
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000107 def testNestedScope(self):
108 c = compiler.compile('def g():\n'
109 ' a = 1\n'
110 ' def f(): return a + 2\n'
111 ' return f()\n'
112 'result = g()',
113 '<string>',
114 'exec')
115 dct = {}
Georg Brandl7cae87c2006-09-06 06:51:57 +0000116 exec(c, dct)
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000117 self.assertEquals(dct.get('result'), 3)
118
Thomas Wouters00ee7ba2006-08-21 19:07:27 +0000119 def testGenExp(self):
120 c = compiler.compile('list((i,j) for i in range(3) if i < 3'
121 ' for j in range(4) if j > 2)',
122 '<string>',
123 'eval')
124 self.assertEquals(eval(c), [(0, 3), (1, 3), (2, 3)])
125
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000126
Jeremy Hylton566d9342004-09-07 15:28:01 +0000127NOLINENO = (compiler.ast.Module, compiler.ast.Stmt, compiler.ast.Discard)
128
129###############################################################################
130# code below is just used to trigger some possible errors, for the benefit of
131# testLineNo
132###############################################################################
133
134class Toto:
135 """docstring"""
136 pass
137
138a, b = 2, 3
139[c, d] = 5, 6
140l = [(x, y) for x, y in zip(range(5), range(5,10))]
141l[0]
142l[3:4]
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000143d = {'a': 2}
144d = {}
145t = ()
146t = (1, 2)
147l = []
148l = [1, 2]
Jeremy Hylton566d9342004-09-07 15:28:01 +0000149if l:
150 pass
151else:
152 a, b = b, a
153
154try:
155 print yo
156except:
157 yo = 3
158else:
159 yo += 3
Tim Peters0e9980f2004-09-12 03:49:31 +0000160
Jeremy Hylton566d9342004-09-07 15:28:01 +0000161try:
162 a += b
163finally:
164 b = 0
Tim Peters0e9980f2004-09-12 03:49:31 +0000165
Michael W. Hudsone0b855f2004-11-08 16:46:02 +0000166from math import *
167
Jeremy Hylton566d9342004-09-07 15:28:01 +0000168###############################################################################
169
Jeremy Hylton4336eda2004-08-07 19:25:33 +0000170def test_main():
Raymond Hettingered20ad82004-09-04 20:09:13 +0000171 global TEST_ALL
172 TEST_ALL = test.test_support.is_resource_enabled("compiler")
Jeremy Hylton4336eda2004-08-07 19:25:33 +0000173 test.test_support.run_unittest(CompilerTest)
174
175if __name__ == "__main__":
176 test_main()