Damien George | 04b9147 | 2014-05-03 23:27:38 +0100 | [diff] [blame] | 1 | /* |
Alexander Steffen | 55f3324 | 2017-06-30 09:22:17 +0200 | [diff] [blame] | 2 | * This file is part of the MicroPython project, http://micropython.org/ |
Damien George | 04b9147 | 2014-05-03 23:27:38 +0100 | [diff] [blame] | 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 | */ |
Alexander Steffen | 299bc62 | 2017-06-29 23:14:58 +0200 | [diff] [blame] | 26 | #ifndef MICROPY_INCLUDED_PY_RUNTIME_H |
| 27 | #define MICROPY_INCLUDED_PY_RUNTIME_H |
Damien George | 9ddbe29 | 2014-12-29 01:02:19 +0000 | [diff] [blame] | 28 | |
Damien George | b4b10fd | 2015-01-01 23:30:53 +0000 | [diff] [blame] | 29 | #include "py/mpstate.h" |
Damien George | 02d830c | 2017-11-26 23:28:40 +1100 | [diff] [blame] | 30 | #include "py/pystack.h" |
Damien George | 04b9147 | 2014-05-03 23:27:38 +0100 | [diff] [blame] | 31 | |
Paul Sokolovsky | f39d3b9 | 2014-03-30 23:14:55 +0300 | [diff] [blame] | 32 | typedef enum { |
| 33 | MP_VM_RETURN_NORMAL, |
| 34 | MP_VM_RETURN_YIELD, |
| 35 | MP_VM_RETURN_EXCEPTION, |
| 36 | } mp_vm_return_kind_t; |
| 37 | |
Damien George | a3f94e0 | 2014-04-20 00:13:22 +0100 | [diff] [blame] | 38 | typedef enum { |
Damien George | dbc81df | 2014-04-26 11:19:17 +0100 | [diff] [blame] | 39 | MP_ARG_BOOL = 0x001, |
| 40 | MP_ARG_INT = 0x002, |
| 41 | MP_ARG_OBJ = 0x003, |
| 42 | MP_ARG_KIND_MASK = 0x0ff, |
| 43 | MP_ARG_REQUIRED = 0x100, |
| 44 | MP_ARG_KW_ONLY = 0x200, |
| 45 | } mp_arg_flag_t; |
Damien George | a3f94e0 | 2014-04-20 00:13:22 +0100 | [diff] [blame] | 46 | |
Damien George | dbc81df | 2014-04-26 11:19:17 +0100 | [diff] [blame] | 47 | typedef union _mp_arg_val_t { |
Damien George | a3f94e0 | 2014-04-20 00:13:22 +0100 | [diff] [blame] | 48 | bool u_bool; |
Damien George | 40f3c02 | 2014-07-03 13:25:24 +0100 | [diff] [blame] | 49 | mp_int_t u_int; |
Damien George | a3f94e0 | 2014-04-20 00:13:22 +0100 | [diff] [blame] | 50 | mp_obj_t u_obj; |
Damien George | cbf7674 | 2015-11-27 13:38:15 +0000 | [diff] [blame] | 51 | mp_rom_obj_t u_rom_obj; |
Damien George | dbc81df | 2014-04-26 11:19:17 +0100 | [diff] [blame] | 52 | } mp_arg_val_t; |
Damien George | a3f94e0 | 2014-04-20 00:13:22 +0100 | [diff] [blame] | 53 | |
Damien George | dbc81df | 2014-04-26 11:19:17 +0100 | [diff] [blame] | 54 | typedef struct _mp_arg_t { |
Damien George | e97df97 | 2016-09-23 12:13:51 +1000 | [diff] [blame] | 55 | uint16_t qst; |
| 56 | uint16_t flags; |
Damien George | dbc81df | 2014-04-26 11:19:17 +0100 | [diff] [blame] | 57 | mp_arg_val_t defval; |
| 58 | } mp_arg_t; |
Damien George | a3f94e0 | 2014-04-20 00:13:22 +0100 | [diff] [blame] | 59 | |
Damien George | 6c82cfc | 2017-10-04 11:31:05 +1100 | [diff] [blame] | 60 | // Tables mapping operator enums to qstrs, defined in objtype.c |
Paul Sokolovsky | 9956fd0 | 2017-10-21 11:06:32 +0300 | [diff] [blame] | 61 | extern const byte mp_unary_op_method_name[]; |
| 62 | extern const byte mp_binary_op_method_name[]; |
Damien George | a5efcd4 | 2015-01-27 18:02:25 +0000 | [diff] [blame] | 63 | |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 64 | void mp_init(void); |
| 65 | void mp_deinit(void); |
Damien George | 2326d52 | 2014-03-27 23:26:35 +0000 | [diff] [blame] | 66 | |
Damien George | 6e74d24 | 2017-02-16 18:05:06 +1100 | [diff] [blame] | 67 | void mp_handle_pending(void); |
| 68 | void mp_handle_pending_tail(mp_uint_t atomic_state); |
| 69 | |
| 70 | #if MICROPY_ENABLE_SCHEDULER |
| 71 | void mp_sched_lock(void); |
| 72 | void mp_sched_unlock(void); |
| 73 | static inline unsigned int mp_sched_num_pending(void) { return MP_STATE_VM(sched_sp); } |
| 74 | bool mp_sched_schedule(mp_obj_t function, mp_obj_t arg); |
| 75 | #endif |
| 76 | |
Damien George | 7f9d1d6 | 2015-04-09 23:56:15 +0100 | [diff] [blame] | 77 | // extra printing method specifically for mp_obj_t's which are integral type |
| 78 | int mp_print_mp_int(const mp_print_t *print, mp_obj_t x, int base, int base_char, int flags, char fill, int width, int prec); |
| 79 | |
Damien George | e7cd169 | 2016-03-14 22:35:48 +0000 | [diff] [blame] | 80 | void mp_arg_check_num(size_t n_args, size_t n_kw, size_t n_args_min, size_t n_args_max, bool takes_kw); |
| 81 | void mp_arg_parse_all(size_t n_pos, const mp_obj_t *pos, mp_map_t *kws, size_t n_allowed, const mp_arg_t *allowed, mp_arg_val_t *out_vals); |
| 82 | void mp_arg_parse_all_kw_array(size_t n_pos, size_t n_kw, const mp_obj_t *args, size_t n_allowed, const mp_arg_t *allowed, mp_arg_val_t *out_vals); |
Damien George | 7f23384 | 2015-01-01 15:33:50 +0000 | [diff] [blame] | 83 | NORETURN void mp_arg_error_terse_mismatch(void); |
Damien George | c53b408 | 2014-05-06 16:52:35 +0000 | [diff] [blame] | 84 | NORETURN void mp_arg_error_unimpl_kw(void); |
Dave Hylands | 51dabac | 2014-02-17 17:57:13 -0800 | [diff] [blame] | 85 | |
Damien George | 64a4f11 | 2017-03-24 18:43:28 +1100 | [diff] [blame] | 86 | static inline mp_obj_dict_t *mp_locals_get(void) { return MP_STATE_THREAD(dict_locals); } |
| 87 | static inline void mp_locals_set(mp_obj_dict_t *d) { MP_STATE_THREAD(dict_locals) = d; } |
| 88 | static inline mp_obj_dict_t *mp_globals_get(void) { return MP_STATE_THREAD(dict_globals); } |
| 89 | static inline void mp_globals_set(mp_obj_dict_t *d) { MP_STATE_THREAD(dict_globals) = d; } |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 90 | |
Damien George | 50912e7 | 2015-01-20 11:55:10 +0000 | [diff] [blame] | 91 | mp_obj_t mp_load_name(qstr qst); |
| 92 | mp_obj_t mp_load_global(qstr qst); |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 93 | mp_obj_t mp_load_build_class(void); |
Damien George | 50912e7 | 2015-01-20 11:55:10 +0000 | [diff] [blame] | 94 | void mp_store_name(qstr qst, mp_obj_t obj); |
| 95 | void mp_store_global(qstr qst, mp_obj_t obj); |
| 96 | void mp_delete_name(qstr qst); |
| 97 | void mp_delete_global(qstr qst); |
Damien George | 66028ab | 2014-01-03 14:03:48 +0000 | [diff] [blame] | 98 | |
Damien George | 58321dd | 2017-08-29 13:04:01 +1000 | [diff] [blame] | 99 | mp_obj_t mp_unary_op(mp_unary_op_t op, mp_obj_t arg); |
| 100 | mp_obj_t mp_binary_op(mp_binary_op_t op, mp_obj_t lhs, mp_obj_t rhs); |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 101 | |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 102 | mp_obj_t mp_call_function_0(mp_obj_t fun); |
| 103 | mp_obj_t mp_call_function_1(mp_obj_t fun, mp_obj_t arg); |
| 104 | mp_obj_t mp_call_function_2(mp_obj_t fun, mp_obj_t arg1, mp_obj_t arg2); |
Damien George | 4e3bac2 | 2017-02-16 15:32:34 +1100 | [diff] [blame] | 105 | mp_obj_t mp_call_function_n_kw(mp_obj_t fun, size_t n_args, size_t n_kw, const mp_obj_t *args); |
| 106 | mp_obj_t mp_call_method_n_kw(size_t n_args, size_t n_kw, const mp_obj_t *args); |
| 107 | mp_obj_t mp_call_method_n_kw_var(bool have_self, size_t n_args_n_kw, const mp_obj_t *args); |
Paul Sokolovsky | 037e691 | 2016-11-22 01:33:55 +0300 | [diff] [blame] | 108 | mp_obj_t mp_call_method_self_n_kw(mp_obj_t meth, mp_obj_t self, size_t n_args, size_t n_kw, const mp_obj_t *args); |
Paul Sokolovsky | 6d103b6 | 2016-04-25 19:28:12 +0300 | [diff] [blame] | 109 | // Call function and catch/dump exception - for Python callbacks from C code |
Paul Sokolovsky | 62b9614 | 2017-12-05 00:38:41 +0200 | [diff] [blame] | 110 | // (return MP_OBJ_NULL in case of exception). |
| 111 | mp_obj_t mp_call_function_1_protected(mp_obj_t fun, mp_obj_t arg); |
| 112 | mp_obj_t mp_call_function_2_protected(mp_obj_t fun, mp_obj_t arg1, mp_obj_t arg2); |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 113 | |
Damien George | 12a5e17 | 2015-04-01 23:31:30 +0100 | [diff] [blame] | 114 | typedef struct _mp_call_args_t { |
Paul Sokolovsky | e6c6fe3 | 2015-03-28 01:14:45 +0200 | [diff] [blame] | 115 | mp_obj_t fun; |
Damien George | 4e3bac2 | 2017-02-16 15:32:34 +1100 | [diff] [blame] | 116 | size_t n_args, n_kw, n_alloc; |
Paul Sokolovsky | e6c6fe3 | 2015-03-28 01:14:45 +0200 | [diff] [blame] | 117 | mp_obj_t *args; |
Damien George | 12a5e17 | 2015-04-01 23:31:30 +0100 | [diff] [blame] | 118 | } mp_call_args_t; |
Paul Sokolovsky | e6c6fe3 | 2015-03-28 01:14:45 +0200 | [diff] [blame] | 119 | |
Damien George | 12a5e17 | 2015-04-01 23:31:30 +0100 | [diff] [blame] | 120 | #if MICROPY_STACKLESS |
Paul Sokolovsky | e6c6fe3 | 2015-03-28 01:14:45 +0200 | [diff] [blame] | 121 | // Takes arguments which are the most general mix of Python arg types, and |
| 122 | // prepares argument array suitable for passing to ->call() method of a |
| 123 | // function object (and mp_call_function_n_kw()). |
Damien George | 12a5e17 | 2015-04-01 23:31:30 +0100 | [diff] [blame] | 124 | // (Only needed in stackless mode.) |
Damien George | 4e3bac2 | 2017-02-16 15:32:34 +1100 | [diff] [blame] | 125 | void mp_call_prepare_args_n_kw_var(bool have_self, size_t n_args_n_kw, const mp_obj_t *args, mp_call_args_t *out_args); |
Damien George | 12a5e17 | 2015-04-01 23:31:30 +0100 | [diff] [blame] | 126 | #endif |
Paul Sokolovsky | e6c6fe3 | 2015-03-28 01:14:45 +0200 | [diff] [blame] | 127 | |
Damien George | 4e3bac2 | 2017-02-16 15:32:34 +1100 | [diff] [blame] | 128 | void mp_unpack_sequence(mp_obj_t seq, size_t num, mp_obj_t *items); |
| 129 | void mp_unpack_ex(mp_obj_t seq, size_t num, mp_obj_t *items); |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 130 | mp_obj_t mp_store_map(mp_obj_t map, mp_obj_t key, mp_obj_t value); |
| 131 | mp_obj_t mp_load_attr(mp_obj_t base, qstr attr); |
Damien George | 55b74d1 | 2015-03-21 14:21:54 +0000 | [diff] [blame] | 132 | void mp_convert_member_lookup(mp_obj_t obj, const mp_obj_type_t *type, mp_obj_t member, mp_obj_t *dest); |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 133 | void mp_load_method(mp_obj_t base, qstr attr, mp_obj_t *dest); |
Damien George | e44d26a | 2014-03-31 22:57:56 +0100 | [diff] [blame] | 134 | void mp_load_method_maybe(mp_obj_t base, qstr attr, mp_obj_t *dest); |
Damien George | dd11af2 | 2017-04-19 09:45:59 +1000 | [diff] [blame] | 135 | void mp_load_super_method(qstr attr, mp_obj_t *dest); |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 136 | void mp_store_attr(mp_obj_t base, qstr attr, mp_obj_t val); |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 137 | |
Damien George | ae8d867 | 2016-01-09 23:14:54 +0000 | [diff] [blame] | 138 | mp_obj_t mp_getiter(mp_obj_t o, mp_obj_iter_buf_t *iter_buf); |
Damien George | ea8d06c | 2014-04-17 23:19:36 +0100 | [diff] [blame] | 139 | mp_obj_t mp_iternext_allow_raise(mp_obj_t o); // may return MP_OBJ_STOP_ITERATION instead of raising StopIteration() |
| 140 | mp_obj_t mp_iternext(mp_obj_t o); // will always return MP_OBJ_STOP_ITERATION instead of raising StopIteration(...) |
Paul Sokolovsky | f39d3b9 | 2014-03-30 23:14:55 +0300 | [diff] [blame] | 141 | mp_vm_return_kind_t mp_resume(mp_obj_t self_in, mp_obj_t send_value, mp_obj_t throw_value, mp_obj_t *ret_val); |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 142 | |
| 143 | mp_obj_t mp_make_raise_obj(mp_obj_t o); |
| 144 | |
Damien George | d17926d | 2014-03-30 13:35:08 +0100 | [diff] [blame] | 145 | mp_obj_t mp_import_name(qstr name, mp_obj_t fromlist, mp_obj_t level); |
| 146 | mp_obj_t mp_import_from(mp_obj_t module, qstr name); |
| 147 | void mp_import_all(mp_obj_t module); |
Paul Sokolovsky | 5500cde | 2014-04-13 06:43:18 +0300 | [diff] [blame] | 148 | |
Paul Sokolovsky | 9e1b61d | 2016-08-12 21:26:12 +0300 | [diff] [blame] | 149 | NORETURN void mp_raise_msg(const mp_obj_type_t *exc_type, const char *msg); |
| 150 | //NORETURN void nlr_raise_msg_varg(const mp_obj_type_t *exc_type, const char *fmt, ...); |
| 151 | NORETURN void mp_raise_ValueError(const char *msg); |
| 152 | NORETURN void mp_raise_TypeError(const char *msg); |
Javier Candeira | 35a1fea | 2017-08-09 14:40:45 +1000 | [diff] [blame] | 153 | NORETURN void mp_raise_NotImplementedError(const char *msg); |
Damien George | 3a0a771 | 2016-10-07 13:31:59 +1100 | [diff] [blame] | 154 | NORETURN void mp_raise_OSError(int errno_); |
Damien George | 5b8998d | 2017-11-20 17:29:58 +1100 | [diff] [blame] | 155 | NORETURN void mp_raise_recursion_depth(void); |
Paul Sokolovsky | 7e4a2b0 | 2014-06-07 23:22:41 +0300 | [diff] [blame] | 156 | |
Paul Sokolovsky | 8c50f93 | 2016-08-12 21:58:56 +0300 | [diff] [blame] | 157 | #if MICROPY_BUILTIN_METHOD_CHECK_SELF_ARG |
| 158 | #undef mp_check_self |
| 159 | #define mp_check_self(pred) |
| 160 | #else |
| 161 | // A port may define to raise TypeError for example |
| 162 | #ifndef mp_check_self |
| 163 | #define mp_check_self(pred) assert(pred) |
| 164 | #endif |
| 165 | #endif |
| 166 | |
Damien George | 86de21b | 2014-08-16 22:06:11 +0100 | [diff] [blame] | 167 | // helper functions for native/viper code |
Damien George | e6c0dff | 2014-08-15 23:47:59 +0100 | [diff] [blame] | 168 | mp_uint_t mp_convert_obj_to_native(mp_obj_t obj, mp_uint_t type); |
| 169 | mp_obj_t mp_convert_native_to_obj(mp_uint_t val, mp_uint_t type); |
Damien George | 4e3bac2 | 2017-02-16 15:32:34 +1100 | [diff] [blame] | 170 | mp_obj_t mp_native_call_function_n_kw(mp_obj_t fun_in, size_t n_args_kw, const mp_obj_t *args); |
Damien George | b6e6b52 | 2015-01-21 17:00:01 +0000 | [diff] [blame] | 171 | void mp_native_raise(mp_obj_t o); |
Damien George | e6c0dff | 2014-08-15 23:47:59 +0100 | [diff] [blame] | 172 | |
Damien George | 999cedb | 2015-11-27 17:01:44 +0000 | [diff] [blame] | 173 | #define mp_sys_path (MP_OBJ_FROM_PTR(&MP_STATE_VM(mp_sys_path_obj))) |
| 174 | #define mp_sys_argv (MP_OBJ_FROM_PTR(&MP_STATE_VM(mp_sys_argv_obj))) |
Damien George | 9ddbe29 | 2014-12-29 01:02:19 +0000 | [diff] [blame] | 175 | |
Paul Sokolovsky | 8a8c1fc | 2015-01-01 09:29:28 +0200 | [diff] [blame] | 176 | #if MICROPY_WARNINGS |
| 177 | void mp_warning(const char *msg, ...); |
| 178 | #else |
Damien George | 89f657f | 2017-09-13 20:33:55 +1000 | [diff] [blame] | 179 | #define mp_warning(...) |
Paul Sokolovsky | 8a8c1fc | 2015-01-01 09:29:28 +0200 | [diff] [blame] | 180 | #endif |
| 181 | |
Alexander Steffen | 299bc62 | 2017-06-29 23:14:58 +0200 | [diff] [blame] | 182 | #endif // MICROPY_INCLUDED_PY_RUNTIME_H |