ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
string_handler_utils.h File Reference
#include <nlohmann/json.hpp>
#include <functional>
#include <initializer_list>
#include <string>
#include <unordered_map>
Include dependency graph for string_handler_utils.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  string_call_utils

Typedefs

using string_call_utils::keyword_valuest = std::unordered_map<std::string, const nlohmann::json *>

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)
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)