20 res +=
"Invalid User Input";
21 res +=
"\nOption: " +
option;
22 res +=
"\nReason: " +
reason;
35 std::string correct_input)
37 option(std::move(option)),
38 correct_input(std::move(correct_input))
92 source_location(std::move(source_location))
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.
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.
std::string what() const override
A human readable description of what went wrong.
invalid_source_file_exceptiont(std::string reason, source_locationt source_location)
source_locationt source_location
std::string as_string() const
system_exceptiont(std::string message)
unsupported_operation_exceptiont(std::string message)
message is the unsupported operation causing this fault to occur.