17     #define BASES private boost::contract::constructor_precondition<stack4<T> >
20     friend boost::contract::access;
35         boost::contract::constructor_precondition<stack4>([&] {  in stack4()
39         boost::contract::check c = boost::contract::constructor(this)
52         boost::contract::check c = boost::contract::constructor(this)  in stack4()
68         boost::contract::check c = boost::contract::public_function(this)  in operator =()
87         boost::contract::check c = boost::contract::destructor(this);  in ~stack4()
96         boost::contract::check c = boost::contract::public_function(this);  in capacity()
103         boost::contract::check c = boost::contract::public_function(this);  in count()
109         boost::contract::check c = boost::contract::public_function(this)  in item()
123         boost::contract::check c = boost::contract::public_function(this)  in empty()
136         boost::contract::check c = boost::contract::public_function(this)  in full()
150         boost::contract::old_ptr<int> old_count = BOOST_CONTRACT_OLDOF(count());  in put()
151         boost::contract::check c = boost::contract::public_function(this)  in put()
167         boost::contract::old_ptr<int> old_count = BOOST_CONTRACT_OLDOF(count());  in remove()
168         boost::contract::check c = boost::contract::public_function(this)  in remove()
184         boost::contract::check inv1 = boost::contract::public_function(&left);  in operator ==()
185         boost::contract::check inv2 = boost::contract::public_function(&right);  in operator ==()