| Home | Libraries | People | FAQ | More

## Type definition from_failure_handler

from_failure_handler — Type of assertion failure handler functions (with `from` parameter).

## Synopsis

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

    typedef boost::function< void(from)> from_failure_handler;

## Description

Assertion failure handler functions specified by this type must be functors returning `void` and taking a single parameter of type `boost::contract::from`. For example, this is used to specify contract failure handlers for class invariants, preconditions, postconditions, and exception guarantees.

See Also: Throw on Failure