Home
last modified time | relevance | path

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

/third_party/boost/libs/contract/example/mitchell02/
Dcustomer_manager.cpp68 std::string const& name_for(customer_info::identifier const& id) const { in name_for() function in customer_manager
104 BOOST_CONTRACT_ASSERT(name_for(id) == name); // Name set. in set_name()
131 assert(m.name_for(js.id) == "John Smith"); in main()