9 #ifndef CPROVER_UTIL_EXCEPTION_UTILS_H 10 #define CPROVER_UTIL_EXCEPTION_UTILS_H 30 virtual std::string
what()
const = 0;
53 std::string
what()
const override;
64 std::string
what()
const override;
77 std::string
what()
const override;
94 template <
typename Diagnostic,
typename... Diagnostics>
97 Diagnostic &&diagnostic,
100 template <
typename... Diagnostics>
106 std::string
what()
const override;
115 template <
typename Diagnostic,
typename... Diagnostics>
118 Diagnostic &&diagnostic,
119 Diagnostics &&... diagnostics)
120 : message(
std::move(message)),
123 std::forward<Diagnostic>(diagnostic),
124 std::forward<Diagnostics>(diagnostics)...))
128 template <
typename... Diagnostics>
132 Diagnostics &&... diagnostics)
133 : message(
std::move(message)),
134 source_location(
std::move(source_location)),
147 std::string
what()
const override;
160 std::string
what()
const override;
174 std::string
what()
const override;
180 #endif // CPROVER_UTIL_EXCEPTION_UTILS_H Thrown when failing to deserialize a value from some low level format, like JSON or raw bytes...
std::string what() const override
A human readable description of what went wrong.
source_locationt source_location
unsupported_operation_exceptiont(std::string message)
std::string correct_input
In case we have samples of correct input to the option.
Thrown when we encounter an instruction, parameters to an instruction etc.
Thrown when we can't handle something in an input source file.
virtual ~cprover_exception_baset()=default
std::string reason
The reason this exception was generated.
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="")
system_exceptiont(std::string message)
std::string what() const override
A human readable description of what went wrong.
invalid_source_file_exceptiont(std::string reason)
Base class for exceptions thrown in the cprover project.
analysis_exceptiont(std::string reason)
Thrown when an unexpected error occurs during the analysis (e.g., when the SAT solver returns an erro...
std::string what() const override
A human readable description of what went wrong.
Thrown when some external system fails unexpectedly.
Thrown when users pass incorrect command line arguments, for example passing no files to analysis or ...
incorrect_goto_program_exceptiont(std::string message)
deserialization_exceptiont(std::string message)
std::string assemble_diagnostics()
std::string what() const override
A human readable description of what went wrong.
Thrown when a goto program that's being processed is in an invalid format, for example passing the wr...
std::string message
The unsupported operation causing this fault to occur.
std::string reason
The reason this exception was generated.
virtual std::string what() const =0
A human readable description of what went wrong.
std::string option
The full command line option (not the argument) that got erroneous input.
std::string what() const override
A human readable description of what went wrong.
std::string what() const override
A human readable description of what went wrong.