exception_utils.h File Reference

#include <python-frontend/type/type_handler.h>
#include <python-frontend/type/type_utils.h>
#include <util/irep/location.h>
#include <util/message/message.h>
#include <util/irep/std_expr.h>
#include <util/expr/string_constant.h>
#include <string>

Include dependency graph for exception_utils.h:

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

Go to the source code of this file.

Namespaces
namespace	python_exception_utils

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