Searched refs:specify_precondition_old_postcondition_except (Results 1 – 6 of 6) sorted by relevance
135 specify_precondition_old_postcondition_except<> public_function() { in public_function()137 return specify_precondition_old_postcondition_except<>( in public_function()140 return specify_precondition_old_postcondition_except<>(); in public_function()217 specify_precondition_old_postcondition_except<> public_function(Class* obj) { in public_function()219 return specify_precondition_old_postcondition_except<>( in public_function()244 return specify_precondition_old_postcondition_except<>(); in public_function()258 specify_precondition_old_postcondition_except< \268 return (specify_precondition_old_postcondition_except< \302 return specify_precondition_old_postcondition_except< \387 specify_precondition_old_postcondition_except<> public_function([all …]
75 inline specify_precondition_old_postcondition_except<> function() { in function()80 return specify_precondition_old_postcondition_except<>( in function()83 return specify_precondition_old_postcondition_except<>(); in function()
160 specify_precondition_old_postcondition_except<VirtualResult> const& in BOOST_PREVENT_MACRO_SUBSTITUTION()165 specify_precondition_old_postcondition_except<VirtualResult>) in BOOST_PREVENT_MACRO_SUBSTITUTION()
124 class specify_precondition_old_postcondition_except;174 friend class specify_precondition_old_postcondition_except;245 friend class specify_precondition_old_postcondition_except;359 friend class specify_precondition_old_postcondition_except<VirtualResult>;506 friend class specify_precondition_old_postcondition_except<VirtualResult>;545 class specify_precondition_old_postcondition_except { // Priv. copyable (as *). class556 ~specify_precondition_old_postcondition_except() BOOST_NOEXCEPT_IF(false) {} in BOOST_NOEXCEPT_IF()684 specify_precondition_old_postcondition_except,692 friend specify_precondition_old_postcondition_except<> function();695 friend specify_precondition_old_postcondition_except<> public_function();[all …]
39 boost::contract::specify_precondition_old_postcondition_except< \124 class specify_precondition_old_postcondition_except;
353 … enforced by the fact that [classref boost::contract::specify_precondition_old_postcondition_excep…