failure_handler — Type of assertion failure handler functions (without from parameter).
from
// 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.
void
See Also:
Throw on Failure