cprover
gdb_interaction_exceptiont Class Reference

#include <gdb_api.h>

+ Inheritance diagram for gdb_interaction_exceptiont:
+ Collaboration diagram for gdb_interaction_exceptiont:

Public Member Functions

 gdb_interaction_exceptiont (std::string reason)
 
std::string what () const override
 A human readable description of what went wrong. More...
 
- Public Member Functions inherited from cprover_exception_baset
virtual ~cprover_exception_baset ()=default
 

Private Attributes

std::string reason
 

Detailed Description

Definition at line 229 of file gdb_api.h.

Constructor & Destructor Documentation

◆ gdb_interaction_exceptiont()

gdb_interaction_exceptiont::gdb_interaction_exceptiont ( std::string  reason)
inlineexplicit

Definition at line 232 of file gdb_api.h.

Member Function Documentation

◆ 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.

Member Data Documentation

◆ reason

std::string gdb_interaction_exceptiont::reason
private

Definition at line 241 of file gdb_api.h.


The documentation for this class was generated from the following file: