cprover
unwrap_nested_exception.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: util
4
5
Author: Diffblue Ltd.
6
7
\*******************************************************************/
8
9
#ifndef CPROVER_UTIL_UNWRAP_NESTED_EXCEPTION_H
10
#define CPROVER_UTIL_UNWRAP_NESTED_EXCEPTION_H
11
12
#include <exception>
13
#include <string>
14
15
std::string
unwrap_exception
(
const
std::exception &e,
int
level = 0);
16
17
#endif // CPROVER_UTIL_UNWRAP_NESTED_EXCEPTION_H
unwrap_exception
std::string unwrap_exception(const std::exception &e, int level=0)
Given a potentially nested exception, produce a string with all of nested exceptions information...
Definition:
unwrap_nested_exception.cpp:24
util
unwrap_nested_exception.h
Generated by
1.8.14