ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
string_call_utils Namespace Reference

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)

Typedef Documentation

◆ keyword_valuest

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

Function Documentation

◆ collect_keyword_values()

keyword_valuest string_call_utils::collect_keyword_values ( const std::string & method_name,
const nlohmann::json & keywords,
bool reject_kwargs_unpacking )

◆ ensure_allowed_keywords()

void string_call_utils::ensure_allowed_keywords ( const std::string & method_name,
const keyword_valuest & keyword_values,
std::initializer_list< const char * > allowed )

◆ find_keyword_value()

const nlohmann::json * string_call_utils::find_keyword_value ( const keyword_valuest & keyword_values,
const std::string & name )

◆ optional_constant_int_arg_or_default()

long long string_call_utils::optional_constant_int_arg_or_default ( const nlohmann::json * arg_node,
long long default_value,
python_converter & converter )

◆ optional_constant_string_arg_or_default()

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 )

◆ required_arg_node_or_throw()

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 )

◆ required_constant_int_arg()

long long string_call_utils::required_constant_int_arg ( const nlohmann::json & arg_node,
const std::string & error_message,
python_converter & converter )

◆ resolve_positional_or_keyword_arg()

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 )