runtime.c 43.1 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
/*
 * This file is part of the Micro Python project, http://micropython.org/
 *
 * The MIT License (MIT)
 *
 * Copyright (c) 2013, 2014 Damien P. George
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 * THE SOFTWARE.
 */

Damien's avatar
Damien committed
27
28
29
30
#include <stdio.h>
#include <string.h>
#include <assert.h>

31
#include "mpconfig.h"
32
#include "nlr.h"
Damien's avatar
Damien committed
33
#include "misc.h"
34
#include "qstr.h"
35
#include "obj.h"
36
#include "objtuple.h"
37
#include "objmodule.h"
38
#include "parsenum.h"
39
#include "runtime0.h"
Damien's avatar
Damien committed
40
#include "runtime.h"
41
#include "emitglue.h"
42
#include "builtin.h"
43
#include "builtintables.h"
44
#include "bc.h"
45
#include "smallint.h"
46
#include "objgenerator.h"
47

48
#if 0 // print debugging info
49
#define DEBUG_PRINT (1)
50
#define DEBUG_printf DEBUG_printf
51
#define DEBUG_OP_printf(...) DEBUG_printf(__VA_ARGS__)
52
#else // don't print debugging info
53
54
#define DEBUG_printf(...) (void)0
#define DEBUG_OP_printf(...) (void)0
55
#endif
Damien's avatar
Damien committed
56

57
// locals and globals need to be pointers because they can be the same in outer module scope
58
59
STATIC mp_obj_dict_t *dict_locals;
STATIC mp_obj_dict_t *dict_globals;
60

61
// dictionary for the __main__ module
62
STATIC mp_obj_dict_t dict_main;
63
64
65
66

const mp_obj_module_t mp_module___main__ = {
    .base = { &mp_type_module },
    .name = MP_QSTR___main__,
67
    .globals = (mp_obj_dict_t*)&dict_main,
68
69
};

Damien George's avatar
Damien George committed
70
void mp_init(void) {
71
72
73
74
75
    // call port specific initialization if any 
#ifdef MICROPY_PORT_INIT_FUNC
    MICROPY_PORT_INIT_FUNC;
#endif

76
77
    mp_emit_glue_init();

78
79
    // init global module stuff
    mp_module_init();
80

81
    // initialise the __main__ module
82
83
    mp_obj_dict_init(&dict_main, 1);
    mp_obj_dict_store(&dict_main, MP_OBJ_NEW_QSTR(MP_QSTR___name__), MP_OBJ_NEW_QSTR(MP_QSTR___main__));
84
85

    // locals = globals for outer module (see Objects/frameobject.c/PyFrame_New())
86
    dict_locals = dict_globals = &dict_main;
Damien's avatar
Damien committed
87
88
}

Damien George's avatar
Damien George committed
89
void mp_deinit(void) {
90
    //mp_obj_dict_free(&dict_main);
91
92
    mp_module_deinit();
    mp_emit_glue_deinit();
Damien's avatar
Damien committed
93
94
}

Damien George's avatar
Damien George committed
95
mp_obj_t mp_load_const_dec(qstr qstr) {
Damien's avatar
Damien committed
96
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
97
98
    uint len;
    const byte* data = qstr_data(qstr, &len);
99
    return mp_parse_num_decimal((const char*)data, len, true, false);
Damien's avatar
Damien committed
100
101
}

Damien George's avatar
Damien George committed
102
mp_obj_t mp_load_const_str(qstr qstr) {
Damien's avatar
Damien committed
103
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
104
    return MP_OBJ_NEW_QSTR(qstr);
Damien's avatar
Damien committed
105
106
}

Damien George's avatar
Damien George committed
107
mp_obj_t mp_load_const_bytes(qstr qstr) {
108
109
110
111
112
113
    DEBUG_OP_printf("load b'%s'\n", qstr_str(qstr));
    uint len;
    const byte *data = qstr_data(qstr, &len);
    return mp_obj_new_bytes(data, len);
}

Damien George's avatar
Damien George committed
114
mp_obj_t mp_load_name(qstr qstr) {
Damien's avatar
Damien committed
115
    // logic: search locals, globals, builtins
116
    DEBUG_OP_printf("load name %s\n", qstr_str(qstr));
117
    // If we're at the outer scope (locals == globals), dispatch to load_global right away
118
119
    if (dict_locals != dict_globals) {
        mp_map_elem_t *elem = mp_map_lookup(&dict_locals->map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
120
121
122
        if (elem != NULL) {
            return elem->value;
        }
Damien's avatar
Damien committed
123
    }
124
    return mp_load_global(qstr);
Damien's avatar
Damien committed
125
126
}

Damien George's avatar
Damien George committed
127
mp_obj_t mp_load_global(qstr qstr) {
128
129
    // logic: search globals, builtins
    DEBUG_OP_printf("load global %s\n", qstr_str(qstr));
130
    mp_map_elem_t *elem = mp_map_lookup(&dict_globals->map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
131
    if (elem == NULL) {
132
133
        // TODO lookup in dynamic table of builtins first
        elem = mp_map_lookup((mp_map_t*)&mp_builtin_object_dict_obj.map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
134
        if (elem == NULL) {
135
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_NameError, "name '%s' is not defined", qstr_str(qstr)));
136
137
138
        }
    }
    return elem->value;
Damien's avatar
Damien committed
139
140
}

Damien George's avatar
Damien George committed
141
mp_obj_t mp_load_build_class(void) {
Damien's avatar
Damien committed
142
    DEBUG_OP_printf("load_build_class\n");
143
144
145
    // TODO lookup __build_class__ in dynamic table of builtins first
    // ... else no user-defined __build_class__, return builtin one
    return (mp_obj_t)&mp_builtin___build_class___obj;
Damien's avatar
Damien committed
146
147
}

Damien George's avatar
Damien George committed
148
void mp_store_name(qstr qstr, mp_obj_t obj) {
149
    DEBUG_OP_printf("store name %s <- %p\n", qstr_str(qstr), obj);
150
    mp_obj_dict_store(dict_locals, MP_OBJ_NEW_QSTR(qstr), obj);
151
152
}

Damien George's avatar
Damien George committed
153
void mp_delete_name(qstr qstr) {
154
    DEBUG_OP_printf("delete name %s\n", qstr_str(qstr));
155
156
    // TODO convert KeyError to NameError if qstr not found
    mp_obj_dict_delete(dict_locals, MP_OBJ_NEW_QSTR(qstr));
157
158
}

Damien George's avatar
Damien George committed
159
void mp_store_global(qstr qstr, mp_obj_t obj) {
160
    DEBUG_OP_printf("store global %s <- %p\n", qstr_str(qstr), obj);
161
    mp_obj_dict_store(dict_globals, MP_OBJ_NEW_QSTR(qstr), obj);
Damien's avatar
Damien committed
162
163
}

164
165
166
167
168
169
void mp_delete_global(qstr qstr) {
    DEBUG_OP_printf("delete global %s\n", qstr_str(qstr));
    // TODO convert KeyError to NameError if qstr not found
    mp_obj_dict_delete(dict_globals, MP_OBJ_NEW_QSTR(qstr));
}

Damien George's avatar
Damien George committed
170
mp_obj_t mp_unary_op(int op, mp_obj_t arg) {
Damien's avatar
Damien committed
171
    DEBUG_OP_printf("unary %d %p\n", op, arg);
172

173
174
    if (MP_OBJ_IS_SMALL_INT(arg)) {
        mp_small_int_t val = MP_OBJ_SMALL_INT_VALUE(arg);
Damien's avatar
Damien committed
175
        switch (op) {
Damien George's avatar
Damien George committed
176
            case MP_UNARY_OP_BOOL:
177
                return MP_BOOL(val != 0);
Damien George's avatar
Damien George committed
178
            case MP_UNARY_OP_POSITIVE:
179
                return arg;
Damien George's avatar
Damien George committed
180
            case MP_UNARY_OP_NEGATIVE:
181
182
183
184
185
186
                // check for overflow
                if (val == MP_SMALL_INT_MIN) {
                    return mp_obj_new_int(-val);
                } else {
                    return MP_OBJ_NEW_SMALL_INT(-val);
                }
Damien George's avatar
Damien George committed
187
            case MP_UNARY_OP_INVERT:
188
189
190
191
                return MP_OBJ_NEW_SMALL_INT(~val);
            default:
                assert(0);
                return arg;
192
        }
193
194
195
196
    } else {
        mp_obj_type_t *type = mp_obj_get_type(arg);
        if (type->unary_op != NULL) {
            mp_obj_t result = type->unary_op(op, arg);
197
            if (result != MP_OBJ_NOT_SUPPORTED) {
198
199
                return result;
            }
Damien's avatar
Damien committed
200
        }
201
        // TODO specify in error message what the operator is
202
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "bad operand type for unary operator: '%s'", mp_obj_get_type_str(arg)));
Damien's avatar
Damien committed
203
    }
Damien's avatar
Damien committed
204
205
}

Damien George's avatar
Damien George committed
206
mp_obj_t mp_binary_op(int op, mp_obj_t lhs, mp_obj_t rhs) {
Damien's avatar
Damien committed
207
    DEBUG_OP_printf("binary %d %p %p\n", op, lhs, rhs);
208
209
210
211
212
213
214
215
216
217

    // TODO correctly distinguish inplace operators for mutable objects
    // lookup logic that CPython uses for +=:
    //   check for implemented +=
    //   then check for implemented +
    //   then check for implemented seq.inplace_concat
    //   then check for implemented seq.concat
    //   then fail
    // note that list does not implement + or +=, so that inplace_concat is reached first for +=

218
    // deal with is
Damien George's avatar
Damien George committed
219
    if (op == MP_BINARY_OP_IS) {
220
221
222
        return MP_BOOL(lhs == rhs);
    }

223
    // deal with == and != for all types
Damien George's avatar
Damien George committed
224
    if (op == MP_BINARY_OP_EQUAL || op == MP_BINARY_OP_NOT_EQUAL) {
225
        if (mp_obj_equal(lhs, rhs)) {
Damien George's avatar
Damien George committed
226
            if (op == MP_BINARY_OP_EQUAL) {
227
228
229
230
231
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        } else {
Damien George's avatar
Damien George committed
232
            if (op == MP_BINARY_OP_EQUAL) {
233
234
235
236
237
238
239
240
                return mp_const_false;
            } else {
                return mp_const_true;
            }
        }
    }

    // deal with exception_match for all types
Damien George's avatar
Damien George committed
241
    if (op == MP_BINARY_OP_EXCEPTION_MATCH) {
242
243
244
245
246
247
        // rhs must be issubclass(rhs, BaseException)
        if (mp_obj_is_exception_type(rhs)) {
            // if lhs is an instance of an exception, then extract and use its type
            if (mp_obj_is_exception_instance(lhs)) {
                lhs = mp_obj_get_type(lhs);
            }
248
            if (mp_obj_is_subclass_fast(lhs, rhs)) {
249
250
251
252
253
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        }
254
255
        assert(0);
        return mp_const_false;
256
257
    }

258
    if (MP_OBJ_IS_SMALL_INT(lhs)) {
259
        mp_small_int_t lhs_val = MP_OBJ_SMALL_INT_VALUE(lhs);
260
261
        if (MP_OBJ_IS_SMALL_INT(rhs)) {
            mp_small_int_t rhs_val = MP_OBJ_SMALL_INT_VALUE(rhs);
262
263
264
265
266
267
268
269
270
            // This is a binary operation: lhs_val op rhs_val
            // We need to be careful to handle overflow; see CERT INT32-C
            // Operations that can overflow:
            //      +       result always fits in machine_int_t, then handled by SMALL_INT check
            //      -       result always fits in machine_int_t, then handled by SMALL_INT check
            //      *       checked explicitly
            //      /       if lhs=MIN and rhs=-1; result always fits in machine_int_t, then handled by SMALL_INT check
            //      %       if lhs=MIN and rhs=-1; result always fits in machine_int_t, then handled by SMALL_INT check
            //      <<      checked explicitly
271
            switch (op) {
Damien George's avatar
Damien George committed
272
273
274
275
276
277
278
279
                case MP_BINARY_OP_OR:
                case MP_BINARY_OP_INPLACE_OR: lhs_val |= rhs_val; break;
                case MP_BINARY_OP_XOR:
                case MP_BINARY_OP_INPLACE_XOR: lhs_val ^= rhs_val; break;
                case MP_BINARY_OP_AND:
                case MP_BINARY_OP_INPLACE_AND: lhs_val &= rhs_val; break;
                case MP_BINARY_OP_LSHIFT:
                case MP_BINARY_OP_INPLACE_LSHIFT: {
280
281
                    if (rhs_val < 0) {
                        // negative shift not allowed
282
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
283
284
285
286
287
288
289
290
291
292
                    } else if (rhs_val >= BITS_PER_WORD || lhs_val > (MP_SMALL_INT_MAX >> rhs_val) || lhs_val < (MP_SMALL_INT_MIN >> rhs_val)) {
                        // left-shift will overflow, so use higher precision integer
                        lhs = mp_obj_new_int_from_ll(lhs_val);
                        goto generic_binary_op;
                    } else {
                        // use standard precision
                        lhs_val <<= rhs_val;
                    }
                    break;
                }
Damien George's avatar
Damien George committed
293
294
                case MP_BINARY_OP_RSHIFT:
                case MP_BINARY_OP_INPLACE_RSHIFT:
295
296
                    if (rhs_val < 0) {
                        // negative shift not allowed
297
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
298
299
300
301
302
                    } else {
                        // standard precision is enough for right-shift
                        lhs_val >>= rhs_val;
                    }
                    break;
Damien George's avatar
Damien George committed
303
304
305
306
307
308
                case MP_BINARY_OP_ADD:
                case MP_BINARY_OP_INPLACE_ADD: lhs_val += rhs_val; break;
                case MP_BINARY_OP_SUBTRACT:
                case MP_BINARY_OP_INPLACE_SUBTRACT: lhs_val -= rhs_val; break;
                case MP_BINARY_OP_MULTIPLY:
                case MP_BINARY_OP_INPLACE_MULTIPLY: {
309
310
311

                    // If long long type exists and is larger than machine_int_t, then
                    // we can use the following code to perform overflow-checked multiplication.
312
                    // Otherwise (eg in x64 case) we must use mp_small_int_mul_overflow.
313
314
315
316
317
318
319
320
321
322
323
324
                    #if 0
                    // compute result using long long precision
                    long long res = (long long)lhs_val * (long long)rhs_val;
                    if (res > MP_SMALL_INT_MAX || res < MP_SMALL_INT_MIN) {
                        // result overflowed SMALL_INT, so return higher precision integer
                        return mp_obj_new_int_from_ll(res);
                    } else {
                        // use standard precision
                        lhs_val = (mp_small_int_t)res;
                    }
                    #endif

325
326
327
328
329
330
331
332
                    if (mp_small_int_mul_overflow(lhs_val, rhs_val)) {
                        // use higher precision
                        lhs = mp_obj_new_int_from_ll(lhs_val);
                        goto generic_binary_op;
                    } else {
                        // use standard precision
                        return MP_OBJ_NEW_SMALL_INT(lhs_val * rhs_val);
                    }
333
334
                    break;
                }
Damien George's avatar
Damien George committed
335
336
                case MP_BINARY_OP_FLOOR_DIVIDE:
                case MP_BINARY_OP_INPLACE_FLOOR_DIVIDE:
337
338
339
                    if (rhs_val == 0) {
                        goto zero_division;
                    }
340
                    lhs_val = mp_small_int_floor_divide(lhs_val, rhs_val);
341
                    break;
342

343
                #if MICROPY_ENABLE_FLOAT
Damien George's avatar
Damien George committed
344
                case MP_BINARY_OP_TRUE_DIVIDE:
345
346
                case MP_BINARY_OP_INPLACE_TRUE_DIVIDE:
                    if (rhs_val == 0) {
347
                        goto zero_division;
348
349
                    }
                    return mp_obj_new_float((mp_float_t)lhs_val / (mp_float_t)rhs_val);
350
                #endif
351

Damien George's avatar
Damien George committed
352
                case MP_BINARY_OP_MODULO:
353
354
                case MP_BINARY_OP_INPLACE_MODULO: {
                    lhs_val = mp_small_int_modulo(lhs_val, rhs_val);
355
356
                    break;
                }
357

Damien George's avatar
Damien George committed
358
359
                case MP_BINARY_OP_POWER:
                case MP_BINARY_OP_INPLACE_POWER:
360
361
362
363
364
                    if (rhs_val < 0) {
                        #if MICROPY_ENABLE_FLOAT
                        lhs = mp_obj_new_float(lhs_val);
                        goto generic_binary_op;
                        #else
365
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative power with no float support"));
366
367
368
369
370
                        #endif
                    } else {
                        machine_int_t ans = 1;
                        while (rhs_val > 0) {
                            if (rhs_val & 1) {
371
                                if (mp_small_int_mul_overflow(ans, lhs_val)) {
372
373
                                    goto power_overflow;
                                }
374
                                ans *= lhs_val;
375
376
377
                            }
                            if (rhs_val == 1) {
                                break;
378
379
                            }
                            rhs_val /= 2;
380
                            if (mp_small_int_mul_overflow(lhs_val, lhs_val)) {
381
382
                                goto power_overflow;
                            }
383
                            lhs_val *= lhs_val;
384
                        }
385
                        lhs_val = ans;
386
                    }
387
                    break;
388
389
390
391
392
393

                power_overflow:
                    // use higher precision
                    lhs = mp_obj_new_int_from_ll(MP_OBJ_SMALL_INT_VALUE(lhs));
                    goto generic_binary_op;

Damien George's avatar
Damien George committed
394
395
396
397
                case MP_BINARY_OP_LESS: return MP_BOOL(lhs_val < rhs_val); break;
                case MP_BINARY_OP_MORE: return MP_BOOL(lhs_val > rhs_val); break;
                case MP_BINARY_OP_LESS_EQUAL: return MP_BOOL(lhs_val <= rhs_val); break;
                case MP_BINARY_OP_MORE_EQUAL: return MP_BOOL(lhs_val >= rhs_val); break;
398

399
400
                default:
                    goto unsupported_op;
401
            }
402
403
            // TODO: We just should make mp_obj_new_int() inline and use that
            if (MP_OBJ_FITS_SMALL_INT(lhs_val)) {
404
                return MP_OBJ_NEW_SMALL_INT(lhs_val);
405
406
            } else {
                return mp_obj_new_int(lhs_val);
407
            }
408
#if MICROPY_ENABLE_FLOAT
409
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_float)) {
410
411
412
413
414
415
            mp_obj_t res = mp_obj_float_binary_op(op, lhs_val, rhs);
            if (res == MP_OBJ_NULL) {
                goto unsupported_op;
            } else {
                return res;
            }
416
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_complex)) {
417
418
419
420
421
422
            mp_obj_t res = mp_obj_complex_binary_op(op, lhs_val, 0, rhs);
            if (res == MP_OBJ_NULL) {
                goto unsupported_op;
            } else {
                return res;
            }
423
#endif
424
        }
425
    }
426

427
    /* deal with `in`
428
429
     *
     * NOTE `a in b` is `b.__contains__(a)`, hence why the generic dispatch
Damien George's avatar
Damien George committed
430
     * needs to go below with swapped arguments
431
     */
Damien George's avatar
Damien George committed
432
    if (op == MP_BINARY_OP_IN) {
433
434
435
        mp_obj_type_t *type = mp_obj_get_type(rhs);
        if (type->binary_op != NULL) {
            mp_obj_t res = type->binary_op(op, rhs, lhs);
436
            if (res != MP_OBJ_NOT_SUPPORTED) {
437
                return res;
John R. Lenton's avatar
John R. Lenton committed
438
            }
439
440
441
442
        }
        if (type->getiter != NULL) {
            /* second attempt, walk the iterator */
            mp_obj_t next = NULL;
Damien George's avatar
Damien George committed
443
            mp_obj_t iter = mp_getiter(rhs);
444
            while ((next = mp_iternext(iter)) != MP_OBJ_STOP_ITERATION) {
445
                if (mp_obj_equal(next, lhs)) {
446
                    return mp_const_true;
John R. Lenton's avatar
John R. Lenton committed
447
                }
448
            }
449
            return mp_const_false;
450
451
        }

452
        nlr_raise(mp_obj_new_exception_msg_varg(
453
                     &mp_type_TypeError, "'%s' object is not iterable",
454
455
456
457
                     mp_obj_get_type_str(rhs)));
        return mp_const_none;
    }

458
    // generic binary_op supplied by type
459
460
461
    mp_obj_type_t *type;
generic_binary_op:
    type = mp_obj_get_type(lhs);
462
463
    if (type->binary_op != NULL) {
        mp_obj_t result = type->binary_op(op, lhs, rhs);
464
        if (result != MP_OBJ_NOT_SUPPORTED) {
465
            return result;
Damien's avatar
Damien committed
466
467
        }
    }
468

469
470
    // TODO implement dispatch for reverse binary ops

John R. Lenton's avatar
John R. Lenton committed
471
    // TODO specify in error message what the operator is
472
unsupported_op:
473
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
John R. Lenton's avatar
John R. Lenton committed
474
475
        "unsupported operand types for binary operator: '%s', '%s'",
        mp_obj_get_type_str(lhs), mp_obj_get_type_str(rhs)));
476
    return mp_const_none;
477
478

zero_division:
479
    nlr_raise(mp_obj_new_exception_msg(&mp_type_ZeroDivisionError, "division by zero"));
Damien's avatar
Damien committed
480
481
}

Damien George's avatar
Damien George committed
482
483
mp_obj_t mp_call_function_0(mp_obj_t fun) {
    return mp_call_function_n_kw(fun, 0, 0, NULL);
484
485
}

Damien George's avatar
Damien George committed
486
487
mp_obj_t mp_call_function_1(mp_obj_t fun, mp_obj_t arg) {
    return mp_call_function_n_kw(fun, 1, 0, &arg);
488
489
}

Damien George's avatar
Damien George committed
490
mp_obj_t mp_call_function_2(mp_obj_t fun, mp_obj_t arg1, mp_obj_t arg2) {
491
    mp_obj_t args[2];
492
493
    args[0] = arg1;
    args[1] = arg2;
Damien George's avatar
Damien George committed
494
    return mp_call_function_n_kw(fun, 2, 0, args);
495
496
}

497
498
// wrapper that accepts n_args and n_kw in one argument
// native emitter can only pass at most 3 arguments to a function
Damien George's avatar
Damien George committed
499
500
mp_obj_t mp_call_function_n_kw_for_native(mp_obj_t fun_in, uint n_args_kw, const mp_obj_t *args) {
    return mp_call_function_n_kw(fun_in, n_args_kw & 0xff, (n_args_kw >> 8) & 0xff, args);
501
502
}

503
// args contains, eg: arg0  arg1  key0  value0  key1  value1
Damien George's avatar
Damien George committed
504
mp_obj_t mp_call_function_n_kw(mp_obj_t fun_in, uint n_args, uint n_kw, const mp_obj_t *args) {
505
506
    // TODO improve this: fun object can specify its type and we parse here the arguments,
    // passing to the function arrays of fixed and keyword arguments
507

508
509
    DEBUG_OP_printf("calling function %p(n_args=%d, n_kw=%d, args=%p)\n", fun_in, n_args, n_kw, args);

510
511
512
513
514
    // get the type
    mp_obj_type_t *type = mp_obj_get_type(fun_in);

    // do the call
    if (type->call != NULL) {
515
516
517
518
        mp_obj_t res = type->call(fun_in, n_args, n_kw, args);
        if (res != NULL) {
            return res;
        }
519
    }
520
521

    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not callable", mp_obj_get_type_str(fun_in)));
522
523
}

524
525
// args contains: fun  self/NULL  arg(0)  ...  arg(n_args-2)  arg(n_args-1)  kw_key(0)  kw_val(0)  ... kw_key(n_kw-1)  kw_val(n_kw-1)
// if n_args==0 and n_kw==0 then there are only fun and self/NULL
Damien George's avatar
Damien George committed
526
mp_obj_t mp_call_method_n_kw(uint n_args, uint n_kw, const mp_obj_t *args) {
527
528
    DEBUG_OP_printf("call method (fun=%p, self=%p, n_args=%u, n_kw=%u, args=%p)\n", args[0], args[1], n_args, n_kw, args);
    int adjust = (args[1] == NULL) ? 0 : 1;
Damien George's avatar
Damien George committed
529
    return mp_call_function_n_kw(args[0], n_args + adjust, n_kw, args + 2 - adjust);
530
531
}

532
mp_obj_t mp_call_method_n_kw_var(bool have_self, uint n_args_n_kw, const mp_obj_t *args) {
533
534
535
536
537
538
539
    mp_obj_t fun = *args++;
    mp_obj_t self = MP_OBJ_NULL;
    if (have_self) {
        self = *args++; // may be MP_OBJ_NULL
    }
    uint n_args = n_args_n_kw & 0xff;
    uint n_kw = (n_args_n_kw >> 8) & 0xff;
540
541
    mp_obj_t pos_seq = args[n_args + 2 * n_kw]; // map be MP_OBJ_NULL
    mp_obj_t kw_dict = args[n_args + 2 * n_kw + 1]; // map be MP_OBJ_NULL
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616

    DEBUG_OP_printf("call method var (fun=%p, self=%p, n_args=%u, n_kw=%u, args=%p, seq=%p, dict=%p)\n", fun, self, n_args, n_kw, args, pos_seq, kw_dict);

    // We need to create the following array of objects:
    //     args[0 .. n_args]  unpacked(pos_seq)  args[n_args .. n_args + 2 * n_kw]  unpacked(kw_dict)
    // TODO: optimize one day to avoid constructing new arg array? Will be hard.

    // The new args array
    mp_obj_t *args2;
    uint args2_alloc;
    uint args2_len = 0;

    // Try to get a hint for the size of the kw_dict
    uint kw_dict_len = 0;
    if (kw_dict != MP_OBJ_NULL && MP_OBJ_IS_TYPE(kw_dict, &mp_type_dict)) {
        kw_dict_len = mp_obj_dict_len(kw_dict);
    }

    // Extract the pos_seq sequence to the new args array.
    // Note that it can be arbitrary iterator.
    if (pos_seq == MP_OBJ_NULL) {
        // no sequence

        // allocate memory for the new array of args
        args2_alloc = 1 + n_args + 2 * (n_kw + kw_dict_len);
        args2 = m_new(mp_obj_t, args2_alloc);

        // copy the self
        if (self != MP_OBJ_NULL) {
            args2[args2_len++] = self;
        }

        // copy the fixed pos args
        m_seq_copy(args2 + args2_len, args, n_args, mp_obj_t);
        args2_len += n_args;

    } else if (MP_OBJ_IS_TYPE(pos_seq, &mp_type_tuple) || MP_OBJ_IS_TYPE(pos_seq, &mp_type_list)) {
        // optimise the case of a tuple and list

        // get the items
        uint len;
        mp_obj_t *items;
        mp_obj_get_array(pos_seq, &len, &items);

        // allocate memory for the new array of args
        args2_alloc = 1 + n_args + len + 2 * (n_kw + kw_dict_len);
        args2 = m_new(mp_obj_t, args2_alloc);

        // copy the self
        if (self != MP_OBJ_NULL) {
            args2[args2_len++] = self;
        }

        // copy the fixed and variable position args
        m_seq_cat(args2 + args2_len, args, n_args, items, len, mp_obj_t);
        args2_len += n_args + len;

    } else {
        // generic iterator

        // allocate memory for the new array of args
        args2_alloc = 1 + n_args + 2 * (n_kw + kw_dict_len) + 3;
        args2 = m_new(mp_obj_t, args2_alloc);

        // copy the self
        if (self != MP_OBJ_NULL) {
            args2[args2_len++] = self;
        }

        // copy the fixed position args
        m_seq_copy(args2 + args2_len, args, n_args, mp_obj_t);

        // extract the variable position args from the iterator
        mp_obj_t iterable = mp_getiter(pos_seq);
        mp_obj_t item;
617
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
            if (args2_len >= args2_alloc) {
                args2 = m_renew(mp_obj_t, args2, args2_alloc, args2_alloc * 2);
                args2_alloc *= 2;
            }
            args2[args2_len++] = item;
        }
    }

    // The size of the args2 array now is the number of positional args.
    uint pos_args_len = args2_len;

    // Copy the fixed kw args.
    m_seq_copy(args2 + args2_len, args + n_args, 2 * n_kw, mp_obj_t);
    args2_len += 2 * n_kw;

    // Extract (key,value) pairs from kw_dict dictionary and append to args2.
    // Note that it can be arbitrary iterator.
    if (kw_dict == MP_OBJ_NULL) {
        // pass
    } else if (MP_OBJ_IS_TYPE(kw_dict, &mp_type_dict)) {
        // dictionary
        mp_map_t *map = mp_obj_dict_get_map(kw_dict);
        assert(args2_len + 2 * map->used <= args2_alloc); // should have enough, since kw_dict_len is in this case hinted correctly above
        for (uint i = 0; i < map->alloc; i++) {
            if (map->table[i].key != MP_OBJ_NULL) {
                args2[args2_len++] = map->table[i].key;
                args2[args2_len++] = map->table[i].value;
            }
        }
    } else {
        // generic mapping
        // TODO is calling 'items' on the mapping the correct thing to do here?
        mp_obj_t dest[2];
        mp_load_method(kw_dict, MP_QSTR_items, dest);
        mp_obj_t iterable = mp_getiter(mp_call_method_n_kw(0, 0, dest));
        mp_obj_t item;
654
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
            if (args2_len + 1 >= args2_alloc) {
                uint new_alloc = args2_alloc * 2;
                if (new_alloc < 4) {
                    new_alloc = 4;
                }
                args2 = m_renew(mp_obj_t, args2, args2_alloc, new_alloc);
                args2_alloc = new_alloc;
            }
            mp_obj_t *items;
            mp_obj_get_array_fixed_n(item, 2, &items);
            args2[args2_len++] = items[0];
            args2[args2_len++] = items[1];
        }
    }

    mp_obj_t res = mp_call_function_n_kw(fun, pos_args_len, (args2_len - pos_args_len) / 2, args2);
    m_del(mp_obj_t, args2, args2_alloc);

    return res;
}

676
// unpacked items are stored in reverse order into the array pointed to by items
Damien George's avatar
Damien George committed
677
void mp_unpack_sequence(mp_obj_t seq_in, uint num, mp_obj_t *items) {
678
    uint seq_len;
679
    if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple) || MP_OBJ_IS_TYPE(seq_in, &mp_type_list)) {
680
        mp_obj_t *seq_items;
681
        if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple)) {
682
683
684
            mp_obj_tuple_get(seq_in, &seq_len, &seq_items);
        } else {
            mp_obj_list_get(seq_in, &seq_len, &seq_items);
685
        }
686
        if (seq_len < num) {
687
            goto too_short;
688
        } else if (seq_len > num) {
689
            goto too_long;
690
        }
691
692
693
        for (uint i = 0; i < num; i++) {
            items[i] = seq_items[num - 1 - i];
        }
694
    } else {
Damien George's avatar
Damien George committed
695
        mp_obj_t iterable = mp_getiter(seq_in);
696
697

        for (seq_len = 0; seq_len < num; seq_len++) {
Damien George's avatar
Damien George committed
698
            mp_obj_t el = mp_iternext(iterable);
699
            if (el == MP_OBJ_STOP_ITERATION) {
700
701
702
703
                goto too_short;
            }
            items[num - 1 - seq_len] = el;
        }
704
        if (mp_iternext(iterable) != MP_OBJ_STOP_ITERATION) {
705
706
            goto too_long;
        }
707
    }
708
709
710
    return;

too_short:
711
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "need more than %d values to unpack", seq_len));
712
too_long:
713
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "too many values to unpack (expected %d)", num));
714
715
}

716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
// unpacked items are stored in reverse order into the array pointed to by items
void mp_unpack_ex(mp_obj_t seq_in, uint num_in, mp_obj_t *items) {
    uint num_left = num_in & 0xff;
    uint num_right = (num_in >> 8) & 0xff;
    DEBUG_OP_printf("unpack ex %d %d\n", num_left, num_right);
    uint seq_len;
    if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple) || MP_OBJ_IS_TYPE(seq_in, &mp_type_list)) {
        mp_obj_t *seq_items;
        if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple)) {
            mp_obj_tuple_get(seq_in, &seq_len, &seq_items);
        } else {
            if (num_left == 0 && num_right == 0) {
                // *a, = b # sets a to b if b is a list
                items[0] = seq_in;
                return;
            }
            mp_obj_list_get(seq_in, &seq_len, &seq_items);
        }
        if (seq_len < num_left + num_right) {
            goto too_short;
        }
        for (uint i = 0; i < num_right; i++) {
            items[i] = seq_items[seq_len - 1 - i];
        }
        items[num_right] = mp_obj_new_list(seq_len - num_left - num_right, seq_items + num_left);
        for (uint i = 0; i < num_left; i++) {
            items[num_right + 1 + i] = seq_items[num_left - 1 - i];
        }
    } else {
        // Generic iterable; this gets a bit messy: we unpack known left length to the
        // items destination array, then the rest to a dynamically created list.  Once the
        // iterable is exhausted, we take from this list for the right part of the items.
        // TODO Improve to waste less memory in the dynamically created list.
        mp_obj_t iterable = mp_getiter(seq_in);
        mp_obj_t item;
        for (seq_len = 0; seq_len < num_left; seq_len++) {
            item = mp_iternext(iterable);
753
            if (item == MP_OBJ_STOP_ITERATION) {
754
755
756
757
758
                goto too_short;
            }
            items[num_left + num_right + 1 - 1 - seq_len] = item;
        }
        mp_obj_t rest = mp_obj_new_list(0, NULL);
759
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
            mp_obj_list_append(rest, item);
        }
        uint rest_len;
        mp_obj_t *rest_items;
        mp_obj_list_get(rest, &rest_len, &rest_items);
        if (rest_len < num_right) {
            goto too_short;
        }
        items[num_right] = rest;
        for (uint i = 0; i < num_right; i++) {
            items[num_right - 1 - i] = rest_items[rest_len - num_right + i];
        }
        mp_obj_list_set_len(rest, rest_len - num_right);
    }
    return;

too_short:
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "need more than %d values to unpack", seq_len));
}

780
mp_obj_t mp_load_attr(mp_obj_t base, qstr attr) {
781
    DEBUG_OP_printf("load attr %p.%s\n", base, qstr_str(attr));
782
    // use load_method
783
    mp_obj_t dest[2];
784
785
    mp_load_method(base, attr, dest);
    if (dest[1] == MP_OBJ_NULL) {
786
        // load_method returned just a normal attribute
787
        return dest[0];
788
789
790
    } else {
        // load_method returned a method, so build a bound method object
        return mp_obj_new_bound_meth(dest[0], dest[1]);
Damien's avatar
Damien committed
791
792
793
    }
}

794
795
796
// no attribute found, returns:     dest[0] == MP_OBJ_NULL, dest[1] == MP_OBJ_NULL
// normal attribute found, returns: dest[0] == <attribute>, dest[1] == MP_OBJ_NULL
// method attribute found, returns: dest[0] == <method>,    dest[1] == <self>
Damien George's avatar
Damien George committed
797
void mp_load_method_maybe(mp_obj_t base, qstr attr, mp_obj_t *dest) {
798
799
800
801
802
803
804
    // clear output to indicate no attribute/method found yet
    dest[0] = MP_OBJ_NULL;
    dest[1] = MP_OBJ_NULL;

    // get the type
    mp_obj_type_t *type = mp_obj_get_type(base);

Damien George's avatar
Damien George committed
805
806
    // look for built-in names
    if (0) {
807
#if MICROPY_CPYTHON_COMPAT
Damien George's avatar
Damien George committed
808
809
810
    } else if (attr == MP_QSTR___class__) {
        // a.__class__ is equivalent to type(a)
        dest[0] = type;
811
#endif
Damien George's avatar
Damien George committed
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843

    } else if (attr == MP_QSTR___next__ && type->iternext != NULL) {
        dest[0] = (mp_obj_t)&mp_builtin_next_obj;
        dest[1] = base;

    } else if (type->load_attr != NULL) {
        // this type can do its own load, so call it
        type->load_attr(base, attr, dest);

    } else if (type->locals_dict != NULL) {
        // generic method lookup
        // this is a lookup in the object (ie not class or type)
        assert(MP_OBJ_IS_TYPE(type->locals_dict, &mp_type_dict)); // Micro Python restriction, for now
        mp_map_t *locals_map = mp_obj_dict_get_map(type->locals_dict);
        mp_map_elem_t *elem = mp_map_lookup(locals_map, MP_OBJ_NEW_QSTR(attr), MP_MAP_LOOKUP);
        if (elem != NULL) {
            // check if the methods are functions, static or class methods
            // see http://docs.python.org/3.3/howto/descriptor.html
            if (MP_OBJ_IS_TYPE(elem->value, &mp_type_staticmethod)) {
                // return just the function
                dest[0] = ((mp_obj_static_class_method_t*)elem->value)->fun;
            } else if (MP_OBJ_IS_TYPE(elem->value, &mp_type_classmethod)) {
                // return a bound method, with self being the type of this object
                dest[0] = ((mp_obj_static_class_method_t*)elem->value)->fun;
                dest[1] = mp_obj_get_type(base);
            } else if (mp_obj_is_callable(elem->value)) {
                // return a bound method, with self being this object
                dest[0] = elem->value;
                dest[1] = base;
            } else {
                // class member is a value, so just return that value
                dest[0] = elem->value;
Damien's avatar
Damien committed
844
845
            }
        }
846
    }
847
848
}

Damien George's avatar
Damien George committed
849
void mp_load_method(mp_obj_t base, qstr attr, mp_obj_t *dest) {
850
851
    DEBUG_OP_printf("load method %p.%s\n", base, qstr_str(attr));

Damien George's avatar
Damien George committed
852
    mp_load_method_maybe(base, attr, dest);
853

854
    if (dest[0] == MP_OBJ_NULL) {
855
856
        // no attribute/method called attr
        // following CPython, we give a more detailed error message for type objects
857
        if (MP_OBJ_IS_TYPE(base, &mp_type_type)) {
858
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError,
859
                "type object '%s' has no attribute '%s'", qstr_str(((mp_obj_type_t*)base)->name), qstr_str(attr)));
860
        } else {
861
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError, "'%s' object has no attribute '%s'", mp_obj_get_type_str(base), qstr_str(attr)));
862
863
        }
    }
864
865
}

Damien George's avatar
Damien George committed
866
void mp_store_attr(mp_obj_t base, qstr attr, mp_obj_t value) {
Damien's avatar
Damien committed
867
    DEBUG_OP_printf("store attr %p.%s <- %p\n", base, qstr_str(attr), value);
868
869
870
871
872
    mp_obj_type_t *type = mp_obj_get_type(base);
    if (type->store_attr != NULL) {
        if (type->store_attr(base, attr, value)) {
            return;
        }
873
    }
874
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError, "'%s' object has no attribute '%s'", mp_obj_get_type_str(base), qstr_str(attr)));
875
876
}

Damien George's avatar
Damien George committed
877
mp_obj_t mp_getiter(mp_obj_t o_in) {
878
879
880
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->getiter != NULL) {
        return type->getiter(o_in);
881
    } else {
882
        // check for __iter__ method
883
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
884
        mp_load_method_maybe(o_in, MP_QSTR___iter__, dest);
885
        if (dest[0] != MP_OBJ_NULL) {
886
            // __iter__ exists, call it and return its result
Damien George's avatar
Damien George committed
887
            return mp_call_method_n_kw(0, 0, dest);
888
        } else {
Damien George's avatar
Damien George committed
889
            mp_load_method_maybe(o_in, MP_QSTR___getitem__, dest);
890
891
892
893
894
            if (dest[0] != MP_OBJ_NULL) {
                // __getitem__ exists, create an iterator
                return mp_obj_new_getitem_iter(dest);
            } else {
                // object not iterable
895
                nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not iterable", mp_obj_get_type_str(o_in)));
896
            }
897
        }
898
899
    }
}
900

901
// may return MP_OBJ_STOP_ITERATION as an optimisation instead of raise StopIteration()
902
// may also raise StopIteration()
Damien George's avatar
Damien George committed
903
mp_obj_t mp_iternext_allow_raise(mp_obj_t o_in) {
904
905
906
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->iternext != NULL) {
        return type->iternext(o_in);
907
    } else {
908
909
        // check for __next__ method
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
910
        mp_load_method_maybe(o_in, MP_QSTR___next__, dest);
911
912
        if (dest[0] != MP_OBJ_NULL) {
            // __next__ exists, call it and return its result
Damien George's avatar
Damien George committed
913
            return mp_call_method_n_kw(0, 0, dest);
914
        } else {
915
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not an iterator", mp_obj_get_type_str(o_in)));
916
        }
917
918
919
    }
}

920
// will always return MP_OBJ_STOP_ITERATION instead of raising StopIteration() (or any subclass thereof)
921
// may raise other exceptions
Damien George's avatar
Damien George committed
922
mp_obj_t mp_iternext(mp_obj_t o_in) {
923
924
925
926
927
928
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->iternext != NULL) {
        return type->iternext(o_in);
    } else {
        // check for __next__ method
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
929
        mp_load_method_maybe(o_in, MP_QSTR___next__, dest);
930
931
932
933
        if (dest[0] != MP_OBJ_NULL) {
            // __next__ exists, call it and return its result
            nlr_buf_t nlr;
            if (nlr_push(&nlr) == 0) {
Damien George's avatar
Damien George committed
934
                mp_obj_t ret = mp_call_method_n_kw(0, 0, dest);
935
936
937
938
                nlr_pop();
                return ret;
            } else {
                if (mp_obj_is_subclass_fast(mp_obj_get_type(nlr.ret_val), &mp_type_StopIteration)) {
939
                    return MP_OBJ_STOP_ITERATION;
940
                } else {
941
                    nlr_raise(nlr.ret_val);
942
943
944
                }
            }
        } else {
945
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not an iterator", mp_obj_get_type_str(o_in)));
946
947
948
949
        }
    }
}

950
951
// TODO: Unclear what to do with StopIterarion exception here.
mp_vm_return_kind_t mp_resume(mp_obj_t self_in, mp_obj_t send_value, mp_obj_t throw_value, mp_obj_t *ret_val) {
952
    assert((send_value != MP_OBJ_NULL) ^ (throw_value != MP_OBJ_NULL));
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
    mp_obj_type_t *type = mp_obj_get_type(self_in);

    if (type == &mp_type_gen_instance) {
        return mp_obj_gen_resume(self_in, send_value, throw_value, ret_val);
    }

    if (type->iternext != NULL && send_value == mp_const_none) {
        mp_obj_t ret = type->iternext(self_in);
        if (ret != MP_OBJ_NULL) {
            *ret_val = ret;
            return MP_VM_RETURN_YIELD;
        } else {
            // Emulate raise StopIteration()
            // Special case, handled in vm.c
            *ret_val = MP_OBJ_NULL;
            return MP_VM_RETURN_NORMAL;
        }
    }

    mp_obj_t dest[3]; // Reserve slot for send() arg

    if (send_value == mp_const_none) {
        mp_load_method_maybe(self_in, MP_QSTR___next__, dest);
        if (dest[0] != MP_OBJ_NULL) {
            *ret_val = mp_call_method_n_kw(0, 0, dest);
            return MP_VM_RETURN_YIELD;
        }
    }

    if (send_value != MP_OBJ_NULL) {
        mp_load_method(self_in, MP_QSTR_send, dest);
        dest[2] = send_value;
        *ret_val = mp_call_method_n_kw(1, 0, dest);
        return MP_VM_RETURN_YIELD;
    }

    if (throw_value != MP_OBJ_NULL) {
        if (mp_obj_is_subclass_fast(mp_obj_get_type(throw_value), &mp_type_GeneratorExit)) {
            mp_load_method_maybe(self_in, MP_QSTR_close, dest);
            if (dest[0] != MP_OBJ_NULL) {
                *ret_val = mp_call_method_n_kw(0, 0, dest);
                // We assume one can't "yield" from close()
                return MP_VM_RETURN_NORMAL;
            }
        }
998
999
1000
        mp_load_method_maybe(self_in, MP_QSTR_throw, dest);
        if (dest[0] != MP_OBJ_NULL) {
            *ret_val = mp_call_method_n_kw(1, 0, &throw_value);
For faster browsing, not all history is shown. View entire blame