python_lambda Class Reference

#include <python_lambda.h>

Public Member Functions
	python_lambda (python_converter &converter, contextt &context, type_handler &type_handler)
exprt	get_lambda_expr (const nlohmann::json &element, const std::vector< std::optional< typet > > &argument_types)
bool	is_lambda_assignment (const nlohmann::json &ast_node) const
void	handle_lambda_assignment (symbolt *lhs_symbol, exprt &lhs, exprt &rhs)
std::vector< std::optional< typet > >	narrowed_parameter_types (const nlohmann::json &call, const nlohmann::json &scope, const code_typet &signature) const
typet	infer_lambda_return_type (const nlohmann::json &body_node)

Constructor & Destructor Documentation

python_lambda()

python_lambda::python_lambda	(	python_converter &	converter,
		contextt &	context,
		type_handler &	type_handler )

Member Function Documentation

get_lambda_expr()

exprt python_lambda::get_lambda_expr	(	const nlohmann::json &	element,
		const std::vector< std::optional< typet > > &	argument_types )

handle_lambda_assignment()

void python_lambda::handle_lambda_assignment	(	symbolt *	lhs_symbol,
		exprt &	lhs,
		exprt &	rhs )

infer_lambda_return_type()

typet python_lambda::infer_lambda_return_type

(

const nlohmann::json &

body_node

)

is_lambda_assignment()

bool python_lambda::is_lambda_assignment

(

const nlohmann::json &

ast_node

)

const

narrowed_parameter_types()

std::vector< std::optional< typet > > python_lambda::narrowed_parameter_types	(	const nlohmann::json &	call,
		const nlohmann::json &	scope,
		const code_typet &	signature ) const

---

The documentation for this class was generated from the following files:

• src/python-frontend/lambda/python_lambda.h
• src/python-frontend/lambda/python_lambda.cpp