invariant.cpp File Reference

#include "invariant.h"
#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 104 of file invariant.cpp.

References print_backtrace().

Referenced by invariant_violated_structured().

print_backtrace()

void print_backtrace

(

std::ostream &

out

)

Prints a back trace to 'out'.

Parameters

out	Stream to print backtrace

Definition at line 77 of file invariant.cpp.

References free(), and stack.

Referenced by get_backtrace().

report_exception_to_stderr()

void report_exception_to_stderr

(

const invariant_failedt &

reason

)

Dump exception report to stderr.

Definition at line 112 of file invariant.cpp.

Referenced by invariant_violated_structured().