builtin.c 17.8 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.
 */

27
28
29
#include <stdio.h>
#include <assert.h>

30
#include "mpconfig.h"
31
32
#include "nlr.h"
#include "misc.h"
33
#include "qstr.h"
34
#include "obj.h"
35
#include "objstr.h"
36
#include "runtime0.h"
37
38
39
#include "runtime.h"
#include "builtin.h"

40
#if MICROPY_PY_BUILTINS_FLOAT
41
42
43
#include <math.h>
#endif

Damien George's avatar
Damien George committed
44
45
46
// args[0] is function from class body
// args[1] is class name
// args[2:] are base objects
47
STATIC mp_obj_t mp_builtin___build_class__(uint n_args, const mp_obj_t *args) {
Damien George's avatar
Damien George committed
48
49
    assert(2 <= n_args);

50
51
    // set the new classes __locals__ object
    mp_obj_dict_t *old_locals = mp_locals_get();
52
    mp_obj_t class_locals = mp_obj_new_dict(0);
53
    mp_locals_set(class_locals);
54
55

    // call the class code
56
    mp_obj_t cell = mp_call_function_0(args[0]);
57
58

    // restore old __locals__ object
Damien George's avatar
Damien George committed
59
    mp_locals_set(old_locals);
60

Damien George's avatar
Damien George committed
61
62
63
64
    // get the class type (meta object) from the base objects
    mp_obj_t meta;
    if (n_args == 2) {
        // no explicit bases, so use 'type'
65
        meta = (mp_obj_t)&mp_type_type;
Damien George's avatar
Damien George committed
66
67
68
69
70
71
72
73
74
    } else {
        // use type of first base object
        meta = mp_obj_get_type(args[2]);
    }

    // TODO do proper metaclass resolution for multiple base objects

    // create the new class using a call to the meta object
    mp_obj_t meta_args[3];
75
    meta_args[0] = args[1]; // class name
Damien George's avatar
Damien George committed
76
    meta_args[1] = mp_obj_new_tuple(n_args - 2, args + 2); // tuple of bases
77
    meta_args[2] = class_locals; // dict of members
Damien George's avatar
Damien George committed
78
    mp_obj_t new_class = mp_call_function_n_kw(meta, 3, 0, meta_args);
Damien George's avatar
Damien George committed
79
80
81
82
83
84
85

    // store into cell if neede
    if (cell != mp_const_none) {
        mp_obj_cell_set(cell, new_class);
    }

    return new_class;
86
87
}

Damien George's avatar
Damien George committed
88
89
MP_DEFINE_CONST_FUN_OBJ_VAR(mp_builtin___build_class___obj, 2, mp_builtin___build_class__);

90
STATIC mp_obj_t mp_builtin___repl_print__(mp_obj_t o) {
91
    if (o != mp_const_none) {
92
        mp_obj_print(o, PRINT_REPR);
93
94
        printf("\n");
    }
95
    return mp_const_none;
96
97
}

98
99
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin___repl_print___obj, mp_builtin___repl_print__);

100
101
102
mp_obj_t mp_builtin_abs(mp_obj_t o_in) {
    if (MP_OBJ_IS_SMALL_INT(o_in)) {
        mp_small_int_t val = MP_OBJ_SMALL_INT_VALUE(o_in);
103
104
        if (val < 0) {
            val = -val;
105
        }
106
        return MP_OBJ_NEW_SMALL_INT(val);
107
#if MICROPY_PY_BUILTINS_FLOAT
108
    } else if (MP_OBJ_IS_TYPE(o_in, &mp_type_float)) {
109
        mp_float_t value = mp_obj_float_get(o_in);
110
        // TODO check for NaN etc
111
112
        if (value < 0) {
            return mp_obj_new_float(-value);
113
        } else {
114
            return o_in;
115
        }
116
#if MICROPY_PY_BUILTINS_COMPLEX
117
    } else if (MP_OBJ_IS_TYPE(o_in, &mp_type_complex)) {
118
119
        mp_float_t real, imag;
        mp_obj_complex_get(o_in, &real, &imag);
120
        return mp_obj_new_float(MICROPY_FLOAT_C_FUN(sqrt)(real*real + imag*imag));
121
#endif
122
123
124
#endif
    } else {
        assert(0);
125
        return mp_const_none;
126
127
128
    }
}

129
130
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_abs_obj, mp_builtin_abs);

131
STATIC mp_obj_t mp_builtin_all(mp_obj_t o_in) {
Damien George's avatar
Damien George committed
132
    mp_obj_t iterable = mp_getiter(o_in);
133
    mp_obj_t item;
134
    while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
Damien George's avatar
Damien George committed
135
        if (!mp_obj_is_true(item)) {
136
            return mp_const_false;
137
138
        }
    }
139
    return mp_const_true;
140
141
}

142
143
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_all_obj, mp_builtin_all);

144
STATIC mp_obj_t mp_builtin_any(mp_obj_t o_in) {
Damien George's avatar
Damien George committed
145
    mp_obj_t iterable = mp_getiter(o_in);
146
    mp_obj_t item;
147
    while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
Damien George's avatar
Damien George committed
148
        if (mp_obj_is_true(item)) {
149
            return mp_const_true;
150
151
        }
    }
152
    return mp_const_false;
153
154
}

155
156
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_any_obj, mp_builtin_any);

157
158
STATIC mp_obj_t mp_builtin_bin(mp_obj_t o_in) {
    mp_obj_t args[] = { MP_OBJ_NEW_QSTR(MP_QSTR__brace_open__colon__hash_b_brace_close_), o_in };
159
    return mp_obj_str_format(MP_ARRAY_SIZE(args), args);
160
161
162
163
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_bin_obj, mp_builtin_bin);

164
STATIC mp_obj_t mp_builtin_callable(mp_obj_t o_in) {
165
166
    if (mp_obj_is_callable(o_in)) {
        return mp_const_true;
167
    } else {
168
        return mp_const_false;
169
170
171
    }
}

172
173
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_callable_obj, mp_builtin_callable);

174
STATIC mp_obj_t mp_builtin_chr(mp_obj_t o_in) {
175
    #if MICROPY_PY_BUILTINS_STR_UNICODE
176
    machine_int_t c = mp_obj_get_int(o_in);
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
    char str[4];
    int len = 0;
    if (c < 0x80) {
        *str = c; len = 1;
    } else if (c < 0x800) {
        str[0] = (c >> 6) | 0xC0;
        str[1] = (c & 0x3F) | 0x80;
        len = 2;
    } else if (c < 0x10000) {
        str[0] = (c >> 12) | 0xE0;
        str[1] = ((c >> 6) & 0x3F) | 0x80;
        str[2] = (c & 0x3F) | 0x80;
        len = 3;
    } else if (c < 0x110000) {
        str[0] = (c >> 18) | 0xF0;
        str[1] = ((c >> 12) & 0x3F) | 0x80;
        str[2] = ((c >> 6) & 0x3F) | 0x80;
        str[3] = (c & 0x3F) | 0x80;
        len = 4;
196
    } else {
197
        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "chr() arg not in range(0x110000)"));
198
    }
199
    return mp_obj_new_str(str, len, true);
200
    #else
201
    machine_int_t ord = mp_obj_get_int(o_in);
202
203
204
205
206
207
208
    if (0 <= ord && ord <= 0x10ffff) {
        char str[1] = {ord};
        return mp_obj_new_str(str, 1, true);
    } else {
        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "chr() arg not in range(0x110000)"));
    }
    #endif
209
210
}

211
212
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_chr_obj, mp_builtin_chr);

213
STATIC mp_obj_t mp_builtin_dir(uint n_args, const mp_obj_t *args) {
214
215
    // TODO make this function more general and less of a hack

216
    mp_obj_dict_t *dict = NULL;
217
218
    if (n_args == 0) {
        // make a list of names in the local name space
219
        dict = mp_locals_get();
220
221
    } else { // n_args == 1
        // make a list of names in the given object
Damien George's avatar
Damien George committed
222
        if (MP_OBJ_IS_TYPE(args[0], &mp_type_module)) {
223
            dict = mp_obj_module_get_globals(args[0]);
Damien George's avatar
Damien George committed
224
225
226
227
228
229
230
        } else {
            mp_obj_type_t *type;
            if (MP_OBJ_IS_TYPE(args[0], &mp_type_type)) {
                type = args[0];
            } else {
                type = mp_obj_get_type(args[0]);
            }
231
            if (type->locals_dict != MP_OBJ_NULL && MP_OBJ_IS_TYPE(type->locals_dict, &mp_type_dict)) {
232
                dict = type->locals_dict;
Damien George's avatar
Damien George committed
233
            }
234
        }
235
236
237
    }

    mp_obj_t dir = mp_obj_new_list(0, NULL);
238
239
240
241
    if (dict != NULL) {
        for (uint i = 0; i < dict->map.alloc; i++) {
            if (MP_MAP_SLOT_IS_FILLED(&dict->map, i)) {
                mp_obj_list_append(dir, dict->map.table[i].key);
242
243
244
            }
        }
    }
245

246
247
248
249
250
    return dir;
}

MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_dir_obj, 0, 1, mp_builtin_dir);

251
STATIC mp_obj_t mp_builtin_divmod(mp_obj_t o1_in, mp_obj_t o2_in) {
252
253
254
    if (MP_OBJ_IS_SMALL_INT(o1_in) && MP_OBJ_IS_SMALL_INT(o2_in)) {
        mp_small_int_t i1 = MP_OBJ_SMALL_INT_VALUE(o1_in);
        mp_small_int_t i2 = MP_OBJ_SMALL_INT_VALUE(o2_in);
255
256
257
        mp_obj_t args[2];
        args[0] = MP_OBJ_NEW_SMALL_INT(i1 / i2);
        args[1] = MP_OBJ_NEW_SMALL_INT(i1 % i2);
258
        return mp_obj_new_tuple(2, args);
259
    } else {
260
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "unsupported operand type(s) for divmod(): '%s' and '%s'", mp_obj_get_type_str(o1_in), mp_obj_get_type_str(o2_in)));
261
262
263
    }
}

264
265
MP_DEFINE_CONST_FUN_OBJ_2(mp_builtin_divmod_obj, mp_builtin_divmod);

266
STATIC mp_obj_t mp_builtin_hash(mp_obj_t o_in) {
267
    // TODO hash will generally overflow small integer; can we safely truncate it?
268
    return mp_obj_new_int(mp_obj_hash(o_in));
269
270
}

271
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_hash_obj, mp_builtin_hash);
272

Damien George's avatar
Damien George committed
273
STATIC mp_obj_t mp_builtin_hex(mp_obj_t o_in) {
274
    return mp_binary_op(MP_BINARY_OP_MODULO, MP_OBJ_NEW_QSTR(MP_QSTR__percent__hash_x), o_in);
Damien George's avatar
Damien George committed
275
276
277
278
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_hex_obj, mp_builtin_hex);

279
STATIC mp_obj_t mp_builtin_iter(mp_obj_t o_in) {
Damien George's avatar
Damien George committed
280
    return mp_getiter(o_in);
281
282
}

283
284
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_iter_obj, mp_builtin_iter);

285
STATIC mp_obj_t mp_builtin_len(mp_obj_t o_in) {
286
287
    mp_obj_t len = mp_obj_len_maybe(o_in);
    if (len == NULL) {
288
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "object of type '%s' has no len()", mp_obj_get_type_str(o_in)));
289
290
    } else {
        return len;
291
292
293
    }
}

294
295
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_len_obj, mp_builtin_len);

296
STATIC mp_obj_t mp_builtin_max(uint n_args, const mp_obj_t *args) {
297
298
    if (n_args == 1) {
        // given an iterable
Damien George's avatar
Damien George committed
299
        mp_obj_t iterable = mp_getiter(args[0]);
300
301
        mp_obj_t max_obj = NULL;
        mp_obj_t item;
302
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
303
            if (max_obj == NULL || (mp_binary_op(MP_BINARY_OP_LESS, max_obj, item) == mp_const_true)) {
304
305
                max_obj = item;
            }
306
        }
307
        if (max_obj == NULL) {
308
            nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "max() arg is an empty sequence"));
309
310
        }
        return max_obj;
311
    } else {
312
        // given many args
313
        mp_obj_t max_obj = args[0];
314
        for (int i = 1; i < n_args; i++) {
315
            if (mp_binary_op(MP_BINARY_OP_LESS, max_obj, args[i]) == mp_const_true) {
316
317
318
319
                max_obj = args[i];
            }
        }
        return max_obj;
320
321
322
    }
}

323
324
MP_DEFINE_CONST_FUN_OBJ_VAR(mp_builtin_max_obj, 1, mp_builtin_max);

325
STATIC mp_obj_t mp_builtin_min(uint n_args, const mp_obj_t *args) {
326
327
    if (n_args == 1) {
        // given an iterable
Damien George's avatar
Damien George committed
328
        mp_obj_t iterable = mp_getiter(args[0]);
329
330
        mp_obj_t min_obj = NULL;
        mp_obj_t item;
331
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
332
            if (min_obj == NULL || (mp_binary_op(MP_BINARY_OP_LESS, item, min_obj) == mp_const_true)) {
333
334
335
336
                min_obj = item;
            }
        }
        if (min_obj == NULL) {
337
            nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "min() arg is an empty sequence"));
338
339
340
341
        }
        return min_obj;
    } else {
        // given many args
342
        mp_obj_t min_obj = args[0];
343
        for (int i = 1; i < n_args; i++) {
344
            if (mp_binary_op(MP_BINARY_OP_LESS, args[i], min_obj) == mp_const_true) {
345
346
347
348
349
350
                min_obj = args[i];
            }
        }
        return min_obj;
    }
}
351

352
353
MP_DEFINE_CONST_FUN_OBJ_VAR(mp_builtin_min_obj, 1, mp_builtin_min);

354
STATIC mp_obj_t mp_builtin_next(mp_obj_t o) {
Damien George's avatar
Damien George committed
355
    mp_obj_t ret = mp_iternext_allow_raise(o);
356
    if (ret == MP_OBJ_STOP_ITERATION) {
357
        nlr_raise(mp_obj_new_exception(&mp_type_StopIteration));
358
359
360
    } else {
        return ret;
    }
361
362
363
364
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_next_obj, mp_builtin_next);

365
366
367
368
369
370
STATIC mp_obj_t mp_builtin_oct(mp_obj_t o_in) {
    return mp_binary_op(MP_BINARY_OP_MODULO, MP_OBJ_NEW_QSTR(MP_QSTR__percent__hash_o), o_in);
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_oct_obj, mp_builtin_oct);

371
STATIC mp_obj_t mp_builtin_ord(mp_obj_t o_in) {
372
    uint len;
373
    const char *str = mp_obj_str_get_data(o_in, &len);
374
    #if MICROPY_PY_BUILTINS_STR_UNICODE
375
    machine_uint_t charlen = unichar_charlen(str, len);
376
377
378
379
380
381
382
383
384
385
386
387
388
    if (charlen == 1) {
        if (MP_OBJ_IS_STR(o_in) && UTF8_IS_NONASCII(*str)) {
            machine_int_t ord = *str++ & 0x7F;
            for (machine_int_t mask = 0x40; ord & mask; mask >>= 1) {
                ord &= ~mask;
            }
            while (UTF8_IS_CONT(*str)) {
                ord = (ord << 6) | (*str++ & 0x3F);
            }
            return mp_obj_new_int(ord);
        } else {
            return mp_obj_new_int(((const byte*)str)[0]);
        }
389
    } else {
390
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "ord() expected a character, but string of length %d found", charlen));
391
    }
392
393
394
395
396
397
398
399
    #else
    if (len == 1) {
        // don't sign extend when converting to ord
        return mp_obj_new_int(((const byte*)str)[0]);
    } else {
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "ord() expected a character, but string of length %d found", len));
    }
    #endif
400
}
401

402
403
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_ord_obj, mp_builtin_ord);

404
STATIC mp_obj_t mp_builtin_pow(uint n_args, const mp_obj_t *args) {
405
    assert(2 <= n_args && n_args <= 3);
406
    switch (n_args) {
Damien George's avatar
Damien George committed
407
408
        case 2: return mp_binary_op(MP_BINARY_OP_POWER, args[0], args[1]);
        default: return mp_binary_op(MP_BINARY_OP_MODULO, mp_binary_op(MP_BINARY_OP_POWER, args[0], args[1]), args[2]); // TODO optimise...
409
410
    }
}
411

412
413
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_pow_obj, 2, 3, mp_builtin_pow);

414
415
416
417
418
419
420
421
422
423
424
425
426
STATIC mp_obj_t mp_builtin_print(uint n_args, const mp_obj_t *args, mp_map_t *kwargs) {
    mp_map_elem_t *sep_elem = mp_map_lookup(kwargs, MP_OBJ_NEW_QSTR(MP_QSTR_sep), MP_MAP_LOOKUP);
    mp_map_elem_t *end_elem = mp_map_lookup(kwargs, MP_OBJ_NEW_QSTR(MP_QSTR_end), MP_MAP_LOOKUP);
    const char *sep_data = " ";
    uint sep_len = 1;
    const char *end_data = "\n";
    uint end_len = 1;
    if (sep_elem != NULL && sep_elem->value != mp_const_none) {
        sep_data = mp_obj_str_get_data(sep_elem->value, &sep_len);
    }
    if (end_elem != NULL && end_elem->value != mp_const_none) {
        end_data = mp_obj_str_get_data(end_elem->value, &end_len);
    }
427
428
    for (int i = 0; i < n_args; i++) {
        if (i > 0) {
429
            printf("%.*s", sep_len, sep_data);
430
        }
431
        mp_obj_print(args[i], PRINT_STR);
432
    }
433
    printf("%.*s", end_len, end_data);
434
    return mp_const_none;
435
436
}

437
MP_DEFINE_CONST_FUN_OBJ_KW(mp_builtin_print_obj, 0, mp_builtin_print);
438

439
STATIC mp_obj_t mp_builtin_repr(mp_obj_t o_in) {
Damien George's avatar
Damien George committed
440
    vstr_t *vstr = vstr_new();
441
    mp_obj_print_helper((void (*)(void *env, const char *fmt, ...))vstr_printf, vstr, o_in, PRINT_REPR);
442
    mp_obj_t s = mp_obj_new_str(vstr->buf, vstr->len, false);
443
444
    vstr_free(vstr);
    return s;
Damien George's avatar
Damien George committed
445
446
447
448
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_repr_obj, mp_builtin_repr);

449
STATIC mp_obj_t mp_builtin_sum(uint n_args, const mp_obj_t *args) {
450
    assert(1 <= n_args && n_args <= 2);
451
    mp_obj_t value;
452
    switch (n_args) {
453
        case 1: value = mp_obj_new_int(0); break;
454
        default: value = args[1]; break;
455
    }
Damien George's avatar
Damien George committed
456
    mp_obj_t iterable = mp_getiter(args[0]);
457
    mp_obj_t item;
458
    while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
Damien George's avatar
Damien George committed
459
        value = mp_binary_op(MP_BINARY_OP_ADD, value, item);
460
461
462
    }
    return value;
}
Damien George's avatar
Damien George committed
463

464
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_sum_obj, 1, 2, mp_builtin_sum);
John R. Lenton's avatar
sorted    
John R. Lenton committed
465

466
STATIC mp_obj_t mp_builtin_sorted(uint n_args, const mp_obj_t *args, mp_map_t *kwargs) {
467
468
    assert(n_args >= 1);
    if (n_args > 1) {
469
        nlr_raise(mp_obj_new_exception_msg(&mp_type_TypeError,
John R. Lenton's avatar
sorted    
John R. Lenton committed
470
471
                                          "must use keyword argument for key function"));
    }
472
    mp_obj_t self = mp_type_list.make_new((mp_obj_t)&mp_type_list, 1, 0, args);
473
    mp_obj_list_sort(1, &self, kwargs);
John R. Lenton's avatar
sorted    
John R. Lenton committed
474
475
476

    return self;
}
Damien George's avatar
Damien George committed
477

478
MP_DEFINE_CONST_FUN_OBJ_KW(mp_builtin_sorted_obj, 1, mp_builtin_sorted);
479

480
STATIC mp_obj_t mp_builtin_id(mp_obj_t o_in) {
481
    return mp_obj_new_int((machine_int_t)o_in);
482
483
484
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_id_obj, mp_builtin_id);
485

486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
// See mp_load_attr() if making any changes
STATIC inline mp_obj_t mp_load_attr_default(mp_obj_t base, qstr attr, mp_obj_t defval) {
    mp_obj_t dest[2];
    // use load_method, raising or not raising exception
    ((defval == MP_OBJ_NULL) ? mp_load_method : mp_load_method_maybe)(base, attr, dest);
    if (dest[0] == MP_OBJ_NULL) {
        return defval;
    } else if (dest[1] == MP_OBJ_NULL) {
        // load_method returned just a normal attribute
        return dest[0];
    } else {
        // load_method returned a method, so build a bound method object
        return mp_obj_new_bound_meth(dest[0], dest[1]);
    }
}

502
STATIC mp_obj_t mp_builtin_getattr(uint n_args, const mp_obj_t *args) {
503
504
505
506
507
508
    mp_obj_t attr = args[1];
    if (MP_OBJ_IS_TYPE(attr, &mp_type_str)) {
        attr = mp_obj_str_intern(attr);
    } else if (!MP_OBJ_IS_QSTR(attr)) {
        nlr_raise(mp_obj_new_exception_msg(&mp_type_TypeError, "string required"));
    }
509
510
511
512
    mp_obj_t defval = MP_OBJ_NULL;
    if (n_args > 2) {
        defval = args[2];
    }
513
    return mp_load_attr_default(args[0], MP_OBJ_QSTR_VALUE(attr), defval);
514
515
}

516
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_getattr_obj, 2, 3, mp_builtin_getattr);
517

518
519
520
521
STATIC mp_obj_t mp_builtin_hasattr(mp_obj_t object_in, mp_obj_t attr_in) {
    assert(MP_OBJ_IS_QSTR(attr_in));

    mp_obj_t dest[2];
522
    // TODO: https://docs.python.org/3/library/functions.html?highlight=hasattr#hasattr
523
524
525
526
527
528
529
530
531
532
    // explicitly says "This is implemented by calling getattr(object, name) and seeing
    // whether it raises an AttributeError or not.", so we should explicitly wrap this
    // in nlr_push and handle exception.
    mp_load_method_maybe(object_in, MP_OBJ_QSTR_VALUE(attr_in), dest);

    return MP_BOOL(dest[0] != MP_OBJ_NULL);
}

MP_DEFINE_CONST_FUN_OBJ_2(mp_builtin_hasattr_obj, mp_builtin_hasattr);

533
534
535
// These two are defined in terms of MicroPython API functions right away
MP_DEFINE_CONST_FUN_OBJ_0(mp_builtin_globals_obj, mp_globals_get);
MP_DEFINE_CONST_FUN_OBJ_0(mp_builtin_locals_obj, mp_locals_get);