Function set_invariant

Function set_invariant_failure

boost::contract::set_invariant_failure — Set failure handler for class invariants (at both entry and exit).

Synopsis

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


from_failure_handler const  & 
set_invariant_failure(from_failure_handler const & f);

This is provided for convenience and it is equivalent to call both boost::contract::set_entry_invariant_failure and boost::contract::set_exit_invariant_failure with the same functor parameter f.

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

Parameters:

`f`	New failure handler functor to set for both entry and exit invariants.

Returns:

Same failure handler functor f passed as parameter (e.g., for concatenating function calls).