blob: a36f1b1bd78129d34a84e0dd7be1cdf066e1f62b [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 */
Damien George9ddbe292014-12-29 01:02:19 +000026#ifndef __MICROPY_INCLUDED_PY_RUNTIME_H__
27#define __MICROPY_INCLUDED_PY_RUNTIME_H__
28
Damien Georgeb4b10fd2015-01-01 23:30:53 +000029#include "py/mpstate.h"
Damien George9ddbe292014-12-29 01:02:19 +000030#include "py/obj.h"
Damien George04b91472014-05-03 23:27:38 +010031
Paul Sokolovskyf39d3b92014-03-30 23:14:55 +030032typedef enum {
33 MP_VM_RETURN_NORMAL,
34 MP_VM_RETURN_YIELD,
35 MP_VM_RETURN_EXCEPTION,
36} mp_vm_return_kind_t;
37
Damien Georgea3f94e02014-04-20 00:13:22 +010038typedef enum {
Damien Georgedbc81df2014-04-26 11:19:17 +010039 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 Georgea3f94e02014-04-20 00:13:22 +010046
Damien Georgedbc81df2014-04-26 11:19:17 +010047typedef union _mp_arg_val_t {
Damien Georgea3f94e02014-04-20 00:13:22 +010048 bool u_bool;
Damien George40f3c022014-07-03 13:25:24 +010049 mp_int_t u_int;
Damien Georgea3f94e02014-04-20 00:13:22 +010050 mp_obj_t u_obj;
Damien Georgedbc81df2014-04-26 11:19:17 +010051} mp_arg_val_t;
Damien Georgea3f94e02014-04-20 00:13:22 +010052
Damien Georgedbc81df2014-04-26 11:19:17 +010053typedef struct _mp_arg_t {
Damien George50912e72015-01-20 11:55:10 +000054 qstr qst;
Damien George40f3c022014-07-03 13:25:24 +010055 mp_uint_t flags;
Damien Georgedbc81df2014-04-26 11:19:17 +010056 mp_arg_val_t defval;
57} mp_arg_t;
Damien Georgea3f94e02014-04-20 00:13:22 +010058
Damien Georgea5efcd42015-01-27 18:02:25 +000059// defined in objtype.c
60extern const qstr mp_unary_op_method_name[];
61extern const qstr mp_binary_op_method_name[];
62
Damien Georged17926d2014-03-30 13:35:08 +010063void mp_init(void);
64void mp_deinit(void);
Damien George2326d522014-03-27 23:26:35 +000065
Damien George4abff752014-08-30 14:59:21 +010066void mp_arg_check_num(mp_uint_t n_args, mp_uint_t n_kw, mp_uint_t n_args_min, mp_uint_t n_args_max, bool takes_kw);
67void mp_arg_parse_all(mp_uint_t n_pos, const mp_obj_t *pos, mp_map_t *kws, mp_uint_t n_allowed, const mp_arg_t *allowed, mp_arg_val_t *out_vals);
68void mp_arg_parse_all_kw_array(mp_uint_t n_pos, mp_uint_t n_kw, const mp_obj_t *args, mp_uint_t n_allowed, const mp_arg_t *allowed, mp_arg_val_t *out_vals);
Damien George7f233842015-01-01 15:33:50 +000069NORETURN void mp_arg_error_terse_mismatch(void);
Damien Georgec53b4082014-05-06 16:52:35 +000070NORETURN void mp_arg_error_unimpl_kw(void);
Dave Hylands51dabac2014-02-17 17:57:13 -080071
Damien Georgeb4b10fd2015-01-01 23:30:53 +000072static inline mp_obj_dict_t *mp_locals_get(void) { return MP_STATE_CTX(dict_locals); }
73static inline void mp_locals_set(mp_obj_dict_t *d) { MP_STATE_CTX(dict_locals) = d; }
74static inline mp_obj_dict_t *mp_globals_get(void) { return MP_STATE_CTX(dict_globals); }
75static inline void mp_globals_set(mp_obj_dict_t *d) { MP_STATE_CTX(dict_globals) = d; }
Damien429d7192013-10-04 19:53:11 +010076
Damien George50912e72015-01-20 11:55:10 +000077mp_obj_t mp_load_name(qstr qst);
78mp_obj_t mp_load_global(qstr qst);
Damien Georged17926d2014-03-30 13:35:08 +010079mp_obj_t mp_load_build_class(void);
Damien George50912e72015-01-20 11:55:10 +000080void mp_store_name(qstr qst, mp_obj_t obj);
81void mp_store_global(qstr qst, mp_obj_t obj);
82void mp_delete_name(qstr qst);
83void mp_delete_global(qstr qst);
Damien George66028ab2014-01-03 14:03:48 +000084
Damien George4abff752014-08-30 14:59:21 +010085mp_obj_t mp_unary_op(mp_uint_t op, mp_obj_t arg);
86mp_obj_t mp_binary_op(mp_uint_t op, mp_obj_t lhs, mp_obj_t rhs);
Damien Georged17926d2014-03-30 13:35:08 +010087
Damien George50912e72015-01-20 11:55:10 +000088mp_obj_t mp_load_const_int(qstr qst);
89mp_obj_t mp_load_const_dec(qstr qst);
90mp_obj_t mp_load_const_str(qstr qst);
91mp_obj_t mp_load_const_bytes(qstr qst);
Damien Georged17926d2014-03-30 13:35:08 +010092
Damien Georged17926d2014-03-30 13:35:08 +010093mp_obj_t mp_call_function_0(mp_obj_t fun);
94mp_obj_t mp_call_function_1(mp_obj_t fun, mp_obj_t arg);
95mp_obj_t mp_call_function_2(mp_obj_t fun, mp_obj_t arg1, mp_obj_t arg2);
Damien George4abff752014-08-30 14:59:21 +010096mp_obj_t mp_call_function_n_kw(mp_obj_t fun, mp_uint_t n_args, mp_uint_t n_kw, const mp_obj_t *args);
97mp_obj_t mp_call_method_n_kw(mp_uint_t n_args, mp_uint_t n_kw, const mp_obj_t *args);
98mp_obj_t mp_call_method_n_kw_var(bool have_self, mp_uint_t n_args_n_kw, const mp_obj_t *args);
Damien Georged17926d2014-03-30 13:35:08 +010099
Paul Sokolovskye6c6fe32015-03-28 01:14:45 +0200100typedef struct _call_args_t {
101 mp_obj_t fun;
102 mp_uint_t n_args, n_kw, n_alloc;
103 mp_obj_t *args;
104} call_args_t;
105
106// Takes arguments which are the most general mix of Python arg types, and
107// prepares argument array suitable for passing to ->call() method of a
108// function object (and mp_call_function_n_kw()).
109void mp_call_prepare_args_n_kw_var(bool have_self, mp_uint_t n_args_n_kw, const mp_obj_t *args, call_args_t *out_args);
110
Damien George4abff752014-08-30 14:59:21 +0100111void mp_unpack_sequence(mp_obj_t seq, mp_uint_t num, mp_obj_t *items);
112void mp_unpack_ex(mp_obj_t seq, mp_uint_t num, mp_obj_t *items);
Damien Georged17926d2014-03-30 13:35:08 +0100113mp_obj_t mp_store_map(mp_obj_t map, mp_obj_t key, mp_obj_t value);
114mp_obj_t mp_load_attr(mp_obj_t base, qstr attr);
Damien George55b74d12015-03-21 14:21:54 +0000115void mp_convert_member_lookup(mp_obj_t obj, const mp_obj_type_t *type, mp_obj_t member, mp_obj_t *dest);
Damien Georged17926d2014-03-30 13:35:08 +0100116void mp_load_method(mp_obj_t base, qstr attr, mp_obj_t *dest);
Damien Georgee44d26a2014-03-31 22:57:56 +0100117void mp_load_method_maybe(mp_obj_t base, qstr attr, mp_obj_t *dest);
Damien Georged17926d2014-03-30 13:35:08 +0100118void mp_store_attr(mp_obj_t base, qstr attr, mp_obj_t val);
Damien Georged17926d2014-03-30 13:35:08 +0100119
120mp_obj_t mp_getiter(mp_obj_t o);
Damien Georgeea8d06c2014-04-17 23:19:36 +0100121mp_obj_t mp_iternext_allow_raise(mp_obj_t o); // may return MP_OBJ_STOP_ITERATION instead of raising StopIteration()
122mp_obj_t mp_iternext(mp_obj_t o); // will always return MP_OBJ_STOP_ITERATION instead of raising StopIteration(...)
Paul Sokolovskyf39d3b92014-03-30 23:14:55 +0300123mp_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 Georged17926d2014-03-30 13:35:08 +0100124
125mp_obj_t mp_make_raise_obj(mp_obj_t o);
126
Damien Georged17926d2014-03-30 13:35:08 +0100127mp_obj_t mp_import_name(qstr name, mp_obj_t fromlist, mp_obj_t level);
128mp_obj_t mp_import_from(mp_obj_t module, qstr name);
129void mp_import_all(mp_obj_t module);
Paul Sokolovsky5500cde2014-04-13 06:43:18 +0300130
Paul Sokolovsky7e4a2b02014-06-07 23:22:41 +0300131// Raise NotImplementedError with given message
132NORETURN void mp_not_implemented(const char *msg);
Paul Sokolovsky7f1c9812015-03-28 01:14:45 +0200133NORETURN void mp_exc_recursion_depth(void);
Paul Sokolovsky7e4a2b02014-06-07 23:22:41 +0300134
Damien George86de21b2014-08-16 22:06:11 +0100135// helper functions for native/viper code
Damien Georgee6c0dff2014-08-15 23:47:59 +0100136mp_uint_t mp_convert_obj_to_native(mp_obj_t obj, mp_uint_t type);
137mp_obj_t mp_convert_native_to_obj(mp_uint_t val, mp_uint_t type);
Damien George4abff752014-08-30 14:59:21 +0100138mp_obj_t mp_native_call_function_n_kw(mp_obj_t fun_in, mp_uint_t n_args_kw, const mp_obj_t *args);
Damien Georgeb6e6b522015-01-21 17:00:01 +0000139void mp_native_raise(mp_obj_t o);
Damien Georgee6c0dff2014-08-15 23:47:59 +0100140
Damien Georgee1e359f2015-02-07 17:24:10 +0000141#define mp_sys_path ((mp_obj_t)&MP_STATE_VM(mp_sys_path_obj))
142#define mp_sys_argv ((mp_obj_t)&MP_STATE_VM(mp_sys_argv_obj))
Damien George9ddbe292014-12-29 01:02:19 +0000143
Paul Sokolovsky8a8c1fc2015-01-01 09:29:28 +0200144#if MICROPY_WARNINGS
145void mp_warning(const char *msg, ...);
146#else
147#define mp_warning(msg, ...)
148#endif
149
Damien George9ddbe292014-12-29 01:02:19 +0000150#endif // __MICROPY_INCLUDED_PY_RUNTIME_H__