cprover
|
#include "unwrap_nested_exception.h"
#include "invariant.h"
#include "string_utils.h"
#include "suffix.h"
#include "throw_with_nested.h"
#include <sstream>
#include <vector>
Go to the source code of this file.
Functions | |
std::string | unwrap_exception (const std::exception &e, int level) |
Given a potentially nested exception, produce a string with all of nested exceptions information. More... | |
std::string unwrap_exception | ( | const std::exception & | e, |
int | level | ||
) |
Given a potentially nested exception, produce a string with all of nested exceptions information.
If a nested exception string contains new lines then the newlines are indented to the correct level.
e | The outer exeception |
level | How many exceptions have already been unrolled |
Definition at line 24 of file unwrap_nested_exception.cpp.