exception_utils.h File Reference

#include "invariant.h"
#include "source_location.h"
#include <sstream>
#include <string>
#include <type_traits>
#include <utility>

Include dependency graph for exception_utils.h:

Go to the source code of this file.

Classes
class	cprover_exception_baset
	Base class for exceptions thrown in the cprover project. More...
class	invalid_command_line_argument_exceptiont
	Thrown when users pass incorrect command line arguments, for example passing no files to analysis or setting two mutually exclusive flags. More...
class	system_exceptiont
	Thrown when some external system fails unexpectedly. More...
class	deserialization_exceptiont
	Thrown when failing to deserialize a value from some low level format, like JSON or raw bytes. More...
class	incorrect_goto_program_exceptiont
	Thrown when a goto program that's being processed is in an invalid format, for example passing the wrong number of arguments to functions. More...
class	unsupported_operation_exceptiont
	Thrown when we encounter an instruction, parameters to an instruction etc. More...
class	analysis_exceptiont
	Thrown when an unexpected error occurs during the analysis (e.g., when the SAT solver returns an error). More...
class	invalid_input_exceptiont
	Thrown when user-provided input cannot be processed. More...
class	invalid_source_file_exceptiont
	Thrown when we can't handle something in an input source file. More...

Functions
template<typename E, typename T>
std::enable_if_t< std::is_base_of< cprover_exception_baset, std::decay_t< E > >::value, E && >	operator<< (E &&e, const T &message)
	add to the diagnostic information in the given cprover_exception_baset exception; the type of the exception is preserved, enabling throw some_exceptiont{...} << "text"

Function Documentation

operator<<()

template<typename E, typename T>

std::enable_if_t< std::is_base_of< cprover_exception_baset, std::decay_t< E > >::value, E && > operator<<	(	E &&	e,
		const T &	message )

add to the diagnostic information in the given cprover_exception_baset exception; the type of the exception is preserved, enabling throw some_exceptiont{...} << "text"

Definition at line 1 of file exception_utils.h.