invariant.cpp File Reference
#include "invariant.h"#include "freer.h"#include <memory>#include <string>#include <sstream>#include <iostream>#include <assert.h>
Include dependency graph for invariant.cpp:Go to the source code of this file.
Functions | |
| void | print_backtrace (std::ostream &out) |
| Prints a back trace to 'out'. More... | |
| std::string | get_backtrace () |
| Returns a backtrace. More... | |
| void | report_exception_to_stderr (const invariant_failedt &reason) |
| Dump exception report to stderr. More... | |
Function Documentation
◆ get_backtrace()
| std::string get_backtrace | ( | ) |
Returns a backtrace.
- Returns
- backtrace with a file / function / line header.
Definition at line 102 of file invariant.cpp.
◆ print_backtrace()
| void print_backtrace | ( | std::ostream & | out | ) |
Prints a back trace to 'out'.
- Parameters
-
out Stream to print backtrace
Definition at line 78 of file invariant.cpp.
◆ report_exception_to_stderr()
| void report_exception_to_stderr | ( | const invariant_failedt & | reason | ) |
Dump exception report to stderr.
Definition at line 110 of file invariant.cpp.
