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 | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 27 | #include <stdlib.h> |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 28 | #include <assert.h> |
| 29 | |
Paul Sokolovsky | f54bcbf | 2014-05-02 17:47:01 +0300 | [diff] [blame] | 30 | #include "mpconfig.h" |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 31 | #include "nlr.h" |
| 32 | #include "misc.h" |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 33 | #include "qstr.h" |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 34 | #include "obj.h" |
Damien George | caac542 | 2014-03-25 14:18:18 +0000 | [diff] [blame] | 35 | #include "objmodule.h" |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 36 | #include "runtime.h" |
Damien George | caac542 | 2014-03-25 14:18:18 +0000 | [diff] [blame] | 37 | #include "builtintables.h" |
| 38 | |
| 39 | STATIC mp_map_t mp_loaded_modules_map; // TODO: expose as sys.modules |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 40 | |
Paul Sokolovsky | d5df6cd | 2014-02-12 18:15:40 +0200 | [diff] [blame] | 41 | STATIC void module_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind) { |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 42 | mp_obj_module_t *self = self_in; |
| 43 | print(env, "<module '%s' from '-unknown-file-'>", qstr_str(self->name)); |
| 44 | } |
| 45 | |
Paul Sokolovsky | d5df6cd | 2014-02-12 18:15:40 +0200 | [diff] [blame] | 46 | STATIC void module_load_attr(mp_obj_t self_in, qstr attr, mp_obj_t *dest) { |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 47 | mp_obj_module_t *self = self_in; |
Damien George | 8b0535e | 2014-04-05 21:53:54 +0100 | [diff] [blame] | 48 | mp_map_elem_t *elem = mp_map_lookup(&self->globals->map, MP_OBJ_NEW_QSTR(attr), MP_MAP_LOOKUP); |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 49 | if (elem != NULL) { |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 50 | dest[0] = elem->value; |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 51 | } |
| 52 | } |
| 53 | |
Paul Sokolovsky | d5df6cd | 2014-02-12 18:15:40 +0200 | [diff] [blame] | 54 | STATIC bool module_store_attr(mp_obj_t self_in, qstr attr, mp_obj_t value) { |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 55 | mp_obj_module_t *self = self_in; |
Damien George | 1d24ea5 | 2014-04-08 21:11:49 +0100 | [diff] [blame] | 56 | if (value == MP_OBJ_NULL) { |
| 57 | // delete attribute |
| 58 | mp_obj_dict_delete(self->globals, MP_OBJ_NEW_QSTR(attr)); |
| 59 | } else { |
| 60 | // store attribute |
| 61 | // TODO CPython allows STORE_ATTR to a module, but is this the correct implementation? |
| 62 | mp_obj_dict_store(self->globals, MP_OBJ_NEW_QSTR(attr), value); |
| 63 | } |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 64 | return true; |
| 65 | } |
| 66 | |
Damien George | 0c36da0 | 2014-03-08 15:24:39 +0000 | [diff] [blame] | 67 | const mp_obj_type_t mp_type_module = { |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 68 | { &mp_type_type }, |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 69 | .name = MP_QSTR_module, |
Damien George | 97209d3 | 2014-01-07 15:58:30 +0000 | [diff] [blame] | 70 | .print = module_print, |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 71 | .load_attr = module_load_attr, |
| 72 | .store_attr = module_store_attr, |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 73 | }; |
| 74 | |
| 75 | mp_obj_t mp_obj_new_module(qstr module_name) { |
Damien George | caac542 | 2014-03-25 14:18:18 +0000 | [diff] [blame] | 76 | mp_map_elem_t *el = mp_map_lookup(&mp_loaded_modules_map, MP_OBJ_NEW_QSTR(module_name), MP_MAP_LOOKUP_ADD_IF_NOT_FOUND); |
Paul Sokolovsky | d720ab5 | 2014-01-20 00:03:34 +0200 | [diff] [blame] | 77 | // We could error out if module already exists, but let C extensions |
| 78 | // add new members to existing modules. |
| 79 | if (el->value != MP_OBJ_NULL) { |
| 80 | return el->value; |
| 81 | } |
| 82 | |
Damien George | 0c36da0 | 2014-03-08 15:24:39 +0000 | [diff] [blame] | 83 | // create new module object |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 84 | mp_obj_module_t *o = m_new_obj(mp_obj_module_t); |
Damien George | 0c36da0 | 2014-03-08 15:24:39 +0000 | [diff] [blame] | 85 | o->base.type = &mp_type_module; |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 86 | o->name = module_name; |
Damien George | 8b0535e | 2014-04-05 21:53:54 +0100 | [diff] [blame] | 87 | o->globals = mp_obj_new_dict(1); |
Damien George | 0c36da0 | 2014-03-08 15:24:39 +0000 | [diff] [blame] | 88 | |
| 89 | // store __name__ entry in the module |
Damien George | 8b0535e | 2014-04-05 21:53:54 +0100 | [diff] [blame] | 90 | mp_obj_dict_store(o->globals, MP_OBJ_NEW_QSTR(MP_QSTR___name__), MP_OBJ_NEW_QSTR(module_name)); |
Damien George | 0c36da0 | 2014-03-08 15:24:39 +0000 | [diff] [blame] | 91 | |
| 92 | // store the new module into the slot in the global dict holding all modules |
| 93 | el->value = o; |
| 94 | |
| 95 | // return the new module |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 96 | return o; |
| 97 | } |
| 98 | |
Damien George | 8b0535e | 2014-04-05 21:53:54 +0100 | [diff] [blame] | 99 | mp_obj_dict_t *mp_obj_module_get_globals(mp_obj_t self_in) { |
Damien George | caac542 | 2014-03-25 14:18:18 +0000 | [diff] [blame] | 100 | assert(MP_OBJ_IS_TYPE(self_in, &mp_type_module)); |
| 101 | mp_obj_module_t *self = self_in; |
| 102 | return self->globals; |
| 103 | } |
| 104 | |
| 105 | /******************************************************************************/ |
| 106 | // Global module table and related functions |
| 107 | |
| 108 | void mp_module_init(void) { |
| 109 | mp_map_init(&mp_loaded_modules_map, 3); |
| 110 | } |
| 111 | |
| 112 | void mp_module_deinit(void) { |
| 113 | mp_map_deinit(&mp_loaded_modules_map); |
| 114 | } |
| 115 | |
| 116 | // returns MP_OBJ_NULL if not found |
| 117 | mp_obj_t mp_module_get(qstr module_name) { |
Damien George | 0c36da0 | 2014-03-08 15:24:39 +0000 | [diff] [blame] | 118 | // lookup module |
Damien George | caac542 | 2014-03-25 14:18:18 +0000 | [diff] [blame] | 119 | mp_map_elem_t *el = mp_map_lookup(&mp_loaded_modules_map, MP_OBJ_NEW_QSTR(module_name), MP_MAP_LOOKUP); |
Damien George | 0c36da0 | 2014-03-08 15:24:39 +0000 | [diff] [blame] | 120 | |
Damien George | 7efc5b3 | 2014-04-05 22:36:42 +0100 | [diff] [blame] | 121 | if (el == NULL) { |
| 122 | // module not found, look for builtin module names |
| 123 | el = mp_map_lookup((mp_map_t*)&mp_builtin_module_dict_obj.map, MP_OBJ_NEW_QSTR(module_name), MP_MAP_LOOKUP); |
| 124 | if (el == NULL) { |
| 125 | return MP_OBJ_NULL; |
| 126 | } |
Paul Sokolovsky | d720ab5 | 2014-01-20 00:03:34 +0200 | [diff] [blame] | 127 | } |
Damien George | 0c36da0 | 2014-03-08 15:24:39 +0000 | [diff] [blame] | 128 | |
Damien George | 7efc5b3 | 2014-04-05 22:36:42 +0100 | [diff] [blame] | 129 | // module found, return it |
| 130 | return el->value; |
Paul Sokolovsky | d720ab5 | 2014-01-20 00:03:34 +0200 | [diff] [blame] | 131 | } |
| 132 | |
Damien George | caac542 | 2014-03-25 14:18:18 +0000 | [diff] [blame] | 133 | void mp_module_register(qstr qstr, mp_obj_t module) { |
| 134 | mp_map_lookup(&mp_loaded_modules_map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP_ADD_IF_NOT_FOUND)->value = module; |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 135 | } |