![]() |
Home | Libraries | People | FAQ | More |
failure_handler — Type of assertion failure handler functions (without from
parameter).
// In header: <boost/contract/core/exception.hpp> typedef boost::function< void()> failure_handler;
Assertion failure handler functions specified by this type must be nullary functors returning void
. For example, this is used to specify contract failure handlers for implementation checks.
See Also: Throw on Failure