argcheck.c 5.66 KB
Newer Older
1
/*
2
 * This file is part of the MicroPython project, http://micropython.org/
3 4 5
 *
 * The MIT License (MIT)
 *
6
 * Copyright (c) 2013, 2014 Damien P. George
7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
 *
 * 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.
 */
26

27 28 29
#include <stdlib.h>
#include <assert.h>

30
#include "py/runtime.h"
31

32
void mp_arg_check_num(size_t n_args, size_t n_kw, size_t n_args_min, size_t n_args_max, bool takes_kw) {
33 34 35
    // TODO maybe take the function name as an argument so we can print nicer error messages

    if (n_kw && !takes_kw) {
36
        #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE
37
            mp_arg_error_terse_mismatch();
38
        #else
39
            mp_raise_TypeError("function does not take keyword arguments");
40
        #endif
41 42 43 44
    }

    if (n_args_min == n_args_max) {
        if (n_args != n_args_min) {
45
            #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE
46
                mp_arg_error_terse_mismatch();
47
            #else
48 49 50
                nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
                    "function takes %d positional arguments but %d were given",
                    n_args_min, n_args));
51
            #endif
52 53 54
        }
    } else {
        if (n_args < n_args_min) {
55
            #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE
56
                mp_arg_error_terse_mismatch();
57
            #else
58 59 60
                nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
                    "function missing %d required positional arguments",
                    n_args_min - n_args));
61
            #endif
62
        } else if (n_args > n_args_max) {
63
            #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE
64
                mp_arg_error_terse_mismatch();
65
            #else
66 67 68
                nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
                    "function expected at most %d arguments, got %d",
                    n_args_max, n_args));
69
            #endif
70 71 72 73
        }
    }
}

74 75 76
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++) {
77 78
        mp_obj_t given_arg;
        if (i < n_pos) {
79
            if (allowed[i].flags & MP_ARG_KW_ONLY) {
80
                goto extra_positional;
81 82 83 84
            }
            pos_found++;
            given_arg = pos[i];
        } else {
85
            mp_map_elem_t *kw = mp_map_lookup(kws, MP_OBJ_NEW_QSTR(allowed[i].qst), MP_MAP_LOOKUP);
86
            if (kw == NULL) {
87
                if (allowed[i].flags & MP_ARG_REQUIRED) {
88
                    #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE
89
                        mp_arg_error_terse_mismatch();
90
                    #else
91
                        nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
92
                            "'%q' argument required", allowed[i].qst));
93
                    #endif
94 95 96 97 98 99 100 101
                }
                out_vals[i] = allowed[i].defval;
                continue;
            } else {
                kws_found++;
                given_arg = kw->value;
            }
        }
102
        if ((allowed[i].flags & MP_ARG_KIND_MASK) == MP_ARG_BOOL) {
103
            out_vals[i].u_bool = mp_obj_is_true(given_arg);
104
        } else if ((allowed[i].flags & MP_ARG_KIND_MASK) == MP_ARG_INT) {
105 106
            out_vals[i].u_int = mp_obj_get_int(given_arg);
        } else {
107 108
            assert((allowed[i].flags & MP_ARG_KIND_MASK) == MP_ARG_OBJ);
            out_vals[i].u_obj = given_arg;
109 110 111
        }
    }
    if (pos_found < n_pos) {
112
        extra_positional:
113
        #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE
114
            mp_arg_error_terse_mismatch();
115
        #else
116
            // TODO better error message
117
            mp_raise_TypeError("extra positional arguments given");
118
        #endif
119 120
    }
    if (kws_found < kws->used) {
121
        #if MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE
122
            mp_arg_error_terse_mismatch();
123
        #else
124
            // TODO better error message
125
            mp_raise_TypeError("extra keyword arguments given");
126
        #endif
127 128
    }
}
129

130
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) {
131 132 133 134
    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);
}
135

136
NORETURN void mp_arg_error_terse_mismatch(void) {
137
    mp_raise_TypeError("argument num/types mismatch");
138 139
}

140
#if MICROPY_CPYTHON_COMPAT
141
NORETURN void mp_arg_error_unimpl_kw(void) {
142
    mp_raise_NotImplementedError("keyword argument(s) not yet implemented - use normal args instead");
143 144
}
#endif