numpy_call_expr Class Reference

#include <numpy_call_expr.h>

Inheritance diagram for numpy_call_expr:

Public Member Functions
	numpy_call_expr (const symbol_id &function_id, const nlohmann::json &call, python_converter &converter)
	~numpy_call_expr ()
exprt	get () override
Public Member Functions inherited from function_call_expr
	function_call_expr (const symbol_id &function_id, const nlohmann::json &call, python_converter &converter)
virtual	~function_call_expr ()=default
std::optional< exprt >	check_explicit_super () const
	super(C, self) in a class that is not a C, where self can never be a C, raises TypeError (#8631).
const symbol_id &	get_function_id () const

Static Public Member Functions
static exprt	build_result (const symbol_id &function_id, const nlohmann::json &call, python_converter &converter)
static std::optional< nlohmann::json >	arange_literal (const nlohmann::json &call, const std::string &function, const nlohmann::json &ast)
	The literal list the np.arange call builds, in its dtype, a Name among its arguments read from its declaration for code in function; nullopt when the arguments are not constants.
Static Public Member Functions inherited from function_call_expr
static exprt	fold_from_bytes_byteorder (exprt arg, const nlohmann::json &node, const symbolt &func_symbol, const code_typet::argumentst &params, std::size_t param_idx, const nlohmann::json &module)
	Folds a CPython byteorder string bound to params[param_idx] of the int.from_bytes model, whose parameter is a bool, and leaves every other argument unchanged.
static exprt::operandst	strip_ctor_self_parameters (const exprt::operandst &args)

Additional Inherited Members
Protected Member Functions inherited from function_call_expr
exprt	handle_any ()
exprt	handle_all ()
Protected Attributes inherited from function_call_expr
symbol_id	function_id_
const nlohmann::json &	call_
python_converter &	converter_
const type_handler &	type_handler_
FunctionType	function_type_
std::unordered_map< std::string, const symbolt * >	sym_cache_

Constructor & Destructor Documentation

numpy_call_expr()

numpy_call_expr::numpy_call_expr	(	const symbol_id &	function_id,
		const nlohmann::json &	call,
		python_converter &	converter )

~numpy_call_expr()

numpy_call_expr::~numpy_call_expr

(

)

Member Function Documentation

arange_literal()

std::optional< nlohmann::json > numpy_call_expr::arange_literal ( const nlohmann::json & call, const std::string & function, const nlohmann::json & ast )

static

The literal list the np.arange call builds, in its dtype, a Name among its arguments read from its declaration for code in function; nullopt when the arguments are not constants.

build_result()

exprt numpy_call_expr::build_result ( const symbol_id & function_id, const nlohmann::json & call, python_converter & converter )

static

get()

exprt numpy_call_expr::get ( )

overridevirtual

Reimplemented from function_call_expr.

---

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

• src/python-frontend/numpy/numpy_call_expr.h
• src/python-frontend/numpy/numpy_call_expr.cpp