exception_utils.h

Go to the documentation of this file.

#ifndef PYTHON_FRONTEND_EXCEPTION_UTILS_H
#define PYTHON_FRONTEND_EXCEPTION_UTILS_H
 
#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>
 
namespace python_exception_utils
{
exprt make_exception_raise(
  const type_handler &type_handler,
  const std::string &exc,
  const std::string &message,
  const locationt *location = nullptr);
} // namespace python_exception_utils
 
#endif // PYTHON_FRONTEND_EXCEPTION_UTILS_H