Lines Matching refs:contract

15     friend class boost::contract::access;
26         boost::contract::check c = boost::contract::constructor(this)  in stack()
36         boost::contract::check c = boost::contract::destructor(this);  in ~stack()
44         boost::contract::check c = boost::contract::public_function(this);  in count()
50         boost::contract::check c = boost::contract::public_function(this)  in item_at()
65         boost::contract::check c = boost::contract::public_function(this)  in is_empty()
78         boost::contract::check c = boost::contract::public_function(this)  in item()
95         boost::contract::old_ptr<int> old_count = BOOST_CONTRACT_OLDOF(count());  in put()
96         boost::contract::check c = boost::contract::public_function(this)  in put()
108         boost::contract::old_ptr<int> old_count = BOOST_CONTRACT_OLDOF(count());  in remove()
109         boost::contract::check c = boost::contract::public_function(this)  in remove()