python_lambda.h File Reference

#include <python-frontend/python_converter.h>
#include <util/irep/expr.h>
#include <util/irep/std_code.h>
#include <nlohmann/json.hpp>
#include <optional>

Include dependency graph for python_lambda.h:

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

Go to the source code of this file.

Classes
class	python_lambda

Functions
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.

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.