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))
38 : message(
std::move(message))
48 : message(
std::move(message))
59 : message(
std::move(message))
79 : message(
std::move(message))
89 : reason(
std::move(reason))
100 : reason(
std::move(reason))
std::string what() const override
A human readable description of what went wrong.
std::string reason
The reason this exception was generated.
analysis_exceptiont(std::string reason)
std::string what() const override
A human readable description of what went wrong.
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 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.
std::string what() const override
A human readable description of what went wrong.
invalid_source_file_exceptiont(std::string reason)
std::string as_string() const
system_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 message
The unsupported operation causing this fault to occur.
unsupported_operation_exceptiont(std::string message)