cprover
cprover_exception_baset Class Referenceabstract

Base class for exceptions thrown in the cprover project. More...

#include <exception_utils.h>

+ Inheritance diagram for cprover_exception_baset:

Public Member Functions

virtual std::string what () const =0
 A human readable description of what went wrong. More...
 
virtual ~cprover_exception_baset ()=default
 

Detailed Description

Base class for exceptions thrown in the cprover project.

Intended to be used as a convenient way to have a "catch all and report errors" from application entry points. Note that the reason we use a custom base class as opposed to std::exception or one of its derivates to avoid them being accidentally caught by code expecting standard exceptions to be only thrown by the standard library.

Definition at line 24 of file exception_utils.h.

Constructor & Destructor Documentation

◆ ~cprover_exception_baset()

virtual cprover_exception_baset::~cprover_exception_baset ( )
virtualdefault

Member Function Documentation

◆ what()

virtual std::string cprover_exception_baset::what ( ) const
pure virtual

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