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 | |
Paul Sokolovsky | f54bcbf | 2014-05-02 17:47:01 +0300 | [diff] [blame] | 29 | #include "mpconfig.h" |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 30 | #include "nlr.h" |
| 31 | #include "misc.h" |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 32 | #include "qstr.h" |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 33 | #include "obj.h" |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 34 | #include "objtuple.h" |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 35 | #include "runtime.h" |
| 36 | |
| 37 | typedef struct _mp_obj_closure_t { |
| 38 | mp_obj_base_t base; |
| 39 | mp_obj_t fun; |
Damien George | 40f3c02 | 2014-07-03 13:25:24 +0100 | [diff] [blame] | 40 | mp_uint_t n_closed; |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 41 | mp_obj_t closed[]; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 42 | } mp_obj_closure_t; |
| 43 | |
Damien George | ecc88e9 | 2014-08-30 00:35:11 +0100 | [diff] [blame] | 44 | 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 George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 45 | mp_obj_closure_t *self = self_in; |
| 46 | |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 47 | // need to concatenate closed-over-vars and args |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 48 | |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 49 | int n_total = self->n_closed + n_args + 2 * n_kw; |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 50 | if (n_total <= 5) { |
| 51 | // use stack to allocate temporary args array |
| 52 | mp_obj_t args2[5]; |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 53 | memcpy(args2, self->closed, self->n_closed * sizeof(mp_obj_t)); |
| 54 | memcpy(args2 + self->n_closed, args, (n_args + 2 * n_kw) * sizeof(mp_obj_t)); |
| 55 | 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] | 56 | } else { |
| 57 | // use heap to allocate temporary args array |
| 58 | mp_obj_t *args2 = m_new(mp_obj_t, n_total); |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 59 | memcpy(args2, self->closed, self->n_closed * sizeof(mp_obj_t)); |
| 60 | memcpy(args2 + self->n_closed, args, (n_args + 2 * n_kw) * sizeof(mp_obj_t)); |
| 61 | 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] | 62 | m_del(mp_obj_t, args2, n_total); |
| 63 | return res; |
| 64 | } |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 65 | } |
| 66 | |
Paul Sokolovsky | 418aca9 | 2014-05-03 14:10:34 +0300 | [diff] [blame] | 67 | #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_DETAILED |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 68 | STATIC void closure_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t o_in, mp_print_kind_t kind) { |
| 69 | mp_obj_closure_t *o = o_in; |
Paul Sokolovsky | 418aca9 | 2014-05-03 14:10:34 +0300 | [diff] [blame] | 70 | print(env, "<closure %s at %p, n_closed=%u ", mp_obj_fun_get_name(o->fun), o, o->n_closed); |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 71 | for (int i = 0; i < o->n_closed; i++) { |
| 72 | if (o->closed[i] == MP_OBJ_NULL) { |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 73 | print(env, "(nil)"); |
| 74 | } else { |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 75 | mp_obj_print_helper(print, env, o->closed[i], PRINT_REPR); |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 76 | } |
| 77 | print(env, " "); |
| 78 | } |
| 79 | print(env, ">"); |
| 80 | } |
| 81 | #endif |
| 82 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 83 | const mp_obj_type_t closure_type = { |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 84 | { &mp_type_type }, |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 85 | .name = MP_QSTR_closure, |
Paul Sokolovsky | 418aca9 | 2014-05-03 14:10:34 +0300 | [diff] [blame] | 86 | #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_DETAILED |
| 87 | .print = closure_print, |
| 88 | #endif |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 89 | .call = closure_call, |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 90 | }; |
| 91 | |
Damien George | d182b98 | 2014-08-30 14:19:41 +0100 | [diff] [blame^] | 92 | mp_obj_t mp_obj_new_closure(mp_obj_t fun, mp_uint_t n_closed_over, const mp_obj_t *closed) { |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 93 | 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] | 94 | o->base.type = &closure_type; |
| 95 | o->fun = fun; |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 96 | o->n_closed = n_closed_over; |
| 97 | memcpy(o->closed, closed, n_closed_over * sizeof(mp_obj_t)); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 98 | return o; |
| 99 | } |