Searched refs:precondition_failure (Results 1 – 10 of 10) sorted by relevance
51 boost::contract::precondition_failure(boost::contract::from()); in test_disable_pre_failure()104 boost::contract::precondition_failure(boost::contract::from()); in test_disable_failure()
102 boost::contract::precondition_failure(boost::contract::from()); in main()136 boost::contract::precondition_failure(boost::contract::from()); in main()
116 } catch(...) { precondition_failure(from_constructor); } in constructor_precondition()
560 inline void precondition_failure(from where) /* can throw */ { in precondition_failure() function
98 fail(&boost::contract::precondition_failure); in check_pre()
210 &boost::contract::precondition_failure
68 boost/contract/precondition_failure.html
452 …tions thrown from within `.precondition(...)` call [funcref boost::contract::precondition_failure].489 …nts, and old values copied at body (see [funcref boost::contract::precondition_failure], [funcref …509 …use this library to call the customized [funcref boost::contract::precondition_failure] listed abo…
617 …lling the related contract failure handler ([funcref boost::contract::precondition_failure], etc.).
101 … automatically call the failure handler [funcref boost::contract::precondition_failure] if any of …