#include <gdb_api.h>
Definition at line 229 of file gdb_api.h.
◆ gdb_interaction_exceptiont()
gdb_interaction_exceptiont::gdb_interaction_exceptiont |
( |
std::string |
reason | ) |
|
|
inlineexplicit |
◆ what()
std::string gdb_interaction_exceptiont::what |
( |
| ) |
const |
|
inlineoverridevirtual |
A human readable description of what went wrong.
For readability, implementors should not add a leading or trailing newline to this description.
Implements cprover_exception_baset.
Definition at line 235 of file gdb_api.h.
◆ reason
std::string gdb_interaction_exceptiont::reason |
|
private |
The documentation for this class was generated from the following file: