| Home | Libraries | People | FAQ | More

## Function get_postcondition_failure

boost::contract::get_postcondition_failure — Return failure handler currently set for postconditions.

## Synopsis

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

    from_failure_handler get_postcondition_failure();

## Description

This is often called only internally by this library.

Throws: This is declared `noexcept` (or `throw()` before C++11).

See Also: Throw on Failure, Postconditions

Returns: | A copy of the failure handler currently set.