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
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.