Neal Norwitz | 3591bbe | 2007-02-26 19:04:49 +0000 | [diff] [blame] | 1 | -- ASDL's five builtin types are identifier, int, string, object |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 2 | |
Martin v. Löwis | eae93b7 | 2006-02-28 00:12:47 +0000 | [diff] [blame] | 3 | module Python version "$Revision$" |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 4 | { |
| 5 | mod = Module(stmt* body) |
| 6 | | Interactive(stmt* body) |
| 7 | | Expression(expr body) |
| 8 | |
| 9 | -- not really an actual node but useful in Jython's typesystem. |
| 10 | | Suite(stmt* body) |
| 11 | |
| 12 | stmt = FunctionDef(identifier name, arguments args, |
Guido van Rossum | d59da4b | 2007-05-22 18:11:13 +0000 | [diff] [blame] | 13 | stmt* body, expr* decorator_list, expr? returns) |
Guido van Rossum | 52cc1d8 | 2007-03-18 15:41:51 +0000 | [diff] [blame] | 14 | | ClassDef(identifier name, |
| 15 | expr* bases, |
| 16 | keyword* keywords, |
| 17 | expr? starargs, |
| 18 | expr? kwargs, |
Guido van Rossum | d59da4b | 2007-05-22 18:11:13 +0000 | [diff] [blame] | 19 | stmt* body, |
| 20 | expr *decorator_list) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 21 | | Return(expr? value) |
| 22 | |
| 23 | | Delete(expr* targets) |
| 24 | | Assign(expr* targets, expr value) |
| 25 | | AugAssign(expr target, operator op, expr value) |
| 26 | |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 27 | -- use 'orelse' because else is a keyword in target languages |
| 28 | | For(expr target, expr iter, stmt* body, stmt* orelse) |
| 29 | | While(expr test, stmt* body, stmt* orelse) |
| 30 | | If(expr test, stmt* body, stmt* orelse) |
Guido van Rossum | c2e2074 | 2006-02-27 22:32:47 +0000 | [diff] [blame] | 31 | | With(expr context_expr, expr? optional_vars, stmt* body) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 32 | |
| 33 | -- 'type' is a bad name |
| 34 | | Raise(expr? type, expr? inst, expr? tback) |
| 35 | | TryExcept(stmt* body, excepthandler* handlers, stmt* orelse) |
| 36 | | TryFinally(stmt* body, stmt* finalbody) |
| 37 | | Assert(expr test, expr? msg) |
| 38 | |
| 39 | | Import(alias* names) |
Thomas Wouters | f7f438b | 2006-02-28 16:09:29 +0000 | [diff] [blame] | 40 | | ImportFrom(identifier module, alias* names, int? level) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 41 | |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 42 | | Global(identifier* names) |
Jeremy Hylton | 81e9502 | 2007-02-27 06:50:52 +0000 | [diff] [blame] | 43 | | Nonlocal(identifier* names) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 44 | | Expr(expr value) |
| 45 | | Pass | Break | Continue |
| 46 | |
| 47 | -- XXX Jython will be different |
Martin v. Löwis | 49c5da1 | 2006-03-01 22:49:05 +0000 | [diff] [blame] | 48 | -- col_offset is the byte offset in the utf8 string the parser uses |
| 49 | attributes (int lineno, int col_offset) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 50 | |
| 51 | -- BoolOp() can use left & right? |
| 52 | expr = BoolOp(boolop op, expr* values) |
| 53 | | BinOp(expr left, operator op, expr right) |
| 54 | | UnaryOp(unaryop op, expr operand) |
| 55 | | Lambda(arguments args, expr body) |
Thomas Wouters | dca3b9c | 2006-02-27 00:24:13 +0000 | [diff] [blame] | 56 | | IfExp(expr test, expr body, expr orelse) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 57 | | Dict(expr* keys, expr* values) |
Guido van Rossum | 86e58e2 | 2006-08-28 15:27:34 +0000 | [diff] [blame] | 58 | | Set(expr* elts) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 59 | | ListComp(expr elt, comprehension* generators) |
Nick Coghlan | 650f0d0 | 2007-04-15 12:05:43 +0000 | [diff] [blame] | 60 | | SetComp(expr elt, comprehension* generators) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 61 | | GeneratorExp(expr elt, comprehension* generators) |
Jeremy Hylton | c960f26 | 2006-01-27 15:18:39 +0000 | [diff] [blame] | 62 | -- the grammar constrains where yield expressions can occur |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 63 | | Yield(expr? value) |
| 64 | -- need sequences for compare to distinguish between |
| 65 | -- x < 4 < 3 and (x < 4) < 3 |
| 66 | | Compare(expr left, cmpop* ops, expr* comparators) |
| 67 | | Call(expr func, expr* args, keyword* keywords, |
| 68 | expr? starargs, expr? kwargs) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 69 | | Num(object n) -- a number as a PyObject. |
| 70 | | Str(string s) -- need to specify raw, unicode, etc? |
Thomas Wouters | 00e41de | 2007-02-23 19:56:57 +0000 | [diff] [blame] | 71 | | Bytes(string s) |
Georg Brandl | 52318d6 | 2006-09-06 07:06:08 +0000 | [diff] [blame] | 72 | | Ellipsis |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 73 | -- other literals? bools? |
| 74 | |
| 75 | -- the following expression can appear in assignment context |
| 76 | | Attribute(expr value, identifier attr, expr_context ctx) |
| 77 | | Subscript(expr value, slice slice, expr_context ctx) |
Guido van Rossum | 0368b72 | 2007-05-11 16:50:42 +0000 | [diff] [blame] | 78 | | Starred(expr value, expr_context ctx) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 79 | | Name(identifier id, expr_context ctx) |
| 80 | | List(expr* elts, expr_context ctx) |
Thomas Wouters | cf297e4 | 2007-02-23 15:07:44 +0000 | [diff] [blame] | 81 | | Tuple(expr* elts, expr_context ctx) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 82 | |
Martin v. Löwis | 49c5da1 | 2006-03-01 22:49:05 +0000 | [diff] [blame] | 83 | -- col_offset is the byte offset in the utf8 string the parser uses |
| 84 | attributes (int lineno, int col_offset) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 85 | |
| 86 | expr_context = Load | Store | Del | AugLoad | AugStore | Param |
| 87 | |
Georg Brandl | 52318d6 | 2006-09-06 07:06:08 +0000 | [diff] [blame] | 88 | slice = Slice(expr? lower, expr? upper, expr? step) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 89 | | ExtSlice(slice* dims) |
| 90 | | Index(expr value) |
| 91 | |
| 92 | boolop = And | Or |
| 93 | |
| 94 | operator = Add | Sub | Mult | Div | Mod | Pow | LShift |
| 95 | | RShift | BitOr | BitXor | BitAnd | FloorDiv |
| 96 | |
| 97 | unaryop = Invert | Not | UAdd | USub |
| 98 | |
| 99 | cmpop = Eq | NotEq | Lt | LtE | Gt | GtE | Is | IsNot | In | NotIn |
| 100 | |
| 101 | comprehension = (expr target, expr iter, expr* ifs) |
| 102 | |
| 103 | -- not sure what to call the first argument for raise and except |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 104 | -- TODO(jhylton): Figure out if there is a better way to handle |
| 105 | -- lineno and col_offset fields, particularly when |
| 106 | -- ast is exposed to Python. |
Guido van Rossum | 16be03e | 2007-01-10 18:51:35 +0000 | [diff] [blame] | 107 | excepthandler = (expr? type, identifier? name, stmt* body, int lineno, |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 108 | int col_offset) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 109 | |
Neal Norwitz | c150536 | 2006-12-28 06:47:50 +0000 | [diff] [blame] | 110 | arguments = (arg* args, identifier? vararg, expr? varargannotation, |
| 111 | arg* kwonlyargs, identifier? kwarg, |
| 112 | expr? kwargannotation, expr* defaults, |
| 113 | expr* kw_defaults) |
Guido van Rossum | 1bc535d | 2007-05-15 18:46:22 +0000 | [diff] [blame] | 114 | arg = (identifier arg, expr? annotation) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 115 | |
| 116 | -- keyword arguments supplied to call |
| 117 | keyword = (identifier arg, expr value) |
| 118 | |
| 119 | -- import name with optional 'as' alias. |
| 120 | alias = (identifier name, identifier? asname) |
| 121 | } |
Thomas Wouters | 8b4a3e8 | 2007-02-23 20:00:10 +0000 | [diff] [blame] | 122 | |