blob: e334935e4e80ae7980223ace5ecde78c973546f6 [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 George28708622014-01-02 21:30:26 +000027#include <stdlib.h>
Damien George28708622014-01-02 21:30:26 +000028#include <assert.h>
29
Damien Georgeb4b10fd2015-01-01 23:30:53 +000030#include "py/mpstate.h"
Damien George51dfcb42015-01-01 20:27:54 +000031#include "py/nlr.h"
32#include "py/objmodule.h"
33#include "py/runtime.h"
34#include "py/builtin.h"
Damien Georgecaac5422014-03-25 14:18:18 +000035
Damien George7f9d1d62015-04-09 23:56:15 +010036STATIC void module_print(const mp_print_t *print, mp_obj_t self_in, mp_print_kind_t kind) {
Damien Georgeff8dd3f2015-01-20 12:47:20 +000037 (void)kind;
Damien George999cedb2015-11-27 17:01:44 +000038 mp_obj_module_t *self = MP_OBJ_TO_PTR(self_in);
Damien George377b80b2014-09-08 10:45:23 +010039
40#if MICROPY_PY___FILE__
41 // If we store __file__ to imported modules then try to lookup this
42 // symbol to give more information about the module.
43 mp_map_elem_t *elem = mp_map_lookup(&self->globals->map, MP_OBJ_NEW_QSTR(MP_QSTR___file__), MP_MAP_LOOKUP);
44 if (elem != NULL) {
Damien George044c4732015-04-11 13:03:37 +010045 mp_printf(print, "<module '%q' from '%s'>", self->name, mp_obj_str_get_str(elem->value));
Damien George377b80b2014-09-08 10:45:23 +010046 return;
47 }
48#endif
49
Damien George044c4732015-04-11 13:03:37 +010050 mp_printf(print, "<module '%q'>", self->name);
Damien George28708622014-01-02 21:30:26 +000051}
52
Damien Georgeb1bbe962015-04-01 14:10:50 +000053STATIC void module_attr(mp_obj_t self_in, qstr attr, mp_obj_t *dest) {
Damien George999cedb2015-11-27 17:01:44 +000054 mp_obj_module_t *self = MP_OBJ_TO_PTR(self_in);
Damien Georgeb1bbe962015-04-01 14:10:50 +000055 if (dest[0] == MP_OBJ_NULL) {
56 // load attribute
57 mp_map_elem_t *elem = mp_map_lookup(&self->globals->map, MP_OBJ_NEW_QSTR(attr), MP_MAP_LOOKUP);
58 if (elem != NULL) {
59 dest[0] = elem->value;
Damien George78d702c2014-12-09 16:19:48 +000060 }
Damien George1d24ea52014-04-08 21:11:49 +010061 } else {
Damien Georgeb1bbe962015-04-01 14:10:50 +000062 // delete/store attribute
63 mp_obj_dict_t *dict = self->globals;
64 if (dict->map.is_fixed) {
65 #if MICROPY_CAN_OVERRIDE_BUILTINS
66 if (dict == &mp_module_builtins_globals) {
67 if (MP_STATE_VM(mp_module_builtins_override_dict) == NULL) {
Damien George999cedb2015-11-27 17:01:44 +000068 MP_STATE_VM(mp_module_builtins_override_dict) = MP_OBJ_TO_PTR(mp_obj_new_dict(1));
Damien Georgeb1bbe962015-04-01 14:10:50 +000069 }
70 dict = MP_STATE_VM(mp_module_builtins_override_dict);
71 } else
72 #endif
73 {
74 // can't delete or store to fixed map
75 return;
76 }
77 }
78 if (dest[1] == MP_OBJ_NULL) {
79 // delete attribute
Damien George999cedb2015-11-27 17:01:44 +000080 mp_obj_dict_delete(MP_OBJ_FROM_PTR(dict), MP_OBJ_NEW_QSTR(attr));
Damien Georgeb1bbe962015-04-01 14:10:50 +000081 } else {
82 // store attribute
83 // TODO CPython allows STORE_ATTR to a module, but is this the correct implementation?
Damien George999cedb2015-11-27 17:01:44 +000084 mp_obj_dict_store(MP_OBJ_FROM_PTR(dict), MP_OBJ_NEW_QSTR(attr), dest[1]);
Damien Georgeb1bbe962015-04-01 14:10:50 +000085 }
86 dest[0] = MP_OBJ_NULL; // indicate success
Damien George1d24ea52014-04-08 21:11:49 +010087 }
Damien George062478e2014-01-09 20:57:50 +000088}
89
Damien George0c36da02014-03-08 15:24:39 +000090const mp_obj_type_t mp_type_module = {
Damien Georgec5966122014-02-15 16:10:44 +000091 { &mp_type_type },
Damien Georgea71c83a2014-02-15 11:34:50 +000092 .name = MP_QSTR_module,
Damien George97209d32014-01-07 15:58:30 +000093 .print = module_print,
Damien Georgeb1bbe962015-04-01 14:10:50 +000094 .attr = module_attr,
Damien George28708622014-01-02 21:30:26 +000095};
96
97mp_obj_t mp_obj_new_module(qstr module_name) {
Paul Sokolovsky1a1d11f2015-12-05 00:09:10 +020098 mp_map_t *mp_loaded_modules_map = &MP_STATE_VM(mp_loaded_modules_dict).map;
99 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 Sokolovskyd720ab52014-01-20 00:03:34 +0200100 // We could error out if module already exists, but let C extensions
101 // add new members to existing modules.
102 if (el->value != MP_OBJ_NULL) {
103 return el->value;
104 }
105
Damien George0c36da02014-03-08 15:24:39 +0000106 // create new module object
Damien George28708622014-01-02 21:30:26 +0000107 mp_obj_module_t *o = m_new_obj(mp_obj_module_t);
Damien George0c36da02014-03-08 15:24:39 +0000108 o->base.type = &mp_type_module;
Damien George28708622014-01-02 21:30:26 +0000109 o->name = module_name;
Damien George999cedb2015-11-27 17:01:44 +0000110 o->globals = MP_OBJ_TO_PTR(mp_obj_new_dict(MICROPY_MODULE_DICT_SIZE));
Damien George0c36da02014-03-08 15:24:39 +0000111
112 // store __name__ entry in the module
Damien George999cedb2015-11-27 17:01:44 +0000113 mp_obj_dict_store(MP_OBJ_FROM_PTR(o->globals), MP_OBJ_NEW_QSTR(MP_QSTR___name__), MP_OBJ_NEW_QSTR(module_name));
Damien George0c36da02014-03-08 15:24:39 +0000114
115 // store the new module into the slot in the global dict holding all modules
Damien George999cedb2015-11-27 17:01:44 +0000116 el->value = MP_OBJ_FROM_PTR(o);
Damien George0c36da02014-03-08 15:24:39 +0000117
118 // return the new module
Damien George999cedb2015-11-27 17:01:44 +0000119 return MP_OBJ_FROM_PTR(o);
Damien George28708622014-01-02 21:30:26 +0000120}
121
Damien George8b0535e2014-04-05 21:53:54 +0100122mp_obj_dict_t *mp_obj_module_get_globals(mp_obj_t self_in) {
Damien Georgecaac5422014-03-25 14:18:18 +0000123 assert(MP_OBJ_IS_TYPE(self_in, &mp_type_module));
Damien George999cedb2015-11-27 17:01:44 +0000124 mp_obj_module_t *self = MP_OBJ_TO_PTR(self_in);
Damien Georgecaac5422014-03-25 14:18:18 +0000125 return self->globals;
126}
127
128/******************************************************************************/
129// Global module table and related functions
130
Damien Georgecbf76742015-11-27 13:38:15 +0000131STATIC const mp_rom_map_elem_t mp_builtin_module_table[] = {
132 { MP_ROM_QSTR(MP_QSTR___main__), MP_ROM_PTR(&mp_module___main__) },
133 { MP_ROM_QSTR(MP_QSTR_builtins), MP_ROM_PTR(&mp_module_builtins) },
134 { MP_ROM_QSTR(MP_QSTR_micropython), MP_ROM_PTR(&mp_module_micropython) },
Damien George78d702c2014-12-09 16:19:48 +0000135
136#if MICROPY_PY_ARRAY
Damien Georgecbf76742015-11-27 13:38:15 +0000137 { MP_ROM_QSTR(MP_QSTR_array), MP_ROM_PTR(&mp_module_array) },
Damien George78d702c2014-12-09 16:19:48 +0000138#endif
139#if MICROPY_PY_IO
Damien Georgecbf76742015-11-27 13:38:15 +0000140 { MP_ROM_QSTR(MP_QSTR__io), MP_ROM_PTR(&mp_module_io) },
Damien George78d702c2014-12-09 16:19:48 +0000141#endif
142#if MICROPY_PY_COLLECTIONS
Damien Georgecbf76742015-11-27 13:38:15 +0000143 { MP_ROM_QSTR(MP_QSTR__collections), MP_ROM_PTR(&mp_module_collections) },
Damien George78d702c2014-12-09 16:19:48 +0000144#endif
145#if MICROPY_PY_STRUCT
Damien Georgecbf76742015-11-27 13:38:15 +0000146 { MP_ROM_QSTR(MP_QSTR_ustruct), MP_ROM_PTR(&mp_module_ustruct) },
Damien George78d702c2014-12-09 16:19:48 +0000147#endif
148
149#if MICROPY_PY_BUILTINS_FLOAT
150#if MICROPY_PY_MATH
Damien Georgecbf76742015-11-27 13:38:15 +0000151 { MP_ROM_QSTR(MP_QSTR_math), MP_ROM_PTR(&mp_module_math) },
Damien George78d702c2014-12-09 16:19:48 +0000152#endif
Paul Sokolovsky2b7236d2015-12-07 00:18:44 +0200153#if MICROPY_PY_BUILTINS_COMPLEX && MICROPY_PY_CMATH
Damien Georgecbf76742015-11-27 13:38:15 +0000154 { MP_ROM_QSTR(MP_QSTR_cmath), MP_ROM_PTR(&mp_module_cmath) },
Damien George78d702c2014-12-09 16:19:48 +0000155#endif
156#endif
157#if MICROPY_PY_SYS
Damien Georgecbf76742015-11-27 13:38:15 +0000158 { MP_ROM_QSTR(MP_QSTR_sys), MP_ROM_PTR(&mp_module_sys) },
Damien George78d702c2014-12-09 16:19:48 +0000159#endif
160#if MICROPY_PY_GC && MICROPY_ENABLE_GC
Damien Georgecbf76742015-11-27 13:38:15 +0000161 { MP_ROM_QSTR(MP_QSTR_gc), MP_ROM_PTR(&mp_module_gc) },
Damien George78d702c2014-12-09 16:19:48 +0000162#endif
163
164 // extmod modules
165
166#if MICROPY_PY_UCTYPES
Damien Georgecbf76742015-11-27 13:38:15 +0000167 { MP_ROM_QSTR(MP_QSTR_uctypes), MP_ROM_PTR(&mp_module_uctypes) },
Damien George78d702c2014-12-09 16:19:48 +0000168#endif
169#if MICROPY_PY_UZLIB
Damien Georgecbf76742015-11-27 13:38:15 +0000170 { MP_ROM_QSTR(MP_QSTR_uzlib), MP_ROM_PTR(&mp_module_uzlib) },
Damien George78d702c2014-12-09 16:19:48 +0000171#endif
172#if MICROPY_PY_UJSON
Damien Georgecbf76742015-11-27 13:38:15 +0000173 { MP_ROM_QSTR(MP_QSTR_ujson), MP_ROM_PTR(&mp_module_ujson) },
Damien George78d702c2014-12-09 16:19:48 +0000174#endif
175#if MICROPY_PY_URE
Damien Georgecbf76742015-11-27 13:38:15 +0000176 { MP_ROM_QSTR(MP_QSTR_ure), MP_ROM_PTR(&mp_module_ure) },
Damien George78d702c2014-12-09 16:19:48 +0000177#endif
178#if MICROPY_PY_UHEAPQ
Damien Georgecbf76742015-11-27 13:38:15 +0000179 { MP_ROM_QSTR(MP_QSTR_uheapq), MP_ROM_PTR(&mp_module_uheapq) },
Damien George78d702c2014-12-09 16:19:48 +0000180#endif
181#if MICROPY_PY_UHASHLIB
Damien Georgecbf76742015-11-27 13:38:15 +0000182 { MP_ROM_QSTR(MP_QSTR_uhashlib), MP_ROM_PTR(&mp_module_uhashlib) },
Damien George78d702c2014-12-09 16:19:48 +0000183#endif
184#if MICROPY_PY_UBINASCII
Damien Georgecbf76742015-11-27 13:38:15 +0000185 { MP_ROM_QSTR(MP_QSTR_ubinascii), MP_ROM_PTR(&mp_module_ubinascii) },
Damien George78d702c2014-12-09 16:19:48 +0000186#endif
Paul Sokolovskya58a91e2016-01-17 12:10:28 +0200187#if MICROPY_PY_URANDOM
188 { MP_ROM_QSTR(MP_QSTR_urandom), MP_ROM_PTR(&mp_module_urandom) },
189#endif
Paul Sokolovskyaaa88672015-10-06 18:10:00 +0300190#if MICROPY_PY_USSL
Damien Georgecbf76742015-11-27 13:38:15 +0000191 { MP_ROM_QSTR(MP_QSTR_ussl), MP_ROM_PTR(&mp_module_ussl) },
Paul Sokolovskyaaa88672015-10-06 18:10:00 +0300192#endif
Paul Sokolovskye0d77402015-10-27 00:04:33 +0300193#if MICROPY_PY_LWIP
Damien Georgecbf76742015-11-27 13:38:15 +0000194 { MP_ROM_QSTR(MP_QSTR_lwip), MP_ROM_PTR(&mp_module_lwip) },
Paul Sokolovskye0d77402015-10-27 00:04:33 +0300195#endif
Paul Sokolovsky24342dd2016-03-24 19:14:12 +0200196#if MICROPY_PY_WEBSOCKET
197 { MP_ROM_QSTR(MP_QSTR_websocket), MP_ROM_PTR(&mp_module_websocket) },
198#endif
Paul Sokolovsky25d0f7d2016-04-29 00:52:52 +0300199#if MICROPY_PY_WEBREPL
200 { MP_ROM_QSTR(MP_QSTR__webrepl), MP_ROM_PTR(&mp_module_webrepl) },
201#endif
Damien George53ad6812016-04-08 11:08:37 +0100202#if MICROPY_PY_FRAMEBUF
203 { MP_ROM_QSTR(MP_QSTR_framebuf), MP_ROM_PTR(&mp_module_framebuf) },
204#endif
Damien George78d702c2014-12-09 16:19:48 +0000205
206 // extra builtin modules as defined by a port
207 MICROPY_PORT_BUILTIN_MODULES
208};
209
210STATIC MP_DEFINE_CONST_MAP(mp_builtin_module_map, mp_builtin_module_table);
211
Damien Georgecaac5422014-03-25 14:18:18 +0000212void mp_module_init(void) {
Paul Sokolovsky1a1d11f2015-12-05 00:09:10 +0200213 mp_obj_dict_init(&MP_STATE_VM(mp_loaded_modules_dict), 3);
Damien Georgecaac5422014-03-25 14:18:18 +0000214}
215
216void mp_module_deinit(void) {
Paul Sokolovsky1a1d11f2015-12-05 00:09:10 +0200217 //mp_map_deinit(&MP_STATE_VM(mp_loaded_modules_map));
Damien Georgecaac5422014-03-25 14:18:18 +0000218}
219
220// returns MP_OBJ_NULL if not found
221mp_obj_t mp_module_get(qstr module_name) {
Paul Sokolovsky1a1d11f2015-12-05 00:09:10 +0200222 mp_map_t *mp_loaded_modules_map = &MP_STATE_VM(mp_loaded_modules_dict).map;
Damien George0c36da02014-03-08 15:24:39 +0000223 // lookup module
Paul Sokolovsky1a1d11f2015-12-05 00:09:10 +0200224 mp_map_elem_t *el = mp_map_lookup(mp_loaded_modules_map, MP_OBJ_NEW_QSTR(module_name), MP_MAP_LOOKUP);
Damien George0c36da02014-03-08 15:24:39 +0000225
Damien George7efc5b32014-04-05 22:36:42 +0100226 if (el == NULL) {
227 // module not found, look for builtin module names
Damien George78d702c2014-12-09 16:19:48 +0000228 el = mp_map_lookup((mp_map_t*)&mp_builtin_module_map, MP_OBJ_NEW_QSTR(module_name), MP_MAP_LOOKUP);
Damien George7efc5b32014-04-05 22:36:42 +0100229 if (el == NULL) {
230 return MP_OBJ_NULL;
231 }
Damien George3c9c3682015-09-15 14:56:13 +0100232
233 if (MICROPY_MODULE_BUILTIN_INIT) {
234 // look for __init__ and call it if it exists
235 mp_obj_t dest[2];
236 mp_load_method_maybe(el->value, MP_QSTR___init__, dest);
237 if (dest[0] != MP_OBJ_NULL) {
238 mp_call_method_n_kw(0, 0, dest);
239 // register module so __init__ is not called again
240 mp_module_register(module_name, el->value);
241 }
242 }
Paul Sokolovskyd720ab52014-01-20 00:03:34 +0200243 }
Damien George0c36da02014-03-08 15:24:39 +0000244
Damien George7efc5b32014-04-05 22:36:42 +0100245 // module found, return it
246 return el->value;
Paul Sokolovskyd720ab52014-01-20 00:03:34 +0200247}
248
Damien George50912e72015-01-20 11:55:10 +0000249void mp_module_register(qstr qst, mp_obj_t module) {
Paul Sokolovsky1a1d11f2015-12-05 00:09:10 +0200250 mp_map_t *mp_loaded_modules_map = &MP_STATE_VM(mp_loaded_modules_dict).map;
251 mp_map_lookup(mp_loaded_modules_map, MP_OBJ_NEW_QSTR(qst), MP_MAP_LOOKUP_ADD_IF_NOT_FOUND)->value = module;
Damien George28708622014-01-02 21:30:26 +0000252}