runtime.c 38.4 KB
Newer Older
Damien's avatar
Damien committed
1
2
3
4
#include <stdio.h>
#include <string.h>
#include <assert.h>

5
#include "nlr.h"
Damien's avatar
Damien committed
6
#include "misc.h"
7
#include "mpconfig.h"
8
#include "qstr.h"
9
#include "obj.h"
10
#include "objtuple.h"
11
#include "objmodule.h"
12
#include "parsenum.h"
13
#include "runtime0.h"
Damien's avatar
Damien committed
14
#include "runtime.h"
15
#include "emitglue.h"
16
#include "builtin.h"
17
#include "builtintables.h"
18
#include "bc.h"
19
#include "smallint.h"
20
#include "objgenerator.h"
21

22
#if 0 // print debugging info
23
#define DEBUG_PRINT (1)
24
#define DEBUG_printf DEBUG_printf
25
#define DEBUG_OP_printf(...) DEBUG_printf(__VA_ARGS__)
26
#else // don't print debugging info
27
28
#define DEBUG_printf(...) (void)0
#define DEBUG_OP_printf(...) (void)0
29
#endif
Damien's avatar
Damien committed
30

31
// locals and globals need to be pointers because they can be the same in outer module scope
32
33
34
STATIC mp_map_t *map_locals;
STATIC mp_map_t *map_globals;
STATIC mp_map_t map_builtins;
35

36
// a good optimising compiler will inline this if necessary
37
STATIC void mp_map_add_qstr(mp_map_t *map, qstr qstr, mp_obj_t value) {
38
39
40
    mp_map_lookup(map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP_ADD_IF_NOT_FOUND)->value = value;
}

Damien George's avatar
Damien George committed
41
void mp_init(void) {
42
43
    mp_emit_glue_init();

44
    // locals = globals for outer module (see Objects/frameobject.c/PyFrame_New())
45
    map_locals = map_globals = mp_map_new(1);
46

47
    // init built-in hash table
48
    mp_map_init(&map_builtins, 3);
49

50
51
    // init global module stuff
    mp_module_init();
52

53
54
    // add some builtins that can't be done in ROM
    mp_map_add_qstr(map_globals, MP_QSTR___name__, MP_OBJ_NEW_QSTR(MP_QSTR___main__));
Damien George's avatar
Damien George committed
55

56
#if MICROPY_CPYTHON_COMPAT
57
    // Precreate sys module, so "import sys" didn't throw exceptions.
58
59
60
    mp_obj_t m_sys = mp_obj_new_module(MP_QSTR_sys);
    // Avoid warning of unused var
    (void)m_sys;
61
#endif
62
63
    // init sys.path
    // for efficiency, left to platform-specific startup code
Damien George's avatar
Damien George committed
64
65
    //mp_sys_path = mp_obj_new_list(0, NULL);
    //mp_store_attr(m_sys, MP_QSTR_path, mp_sys_path);
Damien's avatar
Damien committed
66
67
}

Damien George's avatar
Damien George committed
68
void mp_deinit(void) {
69
70
71
72
    mp_map_free(map_globals);
    mp_map_deinit(&map_builtins);
    mp_module_deinit();
    mp_emit_glue_deinit();
Damien's avatar
Damien committed
73
74
}

Damien George's avatar
Damien George committed
75
mp_obj_t mp_load_const_dec(qstr qstr) {
Damien's avatar
Damien committed
76
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
77
78
    uint len;
    const byte* data = qstr_data(qstr, &len);
79
    return mp_parse_num_decimal((const char*)data, len, true, false);
Damien's avatar
Damien committed
80
81
}

Damien George's avatar
Damien George committed
82
mp_obj_t mp_load_const_str(qstr qstr) {
Damien's avatar
Damien committed
83
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
84
    return MP_OBJ_NEW_QSTR(qstr);
Damien's avatar
Damien committed
85
86
}

Damien George's avatar
Damien George committed
87
mp_obj_t mp_load_const_bytes(qstr qstr) {
88
89
90
91
92
93
    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
94
mp_obj_t mp_load_name(qstr qstr) {
Damien's avatar
Damien committed
95
    // logic: search locals, globals, builtins
96
    DEBUG_OP_printf("load name %s\n", qstr_str(qstr));
97
    mp_map_elem_t *elem = mp_map_lookup(map_locals, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
98
99
100
    if (elem != NULL) {
        return elem->value;
    } else {
Damien George's avatar
Damien George committed
101
        return mp_load_global(qstr);
Damien's avatar
Damien committed
102
103
104
    }
}

Damien George's avatar
Damien George committed
105
mp_obj_t mp_load_global(qstr qstr) {
106
107
    // logic: search globals, builtins
    DEBUG_OP_printf("load global %s\n", qstr_str(qstr));
108
    mp_map_elem_t *elem = mp_map_lookup(map_globals, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
109
    if (elem == NULL) {
110
        elem = mp_map_lookup(&map_builtins, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
111
        if (elem == NULL) {
112
113
114
            mp_obj_t o = mp_builtin_tables_lookup_object(qstr);
            if (o != MP_OBJ_NULL) {
                return o;
115
            }
116
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_NameError, "name '%s' is not defined", qstr_str(qstr)));
117
118
119
        }
    }
    return elem->value;
Damien's avatar
Damien committed
120
121
}

Damien George's avatar
Damien George committed
122
mp_obj_t mp_load_build_class(void) {
Damien's avatar
Damien committed
123
    DEBUG_OP_printf("load_build_class\n");
124
    // lookup __build_class__ in dynamic table of builtins first
125
    mp_map_elem_t *elem = mp_map_lookup(&map_builtins, MP_OBJ_NEW_QSTR(MP_QSTR___build_class__), MP_MAP_LOOKUP);
126
    if (elem != NULL) {
127
        // found user-defined __build_class__, return it
128
129
        return elem->value;
    } else {
130
        // no user-defined __build_class__, return builtin one
131
        return (mp_obj_t)&mp_builtin___build_class___obj;
Damien's avatar
Damien committed
132
133
134
    }
}

Damien George's avatar
Damien George committed
135
void mp_store_name(qstr qstr, mp_obj_t obj) {
136
    DEBUG_OP_printf("store name %s <- %p\n", qstr_str(qstr), obj);
137
    mp_map_lookup(map_locals, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP_ADD_IF_NOT_FOUND)->value = obj;
138
139
}

Damien George's avatar
Damien George committed
140
void mp_delete_name(qstr qstr) {
141
142
143
144
    DEBUG_OP_printf("delete name %s\n", qstr_str(qstr));
    mp_map_lookup(map_locals, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP_REMOVE_IF_FOUND);
}

Damien George's avatar
Damien George committed
145
void mp_store_global(qstr qstr, mp_obj_t obj) {
146
    DEBUG_OP_printf("store global %s <- %p\n", qstr_str(qstr), obj);
147
    mp_map_lookup(map_globals, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP_ADD_IF_NOT_FOUND)->value = obj;
Damien's avatar
Damien committed
148
149
}

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

153
154
    if (MP_OBJ_IS_SMALL_INT(arg)) {
        mp_small_int_t val = MP_OBJ_SMALL_INT_VALUE(arg);
Damien's avatar
Damien committed
155
        switch (op) {
Damien George's avatar
Damien George committed
156
            case MP_UNARY_OP_BOOL:
157
                return MP_BOOL(val != 0);
Damien George's avatar
Damien George committed
158
            case MP_UNARY_OP_POSITIVE:
159
                return arg;
Damien George's avatar
Damien George committed
160
            case MP_UNARY_OP_NEGATIVE:
161
162
163
164
165
166
                // 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
167
            case MP_UNARY_OP_INVERT:
168
169
170
171
                return MP_OBJ_NEW_SMALL_INT(~val);
            default:
                assert(0);
                return arg;
172
        }
173
174
175
176
    } 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);
177
178
179
            if (result != NULL) {
                return result;
            }
Damien's avatar
Damien committed
180
        }
181
        // TODO specify in error message what the operator is
Damien George's avatar
Damien George committed
182
        nlr_jump(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
183
    }
Damien's avatar
Damien committed
184
185
}

Damien George's avatar
Damien George committed
186
mp_obj_t mp_binary_op(int op, mp_obj_t lhs, mp_obj_t rhs) {
Damien's avatar
Damien committed
187
    DEBUG_OP_printf("binary %d %p %p\n", op, lhs, rhs);
188
189
190
191
192
193
194
195
196
197

    // 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 +=

198
    // deal with is
Damien George's avatar
Damien George committed
199
    if (op == MP_BINARY_OP_IS) {
200
201
202
        return MP_BOOL(lhs == rhs);
    }

203
    // deal with == and != for all types
Damien George's avatar
Damien George committed
204
    if (op == MP_BINARY_OP_EQUAL || op == MP_BINARY_OP_NOT_EQUAL) {
205
        if (mp_obj_equal(lhs, rhs)) {
Damien George's avatar
Damien George committed
206
            if (op == MP_BINARY_OP_EQUAL) {
207
208
209
210
211
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        } else {
Damien George's avatar
Damien George committed
212
            if (op == MP_BINARY_OP_EQUAL) {
213
214
215
216
217
218
219
220
                return mp_const_false;
            } else {
                return mp_const_true;
            }
        }
    }

    // deal with exception_match for all types
Damien George's avatar
Damien George committed
221
    if (op == MP_BINARY_OP_EXCEPTION_MATCH) {
222
223
224
225
226
227
        // 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);
            }
228
            if (mp_obj_is_subclass_fast(lhs, rhs)) {
229
230
231
232
233
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        }
234
235
        assert(0);
        return mp_const_false;
236
237
    }

238
    if (MP_OBJ_IS_SMALL_INT(lhs)) {
239
        mp_small_int_t lhs_val = MP_OBJ_SMALL_INT_VALUE(lhs);
240
241
        if (MP_OBJ_IS_SMALL_INT(rhs)) {
            mp_small_int_t rhs_val = MP_OBJ_SMALL_INT_VALUE(rhs);
242
243
244
245
246
247
248
249
250
            // 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
251
            switch (op) {
Damien George's avatar
Damien George committed
252
253
254
255
256
257
258
259
                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: {
260
261
262
263
264
265
266
267
268
269
270
271
272
                    if (rhs_val < 0) {
                        // negative shift not allowed
                        nlr_jump(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
                    } 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
273
274
                case MP_BINARY_OP_RSHIFT:
                case MP_BINARY_OP_INPLACE_RSHIFT:
275
276
277
278
279
280
281
282
                    if (rhs_val < 0) {
                        // negative shift not allowed
                        nlr_jump(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
                    } else {
                        // standard precision is enough for right-shift
                        lhs_val >>= rhs_val;
                    }
                    break;
Damien George's avatar
Damien George committed
283
284
285
286
287
288
                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: {
289
290
291

                    // If long long type exists and is larger than machine_int_t, then
                    // we can use the following code to perform overflow-checked multiplication.
292
                    // Otherwise (eg in x64 case) we must use mp_small_int_mul_overflow.
293
294
295
296
297
298
299
300
301
302
303
304
                    #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

305
306
307
308
309
310
311
312
                    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);
                    }
313
314
                    break;
                }
Damien George's avatar
Damien George committed
315
316
                case MP_BINARY_OP_FLOOR_DIVIDE:
                case MP_BINARY_OP_INPLACE_FLOOR_DIVIDE:
317
318
319
                    if (rhs_val == 0) {
                        goto zero_division;
                    }
320
                    lhs_val = mp_small_int_floor_divide(lhs_val, rhs_val);
321
                    break;
322

323
                #if MICROPY_ENABLE_FLOAT
Damien George's avatar
Damien George committed
324
                case MP_BINARY_OP_TRUE_DIVIDE:
325
326
                case MP_BINARY_OP_INPLACE_TRUE_DIVIDE:
                    if (rhs_val == 0) {
327
                        goto zero_division;
328
329
                    }
                    return mp_obj_new_float((mp_float_t)lhs_val / (mp_float_t)rhs_val);
330
                #endif
331

Damien George's avatar
Damien George committed
332
                case MP_BINARY_OP_MODULO:
333
334
                case MP_BINARY_OP_INPLACE_MODULO: {
                    lhs_val = mp_small_int_modulo(lhs_val, rhs_val);
335
336
                    break;
                }
337

Damien George's avatar
Damien George committed
338
339
                case MP_BINARY_OP_POWER:
                case MP_BINARY_OP_INPLACE_POWER:
340
341
342
343
344
345
346
347
348
349
350
                    if (rhs_val < 0) {
                        #if MICROPY_ENABLE_FLOAT
                        lhs = mp_obj_new_float(lhs_val);
                        goto generic_binary_op;
                        #else
                        nlr_jump(mp_obj_new_exception_msg(&mp_type_ValueError, "negative power with no float support"));
                        #endif
                    } else {
                        machine_int_t ans = 1;
                        while (rhs_val > 0) {
                            if (rhs_val & 1) {
351
                                if (mp_small_int_mul_overflow(ans, lhs_val)) {
352
353
                                    goto power_overflow;
                                }
354
                                ans *= lhs_val;
355
356
357
                            }
                            if (rhs_val == 1) {
                                break;
358
359
                            }
                            rhs_val /= 2;
360
                            if (mp_small_int_mul_overflow(lhs_val, lhs_val)) {
361
362
                                goto power_overflow;
                            }
363
                            lhs_val *= lhs_val;
364
                        }
365
                        lhs_val = ans;
366
                    }
367
                    break;
368
369
370
371
372
373

                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
374
375
376
377
                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;
378

379
380
                default: assert(0);
            }
381
382
            // TODO: We just should make mp_obj_new_int() inline and use that
            if (MP_OBJ_FITS_SMALL_INT(lhs_val)) {
383
                return MP_OBJ_NEW_SMALL_INT(lhs_val);
384
385
            } else {
                return mp_obj_new_int(lhs_val);
386
            }
387
#if MICROPY_ENABLE_FLOAT
388
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_float)) {
389
            return mp_obj_float_binary_op(op, lhs_val, rhs);
390
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_complex)) {
391
            return mp_obj_complex_binary_op(op, lhs_val, 0, rhs);
392
#endif
393
        }
394
    }
395

396
    /* deal with `in`
397
398
     *
     * NOTE `a in b` is `b.__contains__(a)`, hence why the generic dispatch
Damien George's avatar
Damien George committed
399
     * needs to go below with swapped arguments
400
     */
Damien George's avatar
Damien George committed
401
    if (op == MP_BINARY_OP_IN) {
402
403
404
        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);
Damien George's avatar
Damien George committed
405
            if (res != MP_OBJ_NULL) {
406
                return res;
John R. Lenton's avatar
John R. Lenton committed
407
            }
408
409
410
411
        }
        if (type->getiter != NULL) {
            /* second attempt, walk the iterator */
            mp_obj_t next = NULL;
Damien George's avatar
Damien George committed
412
413
            mp_obj_t iter = mp_getiter(rhs);
            while ((next = mp_iternext(iter)) != MP_OBJ_NULL) {
414
                if (mp_obj_equal(next, lhs)) {
415
                    return mp_const_true;
John R. Lenton's avatar
John R. Lenton committed
416
                }
417
            }
418
            return mp_const_false;
419
420
421
        }

        nlr_jump(mp_obj_new_exception_msg_varg(
422
                     &mp_type_TypeError, "'%s' object is not iterable",
423
424
425
426
                     mp_obj_get_type_str(rhs)));
        return mp_const_none;
    }

427
    // generic binary_op supplied by type
428
429
430
    mp_obj_type_t *type;
generic_binary_op:
    type = mp_obj_get_type(lhs);
431
432
433
434
    if (type->binary_op != NULL) {
        mp_obj_t result = type->binary_op(op, lhs, rhs);
        if (result != MP_OBJ_NULL) {
            return result;
Damien's avatar
Damien committed
435
436
        }
    }
437

438
439
    // TODO implement dispatch for reverse binary ops

John R. Lenton's avatar
John R. Lenton committed
440
    // TODO specify in error message what the operator is
441
    nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
John R. Lenton's avatar
John R. Lenton committed
442
443
        "unsupported operand types for binary operator: '%s', '%s'",
        mp_obj_get_type_str(lhs), mp_obj_get_type_str(rhs)));
444
    return mp_const_none;
445
446
447

zero_division:
    nlr_jump(mp_obj_new_exception_msg(&mp_type_ZeroDivisionError, "division by zero"));
Damien's avatar
Damien committed
448
449
}

Damien George's avatar
Damien George committed
450
451
mp_obj_t mp_call_function_0(mp_obj_t fun) {
    return mp_call_function_n_kw(fun, 0, 0, NULL);
452
453
}

Damien George's avatar
Damien George committed
454
455
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);
456
457
}

Damien George's avatar
Damien George committed
458
mp_obj_t mp_call_function_2(mp_obj_t fun, mp_obj_t arg1, mp_obj_t arg2) {
459
    mp_obj_t args[2];
460
461
    args[0] = arg1;
    args[1] = arg2;
Damien George's avatar
Damien George committed
462
    return mp_call_function_n_kw(fun, 2, 0, args);
463
464
}

465
466
// 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
467
468
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);
469
470
}

471
// args contains, eg: arg0  arg1  key0  value0  key1  value1
Damien George's avatar
Damien George committed
472
mp_obj_t mp_call_function_n_kw(mp_obj_t fun_in, uint n_args, uint n_kw, const mp_obj_t *args) {
473
474
    // 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
475

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

478
479
480
481
482
483
    // get the type
    mp_obj_type_t *type = mp_obj_get_type(fun_in);

    // do the call
    if (type->call != NULL) {
        return type->call(fun_in, n_args, n_kw, args);
484
    } else {
Damien George's avatar
Damien George committed
485
        nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not callable", mp_obj_get_type_str(fun_in)));
486
    }
487
488
}

489
490
// 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
491
mp_obj_t mp_call_method_n_kw(uint n_args, uint n_kw, const mp_obj_t *args) {
492
493
    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
494
    return mp_call_function_n_kw(args[0], n_args + adjust, n_kw, args + 2 - adjust);
495
496
}

497
mp_obj_t mp_call_method_n_kw_var(bool have_self, uint n_args_n_kw, const mp_obj_t *args) {
498
499
500
501
502
503
504
    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;
505
506
    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
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
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
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640

    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;
        while ((item = mp_iternext(iterable)) != MP_OBJ_NULL) {
            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;
        while ((item = mp_iternext(iterable)) != MP_OBJ_NULL) {
            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;
}

641
// unpacked items are stored in reverse order into the array pointed to by items
Damien George's avatar
Damien George committed
642
void mp_unpack_sequence(mp_obj_t seq_in, uint num, mp_obj_t *items) {
643
    uint seq_len;
644
    if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple) || MP_OBJ_IS_TYPE(seq_in, &mp_type_list)) {
645
        mp_obj_t *seq_items;
646
        if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple)) {
647
648
649
            mp_obj_tuple_get(seq_in, &seq_len, &seq_items);
        } else {
            mp_obj_list_get(seq_in, &seq_len, &seq_items);
650
        }
651
        if (seq_len < num) {
652
            goto too_short;
653
        } else if (seq_len > num) {
654
            goto too_long;
655
        }
656
657
658
        for (uint i = 0; i < num; i++) {
            items[i] = seq_items[num - 1 - i];
        }
659
    } else {
Damien George's avatar
Damien George committed
660
        mp_obj_t iterable = mp_getiter(seq_in);
661
662

        for (seq_len = 0; seq_len < num; seq_len++) {
Damien George's avatar
Damien George committed
663
            mp_obj_t el = mp_iternext(iterable);
664
            if (el == MP_OBJ_NULL) {
665
666
667
668
                goto too_short;
            }
            items[num - 1 - seq_len] = el;
        }
Damien George's avatar
Damien George committed
669
        if (mp_iternext(iterable) != MP_OBJ_NULL) {
670
671
            goto too_long;
        }
672
    }
673
674
675
    return;

too_short:
676
    nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "need more than %d values to unpack", seq_len));
677
too_long:
678
    nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "too many values to unpack (expected %d)", num));
679
680
}

Damien George's avatar
Damien George committed
681
mp_obj_t mp_load_attr(mp_obj_t base, qstr attr) {
682
683
684
    DEBUG_OP_printf("load attr %p.%s\n", base, qstr_str(attr));
    // use load_method
    mp_obj_t dest[2];
Damien George's avatar
Damien George committed
685
    mp_load_method(base, attr, dest);
686
    if (dest[1] == MP_OBJ_NULL) {
687
        // load_method returned just a normal attribute
688
        return dest[0];
689
690
691
    } 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
692
693
694
    }
}

695
696
697
// 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
698
void mp_load_method_maybe(mp_obj_t base, qstr attr, mp_obj_t *dest) {
699
700
701
702
703
704
705
    // 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
706
707
    // look for built-in names
    if (0) {
708
#if MICROPY_CPYTHON_COMPAT
Damien George's avatar
Damien George committed
709
710
711
    } else if (attr == MP_QSTR___class__) {
        // a.__class__ is equivalent to type(a)
        dest[0] = type;
712
#endif
Damien George's avatar
Damien George committed
713
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

    } 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
745
746
            }
        }
747
    }
748
749
}

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

Damien George's avatar
Damien George committed
753
    mp_load_method_maybe(base, attr, dest);
754

755
    if (dest[0] == MP_OBJ_NULL) {
756
757
        // no attribute/method called attr
        // following CPython, we give a more detailed error message for type objects
758
        if (MP_OBJ_IS_TYPE(base, &mp_type_type)) {
759
760
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_AttributeError,
                "type object '%s' has no attribute '%s'", qstr_str(((mp_obj_type_t*)base)->name), qstr_str(attr)));
761
        } else {
762
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_AttributeError, "'%s' object has no attribute '%s'", mp_obj_get_type_str(base), qstr_str(attr)));
763
764
        }
    }
765
766
}

Damien George's avatar
Damien George committed
767
void mp_store_attr(mp_obj_t base, qstr attr, mp_obj_t value) {
Damien's avatar
Damien committed
768
    DEBUG_OP_printf("store attr %p.%s <- %p\n", base, qstr_str(attr), value);
769
770
771
772
773
    mp_obj_type_t *type = mp_obj_get_type(base);
    if (type->store_attr != NULL) {
        if (type->store_attr(base, attr, value)) {
            return;
        }
774
    }
775
    nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_AttributeError, "'%s' object has no attribute '%s'", mp_obj_get_type_str(base), qstr_str(attr)));
776
777
}

Damien George's avatar
Damien George committed
778
void mp_store_subscr(mp_obj_t base, mp_obj_t index, mp_obj_t value) {
Damien's avatar
Damien committed
779
    DEBUG_OP_printf("store subscr %p[%p] <- %p\n", base, index, value);
780
    if (MP_OBJ_IS_TYPE(base, &mp_type_list)) {
781
        // list store
782
        mp_obj_list_store(base, index, value);
783
    } else if (MP_OBJ_IS_TYPE(base, &mp_type_dict)) {
784
785
        // dict store
        mp_obj_dict_store(base, index, value);
Damien's avatar
Damien committed
786
    } else {
787
788
789
790
791
792
793
794
        mp_obj_type_t *type = mp_obj_get_type(base);
        if (type->store_item != NULL) {
            bool r = type->store_item(base, index, value);
            if (r) {
                return;
            }
            // TODO: call base classes here?
        }
795
        nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object does not support item assignment", mp_obj_get_type_str(base)));
Damien's avatar
Damien committed
796
797
798
    }
}

Damien George's avatar
Damien George committed
799
mp_obj_t mp_getiter(mp_obj_t o_in) {
800
801
802
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->getiter != NULL) {
        return type->getiter(o_in);
803
    } else {
804
        // check for __iter__ method
805
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
806
        mp_load_method_maybe(o_in, MP_QSTR___iter__, dest);
807
        if (dest[0] != MP_OBJ_NULL) {
808
            // __iter__ exists, call it and return its result
Damien George's avatar
Damien George committed
809
            return mp_call_method_n_kw(0, 0, dest);
810
        } else {
Damien George's avatar
Damien George committed
811
            mp_load_method_maybe(o_in, MP_QSTR___getitem__, dest);
812
813
814
815
816
817
818
            if (dest[0] != MP_OBJ_NULL) {
                // __getitem__ exists, create an iterator
                return mp_obj_new_getitem_iter(dest);
            } else {
                // object not iterable
                nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not iterable", mp_obj_get_type_str(o_in)));
            }
819
        }
820
821
    }
}
822

823
824
// may return MP_OBJ_NULL as an optimisation instead of raise StopIteration()
// may also raise StopIteration()
Damien George's avatar
Damien George committed
825
mp_obj_t mp_iternext_allow_raise(mp_obj_t o_in) {
826
827
828
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->iternext != NULL) {
        return type->iternext(o_in);
829
    } else {
830
831
        // check for __next__ method
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
832
        mp_load_method_maybe(o_in, MP_QSTR___next__, dest);
833
834
        if (dest[0] != MP_OBJ_NULL) {
            // __next__ exists, call it and return its result
Damien George's avatar
Damien George committed
835
            return mp_call_method_n_kw(0, 0, dest);
836
837
838
        } else {
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not an iterator", mp_obj_get_type_str(o_in)));
        }
839
840
841
    }
}

842
843
// will always return MP_OBJ_NULL instead of raising StopIteration() (or any subclass thereof)
// may raise other exceptions
Damien George's avatar
Damien George committed
844
mp_obj_t mp_iternext(mp_obj_t o_in) {
845
846
847
848
849
850
    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
851
        mp_load_method_maybe(o_in, MP_QSTR___next__, dest);
852
853
854
855
        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
856
                mp_obj_t ret = mp_call_method_n_kw(0, 0, dest);
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
                nlr_pop();
                return ret;
            } else {
                if (mp_obj_is_subclass_fast(mp_obj_get_type(nlr.ret_val), &mp_type_StopIteration)) {
                    return MP_OBJ_NULL;
                } else {
                    nlr_jump(nlr.ret_val);
                }
            }
        } else {
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not an iterator", mp_obj_get_type_str(o_in)));
        }
    }
}

872
873
// 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) {
874
    assert((send_value != MP_OBJ_NULL) ^ (throw_value != MP_OBJ_NULL));
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
    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;
            }
        }
920
921
922
923
924
925
926
927
928
929
930
931
932
933
        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);
            // If .throw() method returned, we assume it's value to yield
            // - any exception would be thrown with nlr_jump().
            return MP_VM_RETURN_YIELD;
        }
        // If there's nowhere to throw exception into, then we assume that object
        // is just incapable to handle it, so any exception thrown into it
        // will be propagated up. This behavior is approved by test_pep380.py
        // test_delegation_of_close_to_non_generator(),
        //  test_delegating_throw_to_non_generator()
        *ret_val = throw_value;
        return MP_VM_RETURN_EXCEPTION;
934
935
936
937
938
939
    }

    assert(0);
    return MP_VM_RETURN_NORMAL; // Should be unreachable
}

Damien George's avatar
Damien George committed
940
mp_obj_t mp_make_raise_obj(mp_obj_t o) {
941
942
943
944
    DEBUG_printf("raise %p\n", o);
    if (mp_obj_is_exception_type(o)) {
        // o is an exception type (it is derived from BaseException (or is BaseException))
        // create and return a new exception instance by calling o
945
946
        // TODO could have an option to disable traceback, then builtin exceptions (eg TypeError)
        // could have const instances in ROM which we return here instead
Damien George's avatar
Damien George committed
947
        return mp_call_function_n_kw(o, 0, 0, NULL);
948
949
950
951
952
953
    } else if (mp_obj_is_exception_instance(o)) {
        // o is an instance of an exception, so use it as the exception
        return o;
    } else {
        // o cannot be used as an exception, so return a type error (which will be raised by the caller)
        return mp_obj_new_exception_msg(&mp_type_TypeError, "exceptions must derive from BaseException");
954
955
956
    }
}

Damien George's avatar
Damien George committed
957
mp_obj_t mp_import_name(qstr name, mp_obj_t fromlist, mp_obj_t level) {
958
959
    DEBUG_printf("import name %s\n", qstr_str(name));

960
    // build args array
961
    mp_obj_t args[5];
962
    args[0] = MP_OBJ_NEW_QSTR(name);
963
964
    args[1] = mp_const_none; // TODO should be globals
    args[2] = mp_const_none; // TODO should be locals
965
966
967
968
    args[3] = fromlist;
    args[4] = level; // must be 0; we don't yet support other values

    // TODO lookup __import__ and call that instead of going straight to builtin implementation
969
    return mp_builtin___import__(5, args);
970
971
}

Damien George's avatar
Damien George committed
972
mp_obj_t mp_import_from(mp_obj_t module, qstr name) {
973
974
    DEBUG_printf("import from %p %s\n", module, qstr_str(name));

Damien George's avatar
Damien George committed
975
    mp_obj_t x = mp_load_attr(module, name);
976
977
978
979
980
981
982
983
    /* TODO convert AttributeError to ImportError
    if (fail) {
        (ImportError, "cannot import name %s", qstr_str(name), NULL)
    }
    */
    return x;
}

Damien George's avatar
Damien George committed
984
void mp_import_all(mp_obj_t module) {
985
986
987
988
989
    DEBUG_printf("import all %p\n", module);

    mp_map_t *map = mp_obj_module_get_globals(module);
    for (uint i = 0; i < map->alloc; i++) {
        if (map->table[i].key != MP_OBJ_NULL) {
Damien George's avatar
Damien George committed
990
            mp_store_name(MP_OBJ_QSTR_VALUE(map->table[i].key), map->table[i].value);
991
992
993
994
        }
    }
}

Damien George's avatar
Damien George committed
995
mp_map_t *mp_locals_get(void) {
996
997
998
    return map_locals;
}

Damien George's avatar
Damien George committed
999
1000
void mp_locals_set(mp_map_t *m) {
    DEBUG_OP_printf("mp_locals_set(%p)\n", m);
For faster browsing, not all history is shown. View entire blame