2014-04-30 23:53:07 +00:00
|
|
|
/*
|
2017-06-30 07:22:17 +00:00
|
|
|
* This file is part of the MicroPython project, http://micropython.org/
|
2014-04-30 23:53:07 +00:00
|
|
|
*
|
|
|
|
* The MIT License (MIT)
|
|
|
|
*
|
2014-05-03 22:27:38 +00:00
|
|
|
* Copyright (c) 2013, 2014 Damien P. George
|
2014-04-30 23:53:07 +00:00
|
|
|
*
|
|
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
|
|
* in the Software without restriction, including without limitation the rights
|
|
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
|
|
* furnished to do so, subject to the following conditions:
|
|
|
|
*
|
|
|
|
* The above copyright notice and this permission notice shall be included in
|
|
|
|
* all copies or substantial portions of the Software.
|
|
|
|
*
|
|
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
|
|
* THE SOFTWARE.
|
|
|
|
*/
|
2014-05-03 22:27:38 +00:00
|
|
|
|
2014-04-19 23:13:22 +00:00
|
|
|
#include <stdlib.h>
|
|
|
|
#include <assert.h>
|
|
|
|
|
2015-01-01 20:27:54 +00:00
|
|
|
#include "py/runtime.h"
|
2014-04-19 23:13:22 +00:00
|
|
|
|
2018-09-14 03:39:17 +00:00
|
|
|
void mp_arg_check_num_sig(size_t n_args, size_t n_kw, uint32_t sig) {
|
2014-04-19 23:13:22 +00:00
|
|
|
// TODO maybe take the function name as an argument so we can print nicer error messages
|
|
|
|
|
2018-09-14 03:39:17 +00:00
|
|
|
// The reverse of MP_OBJ_FUN_MAKE_SIG
|
|
|
|
bool takes_kw = sig & 1;
|
|
|
|
size_t n_args_min = sig >> 17;
|
|
|
|
size_t n_args_max = (sig >> 1) & 0xffff;
|
|
|
|
|
2014-04-19 23:13:22 +00:00
|
|
|
if (n_kw && !takes_kw) {
|
2021-04-22 02:13:58 +00:00
|
|
|
#if MICROPY_ERROR_REPORTING <= MICROPY_ERROR_REPORTING_TERSE
|
2019-09-26 12:52:04 +00:00
|
|
|
mp_arg_error_terse_mismatch();
|
|
|
|
#else
|
2020-03-02 11:35:22 +00:00
|
|
|
mp_raise_TypeError(MP_ERROR_TEXT("function doesn't take keyword arguments"));
|
2019-09-26 12:52:04 +00:00
|
|
|
#endif
|
2014-04-19 23:13:22 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (n_args_min == n_args_max) {
|
|
|
|
if (n_args != n_args_min) {
|
2021-04-22 02:13:58 +00:00
|
|
|
#if MICROPY_ERROR_REPORTING <= MICROPY_ERROR_REPORTING_TERSE
|
2019-09-26 12:52:04 +00:00
|
|
|
mp_arg_error_terse_mismatch();
|
|
|
|
#else
|
|
|
|
mp_raise_msg_varg(&mp_type_TypeError,
|
2020-03-02 11:35:22 +00:00
|
|
|
MP_ERROR_TEXT("function takes %d positional arguments but %d were given"),
|
2019-09-26 12:52:04 +00:00
|
|
|
n_args_min, n_args);
|
|
|
|
#endif
|
2014-04-19 23:13:22 +00:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if (n_args < n_args_min) {
|
2021-04-22 02:13:58 +00:00
|
|
|
#if MICROPY_ERROR_REPORTING <= MICROPY_ERROR_REPORTING_TERSE
|
2019-09-26 12:52:04 +00:00
|
|
|
mp_arg_error_terse_mismatch();
|
|
|
|
#else
|
|
|
|
mp_raise_msg_varg(&mp_type_TypeError,
|
2020-03-02 11:35:22 +00:00
|
|
|
MP_ERROR_TEXT("function missing %d required positional arguments"),
|
2019-09-26 12:52:04 +00:00
|
|
|
n_args_min - n_args);
|
|
|
|
#endif
|
2014-04-19 23:13:22 +00:00
|
|
|
} else if (n_args > n_args_max) {
|
2021-04-22 02:13:58 +00:00
|
|
|
#if MICROPY_ERROR_REPORTING <= MICROPY_ERROR_REPORTING_TERSE
|
2019-09-26 12:52:04 +00:00
|
|
|
mp_arg_error_terse_mismatch();
|
|
|
|
#else
|
|
|
|
mp_raise_msg_varg(&mp_type_TypeError,
|
2020-03-02 11:35:22 +00:00
|
|
|
MP_ERROR_TEXT("function expected at most %d arguments, got %d"),
|
2019-09-26 12:52:04 +00:00
|
|
|
n_args_max, n_args);
|
|
|
|
#endif
|
2014-04-19 23:13:22 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-03-14 22:35:48 +00:00
|
|
|
void mp_arg_parse_all(size_t n_pos, const mp_obj_t *pos, mp_map_t *kws, size_t n_allowed, const mp_arg_t *allowed, mp_arg_val_t *out_vals) {
|
|
|
|
size_t pos_found = 0, kws_found = 0;
|
|
|
|
for (size_t i = 0; i < n_allowed; i++) {
|
2014-04-19 23:13:22 +00:00
|
|
|
mp_obj_t given_arg;
|
|
|
|
if (i < n_pos) {
|
2014-04-26 10:19:17 +00:00
|
|
|
if (allowed[i].flags & MP_ARG_KW_ONLY) {
|
2014-04-20 23:09:44 +00:00
|
|
|
goto extra_positional;
|
2014-04-19 23:13:22 +00:00
|
|
|
}
|
|
|
|
pos_found++;
|
|
|
|
given_arg = pos[i];
|
|
|
|
} else {
|
2015-01-20 11:55:10 +00:00
|
|
|
mp_map_elem_t *kw = mp_map_lookup(kws, MP_OBJ_NEW_QSTR(allowed[i].qst), MP_MAP_LOOKUP);
|
2014-04-19 23:13:22 +00:00
|
|
|
if (kw == NULL) {
|
2014-04-26 10:19:17 +00:00
|
|
|
if (allowed[i].flags & MP_ARG_REQUIRED) {
|
2021-04-22 02:13:58 +00:00
|
|
|
#if MICROPY_ERROR_REPORTING <= MICROPY_ERROR_REPORTING_TERSE
|
2019-09-26 12:52:04 +00:00
|
|
|
mp_arg_error_terse_mismatch();
|
|
|
|
#else
|
2020-03-02 11:35:22 +00:00
|
|
|
mp_raise_msg_varg(&mp_type_TypeError, MP_ERROR_TEXT("'%q' argument required"), allowed[i].qst);
|
2019-09-26 12:52:04 +00:00
|
|
|
#endif
|
2014-04-19 23:13:22 +00:00
|
|
|
}
|
|
|
|
out_vals[i] = allowed[i].defval;
|
|
|
|
continue;
|
|
|
|
} else {
|
|
|
|
kws_found++;
|
|
|
|
given_arg = kw->value;
|
|
|
|
}
|
|
|
|
}
|
2014-04-26 10:19:17 +00:00
|
|
|
if ((allowed[i].flags & MP_ARG_KIND_MASK) == MP_ARG_BOOL) {
|
2014-04-19 23:13:22 +00:00
|
|
|
out_vals[i].u_bool = mp_obj_is_true(given_arg);
|
2014-04-26 10:19:17 +00:00
|
|
|
} else if ((allowed[i].flags & MP_ARG_KIND_MASK) == MP_ARG_INT) {
|
2014-04-19 23:13:22 +00:00
|
|
|
out_vals[i].u_int = mp_obj_get_int(given_arg);
|
|
|
|
} else {
|
2016-09-30 06:45:43 +00:00
|
|
|
assert((allowed[i].flags & MP_ARG_KIND_MASK) == MP_ARG_OBJ);
|
|
|
|
out_vals[i].u_obj = given_arg;
|
2014-04-19 23:13:22 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
if (pos_found < n_pos) {
|
2020-02-27 04:36:53 +00:00
|
|
|
extra_positional:
|
2021-04-22 02:13:58 +00:00
|
|
|
#if MICROPY_ERROR_REPORTING <= MICROPY_ERROR_REPORTING_TERSE
|
2019-09-26 12:52:04 +00:00
|
|
|
mp_arg_error_terse_mismatch();
|
|
|
|
#else
|
|
|
|
// TODO better error message
|
2020-03-02 11:35:22 +00:00
|
|
|
mp_raise_TypeError(MP_ERROR_TEXT("extra positional arguments given"));
|
2019-09-26 12:52:04 +00:00
|
|
|
#endif
|
2014-04-19 23:13:22 +00:00
|
|
|
}
|
|
|
|
if (kws_found < kws->used) {
|
2021-04-22 02:13:58 +00:00
|
|
|
#if MICROPY_ERROR_REPORTING <= MICROPY_ERROR_REPORTING_TERSE
|
2019-09-26 12:52:04 +00:00
|
|
|
mp_arg_error_terse_mismatch();
|
|
|
|
#else
|
|
|
|
// TODO better error message
|
2020-03-02 11:35:22 +00:00
|
|
|
mp_raise_TypeError(MP_ERROR_TEXT("extra keyword arguments given"));
|
2019-09-26 12:52:04 +00:00
|
|
|
#endif
|
2014-04-19 23:13:22 +00:00
|
|
|
}
|
|
|
|
}
|
2014-05-06 16:38:54 +00:00
|
|
|
|
2016-03-14 22:35:48 +00:00
|
|
|
void mp_arg_parse_all_kw_array(size_t n_pos, size_t n_kw, const mp_obj_t *args, size_t n_allowed, const mp_arg_t *allowed, mp_arg_val_t *out_vals) {
|
2014-05-06 16:38:54 +00:00
|
|
|
mp_map_t kw_args;
|
|
|
|
mp_map_init_fixed_table(&kw_args, n_kw, args + n_pos);
|
|
|
|
mp_arg_parse_all(n_pos, args, &kw_args, n_allowed, allowed, out_vals);
|
|
|
|
}
|
2014-05-06 16:52:35 +00:00
|
|
|
|
2015-01-01 15:33:50 +00:00
|
|
|
NORETURN void mp_arg_error_terse_mismatch(void) {
|
2020-03-02 11:35:22 +00:00
|
|
|
mp_raise_TypeError(MP_ERROR_TEXT("argument num/types mismatch"));
|
2015-01-01 15:33:50 +00:00
|
|
|
}
|
|
|
|
|
2014-05-06 16:25:25 +00:00
|
|
|
#if MICROPY_CPYTHON_COMPAT
|
2014-05-06 16:52:35 +00:00
|
|
|
NORETURN void mp_arg_error_unimpl_kw(void) {
|
2020-03-02 11:35:22 +00:00
|
|
|
mp_raise_NotImplementedError(MP_ERROR_TEXT("keyword argument(s) not yet implemented - use normal args instead"));
|
2014-05-06 16:25:25 +00:00
|
|
|
}
|
|
|
|
#endif
|