python_lambda.cpp File Reference

#include <python-frontend/lambda/python_lambda.h>
#include <algorithm>
#include <map>
#include <optional>
#include <set>
#include <python-frontend/python-list/python_list.h>
#include <python-frontend/python_converter.h>
#include <python-frontend/python_expr_builder.h>
#include <python-frontend/type/element_type_registry.h>
#include <python-frontend/type/type_handler.h>
#include <python-frontend/json_utils.h>
#include <util/arith/arith_tools.h>
#include <util/lang/c_types.h>
#include <util/irep/std_code.h>

Include dependency graph for python_lambda.cpp:

Functions
static bool	is_param_used_as_string (const nlohmann::json &body_node, const std::string &param_name)
static bool	is_param_used_as_callee (const nlohmann::json &node, const std::string &param_name)
static void	refuse_called_lambda_parameter (const nlohmann::json &body_node, const std::string &arg_name)
static bool	declares_body_return_type (const typet &actual)
const nlohmann::json *	binding_target (const nlohmann::json &stmt)
	The one name target a plain x = v or x: T = v statement binds, or null.
size_t	count_bindings (const nlohmann::json &node, const std::string &name)
	Every construct under node that binds name, in any nested scope too.
static typet	lambda_parameter_type (const nlohmann::json &arg, const nlohmann::json &body_node, const std::string &arg_name, const std::optional< typet > &from_call_site)

Function Documentation

binding_target()

const nlohmann::json * binding_target

(

const nlohmann::json &

stmt

)

The one name target a plain x = v or x: T = v statement binds, or null.

count_bindings()

size_t count_bindings	(	const nlohmann::json &	node,
		const std::string &	name )

Every construct under node that binds name, in any nested scope too.

declares_body_return_type()

bool declares_body_return_type ( const typet & actual )

static

is_param_used_as_callee()

bool is_param_used_as_callee ( const nlohmann::json & node, const std::string & param_name )

static

is_param_used_as_string()

bool is_param_used_as_string ( const nlohmann::json & body_node, const std::string & param_name )

static

lambda_parameter_type()

typet lambda_parameter_type ( const nlohmann::json & arg, const nlohmann::json & body_node, const std::string & arg_name, const std::optional< typet > & from_call_site )

static

refuse_called_lambda_parameter()

void refuse_called_lambda_parameter ( const nlohmann::json & body_node, const std::string & arg_name )

static