#include <python-frontend/json_utils.h>
#include <python-frontend/type/type_utils.h>
#include <util/message/message.h>
#include <util/irep/std_types.h>
#include <nlohmann/json.hpp>
#include <algorithm>
#include <cctype>
#include <optional>
#include <string>
#include <unordered_map>

Include dependency graph for converter_internal.h:

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

Namespaces
namespace	python_frontend

Functions
StatementType	python_frontend::get_statement_type (const nlohmann::json &element)
const std::unordered_map< std::string, std::string > &	python_frontend::operator_map ()
std::string	python_frontend::map_operator (const std::string &op, const typet &type)
struct_typet::componentt	python_frontend::build_component (const std::string &class_name, const std::string &comp_name, const typet &type)
bool	python_frontend::is_enum_class (const std::string &class_name, const nlohmann::json &ast_json)
bool	python_frontend::is_literal_int_node (const nlohmann::json &node)
std::optional< long long >	python_frontend::literal_int_value (const nlohmann::json &node)
std::optional< long long >	python_frontend::literal_slice_step (const nlohmann::json &slice)
std::optional< long long >	python_frontend::literal_slice_bound (const nlohmann::json &slice, const char *name, const long long axis_len, const long long step)
std::optional< std::size_t >	python_frontend::literal_slice_length (const std::size_t dim, const nlohmann::json &slice)

Namespaces

Functions