blob: 14496196674e18852153c65b585bdf50ab8ab3d8 [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 Georgecbf76742015-11-27 13:38:15 +000051 mp_rom_obj_t u_rom_obj;
Damien Georgedbc81df2014-04-26 11:19:17 +010052} mp_arg_val_t;
Damien Georgea3f94e02014-04-20 00:13:22 +010053
Damien Georgedbc81df2014-04-26 11:19:17 +010054typedef struct _mp_arg_t {
Damien George50912e72015-01-20 11:55:10 +000055 qstr qst;
Damien George40f3c022014-07-03 13:25:24 +010056 mp_uint_t flags;
Damien Georgedbc81df2014-04-26 11:19:17 +010057 mp_arg_val_t defval;
58} mp_arg_t;
Damien Georgea3f94e02014-04-20 00:13:22 +010059
Damien Georgea5efcd42015-01-27 18:02:25 +000060// defined in objtype.c
61extern const qstr mp_unary_op_method_name[];
62extern const qstr mp_binary_op_method_name[];
63
Damien Georged17926d2014-03-30 13:35:08 +010064void mp_init(void);
65void mp_deinit(void);
Damien George2326d522014-03-27 23:26:35 +000066
Damien George7f9d1d62015-04-09 23:56:15 +010067// extra printing method specifically for mp_obj_t's which are integral type
68int 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);
69
Damien George4abff752014-08-30 14:59:21 +010070void 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);
71void 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);
72void 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 +000073NORETURN void mp_arg_error_terse_mismatch(void);
Damien Georgec53b4082014-05-06 16:52:35 +000074NORETURN void mp_arg_error_unimpl_kw(void);
Dave Hylands51dabac2014-02-17 17:57:13 -080075
Damien Georgeb4b10fd2015-01-01 23:30:53 +000076static inline mp_obj_dict_t *mp_locals_get(void) { return MP_STATE_CTX(dict_locals); }
77static inline void mp_locals_set(mp_obj_dict_t *d) { MP_STATE_CTX(dict_locals) = d; }
78static inline mp_obj_dict_t *mp_globals_get(void) { return MP_STATE_CTX(dict_globals); }
79static inline void mp_globals_set(mp_obj_dict_t *d) { MP_STATE_CTX(dict_globals) = d; }
Damien429d7192013-10-04 19:53:11 +010080
Damien George50912e72015-01-20 11:55:10 +000081mp_obj_t mp_load_name(qstr qst);
82mp_obj_t mp_load_global(qstr qst);
Damien Georged17926d2014-03-30 13:35:08 +010083mp_obj_t mp_load_build_class(void);
Damien George50912e72015-01-20 11:55:10 +000084void mp_store_name(qstr qst, mp_obj_t obj);
85void mp_store_global(qstr qst, mp_obj_t obj);
86void mp_delete_name(qstr qst);
87void mp_delete_global(qstr qst);
Damien George66028ab2014-01-03 14:03:48 +000088
Damien George4abff752014-08-30 14:59:21 +010089mp_obj_t mp_unary_op(mp_uint_t op, mp_obj_t arg);
90mp_obj_t mp_binary_op(mp_uint_t op, mp_obj_t lhs, mp_obj_t rhs);
Damien Georged17926d2014-03-30 13:35:08 +010091
Damien Georged17926d2014-03-30 13:35:08 +010092mp_obj_t mp_call_function_0(mp_obj_t fun);
93mp_obj_t mp_call_function_1(mp_obj_t fun, mp_obj_t arg);
94mp_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 +010095mp_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);
96mp_obj_t mp_call_method_n_kw(mp_uint_t n_args, mp_uint_t n_kw, const mp_obj_t *args);
97mp_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 +010098
Damien George12a5e172015-04-01 23:31:30 +010099typedef struct _mp_call_args_t {
Paul Sokolovskye6c6fe32015-03-28 01:14:45 +0200100 mp_obj_t fun;
101 mp_uint_t n_args, n_kw, n_alloc;
102 mp_obj_t *args;
Damien George12a5e172015-04-01 23:31:30 +0100103} mp_call_args_t;
Paul Sokolovskye6c6fe32015-03-28 01:14:45 +0200104
Damien George12a5e172015-04-01 23:31:30 +0100105#if MICROPY_STACKLESS
Paul Sokolovskye6c6fe32015-03-28 01:14:45 +0200106// 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()).
Damien George12a5e172015-04-01 23:31:30 +0100109// (Only needed in stackless mode.)
110void mp_call_prepare_args_n_kw_var(bool have_self, mp_uint_t n_args_n_kw, const mp_obj_t *args, mp_call_args_t *out_args);
111#endif
Paul Sokolovskye6c6fe32015-03-28 01:14:45 +0200112
Damien George4abff752014-08-30 14:59:21 +0100113void mp_unpack_sequence(mp_obj_t seq, mp_uint_t num, mp_obj_t *items);
114void mp_unpack_ex(mp_obj_t seq, mp_uint_t num, mp_obj_t *items);
Damien Georged17926d2014-03-30 13:35:08 +0100115mp_obj_t mp_store_map(mp_obj_t map, mp_obj_t key, mp_obj_t value);
116mp_obj_t mp_load_attr(mp_obj_t base, qstr attr);
Damien George55b74d12015-03-21 14:21:54 +0000117void 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 +0100118void mp_load_method(mp_obj_t base, qstr attr, mp_obj_t *dest);
Damien Georgee44d26a2014-03-31 22:57:56 +0100119void mp_load_method_maybe(mp_obj_t base, qstr attr, mp_obj_t *dest);
Damien Georged17926d2014-03-30 13:35:08 +0100120void mp_store_attr(mp_obj_t base, qstr attr, mp_obj_t val);
Damien Georged17926d2014-03-30 13:35:08 +0100121
122mp_obj_t mp_getiter(mp_obj_t o);
Damien Georgeea8d06c2014-04-17 23:19:36 +0100123mp_obj_t mp_iternext_allow_raise(mp_obj_t o); // may return MP_OBJ_STOP_ITERATION instead of raising StopIteration()
124mp_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 +0300125mp_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 +0100126
127mp_obj_t mp_make_raise_obj(mp_obj_t o);
128
Damien Georged17926d2014-03-30 13:35:08 +0100129mp_obj_t mp_import_name(qstr name, mp_obj_t fromlist, mp_obj_t level);
130mp_obj_t mp_import_from(mp_obj_t module, qstr name);
131void mp_import_all(mp_obj_t module);
Paul Sokolovsky5500cde2014-04-13 06:43:18 +0300132
Paul Sokolovsky7e4a2b02014-06-07 23:22:41 +0300133// Raise NotImplementedError with given message
134NORETURN void mp_not_implemented(const char *msg);
Paul Sokolovsky7f1c9812015-03-28 01:14:45 +0200135NORETURN void mp_exc_recursion_depth(void);
Paul Sokolovsky7e4a2b02014-06-07 23:22:41 +0300136
Damien George86de21b2014-08-16 22:06:11 +0100137// helper functions for native/viper code
Damien Georgee6c0dff2014-08-15 23:47:59 +0100138mp_uint_t mp_convert_obj_to_native(mp_obj_t obj, mp_uint_t type);
139mp_obj_t mp_convert_native_to_obj(mp_uint_t val, mp_uint_t type);
Damien George4abff752014-08-30 14:59:21 +0100140mp_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 +0000141void mp_native_raise(mp_obj_t o);
Damien Georgee6c0dff2014-08-15 23:47:59 +0100142
Damien Georgee1e359f2015-02-07 17:24:10 +0000143#define mp_sys_path ((mp_obj_t)&MP_STATE_VM(mp_sys_path_obj))
144#define mp_sys_argv ((mp_obj_t)&MP_STATE_VM(mp_sys_argv_obj))
Damien George9ddbe292014-12-29 01:02:19 +0000145
Paul Sokolovsky8a8c1fc2015-01-01 09:29:28 +0200146#if MICROPY_WARNINGS
147void mp_warning(const char *msg, ...);
148#else
149#define mp_warning(msg, ...)
150#endif
151
Damien George9ddbe292014-12-29 01:02:19 +0000152#endif // __MICROPY_INCLUDED_PY_RUNTIME_H__