Public Member Functions

- Public Member Functions inherited from cprover_exception_baset

virtual std::string what () const

A human readable description of what went wrong.

virtual std::string what () const

A human readable description of what went wrong.

Additional Inherited Members

- Protected Member Functions inherited from cprover_exception_baset

This constructor is marked protected to ensure this class isn't used directly.

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.

Definition at line 228 of file gdb_api.h.

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: