blob: 3e12358bbd01f64623739d2225692a2358b33cae [file] [log] [blame]
Damien George04b91472014-05-03 23:27:38 +01001/*
2 * This file is part of the Micro Python project, http://micropython.org/
3 *
4 * The MIT License (MIT)
5 *
6 * Copyright (c) 2013, 2014 Damien P. George
7 *
8 * Permission is hereby granted, free of charge, to any person obtaining a copy
9 * of this software and associated documentation files (the "Software"), to deal
10 * in the Software without restriction, including without limitation the rights
11 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
12 * copies of the Software, and to permit persons to whom the Software is
13 * furnished to do so, subject to the following conditions:
14 *
15 * The above copyright notice and this permission notice shall be included in
16 * all copies or substantial portions of the Software.
17 *
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
21 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
22 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
24 * THE SOFTWARE.
25 */
26
Damien George6baf76e2013-12-30 22:32:17 +000027#include <string.h>
Damiend99b0522013-12-21 18:17:45 +000028
Damien George51dfcb42015-01-01 20:27:54 +000029#include "py/obj.h"
30#include "py/runtime.h"
Damiend99b0522013-12-21 18:17:45 +000031
32typedef struct _mp_obj_closure_t {
33 mp_obj_base_t base;
34 mp_obj_t fun;
Damien Georgeefa62902017-02-16 16:36:04 +110035 size_t n_closed;
Damien George3558f622014-04-20 17:50:40 +010036 mp_obj_t closed[];
Damiend99b0522013-12-21 18:17:45 +000037} mp_obj_closure_t;
38
Damien Georgea0c97812016-01-03 09:59:18 +000039STATIC mp_obj_t closure_call(mp_obj_t self_in, size_t n_args, size_t n_kw, const mp_obj_t *args) {
Damien George999cedb2015-11-27 17:01:44 +000040 mp_obj_closure_t *self = MP_OBJ_TO_PTR(self_in);
Damien George6baf76e2013-12-30 22:32:17 +000041
Damien George20006db2014-01-18 14:10:48 +000042 // need to concatenate closed-over-vars and args
Damien George6baf76e2013-12-30 22:32:17 +000043
Damien Georgeefa62902017-02-16 16:36:04 +110044 size_t n_total = self->n_closed + n_args + 2 * n_kw;
Damien George20006db2014-01-18 14:10:48 +000045 if (n_total <= 5) {
46 // use stack to allocate temporary args array
47 mp_obj_t args2[5];
Damien George3558f622014-04-20 17:50:40 +010048 memcpy(args2, self->closed, self->n_closed * sizeof(mp_obj_t));
49 memcpy(args2 + self->n_closed, args, (n_args + 2 * n_kw) * sizeof(mp_obj_t));
50 return mp_call_function_n_kw(self->fun, self->n_closed + n_args, n_kw, args2);
Damien George20006db2014-01-18 14:10:48 +000051 } else {
52 // use heap to allocate temporary args array
53 mp_obj_t *args2 = m_new(mp_obj_t, n_total);
Damien George3558f622014-04-20 17:50:40 +010054 memcpy(args2, self->closed, self->n_closed * sizeof(mp_obj_t));
55 memcpy(args2 + self->n_closed, args, (n_args + 2 * n_kw) * sizeof(mp_obj_t));
56 mp_obj_t res = mp_call_function_n_kw(self->fun, self->n_closed + n_args, n_kw, args2);
Damien George20006db2014-01-18 14:10:48 +000057 m_del(mp_obj_t, args2, n_total);
58 return res;
59 }
Damien George6baf76e2013-12-30 22:32:17 +000060}
61
Paul Sokolovsky418aca92014-05-03 14:10:34 +030062#if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_DETAILED
Damien George7f9d1d62015-04-09 23:56:15 +010063STATIC void closure_print(const mp_print_t *print, mp_obj_t o_in, mp_print_kind_t kind) {
Damien Georgeff8dd3f2015-01-20 12:47:20 +000064 (void)kind;
Damien George999cedb2015-11-27 17:01:44 +000065 mp_obj_closure_t *o = MP_OBJ_TO_PTR(o_in);
Damien George7f9d1d62015-04-09 23:56:15 +010066 mp_print_str(print, "<closure ");
67 mp_obj_print_helper(print, o->fun, PRINT_REPR);
Damien George2a1cca22016-03-14 22:40:39 +000068 mp_printf(print, " at %p, n_closed=%u ", o, (int)o->n_closed);
Damien Georgeefa62902017-02-16 16:36:04 +110069 for (size_t i = 0; i < o->n_closed; i++) {
Damien George3558f622014-04-20 17:50:40 +010070 if (o->closed[i] == MP_OBJ_NULL) {
Damien George7f9d1d62015-04-09 23:56:15 +010071 mp_print_str(print, "(nil)");
Paul Sokolovskybc5f0c12014-04-20 13:03:39 +030072 } else {
Damien George7f9d1d62015-04-09 23:56:15 +010073 mp_obj_print_helper(print, o->closed[i], PRINT_REPR);
Paul Sokolovskybc5f0c12014-04-20 13:03:39 +030074 }
Damien George7f9d1d62015-04-09 23:56:15 +010075 mp_print_str(print, " ");
Paul Sokolovskybc5f0c12014-04-20 13:03:39 +030076 }
Damien George7f9d1d62015-04-09 23:56:15 +010077 mp_print_str(print, ">");
Paul Sokolovskybc5f0c12014-04-20 13:03:39 +030078}
79#endif
80
Damiend99b0522013-12-21 18:17:45 +000081const mp_obj_type_t closure_type = {
Damien Georgec5966122014-02-15 16:10:44 +000082 { &mp_type_type },
Damien Georgea71c83a2014-02-15 11:34:50 +000083 .name = MP_QSTR_closure,
Paul Sokolovsky418aca92014-05-03 14:10:34 +030084#if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_DETAILED
85 .print = closure_print,
86#endif
Damien George20006db2014-01-18 14:10:48 +000087 .call = closure_call,
Damiend99b0522013-12-21 18:17:45 +000088};
89
Damien Georgeefa62902017-02-16 16:36:04 +110090mp_obj_t mp_obj_new_closure(mp_obj_t fun, size_t n_closed_over, const mp_obj_t *closed) {
Damien George3558f622014-04-20 17:50:40 +010091 mp_obj_closure_t *o = m_new_obj_var(mp_obj_closure_t, mp_obj_t, n_closed_over);
Damiend99b0522013-12-21 18:17:45 +000092 o->base.type = &closure_type;
93 o->fun = fun;
Damien George3558f622014-04-20 17:50:40 +010094 o->n_closed = n_closed_over;
95 memcpy(o->closed, closed, n_closed_over * sizeof(mp_obj_t));
Damien George999cedb2015-11-27 17:01:44 +000096 return MP_OBJ_FROM_PTR(o);
Damiend99b0522013-12-21 18:17:45 +000097}