blob: 916ad5f97f0ce1950a415689973e88f47bb8d55c [file] [log] [blame]
Guido van Rossum95e4d582018-01-26 08:20:18 -08001#include <stdbool.h>
2#include "Python.h"
3#include "Python-ast.h"
4
5static PyObject *_str_open_br;
6static PyObject *_str_dbl_open_br;
7static PyObject *_str_close_br;
8static PyObject *_str_dbl_close_br;
9
10/* Forward declarations for recursion via helper functions. */
11static PyObject *
Serhiy Storchaka64fddc42018-05-17 06:17:48 +030012expr_as_unicode(expr_ty e, int level);
Guido van Rossum95e4d582018-01-26 08:20:18 -080013static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +030014append_ast_expr(_PyUnicodeWriter *writer, expr_ty e, int level);
Guido van Rossum95e4d582018-01-26 08:20:18 -080015static int
16append_joinedstr(_PyUnicodeWriter *writer, expr_ty e, bool is_format_spec);
17static int
18append_formattedvalue(_PyUnicodeWriter *writer, expr_ty e, bool is_format_spec);
Serhiy Storchaka64fddc42018-05-17 06:17:48 +030019static int
20append_ast_slice(_PyUnicodeWriter *writer, slice_ty slice);
Guido van Rossum95e4d582018-01-26 08:20:18 -080021
22static int
23append_charp(_PyUnicodeWriter *writer, const char *charp)
24{
Stéphane Wirtel83ab9952018-02-01 17:59:27 +010025 return _PyUnicodeWriter_WriteASCIIString(writer, charp, -1);
Guido van Rossum95e4d582018-01-26 08:20:18 -080026}
27
Serhiy Storchaka64fddc42018-05-17 06:17:48 +030028#define APPEND_STR_FINISH(str) do { \
29 return append_charp(writer, (str)); \
30 } while (0)
31
32#define APPEND_STR(str) do { \
33 if (-1 == append_charp(writer, (str))) { \
34 return -1; \
35 } \
36 } while (0)
37
38#define APPEND_STR_IF(cond, str) do { \
39 if ((cond) && -1 == append_charp(writer, (str))) { \
40 return -1; \
41 } \
42 } while (0)
43
44#define APPEND_STR_IF_NOT_FIRST(str) do { \
45 APPEND_STR_IF(!first, (str)); \
46 first = false; \
47 } while (0)
48
49#define APPEND_EXPR(expr, pr) do { \
50 if (-1 == append_ast_expr(writer, (expr), (pr))) { \
51 return -1; \
52 } \
53 } while (0)
54
55#define APPEND(type, value) do { \
56 if (-1 == append_ast_ ## type(writer, (value))) { \
57 return -1; \
58 } \
59 } while (0)
60
Guido van Rossum95e4d582018-01-26 08:20:18 -080061static int
62append_repr(_PyUnicodeWriter *writer, PyObject *obj)
63{
64 int ret;
65 PyObject *repr;
66 repr = PyObject_Repr(obj);
67 if (!repr) {
68 return -1;
69 }
70 ret = _PyUnicodeWriter_WriteStr(writer, repr);
71 Py_DECREF(repr);
72 return ret;
73}
74
Serhiy Storchaka64fddc42018-05-17 06:17:48 +030075/* Priority levels */
76
77enum {
78 PR_TUPLE,
79 PR_TEST, /* 'if'-'else', 'lambda' */
80 PR_OR, /* 'or' */
81 PR_AND, /* 'and' */
82 PR_NOT, /* 'not' */
83 PR_CMP, /* '<', '>', '==', '>=', '<=', '!=',
84 'in', 'not in', 'is', 'is not' */
85 PR_EXPR,
86 PR_BOR = PR_EXPR, /* '|' */
87 PR_BXOR, /* '^' */
88 PR_BAND, /* '&' */
89 PR_SHIFT, /* '<<', '>>' */
90 PR_ARITH, /* '+', '-' */
91 PR_TERM, /* '*', '@', '/', '%', '//' */
92 PR_FACTOR, /* unary '+', '-', '~' */
93 PR_POWER, /* '**' */
94 PR_AWAIT, /* 'await' */
95 PR_ATOM,
96};
97
Guido van Rossum95e4d582018-01-26 08:20:18 -080098static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +030099append_ast_boolop(_PyUnicodeWriter *writer, expr_ty e, int level)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800100{
101 Py_ssize_t i, value_count;
102 asdl_seq *values;
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300103 const char *op = (e->v.BoolOp.op == And) ? " and " : " or ";
104 int pr = (e->v.BoolOp.op == And) ? PR_AND : PR_OR;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800105
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300106 APPEND_STR_IF(level > pr, "(");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800107
108 values = e->v.BoolOp.values;
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300109 value_count = asdl_seq_LEN(values);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800110
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300111 for (i = 0; i < value_count; ++i) {
112 APPEND_STR_IF(i > 0, op);
113 APPEND_EXPR((expr_ty)asdl_seq_GET(values, i), pr + 1);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800114 }
115
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300116 APPEND_STR_IF(level > pr, ")");
117 return 0;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800118}
119
120static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300121append_ast_binop(_PyUnicodeWriter *writer, expr_ty e, int level)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800122{
123 const char *op;
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300124 int pr;
125 bool rassoc = false; /* is right-associative? */
Guido van Rossum95e4d582018-01-26 08:20:18 -0800126
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300127 switch (e->v.BinOp.op) {
128 case Add: op = " + "; pr = PR_ARITH; break;
129 case Sub: op = " - "; pr = PR_ARITH; break;
130 case Mult: op = " * "; pr = PR_TERM; break;
131 case MatMult: op = " @ "; pr = PR_TERM; break;
132 case Div: op = " / "; pr = PR_TERM; break;
133 case Mod: op = " % "; pr = PR_TERM; break;
134 case LShift: op = " << "; pr = PR_SHIFT; break;
135 case RShift: op = " >> "; pr = PR_SHIFT; break;
136 case BitOr: op = " | "; pr = PR_BOR; break;
137 case BitXor: op = " ^ "; pr = PR_BXOR; break;
138 case BitAnd: op = " & "; pr = PR_BAND; break;
139 case FloorDiv: op = " // "; pr = PR_TERM; break;
140 case Pow: op = " ** "; pr = PR_POWER; rassoc = true; break;
Stéphane Wirtel83ab9952018-02-01 17:59:27 +0100141 default:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300142 PyErr_SetString(PyExc_SystemError,
143 "unknown binary operator");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800144 return -1;
145 }
146
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300147 APPEND_STR_IF(level > pr, "(");
148 APPEND_EXPR(e->v.BinOp.left, pr + rassoc);
149 APPEND_STR(op);
150 APPEND_EXPR(e->v.BinOp.right, pr + !rassoc);
151 APPEND_STR_IF(level > pr, ")");
152 return 0;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800153}
154
155static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300156append_ast_unaryop(_PyUnicodeWriter *writer, expr_ty e, int level)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800157{
158 const char *op;
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300159 int pr;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800160
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300161 switch (e->v.UnaryOp.op) {
162 case Invert: op = "~"; pr = PR_FACTOR; break;
163 case Not: op = "not "; pr = PR_NOT; break;
164 case UAdd: op = "+"; pr = PR_FACTOR; break;
165 case USub: op = "-"; pr = PR_FACTOR; break;
Stéphane Wirtel83ab9952018-02-01 17:59:27 +0100166 default:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300167 PyErr_SetString(PyExc_SystemError,
168 "unknown unary operator");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800169 return -1;
170 }
171
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300172 APPEND_STR_IF(level > pr, "(");
173 APPEND_STR(op);
174 APPEND_EXPR(e->v.UnaryOp.operand, pr);
175 APPEND_STR_IF(level > pr, ")");
176 return 0;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800177}
178
179static int
180append_ast_arg(_PyUnicodeWriter *writer, arg_ty arg)
181{
182 if (-1 == _PyUnicodeWriter_WriteStr(writer, arg->arg)) {
183 return -1;
184 }
185 if (arg->annotation) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300186 APPEND_STR(": ");
187 APPEND_EXPR(arg->annotation, PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800188 }
189 return 0;
190}
191
192static int
193append_ast_args(_PyUnicodeWriter *writer, arguments_ty args)
194{
195 bool first;
196 Py_ssize_t i, di, arg_count, default_count;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800197
198 first = true;
199
200 /* positional arguments with defaults */
201 arg_count = asdl_seq_LEN(args->args);
202 default_count = asdl_seq_LEN(args->defaults);
203 for (i = 0; i < arg_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300204 APPEND_STR_IF_NOT_FIRST(", ");
205 APPEND(arg, (arg_ty)asdl_seq_GET(args->args, i));
Guido van Rossum95e4d582018-01-26 08:20:18 -0800206
207 di = i - arg_count + default_count;
208 if (di >= 0) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300209 APPEND_STR("=");
210 APPEND_EXPR((expr_ty)asdl_seq_GET(args->defaults, di), PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800211 }
212 }
213
214 /* vararg, or bare '*' if no varargs but keyword-only arguments present */
Serhiy Storchaka2a2940e2018-09-30 21:07:05 +0300215 if (args->vararg || asdl_seq_LEN(args->kwonlyargs)) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300216 APPEND_STR_IF_NOT_FIRST(", ");
217 APPEND_STR("*");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800218 if (args->vararg) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300219 APPEND(arg, args->vararg);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800220 }
221 }
222
223 /* keyword-only arguments */
224 arg_count = asdl_seq_LEN(args->kwonlyargs);
225 default_count = asdl_seq_LEN(args->kw_defaults);
226 for (i = 0; i < arg_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300227 APPEND_STR_IF_NOT_FIRST(", ");
228 APPEND(arg, (arg_ty)asdl_seq_GET(args->kwonlyargs, i));
Guido van Rossum95e4d582018-01-26 08:20:18 -0800229
230 di = i - arg_count + default_count;
231 if (di >= 0) {
Serhiy Storchaka2a2940e2018-09-30 21:07:05 +0300232 expr_ty default_ = (expr_ty)asdl_seq_GET(args->kw_defaults, di);
233 if (default_) {
234 APPEND_STR("=");
235 APPEND_EXPR(default_, PR_TEST);
236 }
Guido van Rossum95e4d582018-01-26 08:20:18 -0800237 }
238 }
239
240 /* **kwargs */
241 if (args->kwarg) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300242 APPEND_STR_IF_NOT_FIRST(", ");
243 APPEND_STR("**");
244 APPEND(arg, args->kwarg);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800245 }
246
247 return 0;
248}
249
250static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300251append_ast_lambda(_PyUnicodeWriter *writer, expr_ty e, int level)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800252{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300253 APPEND_STR_IF(level > PR_TEST, "(");
Serhiy Storchaka2a2940e2018-09-30 21:07:05 +0300254 APPEND_STR(asdl_seq_LEN(e->v.Lambda.args->args) ? "lambda " : "lambda");
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300255 APPEND(args, e->v.Lambda.args);
256 APPEND_STR(": ");
257 APPEND_EXPR(e->v.Lambda.body, PR_TEST);
258 APPEND_STR_IF(level > PR_TEST, ")");
259 return 0;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800260}
261
262static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300263append_ast_ifexp(_PyUnicodeWriter *writer, expr_ty e, int level)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800264{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300265 APPEND_STR_IF(level > PR_TEST, "(");
266 APPEND_EXPR(e->v.IfExp.body, PR_TEST + 1);
267 APPEND_STR(" if ");
268 APPEND_EXPR(e->v.IfExp.test, PR_TEST + 1);
269 APPEND_STR(" else ");
270 APPEND_EXPR(e->v.IfExp.orelse, PR_TEST);
271 APPEND_STR_IF(level > PR_TEST, ")");
272 return 0;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800273}
274
275static int
276append_ast_dict(_PyUnicodeWriter *writer, expr_ty e)
277{
278 Py_ssize_t i, value_count;
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300279 expr_ty key_node;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800280
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300281 APPEND_STR("{");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800282 value_count = asdl_seq_LEN(e->v.Dict.values);
283
284 for (i = 0; i < value_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300285 APPEND_STR_IF(i > 0, ", ");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800286 key_node = (expr_ty)asdl_seq_GET(e->v.Dict.keys, i);
287 if (key_node != NULL) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300288 APPEND_EXPR(key_node, PR_TEST);
289 APPEND_STR(": ");
290 APPEND_EXPR((expr_ty)asdl_seq_GET(e->v.Dict.values, i), PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800291 }
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300292 else {
293 APPEND_STR("**");
294 APPEND_EXPR((expr_ty)asdl_seq_GET(e->v.Dict.values, i), PR_EXPR);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800295 }
296 }
297
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300298 APPEND_STR_FINISH("}");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800299}
300
301static int
302append_ast_set(_PyUnicodeWriter *writer, expr_ty e)
303{
304 Py_ssize_t i, elem_count;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800305
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300306 APPEND_STR("{");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800307 elem_count = asdl_seq_LEN(e->v.Set.elts);
308 for (i = 0; i < elem_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300309 APPEND_STR_IF(i > 0, ", ");
310 APPEND_EXPR((expr_ty)asdl_seq_GET(e->v.Set.elts, i), PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800311 }
312
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300313 APPEND_STR_FINISH("}");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800314}
315
316static int
317append_ast_list(_PyUnicodeWriter *writer, expr_ty e)
318{
319 Py_ssize_t i, elem_count;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800320
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300321 APPEND_STR("[");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800322 elem_count = asdl_seq_LEN(e->v.List.elts);
323 for (i = 0; i < elem_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300324 APPEND_STR_IF(i > 0, ", ");
325 APPEND_EXPR((expr_ty)asdl_seq_GET(e->v.List.elts, i), PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800326 }
327
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300328 APPEND_STR_FINISH("]");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800329}
330
331static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300332append_ast_tuple(_PyUnicodeWriter *writer, expr_ty e, int level)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800333{
334 Py_ssize_t i, elem_count;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800335
336 elem_count = asdl_seq_LEN(e->v.Tuple.elts);
337
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300338 if (elem_count == 0) {
339 APPEND_STR_FINISH("()");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800340 }
341
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300342 APPEND_STR_IF(level > PR_TUPLE, "(");
343
Guido van Rossum95e4d582018-01-26 08:20:18 -0800344 for (i = 0; i < elem_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300345 APPEND_STR_IF(i > 0, ", ");
346 APPEND_EXPR((expr_ty)asdl_seq_GET(e->v.Tuple.elts, i), PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800347 }
348
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300349 APPEND_STR_IF(elem_count == 1, ",");
350 APPEND_STR_IF(level > PR_TUPLE, ")");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800351 return 0;
352}
353
354static int
355append_ast_comprehension(_PyUnicodeWriter *writer, comprehension_ty gen)
356{
357 Py_ssize_t i, if_count;
358
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300359 APPEND_STR(gen->is_async ? " async for " : " for ");
360 APPEND_EXPR(gen->target, PR_TUPLE);
361 APPEND_STR(" in ");
362 APPEND_EXPR(gen->iter, PR_TEST + 1);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800363
364 if_count = asdl_seq_LEN(gen->ifs);
365 for (i = 0; i < if_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300366 APPEND_STR(" if ");
367 APPEND_EXPR((expr_ty)asdl_seq_GET(gen->ifs, i), PR_TEST + 1);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800368 }
369 return 0;
370}
371
372static int
373append_ast_comprehensions(_PyUnicodeWriter *writer, asdl_seq *comprehensions)
374{
375 Py_ssize_t i, gen_count;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800376 gen_count = asdl_seq_LEN(comprehensions);
377
378 for (i = 0; i < gen_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300379 APPEND(comprehension, (comprehension_ty)asdl_seq_GET(comprehensions, i));
Guido van Rossum95e4d582018-01-26 08:20:18 -0800380 }
381
382 return 0;
383}
384
385static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300386append_ast_genexp(_PyUnicodeWriter *writer, expr_ty e)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800387{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300388 APPEND_STR("(");
389 APPEND_EXPR(e->v.GeneratorExp.elt, PR_TEST);
390 APPEND(comprehensions, e->v.GeneratorExp.generators);
391 APPEND_STR_FINISH(")");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800392}
393
394static int
395append_ast_listcomp(_PyUnicodeWriter *writer, expr_ty e)
396{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300397 APPEND_STR("[");
398 APPEND_EXPR(e->v.ListComp.elt, PR_TEST);
399 APPEND(comprehensions, e->v.ListComp.generators);
400 APPEND_STR_FINISH("]");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800401}
402
403static int
404append_ast_setcomp(_PyUnicodeWriter *writer, expr_ty e)
405{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300406 APPEND_STR("{");
407 APPEND_EXPR(e->v.SetComp.elt, PR_TEST);
408 APPEND(comprehensions, e->v.SetComp.generators);
409 APPEND_STR_FINISH("}");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800410}
411
412static int
413append_ast_dictcomp(_PyUnicodeWriter *writer, expr_ty e)
414{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300415 APPEND_STR("{");
416 APPEND_EXPR(e->v.DictComp.key, PR_TEST);
417 APPEND_STR(": ");
418 APPEND_EXPR(e->v.DictComp.value, PR_TEST);
419 APPEND(comprehensions, e->v.DictComp.generators);
420 APPEND_STR_FINISH("}");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800421}
422
423static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300424append_ast_compare(_PyUnicodeWriter *writer, expr_ty e, int level)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800425{
426 const char *op;
427 Py_ssize_t i, comparator_count;
428 asdl_seq *comparators;
429 asdl_int_seq *ops;
430
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300431 APPEND_STR_IF(level > PR_CMP, "(");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800432
433 comparators = e->v.Compare.comparators;
434 ops = e->v.Compare.ops;
435 comparator_count = asdl_seq_LEN(comparators);
436 assert(comparator_count > 0);
437 assert(comparator_count == asdl_seq_LEN(ops));
438
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300439 APPEND_EXPR(e->v.Compare.left, PR_CMP + 1);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800440
441 for (i = 0; i < comparator_count; i++) {
442 switch ((cmpop_ty)asdl_seq_GET(ops, i)) {
443 case Eq:
444 op = " == ";
445 break;
446 case NotEq:
447 op = " != ";
448 break;
449 case Lt:
450 op = " < ";
451 break;
452 case LtE:
453 op = " <= ";
454 break;
455 case Gt:
456 op = " > ";
457 break;
458 case GtE:
459 op = " >= ";
460 break;
461 case Is:
462 op = " is ";
463 break;
464 case IsNot:
465 op = " is not ";
466 break;
467 case In:
468 op = " in ";
469 break;
470 case NotIn:
471 op = " not in ";
472 break;
473 default:
474 PyErr_SetString(PyExc_SystemError,
475 "unexpected comparison kind");
476 return -1;
477 }
478
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300479 APPEND_STR(op);
480 APPEND_EXPR((expr_ty)asdl_seq_GET(comparators, i), PR_CMP + 1);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800481 }
482
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300483 APPEND_STR_IF(level > PR_CMP, ")");
484 return 0;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800485}
486
487static int
488append_ast_keyword(_PyUnicodeWriter *writer, keyword_ty kw)
489{
490 if (kw->arg == NULL) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300491 APPEND_STR("**");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800492 }
493 else {
494 if (-1 == _PyUnicodeWriter_WriteStr(writer, kw->arg)) {
495 return -1;
496 }
497
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300498 APPEND_STR("=");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800499 }
500
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300501 APPEND_EXPR(kw->value, PR_TEST);
502 return 0;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800503}
504
505static int
506append_ast_call(_PyUnicodeWriter *writer, expr_ty e)
507{
508 bool first;
509 Py_ssize_t i, arg_count, kw_count;
510 expr_ty expr;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800511
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300512 APPEND_EXPR(e->v.Call.func, PR_ATOM);
513
514 arg_count = asdl_seq_LEN(e->v.Call.args);
515 kw_count = asdl_seq_LEN(e->v.Call.keywords);
516 if (arg_count == 1 && kw_count == 0) {
517 expr = (expr_ty)asdl_seq_GET(e->v.Call.args, 0);
518 if (expr->kind == GeneratorExp_kind) {
519 /* Special case: a single generator expression. */
520 return append_ast_genexp(writer, expr);
521 }
Guido van Rossum95e4d582018-01-26 08:20:18 -0800522 }
523
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300524 APPEND_STR("(");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800525
526 first = true;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800527 for (i = 0; i < arg_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300528 APPEND_STR_IF_NOT_FIRST(", ");
529 APPEND_EXPR((expr_ty)asdl_seq_GET(e->v.Call.args, i), PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800530 }
531
Guido van Rossum95e4d582018-01-26 08:20:18 -0800532 for (i = 0; i < kw_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300533 APPEND_STR_IF_NOT_FIRST(", ");
534 APPEND(keyword, (keyword_ty)asdl_seq_GET(e->v.Call.keywords, i));
Guido van Rossum95e4d582018-01-26 08:20:18 -0800535 }
536
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300537 APPEND_STR_FINISH(")");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800538}
539
540static PyObject *
541escape_braces(PyObject *orig)
542{
543 PyObject *temp;
544 PyObject *result;
545 temp = PyUnicode_Replace(orig, _str_open_br, _str_dbl_open_br, -1);
546 if (!temp) {
547 return NULL;
548 }
549 result = PyUnicode_Replace(temp, _str_close_br, _str_dbl_close_br, -1);
550 Py_DECREF(temp);
551 return result;
552}
553
554static int
555append_fstring_unicode(_PyUnicodeWriter *writer, PyObject *unicode)
556{
557 PyObject *escaped;
558 int result = -1;
559 escaped = escape_braces(unicode);
560 if (escaped) {
561 result = _PyUnicodeWriter_WriteStr(writer, escaped);
562 Py_DECREF(escaped);
563 }
564 return result;
565}
566
567static int
568append_fstring_element(_PyUnicodeWriter *writer, expr_ty e, bool is_format_spec)
569{
570 switch (e->kind) {
571 case Constant_kind:
572 return append_fstring_unicode(writer, e->v.Constant.value);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800573 case JoinedStr_kind:
574 return append_joinedstr(writer, e, is_format_spec);
575 case FormattedValue_kind:
576 return append_formattedvalue(writer, e, is_format_spec);
577 default:
578 PyErr_SetString(PyExc_SystemError,
579 "unknown expression kind inside f-string");
580 return -1;
581 }
582}
583
584/* Build body separately to enable wrapping the entire stream of Strs,
585 Constants and FormattedValues in one opening and one closing quote. */
586static PyObject *
587build_fstring_body(asdl_seq *values, bool is_format_spec)
588{
589 Py_ssize_t i, value_count;
590 _PyUnicodeWriter body_writer;
591 _PyUnicodeWriter_Init(&body_writer);
592 body_writer.min_length = 256;
593 body_writer.overallocate = 1;
594
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300595 value_count = asdl_seq_LEN(values);
596 for (i = 0; i < value_count; ++i) {
Guido van Rossum95e4d582018-01-26 08:20:18 -0800597 if (-1 == append_fstring_element(&body_writer,
598 (expr_ty)asdl_seq_GET(values, i),
599 is_format_spec
600 )) {
601 _PyUnicodeWriter_Dealloc(&body_writer);
602 return NULL;
603 }
604 }
605
606 return _PyUnicodeWriter_Finish(&body_writer);
607}
608
609static int
610append_joinedstr(_PyUnicodeWriter *writer, expr_ty e, bool is_format_spec)
611{
612 int result = -1;
613 PyObject *body = build_fstring_body(e->v.JoinedStr.values, is_format_spec);
614 if (!body) {
615 return -1;
616 }
617
618 if (!is_format_spec) {
619 if (-1 != append_charp(writer, "f") &&
620 -1 != append_repr(writer, body))
621 {
622 result = 0;
623 }
624 }
625 else {
626 result = _PyUnicodeWriter_WriteStr(writer, body);
627 }
628 Py_DECREF(body);
629 return result;
630}
631
632static int
633append_formattedvalue(_PyUnicodeWriter *writer, expr_ty e, bool is_format_spec)
634{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300635 const char *conversion;
636 const char *outer_brace = "{";
637 /* Grammar allows PR_TUPLE, but use >PR_TEST for adding parenthesis
638 around a lambda with ':' */
639 PyObject *temp_fv_str = expr_as_unicode(e->v.FormattedValue.value, PR_TEST + 1);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800640 if (!temp_fv_str) {
641 return -1;
642 }
643 if (PyUnicode_Find(temp_fv_str, _str_open_br, 0, 1, 1) == 0) {
644 /* Expression starts with a brace, split it with a space from the outer
645 one. */
646 outer_brace = "{ ";
647 }
648 if (-1 == append_charp(writer, outer_brace)) {
649 Py_DECREF(temp_fv_str);
650 return -1;
651 }
652 if (-1 == _PyUnicodeWriter_WriteStr(writer, temp_fv_str)) {
653 Py_DECREF(temp_fv_str);
654 return -1;
655 }
656 Py_DECREF(temp_fv_str);
657
658 if (e->v.FormattedValue.conversion > 0) {
659 switch (e->v.FormattedValue.conversion) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300660 case 'a':
Guido van Rossum95e4d582018-01-26 08:20:18 -0800661 conversion = "!a";
662 break;
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300663 case 'r':
Guido van Rossum95e4d582018-01-26 08:20:18 -0800664 conversion = "!r";
665 break;
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300666 case 's':
Guido van Rossum95e4d582018-01-26 08:20:18 -0800667 conversion = "!s";
668 break;
669 default:
670 PyErr_SetString(PyExc_SystemError,
671 "unknown f-value conversion kind");
672 return -1;
673 }
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300674 APPEND_STR(conversion);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800675 }
Stéphane Wirtel83ab9952018-02-01 17:59:27 +0100676 if (e->v.FormattedValue.format_spec) {
Guido van Rossum95e4d582018-01-26 08:20:18 -0800677 if (-1 == _PyUnicodeWriter_WriteASCIIString(writer, ":", 1) ||
678 -1 == append_fstring_element(writer,
679 e->v.FormattedValue.format_spec,
680 true
681 ))
682 {
683 return -1;
684 }
685 }
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300686
687 APPEND_STR_FINISH("}");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800688}
689
690static int
691append_ast_attribute(_PyUnicodeWriter *writer, expr_ty e)
692{
693 const char *period;
Serhiy Storchaka3f228112018-09-27 17:42:37 +0300694 expr_ty v = e->v.Attribute.value;
695 APPEND_EXPR(v, PR_ATOM);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800696
697 /* Special case: integers require a space for attribute access to be
Serhiy Storchaka3f228112018-09-27 17:42:37 +0300698 unambiguous. */
699 if (v->kind == Constant_kind && PyLong_CheckExact(v->v.Constant.value)) {
Guido van Rossum95e4d582018-01-26 08:20:18 -0800700 period = " .";
701 }
702 else {
703 period = ".";
704 }
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300705 APPEND_STR(period);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800706
707 return _PyUnicodeWriter_WriteStr(writer, e->v.Attribute.attr);
708}
709
710static int
711append_ast_simple_slice(_PyUnicodeWriter *writer, slice_ty slice)
712{
713 if (slice->v.Slice.lower) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300714 APPEND_EXPR(slice->v.Slice.lower, PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800715 }
716
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300717 APPEND_STR(":");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800718
719 if (slice->v.Slice.upper) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300720 APPEND_EXPR(slice->v.Slice.upper, PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800721 }
722
723 if (slice->v.Slice.step) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300724 APPEND_STR(":");
725 APPEND_EXPR(slice->v.Slice.step, PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800726 }
727 return 0;
728}
729
730static int
731append_ast_ext_slice(_PyUnicodeWriter *writer, slice_ty slice)
732{
733 Py_ssize_t i, dims_count;
734 dims_count = asdl_seq_LEN(slice->v.ExtSlice.dims);
735 for (i = 0; i < dims_count; i++) {
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300736 APPEND_STR_IF(i > 0, ", ");
737 APPEND(slice, (slice_ty)asdl_seq_GET(slice->v.ExtSlice.dims, i));
Guido van Rossum95e4d582018-01-26 08:20:18 -0800738 }
739 return 0;
740}
741
742static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300743append_ast_slice(_PyUnicodeWriter *writer, slice_ty slice)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800744{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300745 switch (slice->kind) {
Guido van Rossum95e4d582018-01-26 08:20:18 -0800746 case Slice_kind:
747 return append_ast_simple_slice(writer, slice);
748 case ExtSlice_kind:
749 return append_ast_ext_slice(writer, slice);
750 case Index_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300751 APPEND_EXPR(slice->v.Index.value, PR_TUPLE);
752 return 0;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800753 default:
754 PyErr_SetString(PyExc_SystemError,
755 "unexpected slice kind");
756 return -1;
757 }
758}
759
760static int
761append_ast_subscript(_PyUnicodeWriter *writer, expr_ty e)
762{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300763 APPEND_EXPR(e->v.Subscript.value, PR_ATOM);
764 APPEND_STR("[");
765 APPEND(slice, e->v.Subscript.slice);
766 APPEND_STR_FINISH("]");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800767}
768
769static int
770append_ast_starred(_PyUnicodeWriter *writer, expr_ty e)
771{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300772 APPEND_STR("*");
773 APPEND_EXPR(e->v.Starred.value, PR_EXPR);
774 return 0;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800775}
776
777static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300778append_ast_yield(_PyUnicodeWriter *writer, expr_ty e)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800779{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300780 if (!e->v.Yield.value) {
781 APPEND_STR_FINISH("(yield)");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800782 }
783
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300784 APPEND_STR("(yield ");
785 APPEND_EXPR(e->v.Yield.value, PR_TEST);
786 APPEND_STR_FINISH(")");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800787}
788
789static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300790append_ast_yield_from(_PyUnicodeWriter *writer, expr_ty e)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800791{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300792 APPEND_STR("(yield from ");
793 APPEND_EXPR(e->v.YieldFrom.value, PR_TEST);
794 APPEND_STR_FINISH(")");
Guido van Rossum95e4d582018-01-26 08:20:18 -0800795}
796
797static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300798append_ast_await(_PyUnicodeWriter *writer, expr_ty e, int level)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800799{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300800 APPEND_STR_IF(level > PR_AWAIT, "(");
801 APPEND_STR("await ");
802 APPEND_EXPR(e->v.Await.value, PR_ATOM);
803 APPEND_STR_IF(level > PR_AWAIT, ")");
804 return 0;
Guido van Rossum95e4d582018-01-26 08:20:18 -0800805}
806
807static int
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300808append_ast_expr(_PyUnicodeWriter *writer, expr_ty e, int level)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800809{
810 switch (e->kind) {
811 case BoolOp_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300812 return append_ast_boolop(writer, e, level);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800813 case BinOp_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300814 return append_ast_binop(writer, e, level);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800815 case UnaryOp_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300816 return append_ast_unaryop(writer, e, level);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800817 case Lambda_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300818 return append_ast_lambda(writer, e, level);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800819 case IfExp_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300820 return append_ast_ifexp(writer, e, level);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800821 case Dict_kind:
822 return append_ast_dict(writer, e);
823 case Set_kind:
824 return append_ast_set(writer, e);
825 case GeneratorExp_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300826 return append_ast_genexp(writer, e);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800827 case ListComp_kind:
828 return append_ast_listcomp(writer, e);
829 case SetComp_kind:
830 return append_ast_setcomp(writer, e);
831 case DictComp_kind:
832 return append_ast_dictcomp(writer, e);
833 case Yield_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300834 return append_ast_yield(writer, e);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800835 case YieldFrom_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300836 return append_ast_yield_from(writer, e);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800837 case Await_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300838 return append_ast_await(writer, e, level);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800839 case Compare_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300840 return append_ast_compare(writer, e, level);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800841 case Call_kind:
842 return append_ast_call(writer, e);
843 case Constant_kind:
Serhiy Storchaka3f228112018-09-27 17:42:37 +0300844 if (e->v.Constant.value == Py_Ellipsis) {
845 APPEND_STR_FINISH("...");
846 }
Guido van Rossum95e4d582018-01-26 08:20:18 -0800847 return append_repr(writer, e->v.Constant.value);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800848 case JoinedStr_kind:
849 return append_joinedstr(writer, e, false);
850 case FormattedValue_kind:
851 return append_formattedvalue(writer, e, false);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800852 /* The following exprs can be assignment targets. */
853 case Attribute_kind:
854 return append_ast_attribute(writer, e);
855 case Subscript_kind:
856 return append_ast_subscript(writer, e);
857 case Starred_kind:
858 return append_ast_starred(writer, e);
859 case Name_kind:
860 return _PyUnicodeWriter_WriteStr(writer, e->v.Name.id);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800861 case List_kind:
862 return append_ast_list(writer, e);
863 case Tuple_kind:
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300864 return append_ast_tuple(writer, e, level);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800865 default:
866 PyErr_SetString(PyExc_SystemError,
867 "unknown expression kind");
868 return -1;
869 }
870}
871
872static int
Stéphane Wirtel83ab9952018-02-01 17:59:27 +0100873maybe_init_static_strings(void)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800874{
875 if (!_str_open_br &&
876 !(_str_open_br = PyUnicode_InternFromString("{"))) {
877 return -1;
878 }
879 if (!_str_dbl_open_br &&
880 !(_str_dbl_open_br = PyUnicode_InternFromString("{{"))) {
881 return -1;
882 }
883 if (!_str_close_br &&
884 !(_str_close_br = PyUnicode_InternFromString("}"))) {
885 return -1;
886 }
887 if (!_str_dbl_close_br &&
888 !(_str_dbl_close_br = PyUnicode_InternFromString("}}"))) {
889 return -1;
890 }
891 return 0;
892}
893
894static PyObject *
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300895expr_as_unicode(expr_ty e, int level)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800896{
897 _PyUnicodeWriter writer;
898 _PyUnicodeWriter_Init(&writer);
899 writer.min_length = 256;
900 writer.overallocate = 1;
901 if (-1 == maybe_init_static_strings() ||
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300902 -1 == append_ast_expr(&writer, e, level))
Guido van Rossum95e4d582018-01-26 08:20:18 -0800903 {
904 _PyUnicodeWriter_Dealloc(&writer);
905 return NULL;
906 }
907 return _PyUnicodeWriter_Finish(&writer);
908}
909
910PyObject *
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300911_PyAST_ExprAsUnicode(expr_ty e)
Guido van Rossum95e4d582018-01-26 08:20:18 -0800912{
Serhiy Storchaka64fddc42018-05-17 06:17:48 +0300913 return expr_as_unicode(e, PR_TEST);
Guido van Rossum95e4d582018-01-26 08:20:18 -0800914}