Lines Matching refs:contract

33     #define BASES private boost::contract::constructor_precondition<courier>
36     friend class boost::contract::access;
58         boost::contract::constructor_precondition<courier>([&] {  in courier()
65         boost::contract::check c = boost::contract::constructor(this);
71         boost::contract::check c = boost::contract::destructor(this);  in ~courier()
79         boost::contract::check c = boost::contract::public_function(this);  in insurance_cover_usd()
89         boost::contract::virtual_* v = 0  in deliver()
91         boost::contract::check c = boost::contract::public_function(v, this)  in deliver()
118     #define BASES private boost::contract::constructor_precondition< \
122     friend class boost::contract::access;
147         boost::contract::constructor_precondition<different_courier>([&] {  in different_courier()
154         boost::contract::check c = boost::contract::constructor(this);
160         boost::contract::check c = boost::contract::destructor(this);  in ~different_courier()
168         boost::contract::virtual_* v = 0  in deliver()
170         boost::contract::check c = boost::contract::public_function<  in deliver()