|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Typedefs | |
| using | keyword_valuest = std::unordered_map<std::string, const nlohmann::json *> |
Functions | |
| keyword_valuest | collect_keyword_values (const std::string &method_name, const nlohmann::json &keywords, bool reject_kwargs_unpacking) |
| const nlohmann::json * | find_keyword_value (const keyword_valuest &keyword_values, const std::string &name) |
| void | ensure_allowed_keywords (const std::string &method_name, const keyword_valuest &keyword_values, std::initializer_list< const char * > allowed) |
| const nlohmann::json * | resolve_positional_or_keyword_arg (const std::string &method_name, const nlohmann::json &args, const keyword_valuest &keyword_values, const std::string &arg_name, std::size_t positional_index, bool required) |
| const nlohmann::json * | required_arg_node_or_throw (const std::string &method_name, const nlohmann::json &args, const keyword_valuest &keyword_values, const std::string &arg_name, std::size_t positional_index, const std::string &error_message) |
| long long | optional_constant_int_arg_or_default (const nlohmann::json *arg_node, long long default_value, python_converter &converter) |
| long long | required_constant_int_arg (const nlohmann::json &arg_node, const std::string &error_message, python_converter &converter) |
| std::string | optional_constant_string_arg_or_default (const nlohmann::json *arg_node, const std::string &default_value, python_converter &converter, const std::function< bool(const nlohmann::json &, std::string &)> &extract_constant_string_cb, const std::function< bool(const nlohmann::json &)> &is_none_literal) |
| using string_call_utils::keyword_valuest = std::unordered_map<std::string, const nlohmann::json *> |
| keyword_valuest string_call_utils::collect_keyword_values | ( | const std::string & | method_name, |
| const nlohmann::json & | keywords, | ||
| bool | reject_kwargs_unpacking ) |
| void string_call_utils::ensure_allowed_keywords | ( | const std::string & | method_name, |
| const keyword_valuest & | keyword_values, | ||
| std::initializer_list< const char * > | allowed ) |
| const nlohmann::json * string_call_utils::find_keyword_value | ( | const keyword_valuest & | keyword_values, |
| const std::string & | name ) |
| long long string_call_utils::optional_constant_int_arg_or_default | ( | const nlohmann::json * | arg_node, |
| long long | default_value, | ||
| python_converter & | converter ) |
| std::string string_call_utils::optional_constant_string_arg_or_default | ( | const nlohmann::json * | arg_node, |
| const std::string & | default_value, | ||
| python_converter & | converter, | ||
| const std::function< bool(const nlohmann::json &, std::string &)> & | extract_constant_string_cb, | ||
| const std::function< bool(const nlohmann::json &)> & | is_none_literal ) |
| const nlohmann::json * string_call_utils::required_arg_node_or_throw | ( | const std::string & | method_name, |
| const nlohmann::json & | args, | ||
| const keyword_valuest & | keyword_values, | ||
| const std::string & | arg_name, | ||
| std::size_t | positional_index, | ||
| const std::string & | error_message ) |
| long long string_call_utils::required_constant_int_arg | ( | const nlohmann::json & | arg_node, |
| const std::string & | error_message, | ||
| python_converter & | converter ) |
| const nlohmann::json * string_call_utils::resolve_positional_or_keyword_arg | ( | const std::string & | method_name, |
| const nlohmann::json & | args, | ||
| const keyword_valuest & | keyword_values, | ||
| const std::string & | arg_name, | ||
| std::size_t | positional_index, | ||
| bool | required ) |