Damien George | 04b9147 | 2014-05-03 23:27:38 +0100 | [diff] [blame] | 1 | /* |
| 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 George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 27 | #include <string.h> |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 28 | |
Damien George | 51dfcb4 | 2015-01-01 20:27:54 +0000 | [diff] [blame] | 29 | #include "py/obj.h" |
| 30 | #include "py/runtime.h" |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 31 | |
| 32 | typedef struct _mp_obj_closure_t { |
| 33 | mp_obj_base_t base; |
| 34 | mp_obj_t fun; |
Damien George | efa6290 | 2017-02-16 16:36:04 +1100 | [diff] [blame^] | 35 | size_t n_closed; |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 36 | mp_obj_t closed[]; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 37 | } mp_obj_closure_t; |
| 38 | |
Damien George | a0c9781 | 2016-01-03 09:59:18 +0000 | [diff] [blame] | 39 | STATIC mp_obj_t closure_call(mp_obj_t self_in, size_t n_args, size_t n_kw, const mp_obj_t *args) { |
Damien George | 999cedb | 2015-11-27 17:01:44 +0000 | [diff] [blame] | 40 | mp_obj_closure_t *self = MP_OBJ_TO_PTR(self_in); |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 41 | |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 42 | // need to concatenate closed-over-vars and args |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 43 | |
Damien George | efa6290 | 2017-02-16 16:36:04 +1100 | [diff] [blame^] | 44 | size_t n_total = self->n_closed + n_args + 2 * n_kw; |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 45 | if (n_total <= 5) { |
| 46 | // use stack to allocate temporary args array |
| 47 | mp_obj_t args2[5]; |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 48 | 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 George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 51 | } else { |
| 52 | // use heap to allocate temporary args array |
| 53 | mp_obj_t *args2 = m_new(mp_obj_t, n_total); |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 54 | 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 George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 57 | m_del(mp_obj_t, args2, n_total); |
| 58 | return res; |
| 59 | } |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 60 | } |
| 61 | |
Paul Sokolovsky | 418aca9 | 2014-05-03 14:10:34 +0300 | [diff] [blame] | 62 | #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_DETAILED |
Damien George | 7f9d1d6 | 2015-04-09 23:56:15 +0100 | [diff] [blame] | 63 | STATIC void closure_print(const mp_print_t *print, mp_obj_t o_in, mp_print_kind_t kind) { |
Damien George | ff8dd3f | 2015-01-20 12:47:20 +0000 | [diff] [blame] | 64 | (void)kind; |
Damien George | 999cedb | 2015-11-27 17:01:44 +0000 | [diff] [blame] | 65 | mp_obj_closure_t *o = MP_OBJ_TO_PTR(o_in); |
Damien George | 7f9d1d6 | 2015-04-09 23:56:15 +0100 | [diff] [blame] | 66 | mp_print_str(print, "<closure "); |
| 67 | mp_obj_print_helper(print, o->fun, PRINT_REPR); |
Damien George | 2a1cca2 | 2016-03-14 22:40:39 +0000 | [diff] [blame] | 68 | mp_printf(print, " at %p, n_closed=%u ", o, (int)o->n_closed); |
Damien George | efa6290 | 2017-02-16 16:36:04 +1100 | [diff] [blame^] | 69 | for (size_t i = 0; i < o->n_closed; i++) { |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 70 | if (o->closed[i] == MP_OBJ_NULL) { |
Damien George | 7f9d1d6 | 2015-04-09 23:56:15 +0100 | [diff] [blame] | 71 | mp_print_str(print, "(nil)"); |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 72 | } else { |
Damien George | 7f9d1d6 | 2015-04-09 23:56:15 +0100 | [diff] [blame] | 73 | mp_obj_print_helper(print, o->closed[i], PRINT_REPR); |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 74 | } |
Damien George | 7f9d1d6 | 2015-04-09 23:56:15 +0100 | [diff] [blame] | 75 | mp_print_str(print, " "); |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 76 | } |
Damien George | 7f9d1d6 | 2015-04-09 23:56:15 +0100 | [diff] [blame] | 77 | mp_print_str(print, ">"); |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 78 | } |
| 79 | #endif |
| 80 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 81 | const mp_obj_type_t closure_type = { |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 82 | { &mp_type_type }, |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 83 | .name = MP_QSTR_closure, |
Paul Sokolovsky | 418aca9 | 2014-05-03 14:10:34 +0300 | [diff] [blame] | 84 | #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_DETAILED |
| 85 | .print = closure_print, |
| 86 | #endif |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 87 | .call = closure_call, |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 88 | }; |
| 89 | |
Damien George | efa6290 | 2017-02-16 16:36:04 +1100 | [diff] [blame^] | 90 | mp_obj_t mp_obj_new_closure(mp_obj_t fun, size_t n_closed_over, const mp_obj_t *closed) { |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 91 | mp_obj_closure_t *o = m_new_obj_var(mp_obj_closure_t, mp_obj_t, n_closed_over); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 92 | o->base.type = &closure_type; |
| 93 | o->fun = fun; |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 94 | o->n_closed = n_closed_over; |
| 95 | memcpy(o->closed, closed, n_closed_over * sizeof(mp_obj_t)); |
Damien George | 999cedb | 2015-11-27 17:01:44 +0000 | [diff] [blame] | 96 | return MP_OBJ_FROM_PTR(o); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 97 | } |