9#ifndef CPROVER_UTIL_EXCEPTION_UTILS_H
10#define CPROVER_UTIL_EXCEPTION_UTILS_H
30 virtual std::string
what()
const;
64 std::string
what()
const override;
96 template <
typename Diagnostic,
typename... Diagnostics>
99 Diagnostic &&diagnostic,
102 template <
typename... Diagnostics>
108 std::string
what()
const override;
116template <
typename Diagnostic,
typename... Diagnostics>
119 Diagnostic &&diagnostic,
124 std::forward<Diagnostic>(diagnostic),
129template <
typename... Diagnostics>
177 std::string
what()
const override;
analysis_exceptiont(std::string reason)
Base class for exceptions thrown in the cprover project.
virtual std::string what() const
A human readable description of what went wrong.
virtual ~cprover_exception_baset()=default
cprover_exception_baset(std::string reason)
This constructor is marked protected to ensure this class isn't used directly.
std::string reason
The reason this exception was generated.
deserialization_exceptiont(std::string message)
source_locationt source_location
incorrect_goto_program_exceptiont(std::string message)
std::string what() const override
A human readable description of what went wrong.
invalid_command_line_argument_exceptiont(std::string reason, std::string option, std::string correct_input="")
std::string what() const override
A human readable description of what went wrong.
std::string correct_input
In case we have samples of correct input to the option.
std::string option
The full command line option (not the argument) that got erroneous input.
const source_locationt & get_source_location() const
std::string what() const override
A human readable description of what went wrong.
invalid_source_file_exceptiont(std::string reason, source_locationt source_location)
const std::string & get_reason() const
source_locationt source_location
system_exceptiont(std::string message)
unsupported_operation_exceptiont(std::string message)
message is the unsupported operation causing this fault to occur.