builtin.c 14.1 KB
Newer Older
1
2
3
4
5
#include <stdio.h>
#include <assert.h>

#include "nlr.h"
#include "misc.h"
6
#include "mpconfig.h"
7
#include "qstr.h"
8
9
#include "obj.h"
#include "runtime0.h"
10
11
12
#include "runtime.h"
#include "builtin.h"

13
14
15
16
#if MICROPY_ENABLE_FLOAT
#include <math.h>
#endif

Damien George's avatar
Damien George committed
17
18
19
// args[0] is function from class body
// args[1] is class name
// args[2:] are base objects
20
STATIC mp_obj_t mp_builtin___build_class__(uint n_args, const mp_obj_t *args) {
Damien George's avatar
Damien George committed
21
22
    assert(2 <= n_args);

23
24
    // set the new classes __locals__ object
    mp_obj_dict_t *old_locals = mp_locals_get();
25
    mp_obj_t class_locals = mp_obj_new_dict(0);
26
    mp_locals_set(class_locals);
27
28

    // call the class code
29
    mp_obj_t cell = mp_call_function_0(args[0]);
30
31

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

Damien George's avatar
Damien George committed
34
35
36
37
    // get the class type (meta object) from the base objects
    mp_obj_t meta;
    if (n_args == 2) {
        // no explicit bases, so use 'type'
38
        meta = (mp_obj_t)&mp_type_type;
Damien George's avatar
Damien George committed
39
40
41
42
43
44
45
46
47
    } 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];
48
    meta_args[0] = args[1]; // class name
Damien George's avatar
Damien George committed
49
    meta_args[1] = mp_obj_new_tuple(n_args - 2, args + 2); // tuple of bases
50
    meta_args[2] = class_locals; // dict of members
Damien George's avatar
Damien George committed
51
    mp_obj_t new_class = mp_call_function_n_kw(meta, 3, 0, meta_args);
Damien George's avatar
Damien George committed
52
53
54
55
56
57
58

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

    return new_class;
59
60
}

Damien George's avatar
Damien George committed
61
62
MP_DEFINE_CONST_FUN_OBJ_VAR(mp_builtin___build_class___obj, 2, mp_builtin___build_class__);

63
STATIC mp_obj_t mp_builtin___repl_print__(mp_obj_t o) {
64
    if (o != mp_const_none) {
65
        mp_obj_print(o, PRINT_REPR);
66
67
        printf("\n");
    }
68
    return mp_const_none;
69
70
}

71
72
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin___repl_print___obj, mp_builtin___repl_print__);

73
74
75
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);
76
77
        if (val < 0) {
            val = -val;
78
        }
79
        return MP_OBJ_NEW_SMALL_INT(val);
80
#if MICROPY_ENABLE_FLOAT
81
    } else if (MP_OBJ_IS_TYPE(o_in, &mp_type_float)) {
82
        mp_float_t value = mp_obj_float_get(o_in);
83
        // TODO check for NaN etc
84
85
        if (value < 0) {
            return mp_obj_new_float(-value);
86
        } else {
87
            return o_in;
88
        }
89
    } else if (MP_OBJ_IS_TYPE(o_in, &mp_type_complex)) {
90
91
        mp_float_t real, imag;
        mp_obj_complex_get(o_in, &real, &imag);
92
        return mp_obj_new_float(MICROPY_FLOAT_C_FUN(sqrt)(real*real + imag*imag));
93
94
95
#endif
    } else {
        assert(0);
96
        return mp_const_none;
97
98
99
    }
}

100
101
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_abs_obj, mp_builtin_abs);

102
STATIC mp_obj_t mp_builtin_all(mp_obj_t o_in) {
Damien George's avatar
Damien George committed
103
    mp_obj_t iterable = mp_getiter(o_in);
104
    mp_obj_t item;
Damien George's avatar
Damien George committed
105
106
    while ((item = mp_iternext(iterable)) != MP_OBJ_NULL) {
        if (!mp_obj_is_true(item)) {
107
            return mp_const_false;
108
109
        }
    }
110
    return mp_const_true;
111
112
}

113
114
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_all_obj, mp_builtin_all);

115
STATIC mp_obj_t mp_builtin_any(mp_obj_t o_in) {
Damien George's avatar
Damien George committed
116
    mp_obj_t iterable = mp_getiter(o_in);
117
    mp_obj_t item;
Damien George's avatar
Damien George committed
118
119
    while ((item = mp_iternext(iterable)) != MP_OBJ_NULL) {
        if (mp_obj_is_true(item)) {
120
            return mp_const_true;
121
122
        }
    }
123
    return mp_const_false;
124
125
}

126
127
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_any_obj, mp_builtin_any);

128
STATIC mp_obj_t mp_builtin_callable(mp_obj_t o_in) {
129
130
    if (mp_obj_is_callable(o_in)) {
        return mp_const_true;
131
    } else {
132
        return mp_const_false;
133
134
135
    }
}

136
137
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_callable_obj, mp_builtin_callable);

138
STATIC mp_obj_t mp_builtin_chr(mp_obj_t o_in) {
139
    int ord = mp_obj_get_int(o_in);
140
    if (0 <= ord && ord <= 0x10ffff) {
141
142
        byte str[1] = {ord};
        return mp_obj_new_str(str, 1, true);
143
    } else {
144
        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "chr() arg not in range(0x110000)"));
145
    }
146
147
}

148
149
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_chr_obj, mp_builtin_chr);

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

153
    mp_obj_dict_t *dict = NULL;
154
155
    if (n_args == 0) {
        // make a list of names in the local name space
156
        dict = mp_locals_get();
157
158
    } else { // n_args == 1
        // make a list of names in the given object
Damien George's avatar
Damien George committed
159
        if (MP_OBJ_IS_TYPE(args[0], &mp_type_module)) {
160
            dict = mp_obj_module_get_globals(args[0]);
Damien George's avatar
Damien George committed
161
162
163
164
165
166
167
        } 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]);
            }
168
            if (type->locals_dict != MP_OBJ_NULL && MP_OBJ_IS_TYPE(type->locals_dict, &mp_type_dict)) {
169
                dict = type->locals_dict;
Damien George's avatar
Damien George committed
170
            }
171
        }
172
173
174
    }

    mp_obj_t dir = mp_obj_new_list(0, NULL);
175
176
177
178
    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);
179
180
181
            }
        }
    }
182

183
184
185
186
187
    return dir;
}

MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_dir_obj, 0, 1, mp_builtin_dir);

188
STATIC mp_obj_t mp_builtin_divmod(mp_obj_t o1_in, mp_obj_t o2_in) {
189
190
191
    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);
192
193
194
        mp_obj_t args[2];
        args[0] = MP_OBJ_NEW_SMALL_INT(i1 / i2);
        args[1] = MP_OBJ_NEW_SMALL_INT(i1 % i2);
195
        return mp_obj_new_tuple(2, args);
196
    } else {
197
        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)));
198
199
200
    }
}

201
202
MP_DEFINE_CONST_FUN_OBJ_2(mp_builtin_divmod_obj, mp_builtin_divmod);

203
STATIC mp_obj_t mp_builtin_hash(mp_obj_t o_in) {
204
    // TODO hash will generally overflow small integer; can we safely truncate it?
205
    return mp_obj_new_int(mp_obj_hash(o_in));
206
207
}

208
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_hash_obj, mp_builtin_hash);
209

Damien George's avatar
Damien George committed
210
211
212
213
214
215
STATIC mp_obj_t mp_builtin_hex(mp_obj_t o_in) {
    return mp_binary_op(MP_BINARY_OP_MODULO, MP_OBJ_NEW_QSTR(MP_QSTR__percent_x), o_in);
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_hex_obj, mp_builtin_hex);

216
STATIC mp_obj_t mp_builtin_iter(mp_obj_t o_in) {
Damien George's avatar
Damien George committed
217
    return mp_getiter(o_in);
218
219
}

220
221
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_iter_obj, mp_builtin_iter);

222
STATIC mp_obj_t mp_builtin_len(mp_obj_t o_in) {
223
224
    mp_obj_t len = mp_obj_len_maybe(o_in);
    if (len == NULL) {
225
        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)));
226
227
    } else {
        return len;
228
229
230
    }
}

231
232
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_len_obj, mp_builtin_len);

233
STATIC mp_obj_t mp_builtin_max(uint n_args, const mp_obj_t *args) {
234
235
    if (n_args == 1) {
        // given an iterable
Damien George's avatar
Damien George committed
236
        mp_obj_t iterable = mp_getiter(args[0]);
237
238
        mp_obj_t max_obj = NULL;
        mp_obj_t item;
Damien George's avatar
Damien George committed
239
        while ((item = mp_iternext(iterable)) != MP_OBJ_NULL) {
240
            if (max_obj == NULL || mp_binary_op(MP_BINARY_OP_LESS, max_obj, item)) {
241
242
                max_obj = item;
            }
243
        }
244
        if (max_obj == NULL) {
245
            nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "max() arg is an empty sequence"));
246
247
        }
        return max_obj;
248
    } else {
249
        // given many args
250
        mp_obj_t max_obj = args[0];
251
        for (int i = 1; i < n_args; i++) {
252
            if (mp_binary_op(MP_BINARY_OP_LESS, max_obj, args[i])) {
253
254
255
256
                max_obj = args[i];
            }
        }
        return max_obj;
257
258
259
    }
}

260
261
MP_DEFINE_CONST_FUN_OBJ_VAR(mp_builtin_max_obj, 1, mp_builtin_max);

262
STATIC mp_obj_t mp_builtin_min(uint n_args, const mp_obj_t *args) {
263
264
    if (n_args == 1) {
        // given an iterable
Damien George's avatar
Damien George committed
265
        mp_obj_t iterable = mp_getiter(args[0]);
266
267
        mp_obj_t min_obj = NULL;
        mp_obj_t item;
Damien George's avatar
Damien George committed
268
        while ((item = mp_iternext(iterable)) != MP_OBJ_NULL) {
269
            if (min_obj == NULL || mp_binary_op(MP_BINARY_OP_LESS, item, min_obj)) {
270
271
272
273
                min_obj = item;
            }
        }
        if (min_obj == NULL) {
274
            nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "min() arg is an empty sequence"));
275
276
277
278
        }
        return min_obj;
    } else {
        // given many args
279
        mp_obj_t min_obj = args[0];
280
        for (int i = 1; i < n_args; i++) {
281
            if (mp_binary_op(MP_BINARY_OP_LESS, args[i], min_obj)) {
282
283
284
285
286
287
                min_obj = args[i];
            }
        }
        return min_obj;
    }
}
288

289
290
MP_DEFINE_CONST_FUN_OBJ_VAR(mp_builtin_min_obj, 1, mp_builtin_min);

291
STATIC mp_obj_t mp_builtin_next(mp_obj_t o) {
Damien George's avatar
Damien George committed
292
    mp_obj_t ret = mp_iternext_allow_raise(o);
293
    if (ret == MP_OBJ_NULL) {
294
        nlr_raise(mp_obj_new_exception(&mp_type_StopIteration));
295
296
297
    } else {
        return ret;
    }
298
299
300
301
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_next_obj, mp_builtin_next);

302
STATIC mp_obj_t mp_builtin_ord(mp_obj_t o_in) {
303
    uint len;
304
    const char *str = mp_obj_str_get_data(o_in, &len);
305
    if (len == 1) {
306
307
308
        // don't sign extend when converting to ord
        // TODO unicode
        return mp_obj_new_int(((const byte*)str)[0]);
309
    } else {
310
        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "ord() expected a character, but string of length %d found", len));
311
312
    }
}
313

314
315
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_ord_obj, mp_builtin_ord);

316
STATIC mp_obj_t mp_builtin_pow(uint n_args, const mp_obj_t *args) {
317
    assert(2 <= n_args && n_args <= 3);
318
    switch (n_args) {
Damien George's avatar
Damien George committed
319
320
        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...
321
322
    }
}
323

324
325
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_pow_obj, 2, 3, mp_builtin_pow);

326
327
328
329
330
331
332
333
334
335
336
337
338
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);
    }
339
340
    for (int i = 0; i < n_args; i++) {
        if (i > 0) {
341
            printf("%.*s", sep_len, sep_data);
342
        }
343
        mp_obj_print(args[i], PRINT_STR);
344
    }
345
    printf("%.*s", end_len, end_data);
346
    return mp_const_none;
347
348
}

349
MP_DEFINE_CONST_FUN_OBJ_KW(mp_builtin_print_obj, 0, mp_builtin_print);
350

351
STATIC mp_obj_t mp_builtin_range(uint n_args, const mp_obj_t *args) {
352
    assert(1 <= n_args && n_args <= 3);
353
    switch (n_args) {
354
355
        case 1: return mp_obj_new_range(0, mp_obj_get_int(args[0]), 1);
        case 2: return mp_obj_new_range(mp_obj_get_int(args[0]), mp_obj_get_int(args[1]), 1);
356
        default: return mp_obj_new_range(mp_obj_get_int(args[0]), mp_obj_get_int(args[1]), mp_obj_get_int(args[2]));
357
358
359
    }
}

360
361
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_range_obj, 1, 3, mp_builtin_range);

362
STATIC mp_obj_t mp_builtin_repr(mp_obj_t o_in) {
Damien George's avatar
Damien George committed
363
    vstr_t *vstr = vstr_new();
364
    mp_obj_print_helper((void (*)(void *env, const char *fmt, ...))vstr_printf, vstr, o_in, PRINT_REPR);
365
366
367
    mp_obj_t s = mp_obj_new_str((byte*)vstr->buf, vstr->len, false);
    vstr_free(vstr);
    return s;
Damien George's avatar
Damien George committed
368
369
370
371
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_repr_obj, mp_builtin_repr);

372
STATIC mp_obj_t mp_builtin_sum(uint n_args, const mp_obj_t *args) {
373
    assert(1 <= n_args && n_args <= 2);
374
    mp_obj_t value;
375
    switch (n_args) {
376
        case 1: value = mp_obj_new_int(0); break;
377
        default: value = args[1]; break;
378
    }
Damien George's avatar
Damien George committed
379
    mp_obj_t iterable = mp_getiter(args[0]);
380
    mp_obj_t item;
Damien George's avatar
Damien George committed
381
382
    while ((item = mp_iternext(iterable)) != MP_OBJ_NULL) {
        value = mp_binary_op(MP_BINARY_OP_ADD, value, item);
383
384
385
    }
    return value;
}
Damien George's avatar
Damien George committed
386

387
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
388

389
STATIC mp_obj_t mp_builtin_sorted(uint n_args, const mp_obj_t *args, mp_map_t *kwargs) {
390
391
    assert(n_args >= 1);
    if (n_args > 1) {
392
        nlr_raise(mp_obj_new_exception_msg(&mp_type_TypeError,
John R. Lenton's avatar
sorted    
John R. Lenton committed
393
394
                                          "must use keyword argument for key function"));
    }
395
    mp_obj_t self = mp_type_list.make_new((mp_obj_t)&mp_type_list, 1, 0, args);
396
    mp_obj_list_sort(1, &self, kwargs);
John R. Lenton's avatar
sorted    
John R. Lenton committed
397
398
399

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

401
MP_DEFINE_CONST_FUN_OBJ_KW(mp_builtin_sorted_obj, 1, mp_builtin_sorted);
402

403
STATIC mp_obj_t mp_builtin_id(mp_obj_t o_in) {
404
    return mp_obj_new_int((machine_int_t)o_in);
405
406
407
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_id_obj, mp_builtin_id);
408

409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
// 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]);
    }
}

425
426
427
428
429
430
431
STATIC mp_obj_t mp_builtin_getattr(uint n_args, const mp_obj_t *args) {
    assert(MP_OBJ_IS_QSTR(args[1]));
    mp_obj_t defval = MP_OBJ_NULL;
    if (n_args > 2) {
        defval = args[2];
    }
    return mp_load_attr_default(args[0], MP_OBJ_QSTR_VALUE(args[1]), defval);
432
433
}

434
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_getattr_obj, 2, 3, mp_builtin_getattr);
435

436
437
438
// 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);