Boost C++ Libraries

...one 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.
PrevUpHomeNext

Function precondition_failure

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

Synopsis

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


void precondition_failure(from where);

Description

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

Parameters:

where

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


PrevUpHomeNext