Guido van Rossum | 526e909 | 1992-01-14 18:27:17 +0000 | [diff] [blame] | 1 | # Grammar for Python |
Guido van Rossum | 6cf1273 | 1991-12-31 13:11:56 +0000 | [diff] [blame] | 2 | |
Fred Drake | abca14d | 2000-08-23 15:45:28 +0000 | [diff] [blame] | 3 | # Note: Changing the grammar specified in this file will most likely |
| 4 | # require corresponding changes in the parser module |
| 5 | # (../Modules/parsermodule.c). If you can't make the changes to |
| 6 | # that module yourself, please co-ordinate the required changes |
| 7 | # with someone who can; ask around on python-dev for help. Fred |
| 8 | # Drake <fdrake@acm.org> will probably be listening there. |
| 9 | |
Guido van Rossum | e5f6f45 | 1994-09-29 10:05:45 +0000 | [diff] [blame] | 10 | # Commands for Kees Blom's railroad program |
Guido van Rossum | a322862 | 1994-08-17 13:19:13 +0000 | [diff] [blame] | 11 | #diagram:token NAME |
| 12 | #diagram:token NUMBER |
| 13 | #diagram:token STRING |
| 14 | #diagram:token NEWLINE |
| 15 | #diagram:token ENDMARKER |
| 16 | #diagram:token INDENT |
| 17 | #diagram:output\input python.bla |
| 18 | #diagram:token DEDENT |
| 19 | #diagram:output\textwidth 20.04cm\oddsidemargin 0.0cm\evensidemargin 0.0cm |
| 20 | #diagram:rules |
Guido van Rossum | e5f6f45 | 1994-09-29 10:05:45 +0000 | [diff] [blame] | 21 | |
| 22 | # Start symbols for the grammar: |
| 23 | # single_input is a single interactive statement; |
| 24 | # file_input is a module or sequence of commands read from an input file; |
| 25 | # eval_input is the input for the eval() and input() functions. |
| 26 | # NB: compound_stmt in single_input is followed by extra NEWLINE! |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 27 | single_input: NEWLINE | simple_stmt | compound_stmt NEWLINE |
| 28 | file_input: (NEWLINE | stmt)* ENDMARKER |
Guido van Rossum | e785fbc | 1992-03-04 16:41:24 +0000 | [diff] [blame] | 29 | eval_input: testlist NEWLINE* ENDMARKER |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 30 | |
Michael W. Hudson | 0ccff07 | 2004-08-17 17:29:16 +0000 | [diff] [blame] | 31 | decorator: '@' dotted_name [ '(' [arglist] ')' ] NEWLINE |
| 32 | decorators: decorator+ |
Anthony Baxter | c2a5a63 | 2004-08-02 06:10:11 +0000 | [diff] [blame] | 33 | funcdef: [decorators] 'def' NAME parameters ':' suite |
Guido van Rossum | 526e909 | 1992-01-14 18:27:17 +0000 | [diff] [blame] | 34 | parameters: '(' [varargslist] ')' |
Neal Norwitz | 3c52c5a | 2005-12-18 04:12:30 +0000 | [diff] [blame^] | 35 | varargslist: ((fpdef ['=' test] ',')* |
| 36 | ('*' NAME [',' '**' NAME] | '**' NAME) | |
| 37 | fpdef ['=' test] (',' fpdef ['=' test])* [',']) |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 38 | fpdef: NAME | '(' fplist ')' |
Guido van Rossum | 526e909 | 1992-01-14 18:27:17 +0000 | [diff] [blame] | 39 | fplist: fpdef (',' fpdef)* [','] |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 40 | |
| 41 | stmt: simple_stmt | compound_stmt |
Guido van Rossum | 56f7837 | 1991-07-17 18:39:15 +0000 | [diff] [blame] | 42 | simple_stmt: small_stmt (';' small_stmt)* [';'] NEWLINE |
Neal Norwitz | 3c52c5a | 2005-12-18 04:12:30 +0000 | [diff] [blame^] | 43 | small_stmt: (expr_stmt | print_stmt | del_stmt | pass_stmt | flow_stmt | |
| 44 | import_stmt | global_stmt | exec_stmt | assert_stmt) |
| 45 | expr_stmt: testlist (augassign (yield_expr|testlist) | |
| 46 | ('=' (yield_expr|testlist))*) |
| 47 | augassign: ('+=' | '-=' | '*=' | '/=' | '%=' | '&=' | '|=' | '^=' | |
| 48 | '<<=' | '>>=' | '**=' | '//=') |
Thomas Wouters | 434d082 | 2000-08-24 20:11:32 +0000 | [diff] [blame] | 49 | # For normal assignments, additional restrictions enforced by the interpreter |
Neal Norwitz | 3c52c5a | 2005-12-18 04:12:30 +0000 | [diff] [blame^] | 50 | print_stmt: 'print' ( [ test (',' test)* [','] ] | |
| 51 | '>>' test [ (',' test)+ [','] ] ) |
Guido van Rossum | 56f7837 | 1991-07-17 18:39:15 +0000 | [diff] [blame] | 52 | del_stmt: 'del' exprlist |
| 53 | pass_stmt: 'pass' |
Tim Peters | 5ca576e | 2001-06-18 22:08:13 +0000 | [diff] [blame] | 54 | flow_stmt: break_stmt | continue_stmt | return_stmt | raise_stmt | yield_stmt |
Guido van Rossum | 56f7837 | 1991-07-17 18:39:15 +0000 | [diff] [blame] | 55 | break_stmt: 'break' |
| 56 | continue_stmt: 'continue' |
| 57 | return_stmt: 'return' [testlist] |
Phillip J. Eby | 0d6615f | 2005-08-02 00:46:46 +0000 | [diff] [blame] | 58 | yield_stmt: yield_expr |
Guido van Rossum | d295f12 | 1998-04-09 21:39:57 +0000 | [diff] [blame] | 59 | raise_stmt: 'raise' [test [',' test [',' test]]] |
Anthony Baxter | 1a4ddae | 2004-08-31 10:07:13 +0000 | [diff] [blame] | 60 | import_stmt: import_name | import_from |
| 61 | import_name: 'import' dotted_as_names |
Neal Norwitz | 3c52c5a | 2005-12-18 04:12:30 +0000 | [diff] [blame^] | 62 | import_from: ('from' ('.')* dotted_name |
| 63 | 'import' ('*' | '(' import_as_names ')' | import_as_names)) |
Thomas Wouters | 5215225 | 2000-08-17 22:55:00 +0000 | [diff] [blame] | 64 | import_as_name: NAME [NAME NAME] |
| 65 | dotted_as_name: dotted_name [NAME NAME] |
Anthony Baxter | 1a4ddae | 2004-08-31 10:07:13 +0000 | [diff] [blame] | 66 | import_as_names: import_as_name (',' import_as_name)* [','] |
| 67 | dotted_as_names: dotted_as_name (',' dotted_as_name)* |
Guido van Rossum | 4a1da26 | 1995-01-07 10:25:36 +0000 | [diff] [blame] | 68 | dotted_name: NAME ('.' NAME)* |
Guido van Rossum | 68fc349 | 1991-12-10 13:51:08 +0000 | [diff] [blame] | 69 | global_stmt: 'global' NAME (',' NAME)* |
Guido van Rossum | 12d12c5 | 1993-10-26 17:58:25 +0000 | [diff] [blame] | 70 | exec_stmt: 'exec' expr ['in' test [',' test]] |
Guido van Rossum | 03a7466 | 1997-04-16 00:34:46 +0000 | [diff] [blame] | 71 | assert_stmt: 'assert' test [',' test] |
Guido van Rossum | 2583165 | 1993-05-19 14:50:45 +0000 | [diff] [blame] | 72 | |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 73 | compound_stmt: if_stmt | while_stmt | for_stmt | try_stmt | funcdef | classdef |
Guido van Rossum | e5f6f45 | 1994-09-29 10:05:45 +0000 | [diff] [blame] | 74 | if_stmt: 'if' test ':' suite ('elif' test ':' suite)* ['else' ':' suite] |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 75 | while_stmt: 'while' test ':' suite ['else' ':' suite] |
Guido van Rossum | 56f7837 | 1991-07-17 18:39:15 +0000 | [diff] [blame] | 76 | for_stmt: 'for' exprlist 'in' testlist ':' suite ['else' ':' suite] |
Neal Norwitz | 3c52c5a | 2005-12-18 04:12:30 +0000 | [diff] [blame^] | 77 | try_stmt: ('try' ':' suite |
| 78 | ((except_clause ':' suite)+ |
| 79 | ['else' ':' suite] |
| 80 | ['finally' ':' suite] | |
| 81 | 'finally' ':' suite)) |
Guido van Rossum | af82141 | 1992-03-31 18:49:18 +0000 | [diff] [blame] | 82 | # NB compile.c makes sure that the default except clause is last |
Guido van Rossum | 56f7837 | 1991-07-17 18:39:15 +0000 | [diff] [blame] | 83 | except_clause: 'except' [test [',' test]] |
Guido van Rossum | 7ac4a88 | 1991-07-27 21:29:47 +0000 | [diff] [blame] | 84 | suite: simple_stmt | NEWLINE INDENT stmt+ DEDENT |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 85 | |
Guido van Rossum | 57531fe | 1993-11-30 14:57:42 +0000 | [diff] [blame] | 86 | test: and_test ('or' and_test)* | lambdef |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 87 | and_test: not_test ('and' not_test)* |
| 88 | not_test: 'not' not_test | comparison |
| 89 | comparison: expr (comp_op expr)* |
Guido van Rossum | 6cf1273 | 1991-12-31 13:11:56 +0000 | [diff] [blame] | 90 | comp_op: '<'|'>'|'=='|'>='|'<='|'<>'|'!='|'in'|'not' 'in'|'is'|'is' 'not' |
Guido van Rossum | 9eb4f53 | 1991-10-24 14:54:25 +0000 | [diff] [blame] | 91 | expr: xor_expr ('|' xor_expr)* |
| 92 | xor_expr: and_expr ('^' and_expr)* |
| 93 | and_expr: shift_expr ('&' shift_expr)* |
| 94 | shift_expr: arith_expr (('<<'|'>>') arith_expr)* |
| 95 | arith_expr: term (('+'|'-') term)* |
Guido van Rossum | 4668b00 | 2001-08-08 05:00:18 +0000 | [diff] [blame] | 96 | term: factor (('*'|'/'|'%'|'//') factor)* |
Guido van Rossum | 0bfd6c3 | 1996-01-12 01:00:58 +0000 | [diff] [blame] | 97 | factor: ('+'|'-'|'~') factor | power |
Tim Peters | 84ee323 | 2002-05-23 20:05:40 +0000 | [diff] [blame] | 98 | power: atom trailer* ['**' factor] |
Neal Norwitz | 3c52c5a | 2005-12-18 04:12:30 +0000 | [diff] [blame^] | 99 | atom: ('(' [yield_expr|testlist_gexp] ')' | |
| 100 | '[' [listmaker] ']' | |
| 101 | '{' [dictmaker] '}' | |
| 102 | '`' testlist1 '`' | |
| 103 | NAME | NUMBER | STRING+) |
Skip Montanaro | 46dfa5f | 2000-08-22 02:43:07 +0000 | [diff] [blame] | 104 | listmaker: test ( list_for | (',' test)* [','] ) |
Raymond Hettinger | 354433a | 2004-05-19 08:20:33 +0000 | [diff] [blame] | 105 | testlist_gexp: test ( gen_for | (',' test)* [','] ) |
Guido van Rossum | 590baa4 | 1993-11-30 13:40:46 +0000 | [diff] [blame] | 106 | lambdef: 'lambda' [varargslist] ':' test |
Guido van Rossum | 14f4451 | 1996-07-30 16:43:44 +0000 | [diff] [blame] | 107 | trailer: '(' [arglist] ')' | '[' subscriptlist ']' | '.' NAME |
| 108 | subscriptlist: subscript (',' subscript)* [','] |
| 109 | subscript: '.' '.' '.' | test | [test] ':' [test] [sliceop] |
| 110 | sliceop: ':' [test] |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 111 | exprlist: expr (',' expr)* [','] |
| 112 | testlist: test (',' test)* [','] |
Guido van Rossum | 1c91707 | 2001-10-15 15:44:05 +0000 | [diff] [blame] | 113 | testlist_safe: test [(',' test)+ [',']] |
Guido van Rossum | 56f7837 | 1991-07-17 18:39:15 +0000 | [diff] [blame] | 114 | dictmaker: test ':' test (',' test ':' test)* [','] |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 115 | |
Brett Cannon | 409d8f2 | 2005-03-05 06:47:57 +0000 | [diff] [blame] | 116 | classdef: 'class' NAME ['(' [testlist] ')'] ':' suite |
Guido van Rossum | a996b91 | 1995-07-07 22:26:23 +0000 | [diff] [blame] | 117 | |
Jeremy Hylton | 7690151 | 2000-03-28 23:49:17 +0000 | [diff] [blame] | 118 | arglist: (argument ',')* (argument [',']| '*' test [',' '**' test] | '**' test) |
Neal Norwitz | 37c0844 | 2005-10-21 06:24:02 +0000 | [diff] [blame] | 119 | argument: test [gen_for] | test '=' test ['(' gen_for ')'] # Really [keyword '='] test |
Skip Montanaro | 803d6e5 | 2000-08-12 18:09:51 +0000 | [diff] [blame] | 120 | |
| 121 | list_iter: list_for | list_if |
Guido van Rossum | 1c91707 | 2001-10-15 15:44:05 +0000 | [diff] [blame] | 122 | list_for: 'for' exprlist 'in' testlist_safe [list_iter] |
Skip Montanaro | 803d6e5 | 2000-08-12 18:09:51 +0000 | [diff] [blame] | 123 | list_if: 'if' test [list_iter] |
Guido van Rossum | 2d3b986 | 2002-05-24 15:47:06 +0000 | [diff] [blame] | 124 | |
Raymond Hettinger | 354433a | 2004-05-19 08:20:33 +0000 | [diff] [blame] | 125 | gen_iter: gen_for | gen_if |
| 126 | gen_for: 'for' exprlist 'in' test [gen_iter] |
| 127 | gen_if: 'if' test [gen_iter] |
| 128 | |
Guido van Rossum | 2d3b986 | 2002-05-24 15:47:06 +0000 | [diff] [blame] | 129 | testlist1: test (',' test)* |
Martin v. Löwis | 00f1e3f | 2002-08-04 17:29:52 +0000 | [diff] [blame] | 130 | |
| 131 | # not used in grammar, but may appear in "node" passed from Parser to Compiler |
| 132 | encoding_decl: NAME |
Phillip J. Eby | 0d6615f | 2005-08-02 00:46:46 +0000 | [diff] [blame] | 133 | |
| 134 | yield_expr: 'yield' [testlist] |