blob: 95c1adde0cf7703521b5ca255c7d244a0c510fec [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 George40f3c022014-07-03 13:25:24 +010035 mp_uint_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 George969a6b32014-12-10 22:07:04 +000039STATIC mp_obj_t closure_call(mp_obj_t self_in, mp_uint_t n_args, mp_uint_t n_kw, const mp_obj_t *args) {
Damien George6baf76e2013-12-30 22:32:17 +000040 mp_obj_closure_t *self = self_in;
41
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 George39dc1452014-10-03 19:52:22 +010044 mp_uint_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
Paul Sokolovskybc5f0c12014-04-20 13:03:39 +030063STATIC void closure_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t o_in, mp_print_kind_t kind) {
Damien Georgeff8dd3f2015-01-20 12:47:20 +000064 (void)kind;
Paul Sokolovskybc5f0c12014-04-20 13:03:39 +030065 mp_obj_closure_t *o = o_in;
Paul Sokolovsky067ae122014-10-16 00:14:01 +030066 print(env, "<closure ");
67 mp_obj_print_helper(print, env, o->fun, PRINT_REPR);
68 print(env, " at %p, n_closed=%u ", o, o->n_closed);
Damien George39dc1452014-10-03 19:52:22 +010069 for (mp_uint_t i = 0; i < o->n_closed; i++) {
Damien George3558f622014-04-20 17:50:40 +010070 if (o->closed[i] == MP_OBJ_NULL) {
Paul Sokolovskybc5f0c12014-04-20 13:03:39 +030071 print(env, "(nil)");
72 } else {
Damien George3558f622014-04-20 17:50:40 +010073 mp_obj_print_helper(print, env, o->closed[i], PRINT_REPR);
Paul Sokolovskybc5f0c12014-04-20 13:03:39 +030074 }
75 print(env, " ");
76 }
77 print(env, ">");
78}
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 Georged182b982014-08-30 14:19:41 +010090mp_obj_t mp_obj_new_closure(mp_obj_t fun, mp_uint_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));
Damiend99b0522013-12-21 18:17:45 +000096 return o;
97}