blob: aa76b44b8e481aeb76240bf95fa91c0c95e98c84 [file] [log] [blame]
Guido van Rossum3bead091992-01-27 17:00:37 +00001# Python test set -- part 1, grammar.
2# This just tests whether the parser accepts them all.
3
Guido van Rossumf0253f22002-08-29 14:57:26 +00004# NOTE: When you run this test as a script from the command line, you
5# get warnings about certain hex/oct constants. Since those are
6# issued by the parser, you can't suppress them by adding a
7# filterwarnings() call to this module. Therefore, to shut up the
8# regression test, the filterwarnings() call has been added to
9# regrtest.py.
10
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000011from test.test_support import TestFailed, verify, vereq, check_syntax
Jeremy Hylton7d3dff22001-10-10 01:45:02 +000012import sys
Guido van Rossum3bead091992-01-27 17:00:37 +000013
14print '1. Parser'
15
16print '1.1 Tokens'
17
18print '1.1.1 Backslashes'
19
20# Backslash means line continuation:
21x = 1 \
22+ 1
Fred Drake132dce22000-12-12 23:11:42 +000023if x != 2: raise TestFailed, 'backslash for line continuation'
Guido van Rossum3bead091992-01-27 17:00:37 +000024
25# Backslash does not means continuation in comments :\
26x = 0
Fred Drake132dce22000-12-12 23:11:42 +000027if x != 0: raise TestFailed, 'backslash ending comment'
Guido van Rossum3bead091992-01-27 17:00:37 +000028
29print '1.1.2 Numeric literals'
30
31print '1.1.2.1 Plain integers'
Fred Drake132dce22000-12-12 23:11:42 +000032if 0xff != 255: raise TestFailed, 'hex int'
33if 0377 != 255: raise TestFailed, 'octal int'
Guido van Rossumdd8cb441993-12-29 15:33:08 +000034if 2147483647 != 017777777777: raise TestFailed, 'large positive int'
35try:
Fred Drake004d5e62000-10-23 17:22:08 +000036 from sys import maxint
Guido van Rossumdd8cb441993-12-29 15:33:08 +000037except ImportError:
Fred Drake004d5e62000-10-23 17:22:08 +000038 maxint = 2147483647
Guido van Rossumdd8cb441993-12-29 15:33:08 +000039if maxint == 2147483647:
Guido van Rossum66b12592003-02-12 16:57:47 +000040 # The following test will start to fail in Python 2.4;
41 # change the 020000000000 to -020000000000
Guido van Rossum6c9e1302003-11-29 23:52:13 +000042 if -2147483647-1 != -020000000000: raise TestFailed, 'max negative int'
Fred Drake004d5e62000-10-23 17:22:08 +000043 # XXX -2147483648
Guido van Rossum6c9e1302003-11-29 23:52:13 +000044 if 037777777777 < 0: raise TestFailed, 'large oct'
45 if 0xffffffff < 0: raise TestFailed, 'large hex'
Fred Drake004d5e62000-10-23 17:22:08 +000046 for s in '2147483648', '040000000000', '0x100000000':
47 try:
48 x = eval(s)
49 except OverflowError:
Walter Dörwald70a6b492004-02-12 17:35:32 +000050 print "OverflowError on huge integer literal " + repr(s)
Guido van Rossumdd8cb441993-12-29 15:33:08 +000051elif eval('maxint == 9223372036854775807'):
Guido van Rossum6c9e1302003-11-29 23:52:13 +000052 if eval('-9223372036854775807-1 != -01000000000000000000000'):
Fred Drake004d5e62000-10-23 17:22:08 +000053 raise TestFailed, 'max negative int'
Guido van Rossum6c9e1302003-11-29 23:52:13 +000054 if eval('01777777777777777777777') < 0: raise TestFailed, 'large oct'
55 if eval('0xffffffffffffffff') < 0: raise TestFailed, 'large hex'
Fred Drake004d5e62000-10-23 17:22:08 +000056 for s in '9223372036854775808', '02000000000000000000000', \
57 '0x10000000000000000':
58 try:
59 x = eval(s)
60 except OverflowError:
Walter Dörwald70a6b492004-02-12 17:35:32 +000061 print "OverflowError on huge integer literal " + repr(s)
Guido van Rossumdd8cb441993-12-29 15:33:08 +000062else:
Fred Drake004d5e62000-10-23 17:22:08 +000063 print 'Weird maxint value', maxint
Guido van Rossum3bead091992-01-27 17:00:37 +000064
65print '1.1.2.2 Long integers'
66x = 0L
67x = 0l
68x = 0xffffffffffffffffL
69x = 0xffffffffffffffffl
70x = 077777777777777777L
71x = 077777777777777777l
72x = 123456789012345678901234567890L
73x = 123456789012345678901234567890l
74
75print '1.1.2.3 Floating point'
76x = 3.14
77x = 314.
78x = 0.314
79# XXX x = 000.314
80x = .314
81x = 3e14
82x = 3E14
83x = 3e-14
84x = 3e+14
85x = 3.e14
86x = .3e14
87x = 3.1e4
88
Guido van Rossumb31c7f71993-11-11 10:31:23 +000089print '1.1.3 String literals'
90
Marc-André Lemburg36619082001-01-17 19:11:13 +000091x = ''; y = ""; verify(len(x) == 0 and x == y)
92x = '\''; y = "'"; verify(len(x) == 1 and x == y and ord(x) == 39)
93x = '"'; y = "\""; verify(len(x) == 1 and x == y and ord(x) == 34)
Guido van Rossumb31c7f71993-11-11 10:31:23 +000094x = "doesn't \"shrink\" does it"
95y = 'doesn\'t "shrink" does it'
Marc-André Lemburg36619082001-01-17 19:11:13 +000096verify(len(x) == 24 and x == y)
Guido van Rossumb6775db1994-08-01 11:34:53 +000097x = "does \"shrink\" doesn't it"
98y = 'does "shrink" doesn\'t it'
Marc-André Lemburg36619082001-01-17 19:11:13 +000099verify(len(x) == 24 and x == y)
Guido van Rossumb6775db1994-08-01 11:34:53 +0000100x = """
101The "quick"
102brown fox
103jumps over
104the 'lazy' dog.
105"""
106y = '\nThe "quick"\nbrown fox\njumps over\nthe \'lazy\' dog.\n'
Marc-André Lemburg36619082001-01-17 19:11:13 +0000107verify(x == y)
Guido van Rossumb6775db1994-08-01 11:34:53 +0000108y = '''
109The "quick"
110brown fox
111jumps over
112the 'lazy' dog.
Marc-André Lemburg36619082001-01-17 19:11:13 +0000113'''; verify(x == y)
Guido van Rossumb6775db1994-08-01 11:34:53 +0000114y = "\n\
115The \"quick\"\n\
116brown fox\n\
117jumps over\n\
118the 'lazy' dog.\n\
Marc-André Lemburg36619082001-01-17 19:11:13 +0000119"; verify(x == y)
Guido van Rossumb6775db1994-08-01 11:34:53 +0000120y = '\n\
121The \"quick\"\n\
122brown fox\n\
123jumps over\n\
124the \'lazy\' dog.\n\
Marc-André Lemburg36619082001-01-17 19:11:13 +0000125'; verify(x == y)
Guido van Rossumb31c7f71993-11-11 10:31:23 +0000126
127
Guido van Rossum3bead091992-01-27 17:00:37 +0000128print '1.2 Grammar'
129
130print 'single_input' # NEWLINE | simple_stmt | compound_stmt NEWLINE
131# XXX can't test in a script -- this rule is only used when interactive
132
133print 'file_input' # (NEWLINE | stmt)* ENDMARKER
134# Being tested as this very moment this very module
135
136print 'expr_input' # testlist NEWLINE
137# XXX Hard to test -- used only in calls to input()
138
139print 'eval_input' # testlist ENDMARKER
140x = eval('1, 0 or 1')
141
142print 'funcdef'
143### 'def' NAME parameters ':' suite
144### parameters: '(' [varargslist] ')'
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000145### varargslist: (fpdef ['=' test] ',')* ('*' NAME [',' ('**'|'*' '*') NAME]
146### | ('**'|'*' '*') NAME)
Fred Drake004d5e62000-10-23 17:22:08 +0000147### | fpdef ['=' test] (',' fpdef ['=' test])* [',']
Guido van Rossum3bead091992-01-27 17:00:37 +0000148### fpdef: NAME | '(' fplist ')'
149### fplist: fpdef (',' fpdef)* [',']
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000150### arglist: (argument ',')* (argument | *' test [',' '**' test] | '**' test)
Fred Drake004d5e62000-10-23 17:22:08 +0000151### argument: [test '='] test # Really [keyword '='] test
Guido van Rossum3bead091992-01-27 17:00:37 +0000152def f1(): pass
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000153f1()
154f1(*())
155f1(*(), **{})
Guido van Rossum3bead091992-01-27 17:00:37 +0000156def f2(one_argument): pass
157def f3(two, arguments): pass
158def f4(two, (compound, (argument, list))): pass
Jeremy Hylton92e9f292001-01-25 17:03:37 +0000159def f5((compound, first), two): pass
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000160vereq(f2.func_code.co_varnames, ('one_argument',))
161vereq(f3.func_code.co_varnames, ('two', 'arguments'))
Jeremy Hylton7d3dff22001-10-10 01:45:02 +0000162if sys.platform.startswith('java'):
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000163 vereq(f4.func_code.co_varnames,
Finn Bock4ab7adb2001-12-09 09:12:34 +0000164 ('two', '(compound, (argument, list))', 'compound', 'argument',
165 'list',))
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000166 vereq(f5.func_code.co_varnames,
Jeremy Hylton7d3dff22001-10-10 01:45:02 +0000167 ('(compound, first)', 'two', 'compound', 'first'))
168else:
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000169 vereq(f4.func_code.co_varnames,
170 ('two', '.1', 'compound', 'argument', 'list'))
171 vereq(f5.func_code.co_varnames,
172 ('.0', 'two', 'compound', 'first'))
Guido van Rossum3bead091992-01-27 17:00:37 +0000173def a1(one_arg,): pass
174def a2(two, args,): pass
175def v0(*rest): pass
176def v1(a, *rest): pass
177def v2(a, b, *rest): pass
Jeremy Hylton92e9f292001-01-25 17:03:37 +0000178def v3(a, (b, c), *rest): return a, b, c, rest
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000179# ceval unpacks the formal arguments into the first argcount names;
180# thus, the names nested inside tuples must appear after these names.
Jeremy Hylton7d3dff22001-10-10 01:45:02 +0000181if sys.platform.startswith('java'):
182 verify(v3.func_code.co_varnames == ('a', '(b, c)', 'rest', 'b', 'c'))
183else:
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000184 vereq(v3.func_code.co_varnames, ('a', '.1', 'rest', 'b', 'c'))
Jeremy Hylton92e9f292001-01-25 17:03:37 +0000185verify(v3(1, (2, 3), 4) == (1, 2, 3, (4,)))
Guido van Rossumb6775db1994-08-01 11:34:53 +0000186def d01(a=1): pass
187d01()
188d01(1)
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000189d01(*(1,))
190d01(**{'a':2})
Guido van Rossumb6775db1994-08-01 11:34:53 +0000191def d11(a, b=1): pass
192d11(1)
193d11(1, 2)
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000194d11(1, **{'b':2})
Guido van Rossumb6775db1994-08-01 11:34:53 +0000195def d21(a, b, c=1): pass
196d21(1, 2)
197d21(1, 2, 3)
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000198d21(*(1, 2, 3))
199d21(1, *(2, 3))
200d21(1, 2, *(3,))
201d21(1, 2, **{'c':3})
Guido van Rossumb6775db1994-08-01 11:34:53 +0000202def d02(a=1, b=2): pass
203d02()
204d02(1)
205d02(1, 2)
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000206d02(*(1, 2))
207d02(1, *(2,))
208d02(1, **{'b':2})
209d02(**{'a': 1, 'b': 2})
Guido van Rossumb6775db1994-08-01 11:34:53 +0000210def d12(a, b=1, c=2): pass
211d12(1)
212d12(1, 2)
213d12(1, 2, 3)
214def d22(a, b, c=1, d=2): pass
215d22(1, 2)
216d22(1, 2, 3)
217d22(1, 2, 3, 4)
218def d01v(a=1, *rest): pass
219d01v()
220d01v(1)
221d01v(1, 2)
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000222d01v(*(1, 2, 3, 4))
223d01v(*(1,))
224d01v(**{'a':2})
Guido van Rossumb6775db1994-08-01 11:34:53 +0000225def d11v(a, b=1, *rest): pass
226d11v(1)
227d11v(1, 2)
228d11v(1, 2, 3)
229def d21v(a, b, c=1, *rest): pass
230d21v(1, 2)
231d21v(1, 2, 3)
232d21v(1, 2, 3, 4)
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000233d21v(*(1, 2, 3, 4))
234d21v(1, 2, **{'c': 3})
Guido van Rossumb6775db1994-08-01 11:34:53 +0000235def d02v(a=1, b=2, *rest): pass
236d02v()
237d02v(1)
238d02v(1, 2)
239d02v(1, 2, 3)
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000240d02v(1, *(2, 3, 4))
241d02v(**{'a': 1, 'b': 2})
Guido van Rossumb6775db1994-08-01 11:34:53 +0000242def d12v(a, b=1, c=2, *rest): pass
243d12v(1)
244d12v(1, 2)
245d12v(1, 2, 3)
246d12v(1, 2, 3, 4)
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000247d12v(*(1, 2, 3, 4))
248d12v(1, 2, *(3, 4, 5))
249d12v(1, *(2,), **{'c': 3})
Guido van Rossumb6775db1994-08-01 11:34:53 +0000250def d22v(a, b, c=1, d=2, *rest): pass
251d22v(1, 2)
252d22v(1, 2, 3)
253d22v(1, 2, 3, 4)
254d22v(1, 2, 3, 4, 5)
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000255d22v(*(1, 2, 3, 4))
256d22v(1, 2, *(3, 4, 5))
257d22v(1, *(2, 3), **{'d': 4})
Guido van Rossum3bead091992-01-27 17:00:37 +0000258
Jeremy Hylton619eea62001-01-25 20:12:27 +0000259### lambdef: 'lambda' [varargslist] ':' test
260print 'lambdef'
261l1 = lambda : 0
262verify(l1() == 0)
263l2 = lambda : a[d] # XXX just testing the expression
264l3 = lambda : [2 < x for x in [-1, 3, 0L]]
265verify(l3() == [0, 1, 0])
266l4 = lambda x = lambda y = lambda z=1 : z : y() : x()
267verify(l4() == 1)
268l5 = lambda x, y, z=2: x + y + z
269verify(l5(1, 2) == 5)
270verify(l5(1, 2, 3) == 6)
271check_syntax("lambda x: x = 2")
272
Guido van Rossum3bead091992-01-27 17:00:37 +0000273### stmt: simple_stmt | compound_stmt
274# Tested below
275
276### simple_stmt: small_stmt (';' small_stmt)* [';']
277print 'simple_stmt'
278x = 1; pass; del x
Neal Norwitzf8d403d2005-12-11 20:12:40 +0000279def foo():
280 # verify statments that end with semi-colons
281 x = 1; pass; del x;
282foo()
Guido van Rossum3bead091992-01-27 17:00:37 +0000283
Guido van Rossumb3b09c91993-10-22 14:24:22 +0000284### small_stmt: expr_stmt | print_stmt | pass_stmt | del_stmt | flow_stmt | import_stmt | global_stmt | access_stmt | exec_stmt
Guido van Rossum3bead091992-01-27 17:00:37 +0000285# Tested below
286
287print 'expr_stmt' # (exprlist '=')* exprlist
2881
2891, 2, 3
290x = 1
291x = 1, 2, 3
292x = y = z = 1, 2, 3
293x, y, z = 1, 2, 3
294abc = a, b, c = x, y, z = xyz = 1, 2, (3, 4)
295# NB these variables are deleted below
296
Jeremy Hylton47793992001-02-19 15:35:26 +0000297check_syntax("x + 1 = 1")
298check_syntax("a + 1 = b + 2")
299
Guido van Rossum3bead091992-01-27 17:00:37 +0000300print 'print_stmt' # 'print' (test ',')* [test]
301print 1, 2, 3
302print 1, 2, 3,
303print
304print 0 or 1, 0 or 1,
305print 0 or 1
306
Barry Warsawefc92ee2000-08-21 15:46:50 +0000307print 'extended print_stmt' # 'print' '>>' test ','
308import sys
309print >> sys.stdout, 1, 2, 3
310print >> sys.stdout, 1, 2, 3,
311print >> sys.stdout
312print >> sys.stdout, 0 or 1, 0 or 1,
313print >> sys.stdout, 0 or 1
314
Barry Warsaw7e3e1c12000-10-11 21:26:03 +0000315# test printing to an instance
Barry Warsaw9182b452000-08-29 04:57:10 +0000316class Gulp:
Fred Drake004d5e62000-10-23 17:22:08 +0000317 def write(self, msg): pass
Barry Warsaw9182b452000-08-29 04:57:10 +0000318
Barry Warsaw7e3e1c12000-10-11 21:26:03 +0000319gulp = Gulp()
320print >> gulp, 1, 2, 3
321print >> gulp, 1, 2, 3,
322print >> gulp
323print >> gulp, 0 or 1, 0 or 1,
324print >> gulp, 0 or 1
325
326# test print >> None
Barry Warsaw9182b452000-08-29 04:57:10 +0000327def driver():
Fred Drake004d5e62000-10-23 17:22:08 +0000328 oldstdout = sys.stdout
329 sys.stdout = Gulp()
330 try:
331 tellme(Gulp())
332 tellme()
333 finally:
334 sys.stdout = oldstdout
Barry Warsaw9182b452000-08-29 04:57:10 +0000335
336# we should see this once
337def tellme(file=sys.stdout):
Fred Drake004d5e62000-10-23 17:22:08 +0000338 print >> file, 'hello world'
Barry Warsaw9182b452000-08-29 04:57:10 +0000339
340driver()
341
342# we should not see this at all
343def tellme(file=None):
Fred Drake004d5e62000-10-23 17:22:08 +0000344 print >> file, 'goodbye universe'
Barry Warsaw9182b452000-08-29 04:57:10 +0000345
346driver()
347
Barry Warsawefc92ee2000-08-21 15:46:50 +0000348# syntax errors
Barry Warsawefc92ee2000-08-21 15:46:50 +0000349check_syntax('print ,')
350check_syntax('print >> x,')
351
Guido van Rossum3bead091992-01-27 17:00:37 +0000352print 'del_stmt' # 'del' exprlist
353del abc
354del x, y, (z, xyz)
355
356print 'pass_stmt' # 'pass'
357pass
358
359print 'flow_stmt' # break_stmt | continue_stmt | return_stmt | raise_stmt
360# Tested below
361
362print 'break_stmt' # 'break'
363while 1: break
364
365print 'continue_stmt' # 'continue'
366i = 1
367while i: i = 0; continue
368
Jeremy Hylton3faa52e2001-02-01 22:48:12 +0000369msg = ""
370while not msg:
371 msg = "continue + try/except ok"
372 try:
373 continue
374 msg = "continue failed to continue inside try"
375 except:
376 msg = "continue inside try called except block"
377print msg
378
379msg = ""
380while not msg:
381 msg = "finally block not called"
382 try:
383 continue
384 finally:
385 msg = "continue + try/finally ok"
386print msg
Tim Peters10fb3862001-02-09 20:17:14 +0000387
Thomas Wouters80d373c2001-09-26 12:43:39 +0000388
389# This test warrants an explanation. It is a test specifically for SF bugs
390# #463359 and #462937. The bug is that a 'break' statement executed or
391# exception raised inside a try/except inside a loop, *after* a continue
392# statement has been executed in that loop, will cause the wrong number of
393# arguments to be popped off the stack and the instruction pointer reset to
394# a very small number (usually 0.) Because of this, the following test
395# *must* written as a function, and the tracking vars *must* be function
396# arguments with default values. Otherwise, the test will loop and loop.
397
398print "testing continue and break in try/except in loop"
399def test_break_continue_loop(extra_burning_oil = 1, count=0):
400 big_hippo = 2
401 while big_hippo:
402 count += 1
403 try:
404 if extra_burning_oil and big_hippo == 1:
405 extra_burning_oil -= 1
406 break
407 big_hippo -= 1
408 continue
409 except:
410 raise
411 if count > 2 or big_hippo <> 1:
412 print "continue then break in try/except in loop broken!"
413test_break_continue_loop()
414
Guido van Rossum3bead091992-01-27 17:00:37 +0000415print 'return_stmt' # 'return' [testlist]
416def g1(): return
417def g2(): return 1
418g1()
419x = g2()
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000420check_syntax("class foo:return 1")
421
422print 'yield_stmt'
423check_syntax("class foo:yield 1")
Guido van Rossum3bead091992-01-27 17:00:37 +0000424
425print 'raise_stmt' # 'raise' test [',' test]
426try: raise RuntimeError, 'just testing'
427except RuntimeError: pass
428try: raise KeyboardInterrupt
429except KeyboardInterrupt: pass
430
Anthony Baxter1a4ddae2004-08-31 10:07:13 +0000431print 'import_name' # 'import' dotted_as_names
Guido van Rossum3bead091992-01-27 17:00:37 +0000432import sys
Guido van Rossum51b1c1c1995-03-04 22:30:54 +0000433import time, sys
Anthony Baxter1a4ddae2004-08-31 10:07:13 +0000434print 'import_from' # 'from' dotted_name 'import' ('*' | '(' import_as_names ')' | import_as_names)
Guido van Rossumb6775db1994-08-01 11:34:53 +0000435from time import time
Anthony Baxter1a4ddae2004-08-31 10:07:13 +0000436from time import (time)
Guido van Rossum3bead091992-01-27 17:00:37 +0000437from sys import *
Guido van Rossum51b1c1c1995-03-04 22:30:54 +0000438from sys import path, argv
Anthony Baxter1a4ddae2004-08-31 10:07:13 +0000439from sys import (path, argv)
440from sys import (path, argv,)
Guido van Rossum3bead091992-01-27 17:00:37 +0000441
442print 'global_stmt' # 'global' NAME (',' NAME)*
443def f():
Fred Drake004d5e62000-10-23 17:22:08 +0000444 global a
445 global a, b
446 global one, two, three, four, five, six, seven, eight, nine, ten
Guido van Rossum3bead091992-01-27 17:00:37 +0000447
Guido van Rossumb3b09c91993-10-22 14:24:22 +0000448print 'exec_stmt' # 'exec' expr ['in' expr [',' expr]]
449def f():
Fred Drake004d5e62000-10-23 17:22:08 +0000450 z = None
451 del z
452 exec 'z=1+1\n'
Fred Drake132dce22000-12-12 23:11:42 +0000453 if z != 2: raise TestFailed, 'exec \'z=1+1\'\\n'
Fred Drake004d5e62000-10-23 17:22:08 +0000454 del z
455 exec 'z=1+1'
Fred Drake132dce22000-12-12 23:11:42 +0000456 if z != 2: raise TestFailed, 'exec \'z=1+1\''
Fred Drake004d5e62000-10-23 17:22:08 +0000457 z = None
458 del z
Guido van Rossumdbb718f2001-09-21 19:22:34 +0000459 import types
460 if hasattr(types, "UnicodeType"):
461 exec r"""if 1:
Fred Drake004d5e62000-10-23 17:22:08 +0000462 exec u'z=1+1\n'
Fred Drake132dce22000-12-12 23:11:42 +0000463 if z != 2: raise TestFailed, 'exec u\'z=1+1\'\\n'
Fred Drake004d5e62000-10-23 17:22:08 +0000464 del z
465 exec u'z=1+1'
Fred Drake132dce22000-12-12 23:11:42 +0000466 if z != 2: raise TestFailed, 'exec u\'z=1+1\''
Guido van Rossumdbb718f2001-09-21 19:22:34 +0000467"""
Guido van Rossumb3b09c91993-10-22 14:24:22 +0000468f()
469g = {}
470exec 'z = 1' in g
Guido van Rossum1f976121995-01-10 10:34:21 +0000471if g.has_key('__builtins__'): del g['__builtins__']
Fred Drake132dce22000-12-12 23:11:42 +0000472if g != {'z': 1}: raise TestFailed, 'exec \'z = 1\' in g'
Guido van Rossumb3b09c91993-10-22 14:24:22 +0000473g = {}
474l = {}
Jeremy Hylton2922ea82001-02-28 23:49:19 +0000475
476import warnings
477warnings.filterwarnings("ignore", "global statement", module="<string>")
Guido van Rossumb3b09c91993-10-22 14:24:22 +0000478exec 'global a; a = 1; b = 2' in g, l
Guido van Rossum1f976121995-01-10 10:34:21 +0000479if g.has_key('__builtins__'): del g['__builtins__']
480if l.has_key('__builtins__'): del l['__builtins__']
Jeremy Hyltone1bb5f92001-01-19 03:26:33 +0000481if (g, l) != ({'a':1}, {'b':2}): raise TestFailed, 'exec ... in g (%s), l (%s)' %(g,l)
Guido van Rossumb3b09c91993-10-22 14:24:22 +0000482
483
Jeremy Hyltonf828e2d2001-02-19 15:54:52 +0000484print "assert_stmt" # assert_stmt: 'assert' test [',' test]
485assert 1
486assert 1, 1
487assert lambda x:x
488assert 1, lambda x:x+1
489
Guido van Rossum3bead091992-01-27 17:00:37 +0000490### compound_stmt: if_stmt | while_stmt | for_stmt | try_stmt | funcdef | classdef
491# Tested below
492
493print 'if_stmt' # 'if' test ':' suite ('elif' test ':' suite)* ['else' ':' suite]
494if 1: pass
495if 1: pass
496else: pass
497if 0: pass
498elif 0: pass
499if 0: pass
500elif 0: pass
501elif 0: pass
502elif 0: pass
503else: pass
504
505print 'while_stmt' # 'while' test ':' suite ['else' ':' suite]
506while 0: pass
507while 0: pass
508else: pass
509
510print 'for_stmt' # 'for' exprlist 'in' exprlist ':' suite ['else' ':' suite]
Guido van Rossum3bead091992-01-27 17:00:37 +0000511for i in 1, 2, 3: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000512for i, j, k in (): pass
513else: pass
Guido van Rossumb6775db1994-08-01 11:34:53 +0000514class Squares:
Fred Drake004d5e62000-10-23 17:22:08 +0000515 def __init__(self, max):
516 self.max = max
517 self.sofar = []
518 def __len__(self): return len(self.sofar)
519 def __getitem__(self, i):
520 if not 0 <= i < self.max: raise IndexError
521 n = len(self.sofar)
522 while n <= i:
523 self.sofar.append(n*n)
524 n = n+1
525 return self.sofar[i]
Guido van Rossumb6775db1994-08-01 11:34:53 +0000526n = 0
527for x in Squares(10): n = n+x
528if n != 285: raise TestFailed, 'for over growing sequence'
Guido van Rossum3bead091992-01-27 17:00:37 +0000529
Guido van Rossumb6775db1994-08-01 11:34:53 +0000530print 'try_stmt'
531### try_stmt: 'try' ':' suite (except_clause ':' suite)+ ['else' ':' suite]
532### | 'try' ':' suite 'finally' ':' suite
Guido van Rossum3bead091992-01-27 17:00:37 +0000533### except_clause: 'except' [expr [',' expr]]
Guido van Rossum85f18201992-11-27 22:53:50 +0000534try:
Fred Drake004d5e62000-10-23 17:22:08 +0000535 1/0
Guido van Rossum85f18201992-11-27 22:53:50 +0000536except ZeroDivisionError:
Fred Drake004d5e62000-10-23 17:22:08 +0000537 pass
Guido van Rossumb6775db1994-08-01 11:34:53 +0000538else:
Fred Drake004d5e62000-10-23 17:22:08 +0000539 pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000540try: 1/0
541except EOFError: pass
542except TypeError, msg: pass
543except RuntimeError, msg: pass
544except: pass
Guido van Rossumb6775db1994-08-01 11:34:53 +0000545else: pass
Guido van Rossum85f18201992-11-27 22:53:50 +0000546try: 1/0
547except (EOFError, TypeError, ZeroDivisionError): pass
548try: 1/0
549except (EOFError, TypeError, ZeroDivisionError), msg: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000550try: pass
551finally: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000552
553print 'suite' # simple_stmt | NEWLINE INDENT NEWLINE* (stmt NEWLINE*)+ DEDENT
554if 1: pass
555if 1:
Fred Drake004d5e62000-10-23 17:22:08 +0000556 pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000557if 1:
Fred Drake004d5e62000-10-23 17:22:08 +0000558 #
559 #
560 #
561 pass
562 pass
563 #
564 pass
565 #
Guido van Rossum3bead091992-01-27 17:00:37 +0000566
567print 'test'
568### and_test ('or' and_test)*
569### and_test: not_test ('and' not_test)*
570### not_test: 'not' not_test | comparison
571if not 1: pass
572if 1 and 1: pass
573if 1 or 1: pass
574if not not not 1: pass
575if not 1 and 1 and 1: pass
576if 1 and 1 or 1 and 1 and 1 or not 1 and 1: pass
577
578print 'comparison'
579### comparison: expr (comp_op expr)*
580### comp_op: '<'|'>'|'=='|'>='|'<='|'<>'|'!='|'in'|'not' 'in'|'is'|'is' 'not'
581if 1: pass
582x = (1 == 1)
583if 1 == 1: pass
584if 1 != 1: pass
585if 1 <> 1: pass
586if 1 < 1: pass
587if 1 > 1: pass
588if 1 <= 1: pass
589if 1 >= 1: pass
590if 1 is 1: pass
591if 1 is not 1: pass
592if 1 in (): pass
593if 1 not in (): pass
Guido van Rossum85f18201992-11-27 22:53:50 +0000594if 1 < 1 > 1 == 1 >= 1 <= 1 <> 1 != 1 in 1 not in 1 is 1 is not 1: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000595
596print 'binary mask ops'
597x = 1 & 1
598x = 1 ^ 1
599x = 1 | 1
600
601print 'shift ops'
602x = 1 << 1
603x = 1 >> 1
604x = 1 << 1 >> 1
605
606print 'additive ops'
607x = 1
608x = 1 + 1
609x = 1 - 1 - 1
610x = 1 - 1 + 1 - 1 + 1
611
612print 'multiplicative ops'
613x = 1 * 1
614x = 1 / 1
615x = 1 % 1
616x = 1 / 1 * 1 % 1
617
618print 'unary ops'
619x = +1
620x = -1
621x = ~1
622x = ~1 ^ 1 & 1 | 1 & 1 ^ -1
623x = -1*1/1 + 1*1 - ---1*1
624
625print 'selectors'
626### trailer: '(' [testlist] ')' | '[' subscript ']' | '.' NAME
627### subscript: expr | [expr] ':' [expr]
Guido van Rossum85f18201992-11-27 22:53:50 +0000628f1()
629f2(1)
630f2(1,)
631f3(1, 2)
632f3(1, 2,)
633f4(1, (2, (3, 4)))
634v0()
635v0(1)
636v0(1,)
637v0(1,2)
638v0(1,2,3,4,5,6,7,8,9,0)
639v1(1)
640v1(1,)
641v1(1,2)
642v1(1,2,3)
643v1(1,2,3,4,5,6,7,8,9,0)
644v2(1,2)
645v2(1,2,3)
646v2(1,2,3,4)
647v2(1,2,3,4,5,6,7,8,9,0)
648v3(1,(2,3))
649v3(1,(2,3),4)
650v3(1,(2,3),4,5,6,7,8,9,0)
Jeremy Hyltonaed0d8d2000-03-28 23:51:17 +0000651print
Guido van Rossum3bead091992-01-27 17:00:37 +0000652import sys, time
653c = sys.path[0]
654x = time.time()
655x = sys.modules['time'].time()
656a = '01234'
657c = a[0]
658c = a[-1]
659s = a[0:5]
660s = a[:5]
661s = a[0:]
662s = a[:]
663s = a[-5:]
664s = a[:-1]
665s = a[-4:-3]
666
667print 'atoms'
668### atom: '(' [testlist] ')' | '[' [testlist] ']' | '{' [dictmaker] '}' | '`' testlist '`' | NAME | NUMBER | STRING
669### dictmaker: test ':' test (',' test ':' test)* [',']
670
671x = (1)
672x = (1 or 2 or 3)
673x = (1 or 2 or 3, 2, 3)
674
675x = []
676x = [1]
677x = [1 or 2 or 3]
678x = [1 or 2 or 3, 2, 3]
679x = []
680
681x = {}
682x = {'one': 1}
683x = {'one': 1,}
684x = {'one' or 'two': 1 or 2}
685x = {'one': 1, 'two': 2}
686x = {'one': 1, 'two': 2,}
687x = {'one': 1, 'two': 2, 'three': 3, 'four': 4, 'five': 5, 'six': 6}
688
689x = `x`
690x = `1 or 2 or 3`
691x = x
692x = 'x'
693x = 123
694
695### exprlist: expr (',' expr)* [',']
696### testlist: test (',' test)* [',']
697# These have been exercised enough above
698
Brett Cannon4ebc7e32005-04-09 01:27:37 +0000699print 'classdef' # 'class' NAME ['(' [testlist] ')'] ':' suite
Guido van Rossum3bead091992-01-27 17:00:37 +0000700class B: pass
Brett Cannon4ebc7e32005-04-09 01:27:37 +0000701class B2(): pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000702class C1(B): pass
703class C2(B): pass
704class D(C1, C2, B): pass
705class C:
Fred Drake004d5e62000-10-23 17:22:08 +0000706 def meth1(self): pass
707 def meth2(self, arg): pass
708 def meth3(self, a1, a2): pass
Skip Montanaro803d6e52000-08-12 18:09:51 +0000709
710# list comprehension tests
711nums = [1, 2, 3, 4, 5]
712strs = ["Apple", "Banana", "Coconut"]
713spcs = [" Apple", " Banana ", "Coco nut "]
714
715print [s.strip() for s in spcs]
716print [3 * x for x in nums]
717print [x for x in nums if x > 2]
718print [(i, s) for i in nums for s in strs]
719print [(i, s) for i in nums for s in [f for f in strs if "n" in f]]
Tim Petersf545baa2003-06-15 23:26:30 +0000720print [(lambda a:[a**i for i in range(a+1)])(j) for j in range(5)]
Jeremy Hylton578ceee2001-01-23 01:51:40 +0000721
722def test_in_func(l):
723 return [None < x < 3 for x in l if x > 2]
724
725print test_in_func(nums)
726
Jeremy Hyltone241e292001-03-19 20:42:11 +0000727def test_nested_front():
728 print [[y for y in [x, x + 1]] for x in [1,3,5]]
729
730test_nested_front()
731
Jeremy Hylton92e9f292001-01-25 17:03:37 +0000732check_syntax("[i, s for i in nums for s in strs]")
733check_syntax("[x if y]")
Skip Montanaro46dfa5f2000-08-22 02:43:07 +0000734
Skip Montanaro803d6e52000-08-12 18:09:51 +0000735suppliers = [
736 (1, "Boeing"),
737 (2, "Ford"),
738 (3, "Macdonalds")
739]
740
741parts = [
742 (10, "Airliner"),
743 (20, "Engine"),
744 (30, "Cheeseburger")
745]
746
747suppart = [
748 (1, 10), (1, 20), (2, 20), (3, 30)
749]
750
751print [
752 (sname, pname)
753 for (sno, sname) in suppliers
754 for (pno, pname) in parts
755 for (sp_sno, sp_pno) in suppart
756 if sno == sp_sno and pno == sp_pno
757]
Raymond Hettinger354433a2004-05-19 08:20:33 +0000758
759# generator expression tests
760g = ([x for x in range(10)] for x in range(1))
761verify(g.next() == [x for x in range(10)])
762try:
763 g.next()
764 raise TestFailed, 'should produce StopIteration exception'
765except StopIteration:
766 pass
767
768a = 1
769try:
770 g = (a for d in a)
771 g.next()
772 raise TestFailed, 'should produce TypeError'
773except TypeError:
774 pass
775
776verify(list((x, y) for x in 'abcd' for y in 'abcd') == [(x, y) for x in 'abcd' for y in 'abcd'])
777verify(list((x, y) for x in 'ab' for y in 'xy') == [(x, y) for x in 'ab' for y in 'xy'])
778
779a = [x for x in range(10)]
780b = (x for x in (y for y in a))
781verify(sum(b) == sum([x for x in range(10)]))
782
783verify(sum(x**2 for x in range(10)) == sum([x**2 for x in range(10)]))
784verify(sum(x*x for x in range(10) if x%2) == sum([x*x for x in range(10) if x%2]))
785verify(sum(x for x in (y for y in range(10))) == sum([x for x in range(10)]))
786verify(sum(x for x in (y for y in (z for z in range(10)))) == sum([x for x in range(10)]))
787verify(sum(x for x in [y for y in (z for z in range(10))]) == sum([x for x in range(10)]))
788verify(sum(x for x in (y for y in (z for z in range(10) if True)) if True) == sum([x for x in range(10)]))
789verify(sum(x for x in (y for y in (z for z in range(10) if True) if False) if True) == 0)
790check_syntax("foo(x for x in range(10), 100)")
791check_syntax("foo(100, x for x in range(10))")
792
793# test for outmost iterable precomputation
794x = 10; g = (i for i in range(x)); x = 5
795verify(len(list(g)) == 10)
796
797# This should hold, since we're only precomputing outmost iterable.
798x = 10; t = False; g = ((i,j) for i in range(x) if t for j in range(x))
799x = 5; t = True;
800verify([(i,j) for i in range(10) for j in range(5)] == list(g))