ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
string_handler_utils.cpp File Reference
Include dependency graph for string_handler_utils.cpp:

Namespaces

namespace  string_call_utils

Functions

keyword_valuest string_call_utils::collect_keyword_values (const std::string &method_name, const nlohmann::json &keywords, bool reject_kwargs_unpacking)
const nlohmann::json * string_call_utils::find_keyword_value (const keyword_valuest &keyword_values, const std::string &name)
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::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 * 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::optional_constant_int_arg_or_default (const nlohmann::json *arg_node, long long default_value, python_converter &converter)
long long string_call_utils::required_constant_int_arg (const nlohmann::json &arg_node, const std::string &error_message, python_converter &converter)