#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)

Public Member Functions inherited from cprover_exception_baset
virtual std::string	what () const
	A human readable description of what went wrong.

virtual	~cprover_exception_baset ()=default

virtual std::string	what () const
	A human readable description of what went wrong.

virtual	~cprover_exception_baset ()=default

Additional Inherited Members
Protected Member Functions inherited from cprover_exception_baset
	cprover_exception_baset (std::string reason)
	This constructor is marked protected to ensure this class isn't used directly.

	cprover_exception_baset (std::string reason)
	This constructor is marked protected to ensure this class isn't used directly.

Protected Attributes inherited from cprover_exception_baset
std::string	reason
	The reason this exception was generated.

Detailed Description

Definition at line 228 of file gdb_api.h.

Constructor & Destructor Documentation

gdb_interaction_exceptiont::gdb_interaction_exceptiont ( std::string reason )

inlineexplicit

Definition at line 231 of file gdb_api.h.

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