|  | Home | Libraries | People | FAQ | More | 
boost::contract::specify_except — Allow to specify exception guarantees.
// In header: <boost/contract/core/specify.hpp> class specify_except { public: // construct/copy/destruct ~specify_except(); // public member functions template<typename F> specify_nothing except(F const &); };
Allow to specify the functor this library will call to check exception guarantees. This object is internally constructed by this library when users specify contracts calling boost::contract::function and similar functions (that is why this class does not have a public constructor).
See Also:
specify_except 
        public
       construct/copy/destruct~specify_except();Destruct this object.
Throws: This can throw in case programmers specify failure handlers that throw exceptions instead of terminating the program (see  
            Throw on Failure). (This is declared noexcept(false) since C++11.) 
specify_except public member functionstemplate<typename F> specify_nothing except(F const & f);Allow to specify exception guarantees.
| Parameters: | 
 | ||
| Returns: | After exception guarantees have been specified, the object returned by this function does not allow to specify any additional contract. |