Go to the documentation of this file.
15 res +=
"Invalid User Input";
16 res +=
"\nOption: " +
option;
17 res +=
"\nReason: " +
reason;
30 std::string correct_input)
31 : reason(std::move(reason)),
32 option(std::move(option)),
33 correct_input(std::move(correct_input))
89 : reason(std::move(reason))
100 : reason(std::move(reason))
std::string as_string() const
deserialization_exceptiont(std::string message)
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.
std::string message
The unsupported operation causing this fault to occur.
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)
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.
std::string reason
The reason this exception was generated.
std::string what() const override
A human readable description of what went wrong.