Searched refs:from_constructor (Results 1 – 3 of 3) sorted by relevance
116 } catch(...) { precondition_failure(from_constructor); } in constructor_precondition()
238 from_constructor, enumerator
35 boost::contract::from_constructor, obj) {} in constructor()