Go to the documentation of this file.
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)
123 std::forward<Diagnostic>(diagnostic),
124 std::forward<Diagnostics>(diagnostics)...))
128 template <
typename... Diagnostics>
132 Diagnostics &&... diagnostics)
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
std::string assemble_diagnostics()
Thrown when failing to deserialize a value from some low level format, like JSON or raw bytes.
deserialization_exceptiont(std::string message)
Thrown when we encounter an instruction, parameters to an instruction etc.
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.
std::string what() const override
A human readable description of what went wrong.
std::string reason
The reason this exception was generated.
Thrown when we can't handle something in an input source file.
std::string message
The unsupported operation causing this fault to occur.
Thrown when a goto program that's being processed is in an invalid format, for example passing the wr...
std::string what() const override
A human readable description of what went wrong.
static const char * message(const static_verifier_resultt::statust &status)
Makes a status message string from a status.
std::string what() const override
A human readable description of what went wrong.
invalid_source_file_exceptiont(std::string reason)
virtual std::string what() const =0
A human readable description of what went wrong.
Thrown when some external system fails unexpectedly.
incorrect_goto_program_exceptiont(std::string message)
analysis_exceptiont(std::string reason)
source_locationt source_location
unsupported_operation_exceptiont(std::string message)
invalid_command_line_argument_exceptiont(std::string reason, std::string option, std::string correct_input="")
std::string option
The full command line option (not the argument) that got erroneous input.
system_exceptiont(std::string message)
std::string correct_input
In case we have samples of correct input to the option.
std::string what() const override
A human readable description of what went wrong.
Thrown when users pass incorrect command line arguments, for example passing no files to analysis or ...
std::string reason
The reason this exception was generated.
virtual ~cprover_exception_baset()=default
Base class for exceptions thrown in the cprover project.
std::string what() const override
A human readable description of what went wrong.
Thrown when an unexpected error occurs during the analysis (e.g., when the SAT solver returns an erro...