Searched refs:old_failure (Results 1 – 4 of 4) sorted by relevance
108 catch(...) { fail(&boost::contract::old_failure); } in copy_old()
77 boost/contract/old_failure.html
772 inline void old_failure(from where) /* can throw */ { in old_failure() function
368 This library will automatically call the failure handler [funcref boost::contract::old_failure] if …372 This is arguably less correct than calling [funcref boost::contract::old_failure] because an except…375 …, etc.) with try-catch statements so to call [funcref boost::contract::old_failure] also when old …456 …rown from old values copied at body within `.old(...)` call [funcref boost::contract::old_failure].489 …boost::contract::exit_invariant_failure], and [funcref boost::contract::old_failure] respectively).