python_exception_utils Namespace Reference

Functions
exprt	make_exception_raise (const type_handler &type_handler, const std::string &exc, const std::string &message, const locationt *location)

Function Documentation

make_exception_raise()

exprt python_exception_utils::make_exception_raise	(	const type_handler &	type_handler,
		const std::string &	exc,
		const std::string &	message,
		const locationt *	location )