Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 1 | // All Micro Python objects are at least this type |
| 2 | // It must be of pointer size |
| 3 | |
| 4 | typedef machine_ptr_t mp_obj_t; |
| 5 | typedef machine_const_ptr_t mp_const_obj_t; |
| 6 | |
| 7 | // Integers that fit in a pointer have this type |
| 8 | // (do we need to expose this in the public API?) |
| 9 | |
| 10 | typedef machine_int_t mp_small_int_t; |
| 11 | |
| 12 | // The machine floating-point type used for float and complex numbers |
Damien | 660365e | 2013-12-17 18:27:24 +0000 | [diff] [blame] | 13 | |
| 14 | #if MICROPY_ENABLE_FLOAT |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 15 | typedef machine_float_t mp_float_t; |
Damien | 660365e | 2013-12-17 18:27:24 +0000 | [diff] [blame] | 16 | #endif |
| 17 | |
Damien George | 97209d3 | 2014-01-07 15:58:30 +0000 | [diff] [blame] | 18 | // Anything that wants to be a Micro Python object must have |
| 19 | // mp_obj_base_t as its first member (except NULL and small ints) |
Damien | 660365e | 2013-12-17 18:27:24 +0000 | [diff] [blame] | 20 | |
ian-v | 7a16fad | 2014-01-06 09:52:29 -0800 | [diff] [blame] | 21 | struct _mp_obj_type_t; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 22 | struct _mp_obj_base_t { |
ian-v | 7a16fad | 2014-01-06 09:52:29 -0800 | [diff] [blame] | 23 | const struct _mp_obj_type_t *type; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 24 | }; |
ian-v | 7a16fad | 2014-01-06 09:52:29 -0800 | [diff] [blame] | 25 | typedef struct _mp_obj_base_t mp_obj_base_t; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 26 | |
| 27 | // The NULL object is used to indicate the absence of an object |
| 28 | // It *cannot* be used when an mp_obj_t is expected, except where explicitly allowed |
| 29 | |
| 30 | #define MP_OBJ_NULL ((mp_obj_t)NULL) |
| 31 | |
Damien George | 38a2da6 | 2014-01-08 17:33:12 +0000 | [diff] [blame] | 32 | // These macros check for small int, qstr or object, and access small int and qstr values |
| 33 | // - xxxx...xxx1: a small int, bits 1 and above are the value |
| 34 | // - xxxx...xx10: a qstr, bits 2 and above are the value |
| 35 | // - xxxx...xx00: a pointer to an mp_obj_base_t |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 36 | |
Paul Sokolovsky | 757ac81 | 2014-01-12 17:06:25 +0200 | [diff] [blame] | 37 | // In SMALL_INT, next-to-highest bits is used as sign, so both must match for value in range |
| 38 | #define MP_OBJ_FITS_SMALL_INT(n) ((((n) ^ ((n) << 1)) & WORD_MSBIT_HIGH) == 0) |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 39 | #define MP_OBJ_IS_SMALL_INT(o) ((((mp_small_int_t)(o)) & 1) != 0) |
Damien George | 38a2da6 | 2014-01-08 17:33:12 +0000 | [diff] [blame] | 40 | #define MP_OBJ_IS_QSTR(o) ((((mp_small_int_t)(o)) & 3) == 2) |
| 41 | #define MP_OBJ_IS_OBJ(o) ((((mp_small_int_t)(o)) & 3) == 0) |
| 42 | #define MP_OBJ_IS_TYPE(o, t) (MP_OBJ_IS_OBJ(o) && (((mp_obj_base_t*)(o))->type == (t))) |
| 43 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 44 | #define MP_OBJ_SMALL_INT_VALUE(o) (((mp_small_int_t)(o)) >> 1) |
Damien George | 38a2da6 | 2014-01-08 17:33:12 +0000 | [diff] [blame] | 45 | #define MP_OBJ_NEW_SMALL_INT(small_int) ((mp_obj_t)(((small_int) << 1) | 1)) |
| 46 | |
| 47 | #define MP_OBJ_QSTR_VALUE(o) (((mp_small_int_t)(o)) >> 2) |
| 48 | #define MP_OBJ_NEW_QSTR(qstr) ((mp_obj_t)((((machine_uint_t)qstr) << 2) | 2)) |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 49 | |
| 50 | // These macros are used to declare and define constant function objects |
| 51 | // You can put "static" in front of the definitions to make them local |
| 52 | |
| 53 | #define MP_DECLARE_CONST_FUN_OBJ(obj_name) extern const mp_obj_fun_native_t obj_name |
| 54 | |
John R. Lenton | 270112f | 2014-01-07 18:01:08 +0000 | [diff] [blame] | 55 | #define MP_DEFINE_CONST_FUN_OBJ_VOID_PTR(obj_name, is_kw, n_args_min, n_args_max, fun_name) const mp_obj_fun_native_t obj_name = {{&fun_native_type}, is_kw, n_args_min, n_args_max, (void *)fun_name} |
| 56 | #define MP_DEFINE_CONST_FUN_OBJ_0(obj_name, fun_name) MP_DEFINE_CONST_FUN_OBJ_VOID_PTR(obj_name, false, 0, 0, (mp_fun_0_t)fun_name) |
| 57 | #define MP_DEFINE_CONST_FUN_OBJ_1(obj_name, fun_name) MP_DEFINE_CONST_FUN_OBJ_VOID_PTR(obj_name, false, 1, 1, (mp_fun_1_t)fun_name) |
| 58 | #define MP_DEFINE_CONST_FUN_OBJ_2(obj_name, fun_name) MP_DEFINE_CONST_FUN_OBJ_VOID_PTR(obj_name, false, 2, 2, (mp_fun_2_t)fun_name) |
| 59 | #define MP_DEFINE_CONST_FUN_OBJ_3(obj_name, fun_name) MP_DEFINE_CONST_FUN_OBJ_VOID_PTR(obj_name, false, 3, 3, (mp_fun_3_t)fun_name) |
| 60 | #define MP_DEFINE_CONST_FUN_OBJ_VAR(obj_name, n_args_min, fun_name) MP_DEFINE_CONST_FUN_OBJ_VOID_PTR(obj_name, false, n_args_min, (~((machine_uint_t)0)), (mp_fun_var_t)fun_name) |
| 61 | #define MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(obj_name, n_args_min, n_args_max, fun_name) MP_DEFINE_CONST_FUN_OBJ_VOID_PTR(obj_name, false, n_args_min, n_args_max, (mp_fun_var_t)fun_name) |
John R. Lenton | 88cb1e6 | 2014-01-13 19:55:18 +0000 | [diff] [blame] | 62 | #define MP_DEFINE_CONST_FUN_OBJ_KW(obj_name, n_args_min, fun_name) MP_DEFINE_CONST_FUN_OBJ_VOID_PTR(obj_name, true, n_args_min, (~((machine_uint_t)0)), (mp_fun_kw_t)fun_name) |
John R. Lenton | c06763a | 2014-01-07 17:29:16 +0000 | [diff] [blame] | 63 | |
Damien George | eae1644 | 2014-01-11 19:22:29 +0000 | [diff] [blame] | 64 | // These macros are used to declare and define constant staticmethond and classmethod objects |
| 65 | // You can put "static" in front of the definitions to make them local |
| 66 | |
| 67 | #define MP_DECLARE_CONST_STATICMETHOD_OBJ(obj_name) extern const mp_obj_staticmethod_t obj_name |
| 68 | #define MP_DECLARE_CONST_CLASSMETHOD_OBJ(obj_name) extern const mp_obj_classmethod_t obj_name |
| 69 | |
| 70 | #define MP_DEFINE_CONST_STATICMETHOD_OBJ(obj_name, fun_name) const mp_obj_staticmethod_t obj_name = {{&mp_type_staticmethod}, fun_name} |
| 71 | #define MP_DEFINE_CONST_CLASSMETHOD_OBJ(obj_name, fun_name) const mp_obj_classmethod_t obj_name = {{&mp_type_classmethod}, fun_name} |
| 72 | |
John R. Lenton | c06763a | 2014-01-07 17:29:16 +0000 | [diff] [blame] | 73 | // Need to declare this here so we are not dependent on map.h |
| 74 | struct _mp_map_t; |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 75 | struct _mp_map_elem_t; |
| 76 | enum _mp_map_lookup_kind_t; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 77 | |
| 78 | // Type definitions for methods |
| 79 | |
| 80 | typedef mp_obj_t (*mp_fun_0_t)(void); |
| 81 | typedef mp_obj_t (*mp_fun_1_t)(mp_obj_t); |
| 82 | typedef mp_obj_t (*mp_fun_2_t)(mp_obj_t, mp_obj_t); |
John R. Lenton | 45a8744 | 2014-01-04 01:15:01 +0000 | [diff] [blame] | 83 | typedef mp_obj_t (*mp_fun_3_t)(mp_obj_t, mp_obj_t, mp_obj_t); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 84 | typedef mp_obj_t (*mp_fun_t)(void); |
| 85 | typedef mp_obj_t (*mp_fun_var_t)(int n, const mp_obj_t *); |
Damien George | dfc0bac | 2014-01-07 23:18:54 +0000 | [diff] [blame] | 86 | typedef mp_obj_t (*mp_fun_kw_t)(mp_obj_t, struct _mp_map_t*); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 87 | |
| 88 | typedef void (*mp_print_fun_t)(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t o); |
Damien George | 71c5181 | 2014-01-04 20:21:15 +0000 | [diff] [blame] | 89 | typedef mp_obj_t (*mp_make_new_fun_t)(mp_obj_t type_in, int n_args, const mp_obj_t *args); // args are in reverse order in the array |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 90 | typedef mp_obj_t (*mp_call_n_fun_t)(mp_obj_t fun, int n_args, const mp_obj_t *args); // args are in reverse order in the array |
John R. Lenton | c06763a | 2014-01-07 17:29:16 +0000 | [diff] [blame] | 91 | typedef mp_obj_t (*mp_call_n_kw_fun_t)(mp_obj_t fun, int n_args, int n_kw, const mp_obj_t *args); // args are in reverse order in the array |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 92 | typedef mp_obj_t (*mp_unary_op_fun_t)(int op, mp_obj_t); |
| 93 | typedef mp_obj_t (*mp_binary_op_fun_t)(int op, mp_obj_t, mp_obj_t); |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 94 | typedef void (*mp_load_attr_fun_t)(mp_obj_t self_in, qstr attr, mp_obj_t *dest); // for fail, do nothing; for attr, dest[1] = value; for method, dest[0] = self, dest[1] = method |
| 95 | typedef bool (*mp_store_attr_fun_t)(mp_obj_t self_in, qstr attr, mp_obj_t value); // return true if store succeeded |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 96 | |
| 97 | typedef struct _mp_method_t { |
Damien | 660365e | 2013-12-17 18:27:24 +0000 | [diff] [blame] | 98 | const char *name; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 99 | mp_const_obj_t fun; |
| 100 | } mp_method_t; |
| 101 | |
Paul Sokolovsky | 5b15daf | 2014-01-07 20:12:26 +0200 | [diff] [blame] | 102 | // Buffer protocol |
| 103 | typedef struct _buffer_info_t { |
| 104 | // if we'd bother to support various versions of structure |
| 105 | // (with different number of fields), we can distinguish |
| 106 | // them with ver = sizeof(struct). Cons: overkill for *micro*? |
| 107 | //int ver; // ? |
| 108 | |
| 109 | void *buf; |
| 110 | machine_int_t len; |
| 111 | |
| 112 | // Rationale: have array.array and have SIMD operations on them |
| 113 | // Cons: users can pass item size to processing functions themselves, |
| 114 | // though that's not "plug&play" |
| 115 | // int itemsize; |
| 116 | |
| 117 | // Rationale: to load arbitrary-sized sprites directly to LCD |
| 118 | // Cons: a bit adhoc usecase |
| 119 | // int stride; |
| 120 | } buffer_info_t; |
| 121 | #define BUFFER_READ (1) |
| 122 | #define BUFFER_WRITE (2) |
| 123 | #define BUFFER_RW (BUFFER_READ | BUFFER_WRITE) |
| 124 | typedef struct _mp_buffer_p_t { |
| 125 | machine_int_t (*get_buffer)(mp_obj_t obj, buffer_info_t *bufinfo, int flags); |
| 126 | } mp_buffer_p_t; |
| 127 | |
| 128 | // Stream protocol |
| 129 | typedef struct _mp_stream_p_t { |
| 130 | // On error, functions should return -1 and fill in *errcode (values are |
| 131 | // implementation-dependent, but will be exposed to user, e.g. via exception). |
| 132 | machine_int_t (*read)(mp_obj_t obj, void *buf, machine_uint_t size, int *errcode); |
| 133 | machine_int_t (*write)(mp_obj_t obj, const void *buf, machine_uint_t size, int *errcode); |
| 134 | // add seek() ? |
| 135 | } mp_stream_p_t; |
| 136 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 137 | struct _mp_obj_type_t { |
| 138 | mp_obj_base_t base; |
| 139 | const char *name; |
| 140 | mp_print_fun_t print; |
Damien George | 71c5181 | 2014-01-04 20:21:15 +0000 | [diff] [blame] | 141 | mp_make_new_fun_t make_new; // to make an instance of the type |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 142 | |
| 143 | mp_call_n_fun_t call_n; |
John R. Lenton | c06763a | 2014-01-07 17:29:16 +0000 | [diff] [blame] | 144 | mp_call_n_kw_fun_t call_n_kw; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 145 | mp_unary_op_fun_t unary_op; // can return NULL if op not supported |
| 146 | mp_binary_op_fun_t binary_op; // can return NULL if op not supported |
| 147 | |
| 148 | mp_fun_1_t getiter; |
| 149 | mp_fun_1_t iternext; |
| 150 | |
Paul Sokolovsky | 5b15daf | 2014-01-07 20:12:26 +0200 | [diff] [blame] | 151 | // Alternatively, pointer(s) to interfaces to save space |
| 152 | // in mp_obj_type_t at the expense of extra pointer and extra dereference |
| 153 | // when actually used. |
| 154 | mp_buffer_p_t buffer_p; |
| 155 | mp_stream_p_t stream_p; |
| 156 | |
ian-v | 7a16fad | 2014-01-06 09:52:29 -0800 | [diff] [blame] | 157 | const mp_method_t *methods; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 158 | |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 159 | mp_load_attr_fun_t load_attr; |
| 160 | mp_store_attr_fun_t store_attr; |
Damien George | 004cdce | 2014-01-09 21:43:51 +0000 | [diff] [blame] | 161 | |
| 162 | // these are for dynamically created types (classes) |
| 163 | mp_obj_t bases_tuple; |
| 164 | mp_obj_t locals_dict; |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 165 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 166 | /* |
| 167 | What we might need to add here: |
| 168 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 169 | store_subscr list dict |
| 170 | |
| 171 | len str tuple list map |
| 172 | abs float complex |
| 173 | hash bool int none str |
| 174 | equal int str |
| 175 | less int |
| 176 | get_array_n tuple list |
| 177 | |
| 178 | unpack seq list tuple |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 179 | */ |
| 180 | }; |
| 181 | |
ian-v | 7a16fad | 2014-01-06 09:52:29 -0800 | [diff] [blame] | 182 | typedef struct _mp_obj_type_t mp_obj_type_t; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 183 | |
| 184 | // Constant objects, globally accessible |
| 185 | |
| 186 | extern const mp_obj_type_t mp_const_type; |
| 187 | extern const mp_obj_t mp_const_none; |
| 188 | extern const mp_obj_t mp_const_false; |
| 189 | extern const mp_obj_t mp_const_true; |
Damien George | 71c5181 | 2014-01-04 20:21:15 +0000 | [diff] [blame] | 190 | extern const mp_obj_t mp_const_empty_tuple; |
Damien George | e9906ac | 2014-01-04 18:44:46 +0000 | [diff] [blame] | 191 | extern const mp_obj_t mp_const_ellipsis; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 192 | extern const mp_obj_t mp_const_stop_iteration; // special object indicating end of iteration (not StopIteration exception!) |
| 193 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 194 | // General API for objects |
| 195 | |
Damien George | 004cdce | 2014-01-09 21:43:51 +0000 | [diff] [blame] | 196 | mp_obj_t mp_obj_new_type(qstr name, mp_obj_t bases_tuple, mp_obj_t locals_dict); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 197 | mp_obj_t mp_obj_new_none(void); |
| 198 | mp_obj_t mp_obj_new_bool(bool value); |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 199 | mp_obj_t mp_obj_new_cell(mp_obj_t obj); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 200 | mp_obj_t mp_obj_new_int(machine_int_t value); |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 201 | mp_obj_t mp_obj_new_int_from_uint(machine_uint_t value); |
| 202 | mp_obj_t mp_obj_new_int_from_long_str(const char *s); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 203 | mp_obj_t mp_obj_new_str(qstr qstr); |
| 204 | #if MICROPY_ENABLE_FLOAT |
| 205 | mp_obj_t mp_obj_new_float(mp_float_t val); |
| 206 | mp_obj_t mp_obj_new_complex(mp_float_t real, mp_float_t imag); |
| 207 | #endif |
| 208 | mp_obj_t mp_obj_new_exception(qstr id); |
| 209 | mp_obj_t mp_obj_new_exception_msg(qstr id, const char *msg); |
| 210 | mp_obj_t mp_obj_new_exception_msg_1_arg(qstr id, const char *fmt, const char *a1); |
| 211 | mp_obj_t mp_obj_new_exception_msg_2_args(qstr id, const char *fmt, const char *a1, const char *a2); |
Damien George | 6c73ca1 | 2014-01-08 18:11:23 +0000 | [diff] [blame] | 212 | mp_obj_t mp_obj_new_exception_msg_varg(qstr id, const char *fmt, ...); // counts args by number of % symbols in fmt, excluding %%; can only handle void* sizes (ie no float/double!) |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 213 | mp_obj_t mp_obj_new_range(int start, int stop, int step); |
| 214 | mp_obj_t mp_obj_new_range_iterator(int cur, int stop, int step); |
| 215 | mp_obj_t mp_obj_new_fun_bc(int n_args, uint n_state, const byte *code); |
| 216 | mp_obj_t mp_obj_new_fun_asm(uint n_args, void *fun); |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 217 | mp_obj_t mp_obj_new_gen_wrap(uint n_locals, uint n_stack, mp_obj_t fun); |
Damien George | 0ff8839 | 2014-01-02 20:57:05 +0000 | [diff] [blame] | 218 | mp_obj_t mp_obj_new_gen_instance(const byte *bytecode, uint n_state, int n_args, const mp_obj_t *args); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 219 | mp_obj_t mp_obj_new_closure(mp_obj_t fun, mp_obj_t closure_tuple); |
John R. Lenton | c06763a | 2014-01-07 17:29:16 +0000 | [diff] [blame] | 220 | mp_obj_t mp_obj_new_tuple(uint n, const mp_obj_t *items); |
| 221 | mp_obj_t mp_obj_new_tuple_reverse(uint n, const mp_obj_t *items); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 222 | mp_obj_t mp_obj_new_list(uint n, mp_obj_t *items); |
| 223 | mp_obj_t mp_obj_new_list_reverse(uint n, mp_obj_t *items); |
| 224 | mp_obj_t mp_obj_new_dict(int n_args); |
| 225 | mp_obj_t mp_obj_new_set(int n_args, mp_obj_t *items); |
Paul Sokolovsky | 1c6de11 | 2014-01-03 02:41:17 +0200 | [diff] [blame] | 226 | mp_obj_t mp_obj_new_slice(mp_obj_t start, mp_obj_t stop, mp_obj_t step); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 227 | mp_obj_t mp_obj_new_bound_meth(mp_obj_t self, mp_obj_t meth); |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 228 | mp_obj_t mp_obj_new_module(qstr module_name); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 229 | |
Damien George | b97669a | 2014-01-08 11:47:55 +0000 | [diff] [blame] | 230 | mp_obj_t mp_obj_get_type(mp_obj_t o_in); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 231 | const char *mp_obj_get_type_str(mp_obj_t o_in); |
| 232 | |
| 233 | void mp_obj_print_helper(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t o_in); |
| 234 | void mp_obj_print(mp_obj_t o); |
| 235 | |
| 236 | bool mp_obj_is_callable(mp_obj_t o_in); |
| 237 | machine_int_t mp_obj_hash(mp_obj_t o_in); |
| 238 | bool mp_obj_equal(mp_obj_t o1, mp_obj_t o2); |
| 239 | bool mp_obj_less(mp_obj_t o1, mp_obj_t o2); |
| 240 | |
| 241 | machine_int_t mp_obj_get_int(mp_obj_t arg); |
| 242 | #if MICROPY_ENABLE_FLOAT |
| 243 | mp_float_t mp_obj_get_float(mp_obj_t self_in); |
| 244 | void mp_obj_get_complex(mp_obj_t self_in, mp_float_t *real, mp_float_t *imag); |
| 245 | #endif |
| 246 | qstr mp_obj_get_qstr(mp_obj_t arg); |
| 247 | mp_obj_t *mp_obj_get_array_fixed_n(mp_obj_t o, machine_int_t n); |
| 248 | uint mp_get_index(const mp_obj_type_t *type, machine_uint_t len, mp_obj_t index); |
John R. Lenton | 4bee76e | 2014-01-10 11:25:03 +0000 | [diff] [blame] | 249 | mp_obj_t mp_obj_len_maybe(mp_obj_t o_in); /* may return NULL */ |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 250 | |
| 251 | // none |
| 252 | extern const mp_obj_type_t none_type; |
| 253 | |
| 254 | // bool |
| 255 | extern const mp_obj_type_t bool_type; |
John R. Lenton | b8698fc | 2014-01-11 00:58:59 +0000 | [diff] [blame] | 256 | #define MP_BOOL(x) (x ? mp_const_true : mp_const_false) |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 257 | |
| 258 | // cell |
| 259 | mp_obj_t mp_obj_cell_get(mp_obj_t self_in); |
| 260 | void mp_obj_cell_set(mp_obj_t self_in, mp_obj_t obj); |
| 261 | |
Damien George | 71c5181 | 2014-01-04 20:21:15 +0000 | [diff] [blame] | 262 | // int |
| 263 | extern const mp_obj_type_t int_type; |
| 264 | |
Damien | b86e3f9 | 2013-12-29 17:17:43 +0000 | [diff] [blame] | 265 | // exception |
| 266 | extern const mp_obj_type_t exception_type; |
| 267 | qstr mp_obj_exception_get_type(mp_obj_t self_in); |
| 268 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 269 | // str |
| 270 | extern const mp_obj_type_t str_type; |
| 271 | qstr mp_obj_str_get(mp_obj_t self_in); |
| 272 | |
| 273 | #if MICROPY_ENABLE_FLOAT |
| 274 | // float |
| 275 | extern const mp_obj_type_t float_type; |
| 276 | mp_float_t mp_obj_float_get(mp_obj_t self_in); |
Damien George | e2e3d11 | 2014-01-06 22:13:00 +0000 | [diff] [blame] | 277 | mp_obj_t mp_obj_float_binary_op(int op, mp_float_t lhs_val, mp_obj_t rhs); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 278 | |
| 279 | // complex |
| 280 | extern const mp_obj_type_t complex_type; |
| 281 | void mp_obj_complex_get(mp_obj_t self_in, mp_float_t *real, mp_float_t *imag); |
Damien George | e2e3d11 | 2014-01-06 22:13:00 +0000 | [diff] [blame] | 282 | mp_obj_t mp_obj_complex_binary_op(int op, mp_float_t lhs_real, mp_float_t lhs_imag, mp_obj_t rhs_in); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 283 | #endif |
| 284 | |
| 285 | // tuple |
| 286 | extern const mp_obj_type_t tuple_type; |
| 287 | void mp_obj_tuple_get(mp_obj_t self_in, uint *len, mp_obj_t **items); |
John R. Lenton | 07205ec | 2014-01-13 02:31:00 +0000 | [diff] [blame] | 288 | void mp_obj_tuple_del(mp_obj_t self_in); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 289 | |
| 290 | // list |
| 291 | extern const mp_obj_type_t list_type; |
| 292 | mp_obj_t mp_obj_list_append(mp_obj_t self_in, mp_obj_t arg); |
| 293 | void mp_obj_list_get(mp_obj_t self_in, uint *len, mp_obj_t **items); |
| 294 | void mp_obj_list_store(mp_obj_t self_in, mp_obj_t index, mp_obj_t value); |
Damien George | 0f59203 | 2014-01-14 23:18:35 +0000 | [diff] [blame] | 295 | mp_obj_t mp_obj_list_sort(mp_obj_t args, struct _mp_map_t *kwargs); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 296 | |
John R. Lenton | 39b174e | 2014-01-15 01:10:09 +0000 | [diff] [blame] | 297 | // map (the python builtin, not the dict implementation detail) |
| 298 | extern const mp_obj_type_t map_type; |
| 299 | |
John R. Lenton | 9daa789 | 2014-01-14 23:55:01 +0000 | [diff] [blame] | 300 | // enumerate |
| 301 | extern const mp_obj_type_t enumerate_type; |
| 302 | |
John R. Lenton | fca456b | 2014-01-15 01:37:08 +0000 | [diff] [blame^] | 303 | // filter |
| 304 | extern const mp_obj_type_t filter_type; |
| 305 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 306 | // dict |
| 307 | extern const mp_obj_type_t dict_type; |
Damien | dae7eb7 | 2013-12-29 22:32:51 +0000 | [diff] [blame] | 308 | uint mp_obj_dict_len(mp_obj_t self_in); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 309 | mp_obj_t mp_obj_dict_store(mp_obj_t self_in, mp_obj_t key, mp_obj_t value); |
Damien George | 062478e | 2014-01-09 20:57:50 +0000 | [diff] [blame] | 310 | struct _mp_map_t *mp_obj_dict_get_map(mp_obj_t self_in); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 311 | |
| 312 | // set |
Damien George | 71c5181 | 2014-01-04 20:21:15 +0000 | [diff] [blame] | 313 | extern const mp_obj_type_t set_type; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 314 | void mp_obj_set_store(mp_obj_t self_in, mp_obj_t item); |
| 315 | |
Paul Sokolovsky | 1c6de11 | 2014-01-03 02:41:17 +0200 | [diff] [blame] | 316 | // slice |
| 317 | extern const mp_obj_type_t slice_type; |
| 318 | void mp_obj_slice_get(mp_obj_t self_in, machine_int_t *start, machine_int_t *stop, machine_int_t *step); |
| 319 | |
John R. Lenton | 07205ec | 2014-01-13 02:31:00 +0000 | [diff] [blame] | 320 | // zip |
| 321 | extern const mp_obj_type_t zip_type; |
| 322 | |
| 323 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 324 | // functions |
Damien George | 66028ab | 2014-01-03 14:03:48 +0000 | [diff] [blame] | 325 | typedef struct _mp_obj_fun_native_t { // need this so we can define const objects (to go in ROM) |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 326 | mp_obj_base_t base; |
John R. Lenton | c06763a | 2014-01-07 17:29:16 +0000 | [diff] [blame] | 327 | bool is_kw : 1; |
| 328 | machine_uint_t n_args_min : (sizeof(machine_uint_t) - 1); // inclusive |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 329 | machine_uint_t n_args_max; // inclusive |
Damien | 660365e | 2013-12-17 18:27:24 +0000 | [diff] [blame] | 330 | void *fun; |
Damien George | 66028ab | 2014-01-03 14:03:48 +0000 | [diff] [blame] | 331 | // TODO add mp_map_t *globals |
| 332 | // for const function objects, make an empty, const map |
| 333 | // such functions won't be able to access the global scope, but that's probably okay |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 334 | } mp_obj_fun_native_t; |
Damien George | 97209d3 | 2014-01-07 15:58:30 +0000 | [diff] [blame] | 335 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 336 | extern const mp_obj_type_t fun_native_type; |
| 337 | extern const mp_obj_type_t fun_bc_type; |
| 338 | void mp_obj_fun_bc_get(mp_obj_t self_in, int *n_args, uint *n_state, const byte **code); |
Damien | 660365e | 2013-12-17 18:27:24 +0000 | [diff] [blame] | 339 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 340 | // generator |
| 341 | extern const mp_obj_type_t gen_instance_type; |
Damien | 660365e | 2013-12-17 18:27:24 +0000 | [diff] [blame] | 342 | |
Damien George | 2870862 | 2014-01-02 21:30:26 +0000 | [diff] [blame] | 343 | // module |
| 344 | extern const mp_obj_type_t module_type; |
| 345 | mp_obj_t mp_obj_new_module(qstr module_name); |
| 346 | struct _mp_map_t *mp_obj_module_get_globals(mp_obj_t self_in); |
Damien George | eae1644 | 2014-01-11 19:22:29 +0000 | [diff] [blame] | 347 | |
| 348 | // staticmethod and classmethod types; defined here so we can make const versions |
| 349 | |
| 350 | extern const mp_obj_type_t mp_type_staticmethod; |
| 351 | extern const mp_obj_type_t mp_type_classmethod; |
| 352 | |
| 353 | typedef struct _mp_obj_staticmethod_t { |
| 354 | mp_obj_base_t base; |
| 355 | mp_obj_t fun; |
| 356 | } mp_obj_staticmethod_t; |
| 357 | |
| 358 | typedef struct _mp_obj_classmethod_t { |
| 359 | mp_obj_base_t base; |
| 360 | mp_obj_t fun; |
| 361 | } mp_obj_classmethod_t; |