Searched refs:old_instances (Results 1 – 5 of 5) sorted by relevance
30 old_instances) { in constructor_old()31 old_instances = BOOST_CONTRACT_OLDOF(instances()); in constructor_old()34 boost::contract::old_ptr<int> const old_instances) const { in constructor_postcondition()37 BOOST_CONTRACT_ASSERT(instances() == *old_instances + 1); in constructor_postcondition()41 void destructor_old(boost::contract::old_ptr<int>& old_instances) in destructor_old()43 old_instances = BOOST_CONTRACT_OLDOF(instances()); in destructor_old()46 old_instances) { in destructor_postcondition()47 BOOST_CONTRACT_ASSERT(instances() == *old_instances - 1); in destructor_postcondition()
32 boost::contract::old_ptr<int> old_instances; in iarray() local33 void BOOST_LOCAL_FUNCTION(bind& old_instances) { in iarray()34 old_instances = BOOST_CONTRACT_OLDOF(iarray::instances()); in iarray()37 const bind& old_instances) { in iarray()39 BOOST_CONTRACT_ASSERT(this_->instances() == *old_instances + 1); in iarray()50 boost::contract::old_ptr<int> old_instances; in ~iarray() local51 void BOOST_LOCAL_FUNCTION(const bind this_, bind& old_instances) { in ~iarray()52 old_instances = BOOST_CONTRACT_OLDOF(this_->instances()); in ~iarray()54 void BOOST_LOCAL_FUNCTION(const bind& old_instances) { in ~iarray()55 BOOST_CONTRACT_ASSERT(iarray::instances() == *old_instances - 1); in ~iarray()
33 boost::contract::old_ptr<int> old_instances = in positive() local38 BOOST_CONTRACT_ASSERT(instances() == *old_instances + 1); in positive()48 boost::contract::old_ptr<int> old_instances = in ~positive() local52 BOOST_CONTRACT_ASSERT(instances() == *old_instances - 1); in ~positive()89 boost::contract::old_ptr<int> old_instances = in positive() local94 BOOST_CONTRACT_ASSERT(instances() == *old_instances + 1); in positive()
18 boost::contract::old_ptr<int> old_instances; in iarray() local20 .old(boost::bind(&iarray::constructor_old, boost::ref(old_instances))) in iarray()26 boost::cref(old_instances) in iarray()36 boost::contract::old_ptr<int> old_instances; in ~iarray() local39 boost::ref(old_instances))) in ~iarray()41 boost::cref(old_instances))) in ~iarray()
30 boost::contract::old_ptr<int> old_instances = in make() local34 BOOST_CONTRACT_ASSERT(instances() == *old_instances + 1); in make()42 boost::contract::old_ptr<int> old_instances = in ~make() local46 BOOST_CONTRACT_ASSERT(instances() == *old_instances - 1); in ~make()