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;
106 std::string
what()
const override;
120 : message(
std::move(message)),
122 diagnostics(
detail::assemble_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;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
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.
std::string reason
The reason this exception was generated.
Base class for exceptions thrown in the cprover project.
virtual std::string what() const =0
A human readable description of what went wrong.
virtual ~cprover_exception_baset()=default
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.
Thrown when a goto program that's being processed is in an invalid format, for example passing the wr...
source_locationt source_location
incorrect_goto_program_exceptiont(std::string message)
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 what() const override
A human readable description of what went wrong.
std::string reason
The reason this exception was generated.
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.
Thrown when we can't handle something in an input source file.
std::string what() const override
A human readable description of what went wrong.
Thrown when some external system fails unexpectedly.
std::string what() const override
A human readable description of what went wrong.
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 message
The unsupported operation causing this fault to occur.