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 a snapshot of the develop branch, built from commit c5994560ca.
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