| Home | Libraries | People | FAQ | More

## Class exception

boost::contract::exception — Public base class for all exceptions directly thrown by this library.

## Synopsis

    // In header: <boost/contract/core/exception.hpp>

    class exception {
    public:

      // public member functions
      virtual ~exception();
    };

## Description

This class does not inherit from `std::exception` because exceptions deriving from this class will do that (inheriting from `std::exception`, `std::bad_cast`, etc.).

See Also: `boost::contract::assertion_failure`, `boost::contract::bad_virtual_result_cast`, etc.

### `exception` public member functions

1.     virtual ~exception();

   Destruct this object.

   Throws: This is declared `noexcept` (or `throw()` before C++11).