builtin.c 12.3 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
13
#include "runtime.h"
#include "map.h"
#include "builtin.h"

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

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

24
    // we differ from CPython: we set the new __locals__ object here
25
    mp_map_t *old_locals = rt_locals_get();
26
27
    mp_obj_t class_locals = mp_obj_new_dict(0);
    rt_locals_set(mp_obj_dict_get_map(class_locals));
28
29

    // call the class code
Damien George's avatar
Damien George committed
30
    mp_obj_t cell = rt_call_function_1(args[0], (mp_obj_t)0xdeadbeef);
31
32

    // restore old __locals__ object
33
    rt_locals_set(old_locals);
34

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

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

    return new_class;
60
61
}

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

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

72
73
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin___repl_print___obj, mp_builtin___repl_print__);

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

101
102
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_abs_obj, mp_builtin_abs);

103
STATIC mp_obj_t mp_builtin_all(mp_obj_t o_in) {
104
105
    mp_obj_t iterable = rt_getiter(o_in);
    mp_obj_t item;
106
    while ((item = rt_iternext(iterable)) != MP_OBJ_NULL) {
107
        if (!rt_is_true(item)) {
108
            return mp_const_false;
109
110
        }
    }
111
    return mp_const_true;
112
113
}

114
115
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_all_obj, mp_builtin_all);

116
STATIC mp_obj_t mp_builtin_any(mp_obj_t o_in) {
117
118
    mp_obj_t iterable = rt_getiter(o_in);
    mp_obj_t item;
119
    while ((item = rt_iternext(iterable)) != MP_OBJ_NULL) {
120
        if (rt_is_true(item)) {
121
            return mp_const_true;
122
123
        }
    }
124
    return mp_const_false;
125
126
}

127
128
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_any_obj, mp_builtin_any);

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

137
138
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_callable_obj, mp_builtin_callable);

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

149
150
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_chr_obj, mp_builtin_chr);

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

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

    mp_obj_t dir = mp_obj_new_list(0, NULL);
176
177
178
179
180
181
182
    if (map != NULL) {
        for (uint i = 0; i < map->alloc; i++) {
            if (map->table[i].key != MP_OBJ_NULL) {
                mp_obj_list_append(dir, map->table[i].key);
            }
        }
    }
183

184
185
186
187
188
    return dir;
}

MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_dir_obj, 0, 1, mp_builtin_dir);

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

202
203
MP_DEFINE_CONST_FUN_OBJ_2(mp_builtin_divmod_obj, mp_builtin_divmod);

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

209
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_hash_obj, mp_builtin_hash);
210

211
STATIC mp_obj_t mp_builtin_iter(mp_obj_t o_in) {
212
    return rt_getiter(o_in);
213
214
}

215
216
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_iter_obj, mp_builtin_iter);

217
STATIC mp_obj_t mp_builtin_len(mp_obj_t o_in) {
218
219
    mp_obj_t len = mp_obj_len_maybe(o_in);
    if (len == NULL) {
220
        nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "object of type '%s' has no len()", mp_obj_get_type_str(o_in)));
221
222
    } else {
        return len;
223
224
225
    }
}

226
227
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_len_obj, mp_builtin_len);

228
STATIC mp_obj_t mp_builtin_max(uint n_args, const mp_obj_t *args) {
229
230
    if (n_args == 1) {
        // given an iterable
231
232
233
        mp_obj_t iterable = rt_getiter(args[0]);
        mp_obj_t max_obj = NULL;
        mp_obj_t item;
234
        while ((item = rt_iternext(iterable)) != MP_OBJ_NULL) {
235
            if (max_obj == NULL || mp_obj_less(max_obj, item)) {
236
237
                max_obj = item;
            }
238
        }
239
        if (max_obj == NULL) {
240
            nlr_jump(mp_obj_new_exception_msg(&mp_type_ValueError, "max() arg is an empty sequence"));
241
242
        }
        return max_obj;
243
    } else {
244
        // given many args
245
        mp_obj_t max_obj = args[0];
246
        for (int i = 1; i < n_args; i++) {
247
            if (mp_obj_less(max_obj, args[i])) {
248
249
250
251
                max_obj = args[i];
            }
        }
        return max_obj;
252
253
254
    }
}

255
256
MP_DEFINE_CONST_FUN_OBJ_VAR(mp_builtin_max_obj, 1, mp_builtin_max);

257
STATIC mp_obj_t mp_builtin_min(uint n_args, const mp_obj_t *args) {
258
259
    if (n_args == 1) {
        // given an iterable
260
261
262
        mp_obj_t iterable = rt_getiter(args[0]);
        mp_obj_t min_obj = NULL;
        mp_obj_t item;
263
        while ((item = rt_iternext(iterable)) != MP_OBJ_NULL) {
264
            if (min_obj == NULL || mp_obj_less(item, min_obj)) {
265
266
267
268
                min_obj = item;
            }
        }
        if (min_obj == NULL) {
269
            nlr_jump(mp_obj_new_exception_msg(&mp_type_ValueError, "min() arg is an empty sequence"));
270
271
272
273
        }
        return min_obj;
    } else {
        // given many args
274
        mp_obj_t min_obj = args[0];
275
        for (int i = 1; i < n_args; i++) {
276
            if (mp_obj_less(args[i], min_obj)) {
277
278
279
280
281
282
                min_obj = args[i];
            }
        }
        return min_obj;
    }
}
283

284
285
MP_DEFINE_CONST_FUN_OBJ_VAR(mp_builtin_min_obj, 1, mp_builtin_min);

286
STATIC mp_obj_t mp_builtin_next(mp_obj_t o) {
287
288
    mp_obj_t ret = rt_iternext_allow_raise(o);
    if (ret == MP_OBJ_NULL) {
289
        nlr_jump(mp_obj_new_exception(&mp_type_StopIteration));
290
291
292
    } else {
        return ret;
    }
293
294
295
296
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_next_obj, mp_builtin_next);

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

309
310
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_ord_obj, mp_builtin_ord);

311
STATIC mp_obj_t mp_builtin_pow(uint n_args, const mp_obj_t *args) {
312
    assert(2 <= n_args && n_args <= 3);
313
314
    switch (n_args) {
        case 2: return rt_binary_op(RT_BINARY_OP_POWER, args[0], args[1]);
315
        default: return rt_binary_op(RT_BINARY_OP_MODULO, rt_binary_op(RT_BINARY_OP_POWER, args[0], args[1]), args[2]); // TODO optimise...
316
317
    }
}
318

319
320
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_pow_obj, 2, 3, mp_builtin_pow);

321
STATIC mp_obj_t mp_builtin_print(uint n_args, const mp_obj_t *args) {
322
323
324
325
    for (int i = 0; i < n_args; i++) {
        if (i > 0) {
            printf(" ");
        }
326
        mp_obj_print(args[i], PRINT_STR);
327
328
    }
    printf("\n");
329
    return mp_const_none;
330
331
}

332
333
MP_DEFINE_CONST_FUN_OBJ_VAR(mp_builtin_print_obj, 0, mp_builtin_print);

334
STATIC mp_obj_t mp_builtin_range(uint n_args, const mp_obj_t *args) {
335
    assert(1 <= n_args && n_args <= 3);
336
    switch (n_args) {
337
338
        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);
339
        default: return mp_obj_new_range(mp_obj_get_int(args[0]), mp_obj_get_int(args[1]), mp_obj_get_int(args[2]));
340
341
342
    }
}

343
344
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_range_obj, 1, 3, mp_builtin_range);

345
STATIC mp_obj_t mp_builtin_repr(mp_obj_t o_in) {
Damien George's avatar
Damien George committed
346
    vstr_t *vstr = vstr_new();
347
    mp_obj_print_helper((void (*)(void *env, const char *fmt, ...))vstr_printf, vstr, o_in, PRINT_REPR);
348
349
350
    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
351
352
353
354
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_repr_obj, mp_builtin_repr);

355
STATIC mp_obj_t mp_builtin_sum(uint n_args, const mp_obj_t *args) {
356
    assert(1 <= n_args && n_args <= 2);
357
    mp_obj_t value;
358
    switch (n_args) {
359
        case 1: value = mp_obj_new_int(0); break;
360
        default: value = args[1]; break;
361
    }
362
363
    mp_obj_t iterable = rt_getiter(args[0]);
    mp_obj_t item;
364
    while ((item = rt_iternext(iterable)) != MP_OBJ_NULL) {
365
366
367
368
        value = rt_binary_op(RT_BINARY_OP_ADD, value, item);
    }
    return value;
}
Damien George's avatar
Damien George committed
369

370
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
371

372
STATIC mp_obj_t mp_builtin_sorted(uint n_args, const mp_obj_t *args, mp_map_t *kwargs) {
373
374
    assert(n_args >= 1);
    if (n_args > 1) {
375
        nlr_jump(mp_obj_new_exception_msg(&mp_type_TypeError,
John R. Lenton's avatar
sorted    
John R. Lenton committed
376
377
                                          "must use keyword argument for key function"));
    }
378
379
    mp_obj_t self = list_type.make_new((mp_obj_t)&list_type, 1, 0, args);
    mp_obj_list_sort(1, &self, kwargs);
John R. Lenton's avatar
sorted    
John R. Lenton committed
380
381
382

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

384
MP_DEFINE_CONST_FUN_OBJ_KW(mp_builtin_sorted_obj, 1, mp_builtin_sorted);
385

386
STATIC mp_obj_t mp_builtin_id(mp_obj_t o_in) {
387
    return mp_obj_new_int((machine_int_t)o_in);
388
389
390
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_id_obj, mp_builtin_id);
391
392
393
394
395
396
397

STATIC mp_obj_t mp_builtin_getattr(mp_obj_t o_in, mp_obj_t attr) {
    assert(MP_OBJ_IS_QSTR(attr));
    return rt_load_attr(o_in, MP_OBJ_QSTR_VALUE(attr));
}

MP_DEFINE_CONST_FUN_OBJ_2(mp_builtin_getattr_obj, mp_builtin_getattr);