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

Function get_postcondition_failure
PrevUpHomeNext

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.
Copyright © 2008-2019 Lorenzo Caminiti

Distributed under the Boost Software License, Version 1.0 (see accompanying file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt)

PrevUpHomeNext