Searched refs:assertion_failure (Results 1 – 8 of 8) sorted by relevance
51 assertion_failure::assertion_failure(char const* const file, in assertion_failure() function in boost::contract::assertion_failure57 assertion_failure::assertion_failure(char const* const code) : in assertion_failure() function in boost::contract::assertion_failure62 assertion_failure::~assertion_failure() BOOST_NOEXCEPT_OR_NOTHROW {} in ~assertion_failure()65 char const* assertion_failure::what() const BOOST_NOEXCEPT_OR_NOTHROW { in what()70 char const* assertion_failure::file() const { return file_; } in file()73 unsigned long assertion_failure::line() const { return line_; } in line()76 char const* assertion_failure::code() const { return code_; } in code()79 void assertion_failure::init() { in init()116 catch(boost::contract::assertion_failure const& error) { in default_handler()
137 class BOOST_CONTRACT_DETAIL_DECLSPEC assertion_failure : // Copy (as str, etc.). class154 explicit assertion_failure(char const* file = "", unsigned long line = 0,162 explicit assertion_failure(char const* code);169 virtual ~assertion_failure()
23 throw boost::contract::assertion_failure( \
22 } catch(boost::contract::assertion_failure const&) { threw = true; } in main()
131 } catch(boost::contract::assertion_failure const& error) { in main()
57 boost/contract/assertion_failure.html
450 …RT] simply expands to code that throws a [classref boost::contract::assertion_failure] exception, …504 Contract assertions can be programmed to throw [classref boost::contract::assertion_failure] using …509 For example, the following precondition functor throws [classref boost::contract::assertion_failure…
613 throw boost::contract::assertion_failure(__FILE__, __LINE__,