expr.h File Reference

#include <nlohmann/json.hpp>
#include <python-frontend/python_converter.h>
#include <python-frontend/symbol_id.h>
#include <python-frontend/type/type_handler.h>
#include <util/irep/expr.h>
#include <functional>
#include <map>
#include <set>
#include <unordered_map>

Include dependency graph for expr.h:

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

Go to the source code of this file.

Classes
class	function_call_expr

Enumerations
enum class	FunctionType { Constructor , ClassMethod , InstanceMethod , FreeFunction }

Functions
exprt	to_value_expr (const exprt &arg, const namespacet &ns)
	Convert a code_function_callt to a side_effect_expr_function_callt so it can be used as a value expression (e.g., as an operand of if_exprt).
bool	is_cpp_throw_expr (const exprt &e)
	True when the expression is a synthesized C++ throw used by the Python frontend to propagate exceptions through value positions.

Enumeration Type Documentation

FunctionType

enum class FunctionType

strong

Enumerator
Constructor
ClassMethod
InstanceMethod
FreeFunction

Function Documentation

is_cpp_throw_expr()

bool is_cpp_throw_expr

(

const exprt &

e

)

True when the expression is a synthesized C++ throw used by the Python frontend to propagate exceptions through value positions.

to_value_expr()

exprt to_value_expr	(	const exprt &	arg,
		const namespacet &	ns )

Convert a code_function_callt to a side_effect_expr_function_callt so it can be used as a value expression (e.g., as an operand of if_exprt).