converter_dunder.cpp File Reference

#include <python-frontend/python_converter.h>
#include <python-frontend/python_expr_builder.h>
#include <python-frontend/symbol_id.h>
#include <python-frontend/type/type_handler.h>
#include <python-frontend/json_utils.h>
#include <util/lang/c_types.h>
#include <util/expr/expr_util.h>
#include <util/lang/python_types.h>
#include <map>

Include dependency graph for converter_dunder.cpp:

Functions
static bool	is_excluded_struct_tag (const struct_typet &st)
static typet	resolve_operand_type (const exprt &operand, const contextt &symbol_table, const namespacet &ns)
static exprt	dunder_ref_arg (const exprt &operand)
static exprt	dunder_other_arg (const exprt &operand, const code_typet &method_type)
static bool	is_other_param_compatible (const code_typet &method_type, const typet &operand_type, const namespacet &ns)

Function Documentation

dunder_other_arg()

exprt dunder_other_arg ( const exprt & operand, const code_typet & method_type )

static

dunder_ref_arg()

exprt dunder_ref_arg ( const exprt & operand )

static

is_excluded_struct_tag()

bool is_excluded_struct_tag ( const struct_typet & st )

static

is_other_param_compatible()

bool is_other_param_compatible ( const code_typet & method_type, const typet & operand_type, const namespacet & ns )

static

resolve_operand_type()

typet resolve_operand_type ( const exprt & operand, const contextt & symbol_table, const namespacet & ns )

static