string_method_dispatch.h File Reference

#include <python-frontend/string/string_handler.h>
#include <python-frontend/string/string_handler_utils.h>
#include <functional>
#include <optional>
#include <string>

Include dependency graph for string_method_dispatch.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	string_method_dispatch

Typedefs
using	string_method_dispatch::keyword_valuest = string_call_utils::keyword_valuest

Functions
std::optional< exprt >	string_method_dispatch::dispatch_decode_join_method (string_handler &self, const std::string &method_name, const nlohmann::json &call_json, const nlohmann::json &receiver_json, const nlohmann::json &args, const keyword_valuest &keyword_values, python_converter &converter)
std::optional< exprt >	string_method_dispatch::dispatch_no_arg_string_methods (string_handler &self, const std::string &method_name, const nlohmann::json &args, const keyword_valuest &keyword_values, const std::function< exprt()> &get_receiver_expr, const std::function< locationt()> &get_location)
std::optional< exprt >	string_method_dispatch::dispatch_one_arg_string_methods (string_handler &self, const std::string &method_name, const nlohmann::json &args, const keyword_valuest &keyword_values, const std::function< exprt()> &get_receiver_expr, const std::function< locationt()> &get_location, python_converter &converter)
std::optional< exprt >	string_method_dispatch::dispatch_search_string_methods (string_handler &self, const std::string &method_name, const nlohmann::json &call_json, const nlohmann::json &receiver_json, const nlohmann::json &args, const keyword_valuest &keyword_values, const std::function< exprt()> &get_receiver_expr, const std::function< locationt()> &get_location, python_converter &converter)
std::optional< exprt >	string_method_dispatch::dispatch_spacing_and_padding_methods (string_handler &self, const std::string &method_name, const nlohmann::json &args, const keyword_valuest &keyword_values, const std::function< exprt()> &get_receiver_expr, const std::function< locationt()> &get_location, python_converter &converter)
std::optional< exprt >	string_method_dispatch::dispatch_replace_method (string_handler &self, const std::string &method_name, const nlohmann::json &call_json, const nlohmann::json &args, const keyword_valuest &keyword_values, const std::function< exprt()> &get_receiver_expr, const std::function< locationt()> &get_location, python_converter &converter)
std::optional< exprt >	string_method_dispatch::dispatch_count_method (string_handler &self, const std::string &method_name, const nlohmann::json &args, const keyword_valuest &keyword_values, const std::function< exprt()> &get_receiver_expr, const std::function< locationt()> &get_location, python_converter &converter)
std::optional< exprt >	string_method_dispatch::dispatch_splitlines_method (string_handler &self, const std::string &method_name, const nlohmann::json &call_json, const nlohmann::json &args, const keyword_valuest &keyword_values, const std::function< exprt()> &get_receiver_expr, const std::function< locationt()> &get_location)
std::optional< exprt >	string_method_dispatch::dispatch_format_methods (string_handler &self, const std::string &method_name, const nlohmann::json &call_json, const keyword_valuest &keyword_values, const std::function< exprt()> &get_receiver_expr, const std::function< locationt()> &get_location)
std::optional< exprt >	string_method_dispatch::dispatch_split_method (const std::string &method_name, const nlohmann::json &receiver_json, const nlohmann::json &call_json, const nlohmann::json &args, const keyword_valuest &keyword_values, const std::function< exprt()> &get_receiver_expr, python_converter &converter)