Searched refs:specify_nothing (Results 1 – 4 of 4) sorted by relevance
109 return specify_nothing(BOOST_CONTRACT_SPECIFY_COND_RELEASE_);112 return specify_nothing(BOOST_CONTRACT_SPECIFY_COND_RELEASE_);149 class specify_nothing { // Privately copyable (as *). class160 ~specify_nothing() BOOST_NOEXCEPT_IF(false) {} in BOOST_NOEXCEPT_IF()166 BOOST_CONTRACT_SPECIFY_CLASS_IMPL_(specify_nothing,227 specify_nothing except( in except()340 specify_nothing except( in except()487 specify_nothing except( in except()673 specify_nothing except( in except()
320 specify_nothing const& contract)322 BOOST_CONTRACT_CHECK_CTOR_DEF_(specify_nothing)
86 boost/contract/specify_nothing.html
353 …ref boost::contract::specify_except], and [classref boost::contract::specify_nothing] provide a pr…