Boost C++ Libraries of the most highly regarded and expertly designed C++ library projects in the world. Herb Sutter and Andrei Alexandrescu, C++ Coding Standards

This is the documentation for an old version of Boost. Click here to view this page for the latest version.

Function precondition_failure

boost::contract::precondition_failure — Call failure handler for preconditions.


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

void precondition_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).

See Also:

Throw on Failure, Preconditions



Operation that failed the contract assertion (when this function is called by this library, this parameter will never be from_destructor because destructors do not have preconditions).