Searched refs:exit_invariant_failure (Results 1 – 7 of 7) sorted by relevance
78 boost::contract::exit_invariant_failure(boost::contract::from()); in test_disable_exit_inv_failure()92 boost::contract::exit_invariant_failure(boost::contract::from()); in test_disable_inv_failure()116 boost::contract::exit_invariant_failure(boost::contract::from()); in test_disable_failure()
120 boost::contract::exit_invariant_failure(boost::contract::from()); in main()130 boost::contract::exit_invariant_failure(boost::contract::from()); in main()148 boost::contract::exit_invariant_failure(boost::contract::from()); in main()
142 } else this->fail(&boost::contract::exit_invariant_failure); in check_inv()
83 boost/contract/exit_invariant_failure.html
924 inline void exit_invariant_failure(from where) /* can throw */ { in exit_invariant_failure() function
455 …re] when checked at function entry and [funcref boost::contract::exit_invariant_failure] when chec…489 …t::contract::entry_invariant_failure], [funcref boost::contract::exit_invariant_failure], and [fun…
327 …:contract::entry_invariant_failure] or [funcref boost::contract::exit_invariant_failure] if any of…374 …:contract::entry_invariant_failure] or [funcref boost::contract::exit_invariant_failure] if any of…