runtime.c 51.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 "py/mpstate.h"
32
33
34
#include "py/nlr.h"
#include "py/parsenum.h"
#include "py/compile.h"
35
#include "py/objstr.h"
36
37
38
39
40
41
42
43
44
45
#include "py/objtuple.h"
#include "py/objlist.h"
#include "py/objmodule.h"
#include "py/objgenerator.h"
#include "py/smallint.h"
#include "py/runtime0.h"
#include "py/runtime.h"
#include "py/builtin.h"
#include "py/stackctrl.h"
#include "py/gc.h"
46

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

56
57
58
const mp_obj_module_t mp_module___main__ = {
    .base = { &mp_type_module },
    .name = MP_QSTR___main__,
59
    .globals = (mp_obj_dict_t*)&MP_STATE_VM(dict_main),
60
61
};

Damien George's avatar
Damien George committed
62
void mp_init(void) {
63
    qstr_init();
Paul Sokolovsky's avatar
Paul Sokolovsky committed
64
    mp_stack_ctrl_init();
65

66
    // no pending exceptions to start with
67
    MP_STATE_VM(mp_pending_exception) = MP_OBJ_NULL;
68

69
70
71
72
#if MICROPY_ENABLE_EMERGENCY_EXCEPTION_BUF
    mp_init_emergency_exception_buf();
#endif

73
    // call port specific initialization if any
74
75
76
77
#ifdef MICROPY_PORT_INIT_FUNC
    MICROPY_PORT_INIT_FUNC;
#endif

78
    // optimization disabled by default
79
    MP_STATE_VM(mp_optimise_value) = 0;
80

81
82
    // init global module stuff
    mp_module_init();
83

84
    // initialise the __main__ module
85
86
    mp_obj_dict_init(&MP_STATE_VM(dict_main), 1);
    mp_obj_dict_store(&MP_STATE_VM(dict_main), MP_OBJ_NEW_QSTR(MP_QSTR___name__), MP_OBJ_NEW_QSTR(MP_QSTR___main__));
87
88

    // locals = globals for outer module (see Objects/frameobject.c/PyFrame_New())
89
    MP_STATE_CTX(dict_locals) = MP_STATE_CTX(dict_globals) = &MP_STATE_VM(dict_main);
90
91
92

    #if MICROPY_CAN_OVERRIDE_BUILTINS
    // start with no extensions to builtins
93
    MP_STATE_VM(mp_module_builtins_override_dict) = NULL;
94
    #endif
Damien's avatar
Damien committed
95
96
}

Damien George's avatar
Damien George committed
97
void mp_deinit(void) {
98
    //mp_obj_dict_free(&dict_main);
99
    mp_module_deinit();
stijn's avatar
stijn committed
100
101
102
103
104

    // call port specific deinitialization if any 
#ifdef MICROPY_PORT_INIT_FUNC
    MICROPY_PORT_DEINIT_FUNC;
#endif
Damien's avatar
Damien committed
105
106
}

107
mp_obj_t mp_load_name(qstr qst) {
Damien's avatar
Damien committed
108
    // logic: search locals, globals, builtins
109
    DEBUG_OP_printf("load name %s\n", qstr_str(qst));
110
    // If we're at the outer scope (locals == globals), dispatch to load_global right away
111
    if (MP_STATE_CTX(dict_locals) != MP_STATE_CTX(dict_globals)) {
112
        mp_map_elem_t *elem = mp_map_lookup(&MP_STATE_CTX(dict_locals)->map, MP_OBJ_NEW_QSTR(qst), MP_MAP_LOOKUP);
113
114
115
        if (elem != NULL) {
            return elem->value;
        }
Damien's avatar
Damien committed
116
    }
117
    return mp_load_global(qst);
Damien's avatar
Damien committed
118
119
}

120
mp_obj_t mp_load_global(qstr qst) {
121
    // logic: search globals, builtins
122
123
    DEBUG_OP_printf("load global %s\n", qstr_str(qst));
    mp_map_elem_t *elem = mp_map_lookup(&MP_STATE_CTX(dict_globals)->map, MP_OBJ_NEW_QSTR(qst), MP_MAP_LOOKUP);
124
    if (elem == NULL) {
125
        #if MICROPY_CAN_OVERRIDE_BUILTINS
126
        if (MP_STATE_VM(mp_module_builtins_override_dict) != NULL) {
127
            // lookup in additional dynamic table of builtins first
128
            elem = mp_map_lookup(&MP_STATE_VM(mp_module_builtins_override_dict)->map, MP_OBJ_NEW_QSTR(qst), MP_MAP_LOOKUP);
129
130
131
132
133
            if (elem != NULL) {
                return elem->value;
            }
        }
        #endif
134
        elem = mp_map_lookup((mp_map_t*)&mp_module_builtins_globals.map, MP_OBJ_NEW_QSTR(qst), MP_MAP_LOOKUP);
135
        if (elem == NULL) {
136
137
138
139
140
            if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {
                nlr_raise(mp_obj_new_exception_msg(&mp_type_NameError,
                    "name not defined"));
            } else {
                nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_NameError,
141
                    "name '%q' is not defined", qst));
142
            }
143
144
145
        }
    }
    return elem->value;
Damien's avatar
Damien committed
146
147
}

Damien George's avatar
Damien George committed
148
mp_obj_t mp_load_build_class(void) {
Damien's avatar
Damien committed
149
    DEBUG_OP_printf("load_build_class\n");
150
    #if MICROPY_CAN_OVERRIDE_BUILTINS
151
    if (MP_STATE_VM(mp_module_builtins_override_dict) != NULL) {
152
        // lookup in additional dynamic table of builtins first
153
        mp_map_elem_t *elem = mp_map_lookup(&MP_STATE_VM(mp_module_builtins_override_dict)->map, MP_OBJ_NEW_QSTR(MP_QSTR___build_class__), MP_MAP_LOOKUP);
154
155
156
157
158
        if (elem != NULL) {
            return elem->value;
        }
    }
    #endif
159
    return (mp_obj_t)&mp_builtin___build_class___obj;
Damien's avatar
Damien committed
160
161
}

162
163
164
void mp_store_name(qstr qst, mp_obj_t obj) {
    DEBUG_OP_printf("store name %s <- %p\n", qstr_str(qst), obj);
    mp_obj_dict_store(MP_STATE_CTX(dict_locals), MP_OBJ_NEW_QSTR(qst), obj);
165
166
}

167
168
169
170
void mp_delete_name(qstr qst) {
    DEBUG_OP_printf("delete name %s\n", qstr_str(qst));
    // TODO convert KeyError to NameError if qst not found
    mp_obj_dict_delete(MP_STATE_CTX(dict_locals), MP_OBJ_NEW_QSTR(qst));
171
172
}

173
174
175
void mp_store_global(qstr qst, mp_obj_t obj) {
    DEBUG_OP_printf("store global %s <- %p\n", qstr_str(qst), obj);
    mp_obj_dict_store(MP_STATE_CTX(dict_globals), MP_OBJ_NEW_QSTR(qst), obj);
Damien's avatar
Damien committed
176
177
}

178
179
180
181
void mp_delete_global(qstr qst) {
    DEBUG_OP_printf("delete global %s\n", qstr_str(qst));
    // TODO convert KeyError to NameError if qst not found
    mp_obj_dict_delete(MP_STATE_CTX(dict_globals), MP_OBJ_NEW_QSTR(qst));
182
183
}

184
mp_obj_t mp_unary_op(mp_uint_t op, mp_obj_t arg) {
185
    DEBUG_OP_printf("unary " UINT_FMT " %p\n", op, arg);
186

187
    if (MP_OBJ_IS_SMALL_INT(arg)) {
188
        mp_int_t val = MP_OBJ_SMALL_INT_VALUE(arg);
Damien's avatar
Damien committed
189
        switch (op) {
Damien George's avatar
Damien George committed
190
            case MP_UNARY_OP_BOOL:
191
                return MP_BOOL(val != 0);
192
193
            case MP_UNARY_OP_HASH:
                return arg;
Damien George's avatar
Damien George committed
194
            case MP_UNARY_OP_POSITIVE:
195
                return arg;
Damien George's avatar
Damien George committed
196
            case MP_UNARY_OP_NEGATIVE:
197
198
199
200
201
202
                // 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
203
            case MP_UNARY_OP_INVERT:
204
205
206
207
                return MP_OBJ_NEW_SMALL_INT(~val);
            default:
                assert(0);
                return arg;
208
        }
209
210
211
212
    } else if (op == MP_UNARY_OP_HASH && MP_OBJ_IS_STR_OR_BYTES(arg)) {
        // fast path for hashing str/bytes
        GET_STR_HASH(arg, h);
        return MP_OBJ_NEW_SMALL_INT(h);
213
214
215
216
    } 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);
217
            if (result != MP_OBJ_NULL) {
218
219
                return result;
            }
Damien's avatar
Damien committed
220
        }
221
222
223
224
225
        if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {
            nlr_raise(mp_obj_new_exception_msg(&mp_type_TypeError,
                "unsupported type for operator"));
        } else {
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
226
227
                "unsupported type for %q: '%s'",
                mp_unary_op_method_name[op], mp_obj_get_type_str(arg)));
228
        }
Damien's avatar
Damien committed
229
    }
Damien's avatar
Damien committed
230
231
}

232
mp_obj_t mp_binary_op(mp_uint_t op, mp_obj_t lhs, mp_obj_t rhs) {
233
    DEBUG_OP_printf("binary " UINT_FMT " %p %p\n", op, lhs, rhs);
234
235
236
237
238
239
240
241
242
243

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

244
    // deal with is
Damien George's avatar
Damien George committed
245
    if (op == MP_BINARY_OP_IS) {
246
247
248
        return MP_BOOL(lhs == rhs);
    }

249
    // deal with == and != for all types
Damien George's avatar
Damien George committed
250
    if (op == MP_BINARY_OP_EQUAL || op == MP_BINARY_OP_NOT_EQUAL) {
251
        if (mp_obj_equal(lhs, rhs)) {
Damien George's avatar
Damien George committed
252
            if (op == MP_BINARY_OP_EQUAL) {
253
254
255
256
257
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        } else {
Damien George's avatar
Damien George committed
258
            if (op == MP_BINARY_OP_EQUAL) {
259
260
261
262
263
264
265
266
                return mp_const_false;
            } else {
                return mp_const_true;
            }
        }
    }

    // deal with exception_match for all types
Damien George's avatar
Damien George committed
267
    if (op == MP_BINARY_OP_EXCEPTION_MATCH) {
268
269
        // rhs must be issubclass(rhs, BaseException)
        if (mp_obj_is_exception_type(rhs)) {
270
            if (mp_obj_exception_match(lhs, rhs)) {
271
272
273
274
                return mp_const_true;
            } else {
                return mp_const_false;
            }
275
276
277
278
279
280
281
282
283
284
285
286
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_tuple)) {
            mp_obj_tuple_t *tuple = rhs;
            for (mp_uint_t i = 0; i < tuple->len; i++) {
                rhs = tuple->items[i];
                if (!mp_obj_is_exception_type(rhs)) {
                    goto unsupported_op;
                }
                if (mp_obj_exception_match(lhs, rhs)) {
                    return mp_const_true;
                }
            }
            return mp_const_false;
287
        }
288
        goto unsupported_op;
289
290
    }

291
    if (MP_OBJ_IS_SMALL_INT(lhs)) {
292
        mp_int_t lhs_val = MP_OBJ_SMALL_INT_VALUE(lhs);
293
        if (MP_OBJ_IS_SMALL_INT(rhs)) {
294
            mp_int_t rhs_val = MP_OBJ_SMALL_INT_VALUE(rhs);
295
296
297
            // 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:
298
299
            //      +       result always fits in mp_int_t, then handled by SMALL_INT check
            //      -       result always fits in mp_int_t, then handled by SMALL_INT check
300
            //      *       checked explicitly
301
302
            //      /       if lhs=MIN and rhs=-1; result always fits in mp_int_t, then handled by SMALL_INT check
            //      %       if lhs=MIN and rhs=-1; result always fits in mp_int_t, then handled by SMALL_INT check
303
            //      <<      checked explicitly
304
            switch (op) {
Damien George's avatar
Damien George committed
305
306
307
308
309
310
311
312
                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: {
313
314
                    if (rhs_val < 0) {
                        // negative shift not allowed
315
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
316
                    } else if (rhs_val >= (mp_int_t)BITS_PER_WORD || lhs_val > (MP_SMALL_INT_MAX >> rhs_val) || lhs_val < (MP_SMALL_INT_MIN >> rhs_val)) {
317
318
319
320
321
322
323
324
325
                        // 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
326
327
                case MP_BINARY_OP_RSHIFT:
                case MP_BINARY_OP_INPLACE_RSHIFT:
328
329
                    if (rhs_val < 0) {
                        // negative shift not allowed
330
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
331
332
                    } else {
                        // standard precision is enough for right-shift
333
                        if (rhs_val >= (mp_int_t)BITS_PER_WORD) {
334
335
336
337
                            // Shifting to big amounts is underfined behavior
                            // in C and is CPU-dependent; propagate sign bit.
                            rhs_val = BITS_PER_WORD - 1;
                        }
338
339
340
                        lhs_val >>= rhs_val;
                    }
                    break;
Damien George's avatar
Damien George committed
341
342
343
344
345
346
                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: {
347

348
                    // If long long type exists and is larger than mp_int_t, then
349
                    // we can use the following code to perform overflow-checked multiplication.
350
                    // Otherwise (eg in x64 case) we must use mp_small_int_mul_overflow.
351
352
353
354
355
356
357
358
                    #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
359
                        lhs_val = (mp_int_t)res;
360
361
362
                    }
                    #endif

363
364
365
366
367
368
369
370
                    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);
                    }
371
372
                    break;
                }
Damien George's avatar
Damien George committed
373
374
                case MP_BINARY_OP_FLOOR_DIVIDE:
                case MP_BINARY_OP_INPLACE_FLOOR_DIVIDE:
375
376
377
                    if (rhs_val == 0) {
                        goto zero_division;
                    }
378
                    lhs_val = mp_small_int_floor_divide(lhs_val, rhs_val);
379
                    break;
380

381
                #if MICROPY_PY_BUILTINS_FLOAT
Damien George's avatar
Damien George committed
382
                case MP_BINARY_OP_TRUE_DIVIDE:
383
384
                case MP_BINARY_OP_INPLACE_TRUE_DIVIDE:
                    if (rhs_val == 0) {
385
                        goto zero_division;
386
387
                    }
                    return mp_obj_new_float((mp_float_t)lhs_val / (mp_float_t)rhs_val);
388
                #endif
389

Damien George's avatar
Damien George committed
390
                case MP_BINARY_OP_MODULO:
391
                case MP_BINARY_OP_INPLACE_MODULO: {
392
393
394
                    if (rhs_val == 0) {
                        goto zero_division;
                    }
395
                    lhs_val = mp_small_int_modulo(lhs_val, rhs_val);
396
397
                    break;
                }
398

Damien George's avatar
Damien George committed
399
400
                case MP_BINARY_OP_POWER:
                case MP_BINARY_OP_INPLACE_POWER:
401
                    if (rhs_val < 0) {
402
                        #if MICROPY_PY_BUILTINS_FLOAT
403
404
405
                        lhs = mp_obj_new_float(lhs_val);
                        goto generic_binary_op;
                        #else
406
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative power with no float support"));
407
408
                        #endif
                    } else {
409
                        mp_int_t ans = 1;
410
411
                        while (rhs_val > 0) {
                            if (rhs_val & 1) {
412
                                if (mp_small_int_mul_overflow(ans, lhs_val)) {
413
414
                                    goto power_overflow;
                                }
415
                                ans *= lhs_val;
416
417
418
                            }
                            if (rhs_val == 1) {
                                break;
419
420
                            }
                            rhs_val /= 2;
421
                            if (mp_small_int_mul_overflow(lhs_val, lhs_val)) {
422
423
                                goto power_overflow;
                            }
424
                            lhs_val *= lhs_val;
425
                        }
426
                        lhs_val = ans;
427
                    }
428
                    break;
429
430
431
432
433
434

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

435
436
437
438
439
440
441
442
443
444
445
                case MP_BINARY_OP_DIVMOD: {
                    if (rhs_val == 0) {
                        goto zero_division;
                    }
                    // to reduce stack usage we don't pass a temp array of the 2 items
                    mp_obj_tuple_t *tuple = mp_obj_new_tuple(2, NULL);
                    tuple->items[0] = MP_OBJ_NEW_SMALL_INT(mp_small_int_floor_divide(lhs_val, rhs_val));
                    tuple->items[1] = MP_OBJ_NEW_SMALL_INT(mp_small_int_modulo(lhs_val, rhs_val));
                    return tuple;
                }

Damien George's avatar
Damien George committed
446
447
448
449
                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;
450

451
452
                default:
                    goto unsupported_op;
453
            }
454
            // TODO: We just should make mp_obj_new_int() inline and use that
455
            if (MP_SMALL_INT_FITS(lhs_val)) {
456
                return MP_OBJ_NEW_SMALL_INT(lhs_val);
457
458
            } else {
                return mp_obj_new_int(lhs_val);
459
            }
460
#if MICROPY_PY_BUILTINS_FLOAT
461
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_float)) {
462
463
464
465
466
467
            mp_obj_t res = mp_obj_float_binary_op(op, lhs_val, rhs);
            if (res == MP_OBJ_NULL) {
                goto unsupported_op;
            } else {
                return res;
            }
468
#if MICROPY_PY_BUILTINS_COMPLEX
469
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_complex)) {
470
471
472
473
474
475
            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;
            }
476
#endif
477
#endif
478
        }
479
    }
480

481
    /* deal with `in`
482
483
     *
     * NOTE `a in b` is `b.__contains__(a)`, hence why the generic dispatch
Damien George's avatar
Damien George committed
484
     * needs to go below with swapped arguments
485
     */
Damien George's avatar
Damien George committed
486
    if (op == MP_BINARY_OP_IN) {
487
488
489
        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);
490
            if (res != MP_OBJ_NULL) {
491
                return res;
John R. Lenton's avatar
John R. Lenton committed
492
            }
493
494
495
        }
        if (type->getiter != NULL) {
            /* second attempt, walk the iterator */
Damien George's avatar
Damien George committed
496
            mp_obj_t iter = mp_getiter(rhs);
497
            mp_obj_t next;
498
            while ((next = mp_iternext(iter)) != MP_OBJ_STOP_ITERATION) {
499
                if (mp_obj_equal(next, lhs)) {
500
                    return mp_const_true;
John R. Lenton's avatar
John R. Lenton committed
501
                }
502
            }
503
            return mp_const_false;
504
505
        }

506
507
508
509
510
511
512
        if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {
            nlr_raise(mp_obj_new_exception_msg(&mp_type_TypeError,
                "object not iterable"));
        } else {
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
                "'%s' object is not iterable", mp_obj_get_type_str(rhs)));
        }
513
514
    }

515
    // generic binary_op supplied by type
516
517
518
    mp_obj_type_t *type;
generic_binary_op:
    type = mp_obj_get_type(lhs);
519
520
    if (type->binary_op != NULL) {
        mp_obj_t result = type->binary_op(op, lhs, rhs);
521
        if (result != MP_OBJ_NULL) {
522
            return result;
Damien's avatar
Damien committed
523
524
        }
    }
525

526
527
    // TODO implement dispatch for reverse binary ops

528
unsupported_op:
529
530
531
532
533
    if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {
        nlr_raise(mp_obj_new_exception_msg(&mp_type_TypeError,
            "unsupported type for operator"));
    } else {
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
534
535
            "unsupported types for %q: '%s', '%s'",
            mp_binary_op_method_name[op], mp_obj_get_type_str(lhs), mp_obj_get_type_str(rhs)));
536
    }
537
538

zero_division:
539
    nlr_raise(mp_obj_new_exception_msg(&mp_type_ZeroDivisionError, "division by zero"));
Damien's avatar
Damien committed
540
541
}

Damien George's avatar
Damien George committed
542
543
mp_obj_t mp_call_function_0(mp_obj_t fun) {
    return mp_call_function_n_kw(fun, 0, 0, NULL);
544
545
}

Damien George's avatar
Damien George committed
546
547
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);
548
549
}

Damien George's avatar
Damien George committed
550
mp_obj_t mp_call_function_2(mp_obj_t fun, mp_obj_t arg1, mp_obj_t arg2) {
551
    mp_obj_t args[2];
552
553
    args[0] = arg1;
    args[1] = arg2;
Damien George's avatar
Damien George committed
554
    return mp_call_function_n_kw(fun, 2, 0, args);
555
556
}

557
// args contains, eg: arg0  arg1  key0  value0  key1  value1
558
mp_obj_t mp_call_function_n_kw(mp_obj_t fun_in, mp_uint_t n_args, mp_uint_t n_kw, const mp_obj_t *args) {
559
560
    // 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
561

562
    DEBUG_OP_printf("calling function %p(n_args=" UINT_FMT ", n_kw=" UINT_FMT ", args=%p)\n", fun_in, n_args, n_kw, args);
563

564
565
566
567
568
    // get the type
    mp_obj_type_t *type = mp_obj_get_type(fun_in);

    // do the call
    if (type->call != NULL) {
569
        return type->call(fun_in, n_args, n_kw, args);
570
    }
571

572
573
574
575
576
577
578
    if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {
        nlr_raise(mp_obj_new_exception_msg(&mp_type_TypeError,
            "object not callable"));
    } else {
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
            "'%s' object is not callable", mp_obj_get_type_str(fun_in)));
    }
579
580
}

581
582
// 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
583
mp_obj_t mp_call_method_n_kw(mp_uint_t n_args, mp_uint_t n_kw, const mp_obj_t *args) {
584
    DEBUG_OP_printf("call method (fun=%p, self=%p, n_args=" UINT_FMT ", n_kw=" UINT_FMT ", args=%p)\n", args[0], args[1], n_args, n_kw, args);
585
    int adjust = (args[1] == NULL) ? 0 : 1;
Damien George's avatar
Damien George committed
586
    return mp_call_function_n_kw(args[0], n_args + adjust, n_kw, args + 2 - adjust);
587
588
}

589
590
591
592
593
// This function only needs to be exposed externally when in stackless mode.
#if !MICROPY_STACKLESS
STATIC
#endif
void mp_call_prepare_args_n_kw_var(bool have_self, mp_uint_t n_args_n_kw, const mp_obj_t *args, mp_call_args_t *out_args) {
594
595
596
597
598
599
600
    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;
601
602
    mp_obj_t pos_seq = args[n_args + 2 * n_kw]; // may be MP_OBJ_NULL
    mp_obj_t kw_dict = args[n_args + 2 * n_kw + 1]; // may be MP_OBJ_NULL
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

    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
636
        mp_seq_copy(args2 + args2_len, args, n_args, mp_obj_t);
637
638
639
640
641
642
        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
643
        mp_uint_t len;
644
645
646
647
648
649
650
651
652
653
654
655
656
        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
657
        mp_seq_cat(args2 + args2_len, args, n_args, items, len, mp_obj_t);
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
        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
673
        mp_seq_copy(args2 + args2_len, args, n_args, mp_obj_t);
674
675
676
677

        // extract the variable position args from the iterator
        mp_obj_t iterable = mp_getiter(pos_seq);
        mp_obj_t item;
678
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
679
680
681
682
683
684
685
686
687
688
689
690
            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.
691
    mp_seq_copy(args2 + args2_len, args + n_args, 2 * n_kw, mp_obj_t);
692
693
694
695
696
697
698
699
700
701
    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
702
703
        for (mp_uint_t i = 0; i < map->alloc; i++) {
            if (MP_MAP_SLOT_IS_FILLED(map, i)) {
704
705
706
707
708
709
710
711
712
713
714
                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;
715
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
            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];
        }
    }

731
732
733
734
735
736
737
738
    out_args->fun = fun;
    out_args->args = args2;
    out_args->n_args = pos_args_len;
    out_args->n_kw = (args2_len - pos_args_len) / 2;
    out_args->n_alloc = args2_alloc;
}

mp_obj_t mp_call_method_n_kw_var(bool have_self, mp_uint_t n_args_n_kw, const mp_obj_t *args) {
739
    mp_call_args_t out_args;
740
741
742
743
    mp_call_prepare_args_n_kw_var(have_self, n_args_n_kw, args, &out_args);

    mp_obj_t res = mp_call_function_n_kw(out_args.fun, out_args.n_args, out_args.n_kw, out_args.args);
    m_del(mp_obj_t, out_args.args, out_args.n_alloc);
744
745
746
747

    return res;
}

748
// unpacked items are stored in reverse order into the array pointed to by items
749
void mp_unpack_sequence(mp_obj_t seq_in, mp_uint_t num, mp_obj_t *items) {
750
    mp_uint_t seq_len;
751
    if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple) || MP_OBJ_IS_TYPE(seq_in, &mp_type_list)) {
752
        mp_obj_t *seq_items;
753
        if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple)) {
754
755
756
            mp_obj_tuple_get(seq_in, &seq_len, &seq_items);
        } else {
            mp_obj_list_get(seq_in, &seq_len, &seq_items);
757
        }
758
        if (seq_len < num) {
759
            goto too_short;
760
        } else if (seq_len > num) {
761
            goto too_long;
762
        }
763
        for (mp_uint_t i = 0; i < num; i++) {
764
765
            items[i] = seq_items[num - 1 - i];
        }
766
    } else {
Damien George's avatar
Damien George committed
767
        mp_obj_t iterable = mp_getiter(seq_in);
768
769

        for (seq_len = 0; seq_len < num; seq_len++) {
Damien George's avatar
Damien George committed
770
            mp_obj_t el = mp_iternext(iterable);
771
            if (el == MP_OBJ_STOP_ITERATION) {
772
773
774
775
                goto too_short;
            }
            items[num - 1 - seq_len] = el;
        }
776
        if (mp_iternext(iterable) != MP_OBJ_STOP_ITERATION) {
777
778
            goto too_long;
        }
779
    }
780
781
782
    return;

too_short:
783
784
785
786
787
788
789
    if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {
        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError,
            "wrong number of values to unpack"));
    } else {
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError,
            "need more than %d values to unpack", seq_len));
    }
790
too_long:
791
792
793
794
795
796
797
    if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {
        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError,
            "wrong number of values to unpack"));
    } else {
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError,
            "too many values to unpack (expected %d)", num));
    }
798
799
}

800
// unpacked items are stored in reverse order into the array pointed to by items
801
802
803
void mp_unpack_ex(mp_obj_t seq_in, mp_uint_t num_in, mp_obj_t *items) {
    mp_uint_t num_left = num_in & 0xff;
    mp_uint_t num_right = (num_in >> 8) & 0xff;
804
    DEBUG_OP_printf("unpack ex " UINT_FMT " " UINT_FMT "\n", num_left, num_right);
805
    mp_uint_t seq_len;
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
    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;
        }
821
        for (mp_uint_t i = 0; i < num_right; i++) {
822
823
824
            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);
825
        for (mp_uint_t i = 0; i < num_left; i++) {
826
827
828
829
830
831
832
833
834
835
836
            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);
837
            if (item == MP_OBJ_STOP_ITERATION) {
838
839
840
841
                goto too_short;
            }
            items[num_left + num_right + 1 - 1 - seq_len] = item;
        }
842
        mp_obj_list_t *rest = mp_obj_new_list(0, NULL);
843
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
844
845
            mp_obj_list_append(rest, item);
        }
846
        if (rest->len < num_right) {
847
848
849
            goto too_short;
        }
        items[num_right] = rest;
850
        for (mp_uint_t i = 0; i < num_right; i++) {
851
            items[num_right - 1 - i] = rest->items[rest->len - num_right + i];
852
        }
853
        mp_obj_list_set_len(rest, rest->len - num_right);
854
855
856
857
    }
    return;

too_short:
858
859
860
861
862
863
864
    if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {
        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError,
            "wrong number of values to unpack"));
    } else {
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError,
            "need more than %d values to unpack", seq_len));
    }
865
866
}

867
mp_obj_t mp_load_attr(mp_obj_t base, qstr attr) {
868
    DEBUG_OP_printf("load attr %p.%s\n", base, qstr_str(attr));
869
    // use load_method
870
    mp_obj_t dest[2];
871
872
    mp_load_method(base, attr, dest);
    if (dest[1] == MP_OBJ_NULL) {
873
        // load_method returned just a normal attribute
874
        return dest[0];
875
876
877
    } 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
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
920
921
922
923
924
925
#if MICROPY_BUILTIN_METHOD_CHECK_SELF_ARG

// The following "checked fun" type is local to the mp_convert_member_lookup
// function, and serves to check that the first argument to a builtin function
// has the correct type.

typedef struct _mp_obj_checked_fun_t {
    mp_obj_base_t base;
    const mp_obj_type_t *type;
    mp_obj_t fun;
} mp_obj_checked_fun_t;

STATIC mp_obj_t checked_fun_call(mp_obj_t self_in, mp_uint_t n_args, mp_uint_t n_kw, const mp_obj_t *args) {
    mp_obj_checked_fun_t *self = self_in;
    if (n_args > 0) {
        const mp_obj_type_t *arg0_type = mp_obj_get_type(args[0]);
        if (arg0_type != self->type) {
            if (MICROPY_ERROR_REPORTING != MICROPY_ERROR_REPORTING_DETAILED) {
                nlr_raise(mp_obj_new_exception_msg(&mp_type_TypeError,
                    "argument has wrong type"));
            } else {
                nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
                    "argument should be a '%q' not a '%q'", self->type->name, arg0_type->name));
            }
        }
    }
    return mp_call_function_n_kw(self->fun, n_args, n_kw, args);
}

STATIC const mp_obj_type_t mp_type_checked_fun = {
    { &mp_type_type },
    .name = MP_QSTR_function,
    .call = checked_fun_call,
};

STATIC mp_obj_t mp_obj_new_checked_fun(const mp_obj_type_t *type, mp_obj_t fun) {
    mp_obj_checked_fun_t *o = m_new_obj(mp_obj_checked_fun_t);
    o->base.type = &mp_type_checked_fun;
    o->type = type;
    o->fun = fun;
    return o;
}

#endif // MICROPY_BUILTIN_METHOD_CHECK_SELF_ARG

926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
// Given a member that was extracted from an instance, convert it correctly
// and put the result in the dest[] array for a possible method call.
// Conversion means dealing with static/class methods, callables, and values.
// see http://docs.python.org/3/howto/descriptor.html
void mp_convert_member_lookup(mp_obj_t self, const mp_obj_type_t *type, mp_obj_t member, mp_obj_t *dest) {
    if (MP_OBJ_IS_TYPE(member, &mp_type_staticmethod)) {
        // return just the function
        dest[0] = ((mp_obj_static_class_method_t*)member)->fun;
    } else if (MP_OBJ_IS_TYPE(member, &mp_type_classmethod)) {
        // return a bound method, with self being the type of this object
        dest[0] = ((mp_obj_static_class_method_t*)member)->fun;
        dest[1] = (mp_obj_t)type;
    } else if (MP_OBJ_IS_TYPE(member, &mp_type_type)) {
        // Don't try to bind types (even though they're callable)
        dest[0] = member;
    } else if (mp_obj_is_callable(member)) {
942
943
944
945
946
947
948
949
950
951
952
953
        #if MICROPY_BUILTIN_METHOD_CHECK_SELF_ARG
        if (self == MP_OBJ_NULL && mp_obj_get_type(member) == &mp_type_fun_builtin) {
            // we extracted a builtin method without a first argument, so we must
            // wrap this function in a type checker
            dest[0] = mp_obj_new_checked_fun(type, member);
        } else
        #endif
        {
            // return a bound method, with self being this object
            dest[0] = member;
            dest[1] = self;
        }
954
955
956
957
958
959
    } else {
        // class member is a value, so just return that value
        dest[0] = member;
    }
}

960
961
962
// 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>
963
void mp_load_method_maybe(mp_obj_t obj, qstr attr, mp_obj_t *dest) {
964
965
966
967
968
    // clear output to indicate no attribute/method found yet
    dest[0] = MP_OBJ_NULL;
    dest[1] = MP_OBJ_NULL;

    // get the type
969
    mp_obj_type_t *type = mp_obj_get_type(obj);
970

Damien George's avatar
Damien George committed
971
972
    // look for built-in names
    if (0) {
973
#if MICROPY_CPYTHON_COMPAT
Damien George's avatar
Damien George committed
974
975
976
    } else if (attr == MP_QSTR___class__) {
        // a.__class__ is equivalent to type(a)
        dest[0] = type;
977
#endif
Damien George's avatar
Damien George committed
978
979
980

    } else if (attr == MP_QSTR___next__ && type->iternext != NULL) {
        dest[0] = (mp_obj_t)&mp_builtin_next_obj;
981
        dest[1] = obj;
Damien George's avatar
Damien George committed
982

983
    } else if (type->attr != NULL) {
Damien George's avatar
Damien George committed
984
        // this type can do its own load, so call it
985
        type->attr(obj, attr, dest);
Damien George's avatar
Damien George committed
986
987
988
989
990
991
992
993

    } 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) {
994
            mp_convert_member_lookup(obj, type, elem->value, dest);
Damien's avatar
Damien committed
995
        }
996
    }
997
998
}

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

Damien George's avatar
Damien George committed
1002
    mp_load_method_maybe(base, attr, dest);
1003

1004
    if (dest[0] == MP_OBJ_NULL) {
1005
        // no attribute/method called attr
1006
1007
1008
        if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {
            nlr_raise(mp_obj_new_exception_msg(&mp_type_AttributeError,
                "no such attribute"));
1009
        } else {
1010
1011
1012
            // following CPython, we give a more detailed error message for type objects
            if (MP_OBJ_IS_TYPE(base, &mp_type_type)) {
                nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError,
1013
1014
                    "type object '%q' has no attribute '%q'",
                    ((mp_obj_type_t*)base)->name, attr));
1015
1016
            } else {
                nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError,
1017
1018
                    "'%s' object has no attribute '%q'",
                    mp_obj_get_type_str(base), attr));
1019
            }
1020