...one of the most highly
regarded and expertly designed C++ library projects in the
world. — Herb Sutter and Andrei
boost::contract::exit_invariant_failure — Call failure handler for class invariants at exit.
// In header: <boost/contract/core/exception.hpp> void exit_invariant_failure(from where);
This is often called only internally by this library.
Throws: This can throw in case programmers specify a failure handler that throws exceptions on contract assertion failures (not the default).
Throw on Failure, Class Invariants, Volatile Public Functions