Lines Matching refs:contract

17     friend class boost::contract::access;
41         boost::contract::check c = boost::contract::constructor(this)  in stack3()
61         boost::contract::check c = boost::contract::public_function(this);  in capacity()
68         boost::contract::check c = boost::contract::public_function(this);  in count()
74         boost::contract::check c = boost::contract::public_function(this)  in item()
97         boost::contract::check c = boost::contract::public_function(this);  in error()
103         boost::contract::check c = boost::contract::public_function(this);  in empty()
109         boost::contract::check c = boost::contract::public_function(this);  in full()
117         boost::contract::old_ptr<bool> old_full = BOOST_CONTRACT_OLDOF(full());  in put()
118         boost::contract::old_ptr<int> old_count = BOOST_CONTRACT_OLDOF(count());  in put()
119         boost::contract::check c = boost::contract::public_function(this)  in put()
143         boost::contract::old_ptr<bool> old_empty =  in remove()
145         boost::contract::old_ptr<int> old_count = BOOST_CONTRACT_OLDOF(count());  in remove()
146         boost::contract::check c = boost::contract::public_function(this)  in remove()