Damien George | d02c6d8 | 2014-01-15 22:14:03 +0000 | [diff] [blame] | 1 | #include <stdint.h> |
| 2 | #include <stdlib.h> |
| 3 | #include <stdio.h> |
| 4 | #include <stdarg.h> |
| 5 | #include <string.h> |
| 6 | #include <assert.h> |
| 7 | |
| 8 | #include "nlr.h" |
| 9 | #include "misc.h" |
| 10 | #include "mpconfig.h" |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 11 | #include "qstr.h" |
Damien George | d02c6d8 | 2014-01-15 22:14:03 +0000 | [diff] [blame] | 12 | #include "lexer.h" |
| 13 | #include "lexerunix.h" |
| 14 | #include "parse.h" |
| 15 | #include "obj.h" |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 16 | #include "parsehelper.h" |
Damien George | d02c6d8 | 2014-01-15 22:14:03 +0000 | [diff] [blame] | 17 | #include "compile.h" |
| 18 | #include "runtime0.h" |
| 19 | #include "runtime.h" |
| 20 | #include "map.h" |
| 21 | #include "builtin.h" |
| 22 | |
Paul Sokolovsky | 520e2f5 | 2014-02-12 18:31:30 +0200 | [diff] [blame] | 23 | STATIC mp_obj_t parse_compile_execute(mp_obj_t o_in, mp_parse_input_kind_t parse_input_kind) { |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 24 | uint str_len; |
Damien George | 698ec21 | 2014-02-08 18:17:23 +0000 | [diff] [blame] | 25 | const char *str = mp_obj_str_get_data(o_in, &str_len); |
Damien George | d02c6d8 | 2014-01-15 22:14:03 +0000 | [diff] [blame] | 26 | |
| 27 | // create the lexer |
Damien George | 698ec21 | 2014-02-08 18:17:23 +0000 | [diff] [blame] | 28 | mp_lexer_t *lex = mp_lexer_new_from_str_len(MP_QSTR__lt_string_gt_, str, str_len, 0); |
Damien George | b829b5c | 2014-01-25 13:51:19 +0000 | [diff] [blame] | 29 | qstr source_name = mp_lexer_source_name(lex); |
Damien George | d02c6d8 | 2014-01-15 22:14:03 +0000 | [diff] [blame] | 30 | |
| 31 | // parse the string |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 32 | mp_parse_error_kind_t parse_error_kind; |
| 33 | mp_parse_node_t pn = mp_parse(lex, parse_input_kind, &parse_error_kind); |
Damien George | d02c6d8 | 2014-01-15 22:14:03 +0000 | [diff] [blame] | 34 | mp_lexer_free(lex); |
| 35 | |
| 36 | if (pn == MP_PARSE_NODE_NULL) { |
| 37 | // parse error; raise exception |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 38 | nlr_jump(mp_parse_make_exception(parse_error_kind)); |
Damien George | d02c6d8 | 2014-01-15 22:14:03 +0000 | [diff] [blame] | 39 | } |
| 40 | |
| 41 | // compile the string |
Damien George | 0833500 | 2014-01-18 23:24:36 +0000 | [diff] [blame] | 42 | mp_obj_t module_fun = mp_compile(pn, source_name, false); |
Damien George | b829b5c | 2014-01-25 13:51:19 +0000 | [diff] [blame] | 43 | mp_parse_node_free(pn); |
Damien George | d02c6d8 | 2014-01-15 22:14:03 +0000 | [diff] [blame] | 44 | |
| 45 | if (module_fun == mp_const_none) { |
| 46 | // TODO handle compile error correctly |
| 47 | return mp_const_none; |
| 48 | } |
| 49 | |
| 50 | // complied successfully, execute it |
| 51 | return rt_call_function_0(module_fun); |
| 52 | } |
| 53 | |
Paul Sokolovsky | 520e2f5 | 2014-02-12 18:31:30 +0200 | [diff] [blame] | 54 | STATIC mp_obj_t mp_builtin_eval(mp_obj_t o_in) { |
Damien George | ca47679 | 2014-02-03 22:44:10 +0000 | [diff] [blame] | 55 | return parse_compile_execute(o_in, MP_PARSE_EVAL_INPUT); |
| 56 | } |
| 57 | |
Damien George | d02c6d8 | 2014-01-15 22:14:03 +0000 | [diff] [blame] | 58 | MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_eval_obj, mp_builtin_eval); |
Damien George | ca47679 | 2014-02-03 22:44:10 +0000 | [diff] [blame] | 59 | |
Paul Sokolovsky | 2aa217b | 2014-02-13 00:36:54 +0200 | [diff] [blame] | 60 | STATIC mp_obj_t mp_builtin_exec(uint n_args, const mp_obj_t *args) { |
| 61 | // Unconditional getting/setting assumes that these operations |
| 62 | // are cheap, which is the case when this comment was written. |
| 63 | mp_map_t *old_globals = rt_globals_get(); |
| 64 | mp_map_t *old_locals = rt_locals_get(); |
| 65 | if (n_args > 1) { |
| 66 | mp_obj_t globals = args[1]; |
| 67 | mp_obj_t locals; |
| 68 | if (n_args > 2) { |
| 69 | locals = args[2]; |
| 70 | } else { |
| 71 | locals = globals; |
| 72 | } |
| 73 | rt_globals_set(mp_obj_dict_get_map(globals)); |
| 74 | rt_locals_set(mp_obj_dict_get_map(locals)); |
| 75 | } |
| 76 | mp_obj_t res = parse_compile_execute(args[0], MP_PARSE_FILE_INPUT); |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 77 | // TODO if the above call throws an exception, then we never get to reset the globals/locals |
Paul Sokolovsky | 2aa217b | 2014-02-13 00:36:54 +0200 | [diff] [blame] | 78 | rt_globals_set(old_globals); |
| 79 | rt_locals_set(old_locals); |
| 80 | return res; |
Damien George | ca47679 | 2014-02-03 22:44:10 +0000 | [diff] [blame] | 81 | } |
| 82 | |
Paul Sokolovsky | 2aa217b | 2014-02-13 00:36:54 +0200 | [diff] [blame] | 83 | MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_exec_obj, 1, 3, mp_builtin_exec); |