Home
last modified time | relevance | path

Searched refs:package_delivery (Results 1 – 1 of 1) sorted by relevance

/third_party/boost/libs/contract/example/mitchell02/
Dcourier.cpp87 package& package_delivery, in deliver() argument
94 BOOST_CONTRACT_ASSERT(package_delivery.weight_kg < 5.0); in deliver()
98 BOOST_CONTRACT_ASSERT(double(package_delivery.delivered_hour - in deliver()
99 package_delivery.accepted_hour) <= 3.0); in deliver()
101 BOOST_CONTRACT_ASSERT(package_delivery.location == destination); in deliver()
105 package_delivery.location = destination; in deliver()
107 package_delivery.delivered_hour = package_delivery.accepted_hour + 2.5; in deliver()
166 package& package_delivery, in deliver() argument
172 >(v, &different_courier::deliver, this, package_delivery, destination) in deliver()
175 BOOST_CONTRACT_ASSERT(package_delivery.weight_kg <= 8.0); in deliver()
[all …]