| Home | Libraries | People | FAQ | More

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