blob: 952187e4645faa8d18bb3e58c442328138bd1c03 [file] [log] [blame]
Damiend99b0522013-12-21 18:17:45 +00001// All Micro Python objects are at least this type
2// It must be of pointer size
3
4typedef machine_ptr_t mp_obj_t;
5typedef 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
10typedef machine_int_t mp_small_int_t;
11
Damien George97209d32014-01-07 15:58:30 +000012// Anything that wants to be a Micro Python object must have
13// mp_obj_base_t as its first member (except NULL and small ints)
Damien660365e2013-12-17 18:27:24 +000014
ian-v7a16fad2014-01-06 09:52:29 -080015struct _mp_obj_type_t;
Damiend99b0522013-12-21 18:17:45 +000016struct _mp_obj_base_t {
ian-v7a16fad2014-01-06 09:52:29 -080017 const struct _mp_obj_type_t *type;
Damiend99b0522013-12-21 18:17:45 +000018};
ian-v7a16fad2014-01-06 09:52:29 -080019typedef struct _mp_obj_base_t mp_obj_base_t;
Damiend99b0522013-12-21 18:17:45 +000020
21// The NULL object is used to indicate the absence of an object
22// It *cannot* be used when an mp_obj_t is expected, except where explicitly allowed
23
24#define MP_OBJ_NULL ((mp_obj_t)NULL)
25
Damien George38a2da62014-01-08 17:33:12 +000026// These macros check for small int, qstr or object, and access small int and qstr values
27// - xxxx...xxx1: a small int, bits 1 and above are the value
28// - xxxx...xx10: a qstr, bits 2 and above are the value
29// - xxxx...xx00: a pointer to an mp_obj_base_t
Damiend99b0522013-12-21 18:17:45 +000030
Paul Sokolovsky757ac812014-01-12 17:06:25 +020031// In SMALL_INT, next-to-highest bits is used as sign, so both must match for value in range
Damien George9d68e9c2014-03-12 15:38:15 +000032#define MP_SMALL_INT_MIN ((mp_small_int_t)(((machine_int_t)WORD_MSBIT_HIGH) >> 1))
33#define MP_SMALL_INT_MAX ((mp_small_int_t)(~(MP_SMALL_INT_MIN)))
Paul Sokolovsky757ac812014-01-12 17:06:25 +020034#define MP_OBJ_FITS_SMALL_INT(n) ((((n) ^ ((n) << 1)) & WORD_MSBIT_HIGH) == 0)
Damiend99b0522013-12-21 18:17:45 +000035#define MP_OBJ_IS_SMALL_INT(o) ((((mp_small_int_t)(o)) & 1) != 0)
Damien George38a2da62014-01-08 17:33:12 +000036#define MP_OBJ_IS_QSTR(o) ((((mp_small_int_t)(o)) & 3) == 2)
37#define MP_OBJ_IS_OBJ(o) ((((mp_small_int_t)(o)) & 3) == 0)
Damien George7c9c6672014-01-25 00:17:36 +000038#define MP_OBJ_IS_TYPE(o, t) (MP_OBJ_IS_OBJ(o) && (((mp_obj_base_t*)(o))->type == (t))) // this does not work for checking a string, use below macro for that
Damien George3e1a5c12014-03-29 13:43:38 +000039#define MP_OBJ_IS_INT(o) (MP_OBJ_IS_SMALL_INT(o) || MP_OBJ_IS_TYPE(o, &mp_type_int))
40#define MP_OBJ_IS_STR(o) (MP_OBJ_IS_QSTR(o) || MP_OBJ_IS_TYPE(o, &mp_type_str))
Damien George38a2da62014-01-08 17:33:12 +000041
Damiend99b0522013-12-21 18:17:45 +000042#define MP_OBJ_SMALL_INT_VALUE(o) (((mp_small_int_t)(o)) >> 1)
Damien George38a2da62014-01-08 17:33:12 +000043#define MP_OBJ_NEW_SMALL_INT(small_int) ((mp_obj_t)(((small_int) << 1) | 1))
44
45#define MP_OBJ_QSTR_VALUE(o) (((mp_small_int_t)(o)) >> 2)
46#define MP_OBJ_NEW_QSTR(qstr) ((mp_obj_t)((((machine_uint_t)qstr) << 2) | 2))
Damiend99b0522013-12-21 18:17:45 +000047
48// These macros are used to declare and define constant function objects
49// You can put "static" in front of the definitions to make them local
50
51#define MP_DECLARE_CONST_FUN_OBJ(obj_name) extern const mp_obj_fun_native_t obj_name
52
Damien George3e1a5c12014-03-29 13:43:38 +000053#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 = {{&mp_type_fun_native}, is_kw, n_args_min, n_args_max, (void *)fun_name}
John R. Lenton270112f2014-01-07 18:01:08 +000054#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)
55#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)
56#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)
57#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)
Damien Georged5e81822014-02-26 17:47:05 +000058#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, MP_OBJ_FUN_ARGS_MAX, (mp_fun_var_t)fun_name)
John R. Lenton270112f2014-01-07 18:01:08 +000059#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)
Damien Georged5e81822014-02-26 17:47:05 +000060#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, MP_OBJ_FUN_ARGS_MAX, (mp_fun_kw_t)fun_name)
John R. Lentonc06763a2014-01-07 17:29:16 +000061
Damien George9b196cd2014-03-26 21:47:19 +000062// This macro is used to define constant dict objects
63// You can put "static" in front of the definition to make it local
64
65#define MP_DEFINE_CONST_DICT(dict_name, table_name) \
66 const mp_obj_dict_t dict_name = { \
Damien George3e1a5c12014-03-29 13:43:38 +000067 .base = {&mp_type_dict}, \
Damien George9b196cd2014-03-26 21:47:19 +000068 .map = { \
69 .all_keys_are_qstrs = 1, \
70 .table_is_fixed_array = 1, \
71 .used = sizeof(table_name) / sizeof(mp_map_elem_t), \
72 .alloc = sizeof(table_name) / sizeof(mp_map_elem_t), \
73 .table = (mp_map_elem_t*)table_name, \
74 }, \
75 }
76
Damien Georgeeae16442014-01-11 19:22:29 +000077// These macros are used to declare and define constant staticmethond and classmethod objects
78// You can put "static" in front of the definitions to make them local
79
Damien George64131f32014-02-06 20:31:44 +000080#define MP_DECLARE_CONST_STATICMETHOD_OBJ(obj_name) extern const mp_obj_static_class_method_t obj_name
81#define MP_DECLARE_CONST_CLASSMETHOD_OBJ(obj_name) extern const mp_obj_static_class_method_t obj_name
Damien Georgeeae16442014-01-11 19:22:29 +000082
Damien George64131f32014-02-06 20:31:44 +000083#define MP_DEFINE_CONST_STATICMETHOD_OBJ(obj_name, fun_name) const mp_obj_static_class_method_t obj_name = {{&mp_type_staticmethod}, fun_name}
84#define MP_DEFINE_CONST_CLASSMETHOD_OBJ(obj_name, fun_name) const mp_obj_static_class_method_t obj_name = {{&mp_type_classmethod}, fun_name}
Damien Georgeeae16442014-01-11 19:22:29 +000085
Damien Georgedf6567e2014-03-30 13:54:02 +010086// Underlying map/hash table implementation (not dict object or map function)
87
88typedef struct _mp_map_elem_t {
89 mp_obj_t key;
90 mp_obj_t value;
91} mp_map_elem_t;
92
93// TODO maybe have a truncated mp_map_t for fixed tables, since alloc=used
94// put alloc last in the structure, so the truncated version does not need it
95// this would save 1 ROM word for all ROM objects that have a locals_dict
96// would also need a trucated dict structure
97
98typedef struct _mp_map_t {
99 machine_uint_t all_keys_are_qstrs : 1;
100 machine_uint_t table_is_fixed_array : 1;
101 machine_uint_t used : (8 * sizeof(machine_uint_t) - 2);
102 machine_uint_t alloc;
103 mp_map_elem_t *table;
104} mp_map_t;
105
106typedef enum _mp_map_lookup_kind_t {
107 MP_MAP_LOOKUP, // 0
108 MP_MAP_LOOKUP_ADD_IF_NOT_FOUND, // 1
109 MP_MAP_LOOKUP_REMOVE_IF_FOUND, // 2
110 MP_MAP_LOOKUP_FIRST = 4,
111} mp_map_lookup_kind_t;
112
113void mp_map_init(mp_map_t *map, int n);
114void mp_map_init_fixed_table(mp_map_t *map, int n, const mp_obj_t *table);
115mp_map_t *mp_map_new(int n);
116void mp_map_deinit(mp_map_t *map);
117void mp_map_free(mp_map_t *map);
118mp_map_elem_t* mp_map_lookup(mp_map_t *map, mp_obj_t index, mp_map_lookup_kind_t lookup_kind);
119void mp_map_clear(mp_map_t *map);
120
121// Underlying set implementation (not set object)
122
123typedef struct _mp_set_t {
124 machine_uint_t alloc;
125 machine_uint_t used;
126 mp_obj_t *table;
127} mp_set_t;
128
129void mp_set_init(mp_set_t *set, int n);
130mp_obj_t mp_set_lookup(mp_set_t *set, mp_obj_t index, mp_map_lookup_kind_t lookup_kind);
131void mp_set_clear(mp_set_t *set);
Damiend99b0522013-12-21 18:17:45 +0000132
133// Type definitions for methods
134
135typedef mp_obj_t (*mp_fun_0_t)(void);
136typedef mp_obj_t (*mp_fun_1_t)(mp_obj_t);
137typedef mp_obj_t (*mp_fun_2_t)(mp_obj_t, mp_obj_t);
John R. Lenton45a87442014-01-04 01:15:01 +0000138typedef mp_obj_t (*mp_fun_3_t)(mp_obj_t, mp_obj_t, mp_obj_t);
Damiend99b0522013-12-21 18:17:45 +0000139typedef mp_obj_t (*mp_fun_t)(void);
Damien Georgea11ceca2014-01-19 16:02:09 +0000140typedef mp_obj_t (*mp_fun_var_t)(uint n, const mp_obj_t *);
Damien Georgedf6567e2014-03-30 13:54:02 +0100141typedef mp_obj_t (*mp_fun_kw_t)(uint n, const mp_obj_t *, mp_map_t *);
Damiend99b0522013-12-21 18:17:45 +0000142
Paul Sokolovsky76d982e2014-01-13 19:19:16 +0200143typedef enum {
Paul Sokolovskya96d3d02014-03-31 01:10:10 +0300144 PRINT_STR,
145 PRINT_REPR,
146 PRINT_EXC, // Special format for printing exception in unhandled exception message
Paul Sokolovsky76d982e2014-01-13 19:19:16 +0200147} mp_print_kind_t;
148
149typedef void (*mp_print_fun_t)(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t o, mp_print_kind_t kind);
Damien George20006db2014-01-18 14:10:48 +0000150typedef mp_obj_t (*mp_make_new_fun_t)(mp_obj_t type_in, uint n_args, uint n_kw, const mp_obj_t *args);
151typedef mp_obj_t (*mp_call_fun_t)(mp_obj_t fun, uint n_args, uint n_kw, const mp_obj_t *args);
Damiend99b0522013-12-21 18:17:45 +0000152typedef mp_obj_t (*mp_unary_op_fun_t)(int op, mp_obj_t);
153typedef mp_obj_t (*mp_binary_op_fun_t)(int op, mp_obj_t, mp_obj_t);
Damien George20006db2014-01-18 14:10:48 +0000154typedef void (*mp_load_attr_fun_t)(mp_obj_t self_in, qstr attr, mp_obj_t *dest); // for fail, do nothing; for attr, dest[0] = value; for method, dest[0] = method, dest[1] = self
Damien George062478e2014-01-09 20:57:50 +0000155typedef bool (*mp_store_attr_fun_t)(mp_obj_t self_in, qstr attr, mp_obj_t value); // return true if store succeeded
Paul Sokolovsky6d8edf62014-01-18 13:10:51 +0200156typedef bool (*mp_store_item_fun_t)(mp_obj_t self_in, mp_obj_t index, mp_obj_t value); // return true if store succeeded
Damiend99b0522013-12-21 18:17:45 +0000157
158typedef struct _mp_method_t {
Damien Georgec12b2212014-03-26 20:15:40 +0000159 qstr name;
Damiend99b0522013-12-21 18:17:45 +0000160 mp_const_obj_t fun;
161} mp_method_t;
162
Paul Sokolovsky5b15daf2014-01-07 20:12:26 +0200163// Buffer protocol
164typedef struct _buffer_info_t {
165 // if we'd bother to support various versions of structure
166 // (with different number of fields), we can distinguish
167 // them with ver = sizeof(struct). Cons: overkill for *micro*?
168 //int ver; // ?
169
170 void *buf;
171 machine_int_t len;
172
173 // Rationale: have array.array and have SIMD operations on them
174 // Cons: users can pass item size to processing functions themselves,
175 // though that's not "plug&play"
176 // int itemsize;
177
178 // Rationale: to load arbitrary-sized sprites directly to LCD
179 // Cons: a bit adhoc usecase
180 // int stride;
181} buffer_info_t;
182#define BUFFER_READ (1)
183#define BUFFER_WRITE (2)
184#define BUFFER_RW (BUFFER_READ | BUFFER_WRITE)
185typedef struct _mp_buffer_p_t {
186 machine_int_t (*get_buffer)(mp_obj_t obj, buffer_info_t *bufinfo, int flags);
187} mp_buffer_p_t;
188
189// Stream protocol
190typedef struct _mp_stream_p_t {
191 // On error, functions should return -1 and fill in *errcode (values are
192 // implementation-dependent, but will be exposed to user, e.g. via exception).
193 machine_int_t (*read)(mp_obj_t obj, void *buf, machine_uint_t size, int *errcode);
194 machine_int_t (*write)(mp_obj_t obj, const void *buf, machine_uint_t size, int *errcode);
195 // add seek() ?
196} mp_stream_p_t;
197
Damiend99b0522013-12-21 18:17:45 +0000198struct _mp_obj_type_t {
199 mp_obj_base_t base;
Damien Georgea71c83a2014-02-15 11:34:50 +0000200 qstr name;
Damiend99b0522013-12-21 18:17:45 +0000201 mp_print_fun_t print;
Damien George71c51812014-01-04 20:21:15 +0000202 mp_make_new_fun_t make_new; // to make an instance of the type
Damiend99b0522013-12-21 18:17:45 +0000203
Damien George20006db2014-01-18 14:10:48 +0000204 mp_call_fun_t call;
Damiend99b0522013-12-21 18:17:45 +0000205 mp_unary_op_fun_t unary_op; // can return NULL if op not supported
206 mp_binary_op_fun_t binary_op; // can return NULL if op not supported
207
Damien Georgea71c83a2014-02-15 11:34:50 +0000208 mp_load_attr_fun_t load_attr;
209 mp_store_attr_fun_t store_attr;
210 // Implements container[index] = val; note that load_item is implemented
211 // by binary_op(RT_BINARY_OP_SUBSCR)
212 mp_store_item_fun_t store_item;
213
Damiend99b0522013-12-21 18:17:45 +0000214 mp_fun_1_t getiter;
Damien George66eaf842014-03-26 19:27:58 +0000215 mp_fun_1_t iternext; // may return MP_OBJ_NULL as an optimisation instead of raising StopIteration() (with no args)
Damiend99b0522013-12-21 18:17:45 +0000216
Paul Sokolovsky5b15daf2014-01-07 20:12:26 +0200217 // Alternatively, pointer(s) to interfaces to save space
218 // in mp_obj_type_t at the expense of extra pointer and extra dereference
219 // when actually used.
220 mp_buffer_p_t buffer_p;
221 mp_stream_p_t stream_p;
222
Damien George004cdce2014-01-09 21:43:51 +0000223 // these are for dynamically created types (classes)
224 mp_obj_t bases_tuple;
225 mp_obj_t locals_dict;
Damien George062478e2014-01-09 20:57:50 +0000226
Damiend99b0522013-12-21 18:17:45 +0000227 /*
228 What we might need to add here:
229
Damiend99b0522013-12-21 18:17:45 +0000230 store_subscr list dict
231
232 len str tuple list map
233 abs float complex
234 hash bool int none str
235 equal int str
Damiend99b0522013-12-21 18:17:45 +0000236
237 unpack seq list tuple
Damiend99b0522013-12-21 18:17:45 +0000238 */
239};
240
ian-v7a16fad2014-01-06 09:52:29 -0800241typedef struct _mp_obj_type_t mp_obj_type_t;
Damiend99b0522013-12-21 18:17:45 +0000242
Damien Georgec5966122014-02-15 16:10:44 +0000243// Constant types, globally accessible
Damien Georgec5966122014-02-15 16:10:44 +0000244extern const mp_obj_type_t mp_type_type;
Damien George3e1a5c12014-03-29 13:43:38 +0000245extern const mp_obj_type_t mp_type_object;
246extern const mp_obj_type_t mp_type_NoneType;
247extern const mp_obj_type_t mp_type_bool;
248extern const mp_obj_type_t mp_type_int;
249extern const mp_obj_type_t mp_type_str;
250extern const mp_obj_type_t mp_type_bytes;
251extern const mp_obj_type_t mp_type_float;
252extern const mp_obj_type_t mp_type_complex;
253extern const mp_obj_type_t mp_type_tuple;
254extern const mp_obj_type_t mp_type_list;
255extern const mp_obj_type_t mp_type_map; // map (the python builtin, not the dict implementation detail)
256extern const mp_obj_type_t mp_type_enumerate;
257extern const mp_obj_type_t mp_type_filter;
258extern const mp_obj_type_t mp_type_dict;
259extern const mp_obj_type_t mp_type_set;
260extern const mp_obj_type_t mp_type_slice;
261extern const mp_obj_type_t mp_type_zip;
262extern const mp_obj_type_t mp_type_array;
263extern const mp_obj_type_t mp_type_super;
264extern const mp_obj_type_t mp_type_gen_instance;
265extern const mp_obj_type_t mp_type_fun_native;
266extern const mp_obj_type_t mp_type_fun_bc;
267extern const mp_obj_type_t mp_type_module;
268extern const mp_obj_type_t mp_type_staticmethod;
269extern const mp_obj_type_t mp_type_classmethod;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000270
271// Exceptions
Damien Georgec5966122014-02-15 16:10:44 +0000272extern const mp_obj_type_t mp_type_BaseException;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000273extern const mp_obj_type_t mp_type_ArithmeticError;
274extern const mp_obj_type_t mp_type_AssertionError;
275extern const mp_obj_type_t mp_type_AttributeError;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000276extern const mp_obj_type_t mp_type_EOFError;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000277extern const mp_obj_type_t mp_type_Exception;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000278extern const mp_obj_type_t mp_type_GeneratorExit;
279extern const mp_obj_type_t mp_type_IOError;
280extern const mp_obj_type_t mp_type_ImportError;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000281extern const mp_obj_type_t mp_type_IndentationError;
282extern const mp_obj_type_t mp_type_IndexError;
283extern const mp_obj_type_t mp_type_KeyError;
284extern const mp_obj_type_t mp_type_LookupError;
285extern const mp_obj_type_t mp_type_MemoryError;
286extern const mp_obj_type_t mp_type_NameError;
287extern const mp_obj_type_t mp_type_NotImplementedError;
288extern const mp_obj_type_t mp_type_OSError;
289extern const mp_obj_type_t mp_type_OverflowError;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000290extern const mp_obj_type_t mp_type_RuntimeError;
Damien Georgeffb5cfc2014-03-25 14:29:40 +0000291extern const mp_obj_type_t mp_type_StopIteration;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000292extern const mp_obj_type_t mp_type_SyntaxError;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000293extern const mp_obj_type_t mp_type_SystemError;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000294extern const mp_obj_type_t mp_type_TypeError;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000295extern const mp_obj_type_t mp_type_ValueError;
Rachel Dowdall721c55d2014-03-22 15:28:16 +0000296extern const mp_obj_type_t mp_type_ZeroDivisionError;
297
Damiend99b0522013-12-21 18:17:45 +0000298// Constant objects, globally accessible
Damien George07ddab52014-03-29 13:15:08 +0000299// The macros are for convenience only
300#define mp_const_none ((mp_obj_t)&mp_const_none_obj)
301#define mp_const_false ((mp_obj_t)&mp_const_false_obj)
302#define mp_const_true ((mp_obj_t)&mp_const_true_obj)
303#define mp_const_empty_tuple ((mp_obj_t)&mp_const_empty_tuple_obj)
304extern const struct _mp_obj_none_t mp_const_none_obj;
305extern const struct _mp_obj_bool_t mp_const_false_obj;
306extern const struct _mp_obj_bool_t mp_const_true_obj;
307extern const struct _mp_obj_tuple_t mp_const_empty_tuple_obj;
308extern const struct _mp_obj_ellipsis_t mp_const_ellipsis_obj;
309extern const struct _mp_obj_exception_t mp_const_GeneratorExit_obj;
Damiend99b0522013-12-21 18:17:45 +0000310
Damiend99b0522013-12-21 18:17:45 +0000311// General API for objects
312
Damien Georgea71c83a2014-02-15 11:34:50 +0000313mp_obj_t mp_obj_new_type(qstr name, mp_obj_t bases_tuple, mp_obj_t locals_dict);
Damiend99b0522013-12-21 18:17:45 +0000314mp_obj_t mp_obj_new_none(void);
315mp_obj_t mp_obj_new_bool(bool value);
Damien George6baf76e2013-12-30 22:32:17 +0000316mp_obj_t mp_obj_new_cell(mp_obj_t obj);
Damiend99b0522013-12-21 18:17:45 +0000317mp_obj_t mp_obj_new_int(machine_int_t value);
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200318mp_obj_t mp_obj_new_int_from_uint(machine_uint_t value);
319mp_obj_t mp_obj_new_int_from_long_str(const char *s);
Damien George9d68e9c2014-03-12 15:38:15 +0000320mp_obj_t mp_obj_new_int_from_ll(long long val); // this must return a multi-precision integer object (or raise an overflow exception)
Damien George5fa93b62014-01-22 14:35:10 +0000321mp_obj_t mp_obj_new_str(const byte* data, uint len, bool make_qstr_if_not_already);
Paul Sokolovsky91fb1c92014-01-24 22:50:40 +0200322mp_obj_t mp_obj_new_bytes(const byte* data, uint len);
Damiend99b0522013-12-21 18:17:45 +0000323#if MICROPY_ENABLE_FLOAT
324mp_obj_t mp_obj_new_float(mp_float_t val);
325mp_obj_t mp_obj_new_complex(mp_float_t real, mp_float_t imag);
326#endif
Damien Georgec5966122014-02-15 16:10:44 +0000327mp_obj_t mp_obj_new_exception(const mp_obj_type_t *exc_type);
Paul Sokolovsky962b1cd2014-03-23 21:48:29 +0200328mp_obj_t mp_obj_new_exception_args(const mp_obj_type_t *exc_type, uint n_args, const mp_obj_t *args);
Damien Georgec5966122014-02-15 16:10:44 +0000329mp_obj_t mp_obj_new_exception_msg(const mp_obj_type_t *exc_type, const char *msg);
330mp_obj_t mp_obj_new_exception_msg_varg(const mp_obj_type_t *exc_type, const char *fmt, ...); // counts args by number of % symbols in fmt, excluding %%; can only handle void* sizes (ie no float/double!)
Damiend99b0522013-12-21 18:17:45 +0000331mp_obj_t mp_obj_new_range(int start, int stop, int step);
332mp_obj_t mp_obj_new_range_iterator(int cur, int stop, int step);
Damien Georgebee17b02014-03-27 11:07:04 +0000333mp_obj_t mp_obj_new_fun_bc(uint scope_flags, qstr *args, uint n_args, mp_obj_t def_args, const byte *code);
Damiend99b0522013-12-21 18:17:45 +0000334mp_obj_t mp_obj_new_fun_asm(uint n_args, void *fun);
Damien Georged0691cc2014-01-29 20:30:52 +0000335mp_obj_t mp_obj_new_gen_wrap(mp_obj_t fun);
Damiend99b0522013-12-21 18:17:45 +0000336mp_obj_t mp_obj_new_closure(mp_obj_t fun, mp_obj_t closure_tuple);
John R. Lentonc06763a2014-01-07 17:29:16 +0000337mp_obj_t mp_obj_new_tuple(uint n, const mp_obj_t *items);
Damiend99b0522013-12-21 18:17:45 +0000338mp_obj_t mp_obj_new_list(uint n, mp_obj_t *items);
Damiend99b0522013-12-21 18:17:45 +0000339mp_obj_t mp_obj_new_dict(int n_args);
340mp_obj_t mp_obj_new_set(int n_args, mp_obj_t *items);
Paul Sokolovsky1c6de112014-01-03 02:41:17 +0200341mp_obj_t mp_obj_new_slice(mp_obj_t start, mp_obj_t stop, mp_obj_t step);
Damien George35e2a4e2014-02-05 00:51:47 +0000342mp_obj_t mp_obj_new_super(mp_obj_t type, mp_obj_t obj);
Damien George20006db2014-01-18 14:10:48 +0000343mp_obj_t mp_obj_new_bound_meth(mp_obj_t meth, mp_obj_t self);
Damien George7c9c6672014-01-25 00:17:36 +0000344mp_obj_t mp_obj_new_getitem_iter(mp_obj_t *args);
Damien George28708622014-01-02 21:30:26 +0000345mp_obj_t mp_obj_new_module(qstr module_name);
Damiend99b0522013-12-21 18:17:45 +0000346
Damien George5fa93b62014-01-22 14:35:10 +0000347mp_obj_type_t *mp_obj_get_type(mp_obj_t o_in);
Damiend99b0522013-12-21 18:17:45 +0000348const char *mp_obj_get_type_str(mp_obj_t o_in);
Damien George9e6e9352014-03-26 18:37:06 +0000349bool mp_obj_is_subclass_fast(mp_const_obj_t object, mp_const_obj_t classinfo); // arguments should be type objects
Damiend99b0522013-12-21 18:17:45 +0000350
Paul Sokolovsky76d982e2014-01-13 19:19:16 +0200351void mp_obj_print_helper(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t o_in, mp_print_kind_t kind);
352void mp_obj_print(mp_obj_t o, mp_print_kind_t kind);
Damien George136b1492014-01-19 12:38:49 +0000353void mp_obj_print_exception(mp_obj_t exc);
Damiend99b0522013-12-21 18:17:45 +0000354
Damien Georged17926d2014-03-30 13:35:08 +0100355int mp_obj_is_true(mp_obj_t arg);
Damiend99b0522013-12-21 18:17:45 +0000356bool mp_obj_is_callable(mp_obj_t o_in);
357machine_int_t mp_obj_hash(mp_obj_t o_in);
358bool mp_obj_equal(mp_obj_t o1, mp_obj_t o2);
359bool mp_obj_less(mp_obj_t o1, mp_obj_t o2);
360
361machine_int_t mp_obj_get_int(mp_obj_t arg);
362#if MICROPY_ENABLE_FLOAT
363mp_float_t mp_obj_get_float(mp_obj_t self_in);
364void mp_obj_get_complex(mp_obj_t self_in, mp_float_t *real, mp_float_t *imag);
365#endif
Damien George5fa93b62014-01-22 14:35:10 +0000366//qstr mp_obj_get_qstr(mp_obj_t arg);
Damien George24ff0632014-03-24 10:47:13 +0000367void mp_obj_get_array(mp_obj_t o, uint *len, mp_obj_t **items);
368void mp_obj_get_array_fixed_n(mp_obj_t o, uint len, mp_obj_t **items);
xbe9e1e8cd2014-03-12 22:57:16 -0700369uint mp_get_index(const mp_obj_type_t *type, machine_uint_t len, mp_obj_t index, bool is_slice);
John R. Lenton4bee76e2014-01-10 11:25:03 +0000370mp_obj_t mp_obj_len_maybe(mp_obj_t o_in); /* may return NULL */
Damiend99b0522013-12-21 18:17:45 +0000371
Damiend99b0522013-12-21 18:17:45 +0000372// bool
John R. Lentonb8698fc2014-01-11 00:58:59 +0000373#define MP_BOOL(x) (x ? mp_const_true : mp_const_false)
Damiend99b0522013-12-21 18:17:45 +0000374
375// cell
376mp_obj_t mp_obj_cell_get(mp_obj_t self_in);
377void mp_obj_cell_set(mp_obj_t self_in, mp_obj_t obj);
378
Damien George71c51812014-01-04 20:21:15 +0000379// int
Paul Sokolovskyd26b3792014-01-18 16:07:16 +0200380// For long int, returns value truncated to machine_int_t
381machine_int_t mp_obj_int_get(mp_obj_t self_in);
Damien Georgeeabdf672014-03-22 20:54:01 +0000382#if MICROPY_ENABLE_FLOAT
383mp_float_t mp_obj_int_as_float(mp_obj_t self_in);
384#endif
Paul Sokolovskyd26b3792014-01-18 16:07:16 +0200385// Will rains exception if value doesn't fit into machine_int_t
386machine_int_t mp_obj_int_get_checked(mp_obj_t self_in);
Damien George71c51812014-01-04 20:21:15 +0000387
Damienb86e3f92013-12-29 17:17:43 +0000388// exception
Damien Georgec5966122014-02-15 16:10:44 +0000389bool mp_obj_is_exception_type(mp_obj_t self_in);
390bool mp_obj_is_exception_instance(mp_obj_t self_in);
Paul Sokolovsky962b1cd2014-03-23 21:48:29 +0200391bool mp_obj_exception_match(mp_obj_t exc, const mp_obj_type_t *exc_type);
Damien Georgec5966122014-02-15 16:10:44 +0000392void mp_obj_exception_clear_traceback(mp_obj_t self_in);
Damien George136b1492014-01-19 12:38:49 +0000393void mp_obj_exception_add_traceback(mp_obj_t self_in, qstr file, machine_uint_t line, qstr block);
394void mp_obj_exception_get_traceback(mp_obj_t self_in, machine_uint_t *n, machine_uint_t **values);
Paul Sokolovskyaf1ae302014-03-26 19:17:20 +0200395mp_obj_t mp_obj_exception_get_value(mp_obj_t self_in);
Damienb86e3f92013-12-29 17:17:43 +0000396
Damiend99b0522013-12-21 18:17:45 +0000397// str
Paul Sokolovsky91fb1c92014-01-24 22:50:40 +0200398mp_obj_t mp_obj_str_builder_start(const mp_obj_type_t *type, uint len, byte **data);
Damien George5fa93b62014-01-22 14:35:10 +0000399mp_obj_t mp_obj_str_builder_end(mp_obj_t o_in);
400bool mp_obj_str_equal(mp_obj_t s1, mp_obj_t s2);
401uint mp_obj_str_get_hash(mp_obj_t self_in);
402uint mp_obj_str_get_len(mp_obj_t self_in);
Damien Georgeb829b5c2014-01-25 13:51:19 +0000403qstr mp_obj_str_get_qstr(mp_obj_t self_in); // use this if you will anyway convert the string to a qstr
Damien George5fa93b62014-01-22 14:35:10 +0000404const char *mp_obj_str_get_str(mp_obj_t self_in); // use this only if you need the string to be null terminated
Damien George698ec212014-02-08 18:17:23 +0000405const char *mp_obj_str_get_data(mp_obj_t self_in, uint *len);
Paul Sokolovsky0b7e29c2014-01-28 03:40:06 +0200406void mp_str_print_quoted(void (*print)(void *env, const char *fmt, ...), void *env, const byte *str_data, uint str_len);
Damiend99b0522013-12-21 18:17:45 +0000407
408#if MICROPY_ENABLE_FLOAT
409// float
Damien George0c36da02014-03-08 15:24:39 +0000410typedef struct _mp_obj_float_t {
411 mp_obj_base_t base;
412 mp_float_t value;
413} mp_obj_float_t;
Damiend99b0522013-12-21 18:17:45 +0000414mp_float_t mp_obj_float_get(mp_obj_t self_in);
Damien Georgee2e3d112014-01-06 22:13:00 +0000415mp_obj_t mp_obj_float_binary_op(int op, mp_float_t lhs_val, mp_obj_t rhs);
Damiend99b0522013-12-21 18:17:45 +0000416
417// complex
Damiend99b0522013-12-21 18:17:45 +0000418void mp_obj_complex_get(mp_obj_t self_in, mp_float_t *real, mp_float_t *imag);
Damien Georgee2e3d112014-01-06 22:13:00 +0000419mp_obj_t mp_obj_complex_binary_op(int op, mp_float_t lhs_real, mp_float_t lhs_imag, mp_obj_t rhs_in);
Damiend99b0522013-12-21 18:17:45 +0000420#endif
421
422// tuple
Damiend99b0522013-12-21 18:17:45 +0000423void mp_obj_tuple_get(mp_obj_t self_in, uint *len, mp_obj_t **items);
John R. Lenton07205ec2014-01-13 02:31:00 +0000424void mp_obj_tuple_del(mp_obj_t self_in);
Damien George7f8be592014-03-20 19:20:59 +0000425machine_int_t mp_obj_tuple_hash(mp_obj_t self_in);
Paul Sokolovsky55ca0752014-03-30 17:35:53 +0300426mp_obj_t mp_obj_tuple_make_new(mp_obj_t type_in, uint n_args, uint n_kw, const mp_obj_t *args);
Damiend99b0522013-12-21 18:17:45 +0000427
428// list
Damiend99b0522013-12-21 18:17:45 +0000429mp_obj_t mp_obj_list_append(mp_obj_t self_in, mp_obj_t arg);
430void mp_obj_list_get(mp_obj_t self_in, uint *len, mp_obj_t **items);
431void mp_obj_list_store(mp_obj_t self_in, mp_obj_t index, mp_obj_t value);
Damien Georgedf6567e2014-03-30 13:54:02 +0100432mp_obj_t mp_obj_list_sort(uint n_args, const mp_obj_t *args, mp_map_t *kwargs);
Damiend99b0522013-12-21 18:17:45 +0000433
434// dict
Damien Georgedf6567e2014-03-30 13:54:02 +0100435typedef struct _mp_obj_dict_t {
436 mp_obj_base_t base;
437 mp_map_t map;
438} mp_obj_dict_t;
Damiendae7eb72013-12-29 22:32:51 +0000439uint mp_obj_dict_len(mp_obj_t self_in);
Damiend99b0522013-12-21 18:17:45 +0000440mp_obj_t mp_obj_dict_store(mp_obj_t self_in, mp_obj_t key, mp_obj_t value);
Damien Georgedf6567e2014-03-30 13:54:02 +0100441mp_map_t *mp_obj_dict_get_map(mp_obj_t self_in);
Damiend99b0522013-12-21 18:17:45 +0000442
443// set
444void mp_obj_set_store(mp_obj_t self_in, mp_obj_t item);
445
Paul Sokolovsky1c6de112014-01-03 02:41:17 +0200446// slice
Paul Sokolovsky1c6de112014-01-03 02:41:17 +0200447void mp_obj_slice_get(mp_obj_t self_in, machine_int_t *start, machine_int_t *stop, machine_int_t *step);
448
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200449// array
Paul Sokolovsky33996682014-01-21 23:30:10 +0200450uint mp_obj_array_len(mp_obj_t self_in);
Paul Sokolovsky7f11c792014-01-29 00:21:41 +0200451mp_obj_t mp_obj_new_bytearray_by_ref(uint n, void *items);
John R. Lenton07205ec2014-01-13 02:31:00 +0000452
Damiend99b0522013-12-21 18:17:45 +0000453// functions
Damien Georged5e81822014-02-26 17:47:05 +0000454#define MP_OBJ_FUN_ARGS_MAX (0xffff) // to set maximum value in n_args_max below
Damien George66028ab2014-01-03 14:03:48 +0000455typedef struct _mp_obj_fun_native_t { // need this so we can define const objects (to go in ROM)
Damiend99b0522013-12-21 18:17:45 +0000456 mp_obj_base_t base;
Damien George51047752014-02-26 17:40:52 +0000457 bool is_kw : 1;
Damien Georged5e81822014-02-26 17:47:05 +0000458 uint n_args_min : 15; // inclusive
459 uint n_args_max : 16; // inclusive
Damien660365e2013-12-17 18:27:24 +0000460 void *fun;
Damien George66028ab2014-01-03 14:03:48 +0000461 // TODO add mp_map_t *globals
462 // for const function objects, make an empty, const map
463 // such functions won't be able to access the global scope, but that's probably okay
Damiend99b0522013-12-21 18:17:45 +0000464} mp_obj_fun_native_t;
Damien George97209d32014-01-07 15:58:30 +0000465
Damien Georgebee17b02014-03-27 11:07:04 +0000466void mp_obj_fun_bc_get(mp_obj_t self_in, int *n_args, const byte **code);
Paul Sokolovsky7fafb282014-03-30 20:21:28 +0300467bool mp_obj_fun_prepare_simple_args(mp_obj_t self_in, uint n_args, uint n_kw, const mp_obj_t *args,
468 uint *out_args1_len, const mp_obj_t **out_args1, uint *out_args2_len, const mp_obj_t **out_args2);
Damien660365e2013-12-17 18:27:24 +0000469
Paul Sokolovskydff3f892014-01-20 18:37:30 +0200470mp_obj_t mp_identity(mp_obj_t self);
Paul Sokolovsky557c9d52014-02-08 21:57:19 +0200471MP_DECLARE_CONST_FUN_OBJ(mp_identity_obj);
Paul Sokolovskydff3f892014-01-20 18:37:30 +0200472
Damien George28708622014-01-02 21:30:26 +0000473// module
Damien George0c36da02014-03-08 15:24:39 +0000474typedef struct _mp_obj_module_t {
475 mp_obj_base_t base;
476 qstr name;
Damien Georgedf6567e2014-03-30 13:54:02 +0100477 mp_map_t *globals;
Damien George0c36da02014-03-08 15:24:39 +0000478} mp_obj_module_t;
Damien Georgedf6567e2014-03-30 13:54:02 +0100479mp_map_t *mp_obj_module_get_globals(mp_obj_t self_in);
Damien Georgeeae16442014-01-11 19:22:29 +0000480
481// staticmethod and classmethod types; defined here so we can make const versions
Damien George64131f32014-02-06 20:31:44 +0000482// this structure is used for instances of both staticmethod and classmethod
483typedef struct _mp_obj_static_class_method_t {
Damien Georgeeae16442014-01-11 19:22:29 +0000484 mp_obj_base_t base;
485 mp_obj_t fun;
Damien George64131f32014-02-06 20:31:44 +0000486} mp_obj_static_class_method_t;
Paul Sokolovsky439542f2014-01-21 00:19:19 +0200487
488// sequence helpers
489void mp_seq_multiply(const void *items, uint item_sz, uint len, uint times, void *dest);
Paul Sokolovsky7364af22014-02-02 02:38:22 +0200490bool m_seq_get_fast_slice_indexes(machine_uint_t len, mp_obj_t slice, machine_uint_t *begin, machine_uint_t *end);
Paul Sokolovskyee4aaf72014-02-08 23:17:51 +0200491#define m_seq_copy(dest, src, len, item_t) memcpy(dest, src, len * sizeof(item_t))
Paul Sokolovsky55ca0752014-03-30 17:35:53 +0300492#define m_seq_cat(dest, src1, len1, src2, len2, item_t) { memcpy(dest, src1, (len1) * sizeof(item_t)); memcpy(dest + (len1), src2, (len2) * sizeof(item_t)); }
Paul Sokolovsky87e85b72014-02-02 08:24:07 +0200493bool mp_seq_cmp_bytes(int op, const byte *data1, uint len1, const byte *data2, uint len2);
Paul Sokolovsky1a996c42014-02-08 22:49:46 +0200494bool mp_seq_cmp_objs(int op, const mp_obj_t *items1, uint len1, const mp_obj_t *items2, uint len2);
Paul Sokolovsky0cd1dc02014-02-10 06:37:11 +0200495mp_obj_t mp_seq_index_obj(const mp_obj_t *items, uint len, uint n_args, const mp_obj_t *args);
Paul Sokolovskyac0134d2014-02-10 07:10:55 +0200496mp_obj_t mp_seq_count_obj(const mp_obj_t *items, uint len, mp_obj_t value);