python_frontend Namespace Reference

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

Function Documentation

build_component()

struct_typet::componentt python_frontend::build_component ( const std::string & class_name, const std::string & comp_name, const typet & type )

inline

get_statement_type()

StatementType python_frontend::get_statement_type ( const nlohmann::json & element )

inline

is_enum_class()

bool python_frontend::is_enum_class ( const std::string & class_name, const nlohmann::json & ast_json )

inline

is_literal_int_node()

bool python_frontend::is_literal_int_node ( const nlohmann::json & node )

inline

literal_int_value()

std::optional< long long > python_frontend::literal_int_value ( const nlohmann::json & node )

inline

literal_slice_bound()

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 )

inline

literal_slice_length()

std::optional< std::size_t > python_frontend::literal_slice_length ( const std::size_t dim, const nlohmann::json & slice )

inline

literal_slice_step()

std::optional< long long > python_frontend::literal_slice_step ( const nlohmann::json & slice )

inline

map_operator()

std::string python_frontend::map_operator ( const std::string & op, const typet & type )

inline

operator_map()

const std::unordered_map< std::string, std::string > & python_frontend::operator_map ( )

inline